-- |

--

-- * The [knowledge base](https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning) ( kb )

--   aims to be a data structure able to:

--

--     * represent /multiple/ facts about the source code repo

--     * from /various/ programming languages

--     * each fact can be translated to a [Prolog](https://en.wikipedia.org/wiki/Prolog) fact

--     * facts can be combined to create [predicates](https://en.wikipedia.org/wiki/Predicate_%28logic%29)

--     * [predicates](https://en.wikipedia.org/wiki/Predicate_%28logic%29) can be combined to formulate /security queries/

--

-- * Facts describe relations between:

--

--     * code locations

--     * const strings

--     * const integers

--

-- * Code locations are capable of representing /all/ program entities

--

--     * classes

--     * methods

--     * lambdas

--     * annotations

--     * arguments

--     * parameters

--     * etc.

--

-- * Facts can be /combined/:

--

--     * [conjunction](https://en.wikipedia.org/wiki/Logical_conjunction)

--     * [disjunction](https://en.wikipedia.org/wiki/Logical_disjunction)

--     * [negation](https://en.wikipedia.org/wiki/Negation)

--

-- * [Prolog](https://en.wikipedia.org/wiki/Prolog) queries are /easy/ to write:

--

--     * you /don't/ have to be a Prolog expert

--     * copy-paste the basic facts to /any/ [LLM](https://en.wikipedia.org/wiki/Large_language_model)

--     * explain in plain English your query's purpose

--     * et voilà !

--

-- * Its main purpose is to serve as the:

--

--     * penultimate step for /static code analysis/ 

--     * part of the [dhscanner](https://github.com/OrenGitHub/dhscanner.vps) framework

--

--         * [SAST](https://en.wikipedia.org/wiki/Static_application_security_testing) for security scans 🔒

--         * [PII](https://en.wikipedia.org/wiki/Personal_data) leaks detection 🪪

--


{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE OverloadedStrings #-}

module Kbgen (
    KeywordArgForCall(..),
    ParamResolvedType(..),
    ClassName(..),
    ParamName(..),
    ConstString(..),
    ArgForCall(..),
    MethodOfClass(..),
    ClassResolvedSuper(..),
    ClassNamedSuper(..),
    ArgiForCall(..),
    ConstBoolTrue(..),
    ClassAnnotation,
    CallableAnnotation,
    ParamiOfCallable,
    prologify,
    Arg(..),
    Call(..),
    Class(..),
    Param(..),
    Method(..),
    Callable(..),
    Keyword(..),
    Resolved(..),
    ArgIndex(..),
    ParamIndex(..),
    ResolvedType(..),
    CallResolved(..),
    ResolvedSuper(..),
    ConstStr(..),
    Fact(..)
)

where

import Data.Aeson
import Text.Printf
import GHC.Generics

-- project imports

import Location
import qualified Token
import Fqn hiding ( content )

-- |

--

-- __Name__

--

-- This is how the fact will look inside the Prolog file

--

-- @

-- kb_keyword_arg_for_call( Keyword, Arg, Call ).

-- @

--

-- __When should I use this fact__ ( motivation: [CVE-2024-52803](https://nvd.nist.gov/vuln/detail/CVE-2024-52803) )

--

-- Code snippet ( Python ):

--

-- @

-- Popen(f'llamafactory-cli train {save_cmd(args)}', env=env, shell=True)

-- @

--

-- See complete source example: [here](https://github.com/hiyouga/LLaMA-Factory/commit/b3aa80d54a67da45e9e237e349486fb9c162b2ac)

--

-- __Writing a predicate with this fact and others__ ( motivation: [CVE-2024-52803](https://nvd.nist.gov/vuln/detail/CVE-2024-52803) )

--

-- @

-- subprocess_Popen_called_with_shell_eq_True( Call ) :-

--     kb_keyword_arg_for_call( \'shell\', TrueValue, Call ),

--     kb_call_resolved( Call, \'subprocess.Popen\' ),

--     kb_const_bool_true( TrueValue ).

-- @

--

-- Other facts combined in this example predicate:

--

--     * 'CallResolved'

--     * 'ConstBoolTrue'

--

data KeywordArgForCall = KeywordArgForCall
    Keyword -- ^

    Arg -- ^

    Call -- ^

    deriving ( Int -> KeywordArgForCall -> FilePath -> FilePath
[KeywordArgForCall] -> FilePath -> FilePath
KeywordArgForCall -> FilePath
(Int -> KeywordArgForCall -> FilePath -> FilePath)
-> (KeywordArgForCall -> FilePath)
-> ([KeywordArgForCall] -> FilePath -> FilePath)
-> Show KeywordArgForCall
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> KeywordArgForCall -> FilePath -> FilePath
showsPrec :: Int -> KeywordArgForCall -> FilePath -> FilePath
$cshow :: KeywordArgForCall -> FilePath
show :: KeywordArgForCall -> FilePath
$cshowList :: [KeywordArgForCall] -> FilePath -> FilePath
showList :: [KeywordArgForCall] -> FilePath -> FilePath
Show, (forall x. KeywordArgForCall -> Rep KeywordArgForCall x)
-> (forall x. Rep KeywordArgForCall x -> KeywordArgForCall)
-> Generic KeywordArgForCall
forall x. Rep KeywordArgForCall x -> KeywordArgForCall
forall x. KeywordArgForCall -> Rep KeywordArgForCall x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. KeywordArgForCall -> Rep KeywordArgForCall x
from :: forall x. KeywordArgForCall -> Rep KeywordArgForCall x
$cto :: forall x. Rep KeywordArgForCall x -> KeywordArgForCall
to :: forall x. Rep KeywordArgForCall x -> KeywordArgForCall
Generic, [KeywordArgForCall] -> Value
[KeywordArgForCall] -> Encoding
KeywordArgForCall -> Bool
KeywordArgForCall -> Value
KeywordArgForCall -> Encoding
(KeywordArgForCall -> Value)
-> (KeywordArgForCall -> Encoding)
-> ([KeywordArgForCall] -> Value)
-> ([KeywordArgForCall] -> Encoding)
-> (KeywordArgForCall -> Bool)
-> ToJSON KeywordArgForCall
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: KeywordArgForCall -> Value
toJSON :: KeywordArgForCall -> Value
$ctoEncoding :: KeywordArgForCall -> Encoding
toEncoding :: KeywordArgForCall -> Encoding
$ctoJSONList :: [KeywordArgForCall] -> Value
toJSONList :: [KeywordArgForCall] -> Value
$ctoEncodingList :: [KeywordArgForCall] -> Encoding
toEncodingList :: [KeywordArgForCall] -> Encoding
$comitField :: KeywordArgForCall -> Bool
omitField :: KeywordArgForCall -> Bool
ToJSON, Maybe KeywordArgForCall
Value -> Parser [KeywordArgForCall]
Value -> Parser KeywordArgForCall
(Value -> Parser KeywordArgForCall)
-> (Value -> Parser [KeywordArgForCall])
-> Maybe KeywordArgForCall
-> FromJSON KeywordArgForCall
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser KeywordArgForCall
parseJSON :: Value -> Parser KeywordArgForCall
$cparseJSONList :: Value -> Parser [KeywordArgForCall]
parseJSONList :: Value -> Parser [KeywordArgForCall]
$comittedField :: Maybe KeywordArgForCall
omittedField :: Maybe KeywordArgForCall
FromJSON )

-- |

--

-- __Name__

--

-- This is how the fact will look inside the Prolog file

--

-- @

-- kb_param_has_resolved_type( Param, ResolvedType ).

-- @

--

-- __When should I use this fact__ ( motivation: [CVE-2024-49380](https://nvd.nist.gov/vuln/detail/CVE-2024-49380) )

--

-- Code snippet ( Golang ):

--

-- @

-- func postLocal(w http.ResponseWriter, r *http.Request) { ... }

-- @

--

-- See complete source example: [here](https://github.com/plentico/plenti/blob/01825e0dcd3505fac57adc2edf29f772d585c008/cmd/serve.go#L205)

--

-- __Writing a predicate with this fact and others__ ( motivation: [CVE-2024-49380](https://nvd.nist.gov/vuln/detail/CVE-2024-49380) )

--

-- @

-- looks_like_user_input( RequestParam ) :-

--     kb_param_has_resolved_type( RequestParam, \'net/http.Request\' ),

--     kb_param_has_resolved_type( ResponseParam, \'net/http.ResponseWriter\' ),

--     kb_param_i_of_callable( ResponseParam, 0, Handler ),

--     kb_param_i_of_callable( RequestParam, 1, Handler ).

-- @

--

-- Other facts combined in this predicate:

--

--     * 'ParamiOfCallable'

--

data ParamResolvedType = ParamResolvedType
    Param -- ^

    ResolvedType -- ^

    deriving ( Int -> ParamResolvedType -> FilePath -> FilePath
[ParamResolvedType] -> FilePath -> FilePath
ParamResolvedType -> FilePath
(Int -> ParamResolvedType -> FilePath -> FilePath)
-> (ParamResolvedType -> FilePath)
-> ([ParamResolvedType] -> FilePath -> FilePath)
-> Show ParamResolvedType
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ParamResolvedType -> FilePath -> FilePath
showsPrec :: Int -> ParamResolvedType -> FilePath -> FilePath
$cshow :: ParamResolvedType -> FilePath
show :: ParamResolvedType -> FilePath
$cshowList :: [ParamResolvedType] -> FilePath -> FilePath
showList :: [ParamResolvedType] -> FilePath -> FilePath
Show, (forall x. ParamResolvedType -> Rep ParamResolvedType x)
-> (forall x. Rep ParamResolvedType x -> ParamResolvedType)
-> Generic ParamResolvedType
forall x. Rep ParamResolvedType x -> ParamResolvedType
forall x. ParamResolvedType -> Rep ParamResolvedType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ParamResolvedType -> Rep ParamResolvedType x
from :: forall x. ParamResolvedType -> Rep ParamResolvedType x
$cto :: forall x. Rep ParamResolvedType x -> ParamResolvedType
to :: forall x. Rep ParamResolvedType x -> ParamResolvedType
Generic, [ParamResolvedType] -> Value
[ParamResolvedType] -> Encoding
ParamResolvedType -> Bool
ParamResolvedType -> Value
ParamResolvedType -> Encoding
(ParamResolvedType -> Value)
-> (ParamResolvedType -> Encoding)
-> ([ParamResolvedType] -> Value)
-> ([ParamResolvedType] -> Encoding)
-> (ParamResolvedType -> Bool)
-> ToJSON ParamResolvedType
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ParamResolvedType -> Value
toJSON :: ParamResolvedType -> Value
$ctoEncoding :: ParamResolvedType -> Encoding
toEncoding :: ParamResolvedType -> Encoding
$ctoJSONList :: [ParamResolvedType] -> Value
toJSONList :: [ParamResolvedType] -> Value
$ctoEncodingList :: [ParamResolvedType] -> Encoding
toEncodingList :: [ParamResolvedType] -> Encoding
$comitField :: ParamResolvedType -> Bool
omitField :: ParamResolvedType -> Bool
ToJSON, Maybe ParamResolvedType
Value -> Parser [ParamResolvedType]
Value -> Parser ParamResolvedType
(Value -> Parser ParamResolvedType)
-> (Value -> Parser [ParamResolvedType])
-> Maybe ParamResolvedType
-> FromJSON ParamResolvedType
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ParamResolvedType
parseJSON :: Value -> Parser ParamResolvedType
$cparseJSONList :: Value -> Parser [ParamResolvedType]
parseJSONList :: Value -> Parser [ParamResolvedType]
$comittedField :: Maybe ParamResolvedType
omittedField :: Maybe ParamResolvedType
FromJSON )

-- |

--

-- __Name__

--

-- This is how the fact will look inside the Prolog file

--

-- @

-- kb_class_name( Class, Name ).

-- @

--

-- __When should I use this fact__ ( motivation: [CVE-2024-53995](https://nvd.nist.gov/vuln/detail/CVE-2024-53995) )

--

-- @

-- # authentication.py

-- class LoginHandler(BaseHandler): ...

--

-- # index.py

-- from tornado.web import RequestHandler

-- class BaseHandler(RequestHandler): ...

-- @

--

-- See complete source example [here](https://github.com/SickChill/sickchill/blob/846adafdfab579281353ea08a27bbb813f9a9872/sickchill/views/authentication.py#L10),

-- [here](https://github.com/SickChill/sickchill/blob/846adafdfab579281353ea08a27bbb813f9a9872/sickchill/views/index.py#L35)

-- and [here](https://github.com/SickChill/sickchill/blob/846adafdfab579281353ea08a27bbb813f9a9872/sickchill/views/index.py#L15)

--

-- __Writing a predicate with this fact and others__ ( motivation: [CVE-2024-53995](https://nvd.nist.gov/vuln/detail/CVE-2024-53995) )

--

-- @

-- skip_level_subclass_of( Subclass, \'tornado.web.RequestHandler\' ) :-

--     kb_class_name( Class, ClassType ),

--     kb_class_named_super( Subclass, ClassType ),

--     kb_class_resolved_super( Class, \'tornado.web.RequestHandler\' ).

-- @

--

-- Other facts combined in this predicate:

--

--     * 'ClassNamedSuper'

--     * 'ClassResolvedSuper'

--

data ClassName = ClassName
    Class -- ^

    Token.ClassName -- ^

    deriving ( Int -> ClassName -> FilePath -> FilePath
[ClassName] -> FilePath -> FilePath
ClassName -> FilePath
(Int -> ClassName -> FilePath -> FilePath)
-> (ClassName -> FilePath)
-> ([ClassName] -> FilePath -> FilePath)
-> Show ClassName
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ClassName -> FilePath -> FilePath
showsPrec :: Int -> ClassName -> FilePath -> FilePath
$cshow :: ClassName -> FilePath
show :: ClassName -> FilePath
$cshowList :: [ClassName] -> FilePath -> FilePath
showList :: [ClassName] -> FilePath -> FilePath
Show, (forall x. ClassName -> Rep ClassName x)
-> (forall x. Rep ClassName x -> ClassName) -> Generic ClassName
forall x. Rep ClassName x -> ClassName
forall x. ClassName -> Rep ClassName x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ClassName -> Rep ClassName x
from :: forall x. ClassName -> Rep ClassName x
$cto :: forall x. Rep ClassName x -> ClassName
to :: forall x. Rep ClassName x -> ClassName
Generic, [ClassName] -> Value
[ClassName] -> Encoding
ClassName -> Bool
ClassName -> Value
ClassName -> Encoding
(ClassName -> Value)
-> (ClassName -> Encoding)
-> ([ClassName] -> Value)
-> ([ClassName] -> Encoding)
-> (ClassName -> Bool)
-> ToJSON ClassName
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ClassName -> Value
toJSON :: ClassName -> Value
$ctoEncoding :: ClassName -> Encoding
toEncoding :: ClassName -> Encoding
$ctoJSONList :: [ClassName] -> Value
toJSONList :: [ClassName] -> Value
$ctoEncodingList :: [ClassName] -> Encoding
toEncodingList :: [ClassName] -> Encoding
$comitField :: ClassName -> Bool
omitField :: ClassName -> Bool
ToJSON, Maybe ClassName
Value -> Parser [ClassName]
Value -> Parser ClassName
(Value -> Parser ClassName)
-> (Value -> Parser [ClassName])
-> Maybe ClassName
-> FromJSON ClassName
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ClassName
parseJSON :: Value -> Parser ClassName
$cparseJSONList :: Value -> Parser [ClassName]
parseJSONList :: Value -> Parser [ClassName]
$comittedField :: Maybe ClassName
omittedField :: Maybe ClassName
FromJSON )

-- |

--

-- __Description:__

--

-- Input parameter of some callable ( method, function, lambda ) has the specified name

--

-- __Prolog signature:__

--

-- @

-- kb_param_has_name( Param, Name ).

-- @

--

-- __Code Example ( Javascript ):__

--

-- Motivated by [GHSL-2023-203](https://github.com/advplyr/audiobookshelf/security/advisories/GHSA-mgj7-rfx8-vhpr#event-116560)

-- ( [source code](https://github.com/advplyr/audiobookshelf/blob/d7b2476473ef1934eedec41425837cddf2d4b13e/server/controllers/AuthorController.js#L66)

-- and see also [here](https://github.com/advplyr/audiobookshelf/blob/d7b2476473ef1934eedec41425837cddf2d4b13e/server/controllers/AuthorController.js#L74)

-- and [here](https://github.com/advplyr/audiobookshelf/blob/d7b2476473ef1934eedec41425837cddf2d4b13e/server/routers/ApiRouter.js#L201) )

--

-- @

-- // ApiRouter.js

-- const express = require(\'express\')

--

-- class ApiRouter {

--   constructor(Server) { this.router = express() }

--   init() { this.router.patch(\'\/authors\/:id', ... , AuthorController.update.bind(this)) }

--

-- // AuthorController.js

-- class AuthorController { async update(req, res) { ... } }

-- @

--

-- __Writing new predicates:__

--

-- Facts combined in this predicate:

--

--     * 'ParamName'

--     * 'ParamiOfCallable'

--

-- @

-- http_request_param_of_method( Param, Method ) :-

--     kb_param_name( Param, \'req\' ),

--     kb_param_name( SecondParam, \'res\' ),

--     kb_param_i_of_callable( Param, 0, Method ),

--     kb_param_i_of_callable( SecondParam, 1, Method ).

-- @

--

-- Facts combined in this predicate:

--

--     * 'ArgiForCall'

--     * 'ClassName'

--     * 'MethodName'

--

-- @

-- request_handler( Method ) :-

--     kb_resolved_call( Call, \'express.patch\' ),

--     kb_arg_i_for_call( RequestHandler, 2, Call ),

--     kb_resolved_part_i_call( RequestHandler, 0, ClassName ),

--     kb_resolved_part_i_call( RequestHandler, 1, MethodName ),

--     kb_method_of_class( Method, Class ),

--     kb_method_name( Method, MethodName ),

--     kb_class_name( Class, ClassName ).

-- @

--

--

data ParamName = ParamName
    Param -- ^

    Token.ParamName -- ^

    deriving ( Int -> ParamName -> FilePath -> FilePath
[ParamName] -> FilePath -> FilePath
ParamName -> FilePath
(Int -> ParamName -> FilePath -> FilePath)
-> (ParamName -> FilePath)
-> ([ParamName] -> FilePath -> FilePath)
-> Show ParamName
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ParamName -> FilePath -> FilePath
showsPrec :: Int -> ParamName -> FilePath -> FilePath
$cshow :: ParamName -> FilePath
show :: ParamName -> FilePath
$cshowList :: [ParamName] -> FilePath -> FilePath
showList :: [ParamName] -> FilePath -> FilePath
Show, (forall x. ParamName -> Rep ParamName x)
-> (forall x. Rep ParamName x -> ParamName) -> Generic ParamName
forall x. Rep ParamName x -> ParamName
forall x. ParamName -> Rep ParamName x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ParamName -> Rep ParamName x
from :: forall x. ParamName -> Rep ParamName x
$cto :: forall x. Rep ParamName x -> ParamName
to :: forall x. Rep ParamName x -> ParamName
Generic, [ParamName] -> Value
[ParamName] -> Encoding
ParamName -> Bool
ParamName -> Value
ParamName -> Encoding
(ParamName -> Value)
-> (ParamName -> Encoding)
-> ([ParamName] -> Value)
-> ([ParamName] -> Encoding)
-> (ParamName -> Bool)
-> ToJSON ParamName
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ParamName -> Value
toJSON :: ParamName -> Value
$ctoEncoding :: ParamName -> Encoding
toEncoding :: ParamName -> Encoding
$ctoJSONList :: [ParamName] -> Value
toJSONList :: [ParamName] -> Value
$ctoEncodingList :: [ParamName] -> Encoding
toEncodingList :: [ParamName] -> Encoding
$comitField :: ParamName -> Bool
omitField :: ParamName -> Bool
ToJSON, Maybe ParamName
Value -> Parser [ParamName]
Value -> Parser ParamName
(Value -> Parser ParamName)
-> (Value -> Parser [ParamName])
-> Maybe ParamName
-> FromJSON ParamName
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ParamName
parseJSON :: Value -> Parser ParamName
$cparseJSONList :: Value -> Parser [ParamName]
parseJSONList :: Value -> Parser [ParamName]
$comittedField :: Maybe ParamName
omittedField :: Maybe ParamName
FromJSON )

-- |

--

-- Usage:

--

-- @

-- kb_subclass_of( Class, SuperName ).

-- @

--

-- * usually used with 'ClassResolvedSuper'

-- * for bounded inheritance of third party classes

--

-- ==== __Example:__

--

-- @

-- kb_class_name(Class,ClassName).

-- @

--

data ClassNamedSuper = ClassNamedSuper
    Class -- ^

    Token.SuperName -- ^

    deriving ( Int -> ClassNamedSuper -> FilePath -> FilePath
[ClassNamedSuper] -> FilePath -> FilePath
ClassNamedSuper -> FilePath
(Int -> ClassNamedSuper -> FilePath -> FilePath)
-> (ClassNamedSuper -> FilePath)
-> ([ClassNamedSuper] -> FilePath -> FilePath)
-> Show ClassNamedSuper
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ClassNamedSuper -> FilePath -> FilePath
showsPrec :: Int -> ClassNamedSuper -> FilePath -> FilePath
$cshow :: ClassNamedSuper -> FilePath
show :: ClassNamedSuper -> FilePath
$cshowList :: [ClassNamedSuper] -> FilePath -> FilePath
showList :: [ClassNamedSuper] -> FilePath -> FilePath
Show, (forall x. ClassNamedSuper -> Rep ClassNamedSuper x)
-> (forall x. Rep ClassNamedSuper x -> ClassNamedSuper)
-> Generic ClassNamedSuper
forall x. Rep ClassNamedSuper x -> ClassNamedSuper
forall x. ClassNamedSuper -> Rep ClassNamedSuper x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ClassNamedSuper -> Rep ClassNamedSuper x
from :: forall x. ClassNamedSuper -> Rep ClassNamedSuper x
$cto :: forall x. Rep ClassNamedSuper x -> ClassNamedSuper
to :: forall x. Rep ClassNamedSuper x -> ClassNamedSuper
Generic, [ClassNamedSuper] -> Value
[ClassNamedSuper] -> Encoding
ClassNamedSuper -> Bool
ClassNamedSuper -> Value
ClassNamedSuper -> Encoding
(ClassNamedSuper -> Value)
-> (ClassNamedSuper -> Encoding)
-> ([ClassNamedSuper] -> Value)
-> ([ClassNamedSuper] -> Encoding)
-> (ClassNamedSuper -> Bool)
-> ToJSON ClassNamedSuper
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ClassNamedSuper -> Value
toJSON :: ClassNamedSuper -> Value
$ctoEncoding :: ClassNamedSuper -> Encoding
toEncoding :: ClassNamedSuper -> Encoding
$ctoJSONList :: [ClassNamedSuper] -> Value
toJSONList :: [ClassNamedSuper] -> Value
$ctoEncodingList :: [ClassNamedSuper] -> Encoding
toEncodingList :: [ClassNamedSuper] -> Encoding
$comitField :: ClassNamedSuper -> Bool
omitField :: ClassNamedSuper -> Bool
ToJSON, Maybe ClassNamedSuper
Value -> Parser [ClassNamedSuper]
Value -> Parser ClassNamedSuper
(Value -> Parser ClassNamedSuper)
-> (Value -> Parser [ClassNamedSuper])
-> Maybe ClassNamedSuper
-> FromJSON ClassNamedSuper
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ClassNamedSuper
parseJSON :: Value -> Parser ClassNamedSuper
$cparseJSONList :: Value -> Parser [ClassNamedSuper]
parseJSONList :: Value -> Parser [ClassNamedSuper]
$comittedField :: Maybe ClassNamedSuper
omittedField :: Maybe ClassNamedSuper
FromJSON )

-- |

--

-- * usually used with 'ClassNamedSuper'

-- * for bounded inheritance of third party classes

--

-- ==== __Example:__

--

-- @

-- kb_class_super_name(Class,SuperFqsdfsdfsdfn).

-- @

--

data ClassResolvedSuper = ClassResolvedSuper
    Class -- ^

    ResolvedSuper -- ^ ( 1 fact per super class )

    deriving ( Int -> ClassResolvedSuper -> FilePath -> FilePath
[ClassResolvedSuper] -> FilePath -> FilePath
ClassResolvedSuper -> FilePath
(Int -> ClassResolvedSuper -> FilePath -> FilePath)
-> (ClassResolvedSuper -> FilePath)
-> ([ClassResolvedSuper] -> FilePath -> FilePath)
-> Show ClassResolvedSuper
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ClassResolvedSuper -> FilePath -> FilePath
showsPrec :: Int -> ClassResolvedSuper -> FilePath -> FilePath
$cshow :: ClassResolvedSuper -> FilePath
show :: ClassResolvedSuper -> FilePath
$cshowList :: [ClassResolvedSuper] -> FilePath -> FilePath
showList :: [ClassResolvedSuper] -> FilePath -> FilePath
Show, (forall x. ClassResolvedSuper -> Rep ClassResolvedSuper x)
-> (forall x. Rep ClassResolvedSuper x -> ClassResolvedSuper)
-> Generic ClassResolvedSuper
forall x. Rep ClassResolvedSuper x -> ClassResolvedSuper
forall x. ClassResolvedSuper -> Rep ClassResolvedSuper x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ClassResolvedSuper -> Rep ClassResolvedSuper x
from :: forall x. ClassResolvedSuper -> Rep ClassResolvedSuper x
$cto :: forall x. Rep ClassResolvedSuper x -> ClassResolvedSuper
to :: forall x. Rep ClassResolvedSuper x -> ClassResolvedSuper
Generic, [ClassResolvedSuper] -> Value
[ClassResolvedSuper] -> Encoding
ClassResolvedSuper -> Bool
ClassResolvedSuper -> Value
ClassResolvedSuper -> Encoding
(ClassResolvedSuper -> Value)
-> (ClassResolvedSuper -> Encoding)
-> ([ClassResolvedSuper] -> Value)
-> ([ClassResolvedSuper] -> Encoding)
-> (ClassResolvedSuper -> Bool)
-> ToJSON ClassResolvedSuper
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ClassResolvedSuper -> Value
toJSON :: ClassResolvedSuper -> Value
$ctoEncoding :: ClassResolvedSuper -> Encoding
toEncoding :: ClassResolvedSuper -> Encoding
$ctoJSONList :: [ClassResolvedSuper] -> Value
toJSONList :: [ClassResolvedSuper] -> Value
$ctoEncodingList :: [ClassResolvedSuper] -> Encoding
toEncodingList :: [ClassResolvedSuper] -> Encoding
$comitField :: ClassResolvedSuper -> Bool
omitField :: ClassResolvedSuper -> Bool
ToJSON, Maybe ClassResolvedSuper
Value -> Parser [ClassResolvedSuper]
Value -> Parser ClassResolvedSuper
(Value -> Parser ClassResolvedSuper)
-> (Value -> Parser [ClassResolvedSuper])
-> Maybe ClassResolvedSuper
-> FromJSON ClassResolvedSuper
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ClassResolvedSuper
parseJSON :: Value -> Parser ClassResolvedSuper
$cparseJSONList :: Value -> Parser [ClassResolvedSuper]
parseJSONList :: Value -> Parser [ClassResolvedSuper]
$comittedField :: Maybe ClassResolvedSuper
omittedField :: Maybe ClassResolvedSuper
FromJSON )

-- |

-- capture inheritance from third party classes

data ClassAnnotation = ClassAnnotation
    Class -- ^

    Annotation -- ^

    deriving ( Int -> ClassAnnotation -> FilePath -> FilePath
[ClassAnnotation] -> FilePath -> FilePath
ClassAnnotation -> FilePath
(Int -> ClassAnnotation -> FilePath -> FilePath)
-> (ClassAnnotation -> FilePath)
-> ([ClassAnnotation] -> FilePath -> FilePath)
-> Show ClassAnnotation
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ClassAnnotation -> FilePath -> FilePath
showsPrec :: Int -> ClassAnnotation -> FilePath -> FilePath
$cshow :: ClassAnnotation -> FilePath
show :: ClassAnnotation -> FilePath
$cshowList :: [ClassAnnotation] -> FilePath -> FilePath
showList :: [ClassAnnotation] -> FilePath -> FilePath
Show, (forall x. ClassAnnotation -> Rep ClassAnnotation x)
-> (forall x. Rep ClassAnnotation x -> ClassAnnotation)
-> Generic ClassAnnotation
forall x. Rep ClassAnnotation x -> ClassAnnotation
forall x. ClassAnnotation -> Rep ClassAnnotation x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ClassAnnotation -> Rep ClassAnnotation x
from :: forall x. ClassAnnotation -> Rep ClassAnnotation x
$cto :: forall x. Rep ClassAnnotation x -> ClassAnnotation
to :: forall x. Rep ClassAnnotation x -> ClassAnnotation
Generic, [ClassAnnotation] -> Value
[ClassAnnotation] -> Encoding
ClassAnnotation -> Bool
ClassAnnotation -> Value
ClassAnnotation -> Encoding
(ClassAnnotation -> Value)
-> (ClassAnnotation -> Encoding)
-> ([ClassAnnotation] -> Value)
-> ([ClassAnnotation] -> Encoding)
-> (ClassAnnotation -> Bool)
-> ToJSON ClassAnnotation
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ClassAnnotation -> Value
toJSON :: ClassAnnotation -> Value
$ctoEncoding :: ClassAnnotation -> Encoding
toEncoding :: ClassAnnotation -> Encoding
$ctoJSONList :: [ClassAnnotation] -> Value
toJSONList :: [ClassAnnotation] -> Value
$ctoEncodingList :: [ClassAnnotation] -> Encoding
toEncodingList :: [ClassAnnotation] -> Encoding
$comitField :: ClassAnnotation -> Bool
omitField :: ClassAnnotation -> Bool
ToJSON, Maybe ClassAnnotation
Value -> Parser [ClassAnnotation]
Value -> Parser ClassAnnotation
(Value -> Parser ClassAnnotation)
-> (Value -> Parser [ClassAnnotation])
-> Maybe ClassAnnotation
-> FromJSON ClassAnnotation
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ClassAnnotation
parseJSON :: Value -> Parser ClassAnnotation
$cparseJSONList :: Value -> Parser [ClassAnnotation]
parseJSONList :: Value -> Parser [ClassAnnotation]
$comittedField :: Maybe ClassAnnotation
omittedField :: Maybe ClassAnnotation
FromJSON )

data CallableAnnotation = CallableAnnotation
    Callable -- ^

    Annotation -- ^

    deriving ( Int -> CallableAnnotation -> FilePath -> FilePath
[CallableAnnotation] -> FilePath -> FilePath
CallableAnnotation -> FilePath
(Int -> CallableAnnotation -> FilePath -> FilePath)
-> (CallableAnnotation -> FilePath)
-> ([CallableAnnotation] -> FilePath -> FilePath)
-> Show CallableAnnotation
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> CallableAnnotation -> FilePath -> FilePath
showsPrec :: Int -> CallableAnnotation -> FilePath -> FilePath
$cshow :: CallableAnnotation -> FilePath
show :: CallableAnnotation -> FilePath
$cshowList :: [CallableAnnotation] -> FilePath -> FilePath
showList :: [CallableAnnotation] -> FilePath -> FilePath
Show, (forall x. CallableAnnotation -> Rep CallableAnnotation x)
-> (forall x. Rep CallableAnnotation x -> CallableAnnotation)
-> Generic CallableAnnotation
forall x. Rep CallableAnnotation x -> CallableAnnotation
forall x. CallableAnnotation -> Rep CallableAnnotation x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. CallableAnnotation -> Rep CallableAnnotation x
from :: forall x. CallableAnnotation -> Rep CallableAnnotation x
$cto :: forall x. Rep CallableAnnotation x -> CallableAnnotation
to :: forall x. Rep CallableAnnotation x -> CallableAnnotation
Generic, [CallableAnnotation] -> Value
[CallableAnnotation] -> Encoding
CallableAnnotation -> Bool
CallableAnnotation -> Value
CallableAnnotation -> Encoding
(CallableAnnotation -> Value)
-> (CallableAnnotation -> Encoding)
-> ([CallableAnnotation] -> Value)
-> ([CallableAnnotation] -> Encoding)
-> (CallableAnnotation -> Bool)
-> ToJSON CallableAnnotation
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: CallableAnnotation -> Value
toJSON :: CallableAnnotation -> Value
$ctoEncoding :: CallableAnnotation -> Encoding
toEncoding :: CallableAnnotation -> Encoding
$ctoJSONList :: [CallableAnnotation] -> Value
toJSONList :: [CallableAnnotation] -> Value
$ctoEncodingList :: [CallableAnnotation] -> Encoding
toEncodingList :: [CallableAnnotation] -> Encoding
$comitField :: CallableAnnotation -> Bool
omitField :: CallableAnnotation -> Bool
ToJSON, Maybe CallableAnnotation
Value -> Parser [CallableAnnotation]
Value -> Parser CallableAnnotation
(Value -> Parser CallableAnnotation)
-> (Value -> Parser [CallableAnnotation])
-> Maybe CallableAnnotation
-> FromJSON CallableAnnotation
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser CallableAnnotation
parseJSON :: Value -> Parser CallableAnnotation
$cparseJSONList :: Value -> Parser [CallableAnnotation]
parseJSONList :: Value -> Parser [CallableAnnotation]
$comittedField :: Maybe CallableAnnotation
omittedField :: Maybe CallableAnnotation
FromJSON )

-- |

-- capture usage of inherited third party methods

data MethodOfClass = MethodOfClass
    Method -- ^

    Class -- ^

    deriving ( Int -> MethodOfClass -> FilePath -> FilePath
[MethodOfClass] -> FilePath -> FilePath
MethodOfClass -> FilePath
(Int -> MethodOfClass -> FilePath -> FilePath)
-> (MethodOfClass -> FilePath)
-> ([MethodOfClass] -> FilePath -> FilePath)
-> Show MethodOfClass
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> MethodOfClass -> FilePath -> FilePath
showsPrec :: Int -> MethodOfClass -> FilePath -> FilePath
$cshow :: MethodOfClass -> FilePath
show :: MethodOfClass -> FilePath
$cshowList :: [MethodOfClass] -> FilePath -> FilePath
showList :: [MethodOfClass] -> FilePath -> FilePath
Show, (forall x. MethodOfClass -> Rep MethodOfClass x)
-> (forall x. Rep MethodOfClass x -> MethodOfClass)
-> Generic MethodOfClass
forall x. Rep MethodOfClass x -> MethodOfClass
forall x. MethodOfClass -> Rep MethodOfClass x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. MethodOfClass -> Rep MethodOfClass x
from :: forall x. MethodOfClass -> Rep MethodOfClass x
$cto :: forall x. Rep MethodOfClass x -> MethodOfClass
to :: forall x. Rep MethodOfClass x -> MethodOfClass
Generic, [MethodOfClass] -> Value
[MethodOfClass] -> Encoding
MethodOfClass -> Bool
MethodOfClass -> Value
MethodOfClass -> Encoding
(MethodOfClass -> Value)
-> (MethodOfClass -> Encoding)
-> ([MethodOfClass] -> Value)
-> ([MethodOfClass] -> Encoding)
-> (MethodOfClass -> Bool)
-> ToJSON MethodOfClass
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: MethodOfClass -> Value
toJSON :: MethodOfClass -> Value
$ctoEncoding :: MethodOfClass -> Encoding
toEncoding :: MethodOfClass -> Encoding
$ctoJSONList :: [MethodOfClass] -> Value
toJSONList :: [MethodOfClass] -> Value
$ctoEncodingList :: [MethodOfClass] -> Encoding
toEncodingList :: [MethodOfClass] -> Encoding
$comitField :: MethodOfClass -> Bool
omitField :: MethodOfClass -> Bool
ToJSON, Maybe MethodOfClass
Value -> Parser [MethodOfClass]
Value -> Parser MethodOfClass
(Value -> Parser MethodOfClass)
-> (Value -> Parser [MethodOfClass])
-> Maybe MethodOfClass
-> FromJSON MethodOfClass
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser MethodOfClass
parseJSON :: Value -> Parser MethodOfClass
$cparseJSONList :: Value -> Parser [MethodOfClass]
parseJSONList :: Value -> Parser [MethodOfClass]
$comittedField :: Maybe MethodOfClass
omittedField :: Maybe MethodOfClass
FromJSON )

-- |

--

-- Usage:

--

-- @

-- ArgiForCall( Arg, Index, Call ).

-- @

--

-- ==== __Tip 💡__

--

-- sometimes the index is irrelevant, see 'ArgForCall'

--

data ArgiForCall = ArgiForCall
    Arg -- ^

    ArgIndex -- ^

    Call -- ^

    deriving ( Int -> ArgiForCall -> FilePath -> FilePath
[ArgiForCall] -> FilePath -> FilePath
ArgiForCall -> FilePath
(Int -> ArgiForCall -> FilePath -> FilePath)
-> (ArgiForCall -> FilePath)
-> ([ArgiForCall] -> FilePath -> FilePath)
-> Show ArgiForCall
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ArgiForCall -> FilePath -> FilePath
showsPrec :: Int -> ArgiForCall -> FilePath -> FilePath
$cshow :: ArgiForCall -> FilePath
show :: ArgiForCall -> FilePath
$cshowList :: [ArgiForCall] -> FilePath -> FilePath
showList :: [ArgiForCall] -> FilePath -> FilePath
Show, (forall x. ArgiForCall -> Rep ArgiForCall x)
-> (forall x. Rep ArgiForCall x -> ArgiForCall)
-> Generic ArgiForCall
forall x. Rep ArgiForCall x -> ArgiForCall
forall x. ArgiForCall -> Rep ArgiForCall x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ArgiForCall -> Rep ArgiForCall x
from :: forall x. ArgiForCall -> Rep ArgiForCall x
$cto :: forall x. Rep ArgiForCall x -> ArgiForCall
to :: forall x. Rep ArgiForCall x -> ArgiForCall
Generic, [ArgiForCall] -> Value
[ArgiForCall] -> Encoding
ArgiForCall -> Bool
ArgiForCall -> Value
ArgiForCall -> Encoding
(ArgiForCall -> Value)
-> (ArgiForCall -> Encoding)
-> ([ArgiForCall] -> Value)
-> ([ArgiForCall] -> Encoding)
-> (ArgiForCall -> Bool)
-> ToJSON ArgiForCall
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ArgiForCall -> Value
toJSON :: ArgiForCall -> Value
$ctoEncoding :: ArgiForCall -> Encoding
toEncoding :: ArgiForCall -> Encoding
$ctoJSONList :: [ArgiForCall] -> Value
toJSONList :: [ArgiForCall] -> Value
$ctoEncodingList :: [ArgiForCall] -> Encoding
toEncodingList :: [ArgiForCall] -> Encoding
$comitField :: ArgiForCall -> Bool
omitField :: ArgiForCall -> Bool
ToJSON, Maybe ArgiForCall
Value -> Parser [ArgiForCall]
Value -> Parser ArgiForCall
(Value -> Parser ArgiForCall)
-> (Value -> Parser [ArgiForCall])
-> Maybe ArgiForCall
-> FromJSON ArgiForCall
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ArgiForCall
parseJSON :: Value -> Parser ArgiForCall
$cparseJSONList :: Value -> Parser [ArgiForCall]
parseJSONList :: Value -> Parser [ArgiForCall]
$comittedField :: Maybe ArgiForCall
omittedField :: Maybe ArgiForCall
FromJSON )

-- |

--

-- Usage:

--

-- @

-- arg_for_call( Arg, Call ).

-- @

--

-- ==== __Tip 💡__

--

-- sometimes the exact index is irrelevant, see 'ArgForCall'

--

data ArgForCall = ArgForCall
    Arg -- ^

    Call -- ^

    deriving ( Int -> ArgForCall -> FilePath -> FilePath
[ArgForCall] -> FilePath -> FilePath
ArgForCall -> FilePath
(Int -> ArgForCall -> FilePath -> FilePath)
-> (ArgForCall -> FilePath)
-> ([ArgForCall] -> FilePath -> FilePath)
-> Show ArgForCall
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ArgForCall -> FilePath -> FilePath
showsPrec :: Int -> ArgForCall -> FilePath -> FilePath
$cshow :: ArgForCall -> FilePath
show :: ArgForCall -> FilePath
$cshowList :: [ArgForCall] -> FilePath -> FilePath
showList :: [ArgForCall] -> FilePath -> FilePath
Show, (forall x. ArgForCall -> Rep ArgForCall x)
-> (forall x. Rep ArgForCall x -> ArgForCall) -> Generic ArgForCall
forall x. Rep ArgForCall x -> ArgForCall
forall x. ArgForCall -> Rep ArgForCall x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ArgForCall -> Rep ArgForCall x
from :: forall x. ArgForCall -> Rep ArgForCall x
$cto :: forall x. Rep ArgForCall x -> ArgForCall
to :: forall x. Rep ArgForCall x -> ArgForCall
Generic, [ArgForCall] -> Value
[ArgForCall] -> Encoding
ArgForCall -> Bool
ArgForCall -> Value
ArgForCall -> Encoding
(ArgForCall -> Value)
-> (ArgForCall -> Encoding)
-> ([ArgForCall] -> Value)
-> ([ArgForCall] -> Encoding)
-> (ArgForCall -> Bool)
-> ToJSON ArgForCall
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ArgForCall -> Value
toJSON :: ArgForCall -> Value
$ctoEncoding :: ArgForCall -> Encoding
toEncoding :: ArgForCall -> Encoding
$ctoJSONList :: [ArgForCall] -> Value
toJSONList :: [ArgForCall] -> Value
$ctoEncodingList :: [ArgForCall] -> Encoding
toEncodingList :: [ArgForCall] -> Encoding
$comitField :: ArgForCall -> Bool
omitField :: ArgForCall -> Bool
ToJSON, Maybe ArgForCall
Value -> Parser [ArgForCall]
Value -> Parser ArgForCall
(Value -> Parser ArgForCall)
-> (Value -> Parser [ArgForCall])
-> Maybe ArgForCall
-> FromJSON ArgForCall
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ArgForCall
parseJSON :: Value -> Parser ArgForCall
$cparseJSONList :: Value -> Parser [ArgForCall]
parseJSONList :: Value -> Parser [ArgForCall]
$comittedField :: Maybe ArgForCall
omittedField :: Maybe ArgForCall
FromJSON )

-- |

--

-- Usage:

--

-- @

-- ParamiOfCallable( Param, Index, Callable ).

-- @

--

-- ==== __Tip 💡__

--

-- sometimes the exact index is irrelevant, see 'Arg_for_Call'

--

data ParamiOfCallable = ParamiOfCallable
    Param -- ^

    ParamIndex -- ^ 0-based

    Callable -- ^

    deriving ( Int -> ParamiOfCallable -> FilePath -> FilePath
[ParamiOfCallable] -> FilePath -> FilePath
ParamiOfCallable -> FilePath
(Int -> ParamiOfCallable -> FilePath -> FilePath)
-> (ParamiOfCallable -> FilePath)
-> ([ParamiOfCallable] -> FilePath -> FilePath)
-> Show ParamiOfCallable
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ParamiOfCallable -> FilePath -> FilePath
showsPrec :: Int -> ParamiOfCallable -> FilePath -> FilePath
$cshow :: ParamiOfCallable -> FilePath
show :: ParamiOfCallable -> FilePath
$cshowList :: [ParamiOfCallable] -> FilePath -> FilePath
showList :: [ParamiOfCallable] -> FilePath -> FilePath
Show, (forall x. ParamiOfCallable -> Rep ParamiOfCallable x)
-> (forall x. Rep ParamiOfCallable x -> ParamiOfCallable)
-> Generic ParamiOfCallable
forall x. Rep ParamiOfCallable x -> ParamiOfCallable
forall x. ParamiOfCallable -> Rep ParamiOfCallable x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ParamiOfCallable -> Rep ParamiOfCallable x
from :: forall x. ParamiOfCallable -> Rep ParamiOfCallable x
$cto :: forall x. Rep ParamiOfCallable x -> ParamiOfCallable
to :: forall x. Rep ParamiOfCallable x -> ParamiOfCallable
Generic, [ParamiOfCallable] -> Value
[ParamiOfCallable] -> Encoding
ParamiOfCallable -> Bool
ParamiOfCallable -> Value
ParamiOfCallable -> Encoding
(ParamiOfCallable -> Value)
-> (ParamiOfCallable -> Encoding)
-> ([ParamiOfCallable] -> Value)
-> ([ParamiOfCallable] -> Encoding)
-> (ParamiOfCallable -> Bool)
-> ToJSON ParamiOfCallable
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ParamiOfCallable -> Value
toJSON :: ParamiOfCallable -> Value
$ctoEncoding :: ParamiOfCallable -> Encoding
toEncoding :: ParamiOfCallable -> Encoding
$ctoJSONList :: [ParamiOfCallable] -> Value
toJSONList :: [ParamiOfCallable] -> Value
$ctoEncodingList :: [ParamiOfCallable] -> Encoding
toEncodingList :: [ParamiOfCallable] -> Encoding
$comitField :: ParamiOfCallable -> Bool
omitField :: ParamiOfCallable -> Bool
ToJSON, Maybe ParamiOfCallable
Value -> Parser [ParamiOfCallable]
Value -> Parser ParamiOfCallable
(Value -> Parser ParamiOfCallable)
-> (Value -> Parser [ParamiOfCallable])
-> Maybe ParamiOfCallable
-> FromJSON ParamiOfCallable
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ParamiOfCallable
parseJSON :: Value -> Parser ParamiOfCallable
$cparseJSONList :: Value -> Parser [ParamiOfCallable]
parseJSONList :: Value -> Parser [ParamiOfCallable]
$comittedField :: Maybe ParamiOfCallable
omittedField :: Maybe ParamiOfCallable
FromJSON )

-- |

--

-- Usage:

--

-- @

-- kb_const_str( Param, Index, Callable ).

-- @

--

-- ==== __Tip 💡__

--

-- sometimes the exact index is irrelevant, see 'Arg_for_Call'

--

data ConstString = ConstString
    ConstStr -- ^

    Token.ConstStr -- ^

    deriving ( Int -> ConstString -> FilePath -> FilePath
[ConstString] -> FilePath -> FilePath
ConstString -> FilePath
(Int -> ConstString -> FilePath -> FilePath)
-> (ConstString -> FilePath)
-> ([ConstString] -> FilePath -> FilePath)
-> Show ConstString
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ConstString -> FilePath -> FilePath
showsPrec :: Int -> ConstString -> FilePath -> FilePath
$cshow :: ConstString -> FilePath
show :: ConstString -> FilePath
$cshowList :: [ConstString] -> FilePath -> FilePath
showList :: [ConstString] -> FilePath -> FilePath
Show, (forall x. ConstString -> Rep ConstString x)
-> (forall x. Rep ConstString x -> ConstString)
-> Generic ConstString
forall x. Rep ConstString x -> ConstString
forall x. ConstString -> Rep ConstString x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ConstString -> Rep ConstString x
from :: forall x. ConstString -> Rep ConstString x
$cto :: forall x. Rep ConstString x -> ConstString
to :: forall x. Rep ConstString x -> ConstString
Generic, [ConstString] -> Value
[ConstString] -> Encoding
ConstString -> Bool
ConstString -> Value
ConstString -> Encoding
(ConstString -> Value)
-> (ConstString -> Encoding)
-> ([ConstString] -> Value)
-> ([ConstString] -> Encoding)
-> (ConstString -> Bool)
-> ToJSON ConstString
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ConstString -> Value
toJSON :: ConstString -> Value
$ctoEncoding :: ConstString -> Encoding
toEncoding :: ConstString -> Encoding
$ctoJSONList :: [ConstString] -> Value
toJSONList :: [ConstString] -> Value
$ctoEncodingList :: [ConstString] -> Encoding
toEncodingList :: [ConstString] -> Encoding
$comitField :: ConstString -> Bool
omitField :: ConstString -> Bool
ToJSON, Maybe ConstString
Value -> Parser [ConstString]
Value -> Parser ConstString
(Value -> Parser ConstString)
-> (Value -> Parser [ConstString])
-> Maybe ConstString
-> FromJSON ConstString
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ConstString
parseJSON :: Value -> Parser ConstString
$cparseJSONList :: Value -> Parser [ConstString]
parseJSONList :: Value -> Parser [ConstString]
$comittedField :: Maybe ConstString
omittedField :: Maybe ConstString
FromJSON )

data Arg = Arg Location deriving ( Int -> Arg -> FilePath -> FilePath
[Arg] -> FilePath -> FilePath
Arg -> FilePath
(Int -> Arg -> FilePath -> FilePath)
-> (Arg -> FilePath) -> ([Arg] -> FilePath -> FilePath) -> Show Arg
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Arg -> FilePath -> FilePath
showsPrec :: Int -> Arg -> FilePath -> FilePath
$cshow :: Arg -> FilePath
show :: Arg -> FilePath
$cshowList :: [Arg] -> FilePath -> FilePath
showList :: [Arg] -> FilePath -> FilePath
Show, (forall x. Arg -> Rep Arg x)
-> (forall x. Rep Arg x -> Arg) -> Generic Arg
forall x. Rep Arg x -> Arg
forall x. Arg -> Rep Arg x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Arg -> Rep Arg x
from :: forall x. Arg -> Rep Arg x
$cto :: forall x. Rep Arg x -> Arg
to :: forall x. Rep Arg x -> Arg
Generic, [Arg] -> Value
[Arg] -> Encoding
Arg -> Bool
Arg -> Value
Arg -> Encoding
(Arg -> Value)
-> (Arg -> Encoding)
-> ([Arg] -> Value)
-> ([Arg] -> Encoding)
-> (Arg -> Bool)
-> ToJSON Arg
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Arg -> Value
toJSON :: Arg -> Value
$ctoEncoding :: Arg -> Encoding
toEncoding :: Arg -> Encoding
$ctoJSONList :: [Arg] -> Value
toJSONList :: [Arg] -> Value
$ctoEncodingList :: [Arg] -> Encoding
toEncodingList :: [Arg] -> Encoding
$comitField :: Arg -> Bool
omitField :: Arg -> Bool
ToJSON, Maybe Arg
Value -> Parser [Arg]
Value -> Parser Arg
(Value -> Parser Arg)
-> (Value -> Parser [Arg]) -> Maybe Arg -> FromJSON Arg
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Arg
parseJSON :: Value -> Parser Arg
$cparseJSONList :: Value -> Parser [Arg]
parseJSONList :: Value -> Parser [Arg]
$comittedField :: Maybe Arg
omittedField :: Maybe Arg
FromJSON )
data Call = Call Location deriving ( Int -> Call -> FilePath -> FilePath
[Call] -> FilePath -> FilePath
Call -> FilePath
(Int -> Call -> FilePath -> FilePath)
-> (Call -> FilePath)
-> ([Call] -> FilePath -> FilePath)
-> Show Call
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Call -> FilePath -> FilePath
showsPrec :: Int -> Call -> FilePath -> FilePath
$cshow :: Call -> FilePath
show :: Call -> FilePath
$cshowList :: [Call] -> FilePath -> FilePath
showList :: [Call] -> FilePath -> FilePath
Show, (forall x. Call -> Rep Call x)
-> (forall x. Rep Call x -> Call) -> Generic Call
forall x. Rep Call x -> Call
forall x. Call -> Rep Call x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Call -> Rep Call x
from :: forall x. Call -> Rep Call x
$cto :: forall x. Rep Call x -> Call
to :: forall x. Rep Call x -> Call
Generic, [Call] -> Value
[Call] -> Encoding
Call -> Bool
Call -> Value
Call -> Encoding
(Call -> Value)
-> (Call -> Encoding)
-> ([Call] -> Value)
-> ([Call] -> Encoding)
-> (Call -> Bool)
-> ToJSON Call
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Call -> Value
toJSON :: Call -> Value
$ctoEncoding :: Call -> Encoding
toEncoding :: Call -> Encoding
$ctoJSONList :: [Call] -> Value
toJSONList :: [Call] -> Value
$ctoEncodingList :: [Call] -> Encoding
toEncodingList :: [Call] -> Encoding
$comitField :: Call -> Bool
omitField :: Call -> Bool
ToJSON, Maybe Call
Value -> Parser [Call]
Value -> Parser Call
(Value -> Parser Call)
-> (Value -> Parser [Call]) -> Maybe Call -> FromJSON Call
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Call
parseJSON :: Value -> Parser Call
$cparseJSONList :: Value -> Parser [Call]
parseJSONList :: Value -> Parser [Call]
$comittedField :: Maybe Call
omittedField :: Maybe Call
FromJSON )
data Param = Param Location deriving ( Int -> Param -> FilePath -> FilePath
[Param] -> FilePath -> FilePath
Param -> FilePath
(Int -> Param -> FilePath -> FilePath)
-> (Param -> FilePath)
-> ([Param] -> FilePath -> FilePath)
-> Show Param
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Param -> FilePath -> FilePath
showsPrec :: Int -> Param -> FilePath -> FilePath
$cshow :: Param -> FilePath
show :: Param -> FilePath
$cshowList :: [Param] -> FilePath -> FilePath
showList :: [Param] -> FilePath -> FilePath
Show, (forall x. Param -> Rep Param x)
-> (forall x. Rep Param x -> Param) -> Generic Param
forall x. Rep Param x -> Param
forall x. Param -> Rep Param x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Param -> Rep Param x
from :: forall x. Param -> Rep Param x
$cto :: forall x. Rep Param x -> Param
to :: forall x. Rep Param x -> Param
Generic, [Param] -> Value
[Param] -> Encoding
Param -> Bool
Param -> Value
Param -> Encoding
(Param -> Value)
-> (Param -> Encoding)
-> ([Param] -> Value)
-> ([Param] -> Encoding)
-> (Param -> Bool)
-> ToJSON Param
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Param -> Value
toJSON :: Param -> Value
$ctoEncoding :: Param -> Encoding
toEncoding :: Param -> Encoding
$ctoJSONList :: [Param] -> Value
toJSONList :: [Param] -> Value
$ctoEncodingList :: [Param] -> Encoding
toEncodingList :: [Param] -> Encoding
$comitField :: Param -> Bool
omitField :: Param -> Bool
ToJSON, Maybe Param
Value -> Parser [Param]
Value -> Parser Param
(Value -> Parser Param)
-> (Value -> Parser [Param]) -> Maybe Param -> FromJSON Param
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Param
parseJSON :: Value -> Parser Param
$cparseJSONList :: Value -> Parser [Param]
parseJSONList :: Value -> Parser [Param]
$comittedField :: Maybe Param
omittedField :: Maybe Param
FromJSON )
data Class = Class Location deriving ( Int -> Class -> FilePath -> FilePath
[Class] -> FilePath -> FilePath
Class -> FilePath
(Int -> Class -> FilePath -> FilePath)
-> (Class -> FilePath)
-> ([Class] -> FilePath -> FilePath)
-> Show Class
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Class -> FilePath -> FilePath
showsPrec :: Int -> Class -> FilePath -> FilePath
$cshow :: Class -> FilePath
show :: Class -> FilePath
$cshowList :: [Class] -> FilePath -> FilePath
showList :: [Class] -> FilePath -> FilePath
Show, (forall x. Class -> Rep Class x)
-> (forall x. Rep Class x -> Class) -> Generic Class
forall x. Rep Class x -> Class
forall x. Class -> Rep Class x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Class -> Rep Class x
from :: forall x. Class -> Rep Class x
$cto :: forall x. Rep Class x -> Class
to :: forall x. Rep Class x -> Class
Generic, [Class] -> Value
[Class] -> Encoding
Class -> Bool
Class -> Value
Class -> Encoding
(Class -> Value)
-> (Class -> Encoding)
-> ([Class] -> Value)
-> ([Class] -> Encoding)
-> (Class -> Bool)
-> ToJSON Class
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Class -> Value
toJSON :: Class -> Value
$ctoEncoding :: Class -> Encoding
toEncoding :: Class -> Encoding
$ctoJSONList :: [Class] -> Value
toJSONList :: [Class] -> Value
$ctoEncodingList :: [Class] -> Encoding
toEncodingList :: [Class] -> Encoding
$comitField :: Class -> Bool
omitField :: Class -> Bool
ToJSON, Maybe Class
Value -> Parser [Class]
Value -> Parser Class
(Value -> Parser Class)
-> (Value -> Parser [Class]) -> Maybe Class -> FromJSON Class
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Class
parseJSON :: Value -> Parser Class
$cparseJSONList :: Value -> Parser [Class]
parseJSONList :: Value -> Parser [Class]
$comittedField :: Maybe Class
omittedField :: Maybe Class
FromJSON )

data CallResolved = CallResolved
    Call -- ^

    Resolved -- ^

    deriving ( Int -> CallResolved -> FilePath -> FilePath
[CallResolved] -> FilePath -> FilePath
CallResolved -> FilePath
(Int -> CallResolved -> FilePath -> FilePath)
-> (CallResolved -> FilePath)
-> ([CallResolved] -> FilePath -> FilePath)
-> Show CallResolved
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> CallResolved -> FilePath -> FilePath
showsPrec :: Int -> CallResolved -> FilePath -> FilePath
$cshow :: CallResolved -> FilePath
show :: CallResolved -> FilePath
$cshowList :: [CallResolved] -> FilePath -> FilePath
showList :: [CallResolved] -> FilePath -> FilePath
Show, (forall x. CallResolved -> Rep CallResolved x)
-> (forall x. Rep CallResolved x -> CallResolved)
-> Generic CallResolved
forall x. Rep CallResolved x -> CallResolved
forall x. CallResolved -> Rep CallResolved x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. CallResolved -> Rep CallResolved x
from :: forall x. CallResolved -> Rep CallResolved x
$cto :: forall x. Rep CallResolved x -> CallResolved
to :: forall x. Rep CallResolved x -> CallResolved
Generic, [CallResolved] -> Value
[CallResolved] -> Encoding
CallResolved -> Bool
CallResolved -> Value
CallResolved -> Encoding
(CallResolved -> Value)
-> (CallResolved -> Encoding)
-> ([CallResolved] -> Value)
-> ([CallResolved] -> Encoding)
-> (CallResolved -> Bool)
-> ToJSON CallResolved
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: CallResolved -> Value
toJSON :: CallResolved -> Value
$ctoEncoding :: CallResolved -> Encoding
toEncoding :: CallResolved -> Encoding
$ctoJSONList :: [CallResolved] -> Value
toJSONList :: [CallResolved] -> Value
$ctoEncodingList :: [CallResolved] -> Encoding
toEncodingList :: [CallResolved] -> Encoding
$comitField :: CallResolved -> Bool
omitField :: CallResolved -> Bool
ToJSON, Maybe CallResolved
Value -> Parser [CallResolved]
Value -> Parser CallResolved
(Value -> Parser CallResolved)
-> (Value -> Parser [CallResolved])
-> Maybe CallResolved
-> FromJSON CallResolved
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser CallResolved
parseJSON :: Value -> Parser CallResolved
$cparseJSONList :: Value -> Parser [CallResolved]
parseJSONList :: Value -> Parser [CallResolved]
$comittedField :: Maybe CallResolved
omittedField :: Maybe CallResolved
FromJSON )

data Method = Method Location deriving ( Int -> Method -> FilePath -> FilePath
[Method] -> FilePath -> FilePath
Method -> FilePath
(Int -> Method -> FilePath -> FilePath)
-> (Method -> FilePath)
-> ([Method] -> FilePath -> FilePath)
-> Show Method
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Method -> FilePath -> FilePath
showsPrec :: Int -> Method -> FilePath -> FilePath
$cshow :: Method -> FilePath
show :: Method -> FilePath
$cshowList :: [Method] -> FilePath -> FilePath
showList :: [Method] -> FilePath -> FilePath
Show, (forall x. Method -> Rep Method x)
-> (forall x. Rep Method x -> Method) -> Generic Method
forall x. Rep Method x -> Method
forall x. Method -> Rep Method x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Method -> Rep Method x
from :: forall x. Method -> Rep Method x
$cto :: forall x. Rep Method x -> Method
to :: forall x. Rep Method x -> Method
Generic, [Method] -> Value
[Method] -> Encoding
Method -> Bool
Method -> Value
Method -> Encoding
(Method -> Value)
-> (Method -> Encoding)
-> ([Method] -> Value)
-> ([Method] -> Encoding)
-> (Method -> Bool)
-> ToJSON Method
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Method -> Value
toJSON :: Method -> Value
$ctoEncoding :: Method -> Encoding
toEncoding :: Method -> Encoding
$ctoJSONList :: [Method] -> Value
toJSONList :: [Method] -> Value
$ctoEncodingList :: [Method] -> Encoding
toEncodingList :: [Method] -> Encoding
$comitField :: Method -> Bool
omitField :: Method -> Bool
ToJSON, Maybe Method
Value -> Parser [Method]
Value -> Parser Method
(Value -> Parser Method)
-> (Value -> Parser [Method]) -> Maybe Method -> FromJSON Method
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Method
parseJSON :: Value -> Parser Method
$cparseJSONList :: Value -> Parser [Method]
parseJSONList :: Value -> Parser [Method]
$comittedField :: Maybe Method
omittedField :: Maybe Method
FromJSON )
data Callable = Callable Location deriving ( Int -> Callable -> FilePath -> FilePath
[Callable] -> FilePath -> FilePath
Callable -> FilePath
(Int -> Callable -> FilePath -> FilePath)
-> (Callable -> FilePath)
-> ([Callable] -> FilePath -> FilePath)
-> Show Callable
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Callable -> FilePath -> FilePath
showsPrec :: Int -> Callable -> FilePath -> FilePath
$cshow :: Callable -> FilePath
show :: Callable -> FilePath
$cshowList :: [Callable] -> FilePath -> FilePath
showList :: [Callable] -> FilePath -> FilePath
Show, (forall x. Callable -> Rep Callable x)
-> (forall x. Rep Callable x -> Callable) -> Generic Callable
forall x. Rep Callable x -> Callable
forall x. Callable -> Rep Callable x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Callable -> Rep Callable x
from :: forall x. Callable -> Rep Callable x
$cto :: forall x. Rep Callable x -> Callable
to :: forall x. Rep Callable x -> Callable
Generic, [Callable] -> Value
[Callable] -> Encoding
Callable -> Bool
Callable -> Value
Callable -> Encoding
(Callable -> Value)
-> (Callable -> Encoding)
-> ([Callable] -> Value)
-> ([Callable] -> Encoding)
-> (Callable -> Bool)
-> ToJSON Callable
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Callable -> Value
toJSON :: Callable -> Value
$ctoEncoding :: Callable -> Encoding
toEncoding :: Callable -> Encoding
$ctoJSONList :: [Callable] -> Value
toJSONList :: [Callable] -> Value
$ctoEncodingList :: [Callable] -> Encoding
toEncodingList :: [Callable] -> Encoding
$comitField :: Callable -> Bool
omitField :: Callable -> Bool
ToJSON, Maybe Callable
Value -> Parser [Callable]
Value -> Parser Callable
(Value -> Parser Callable)
-> (Value -> Parser [Callable])
-> Maybe Callable
-> FromJSON Callable
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Callable
parseJSON :: Value -> Parser Callable
$cparseJSONList :: Value -> Parser [Callable]
parseJSONList :: Value -> Parser [Callable]
$comittedField :: Maybe Callable
omittedField :: Maybe Callable
FromJSON )
data ConstStr = ConstStr Location deriving ( Int -> ConstStr -> FilePath -> FilePath
[ConstStr] -> FilePath -> FilePath
ConstStr -> FilePath
(Int -> ConstStr -> FilePath -> FilePath)
-> (ConstStr -> FilePath)
-> ([ConstStr] -> FilePath -> FilePath)
-> Show ConstStr
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ConstStr -> FilePath -> FilePath
showsPrec :: Int -> ConstStr -> FilePath -> FilePath
$cshow :: ConstStr -> FilePath
show :: ConstStr -> FilePath
$cshowList :: [ConstStr] -> FilePath -> FilePath
showList :: [ConstStr] -> FilePath -> FilePath
Show, (forall x. ConstStr -> Rep ConstStr x)
-> (forall x. Rep ConstStr x -> ConstStr) -> Generic ConstStr
forall x. Rep ConstStr x -> ConstStr
forall x. ConstStr -> Rep ConstStr x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ConstStr -> Rep ConstStr x
from :: forall x. ConstStr -> Rep ConstStr x
$cto :: forall x. Rep ConstStr x -> ConstStr
to :: forall x. Rep ConstStr x -> ConstStr
Generic, [ConstStr] -> Value
[ConstStr] -> Encoding
ConstStr -> Bool
ConstStr -> Value
ConstStr -> Encoding
(ConstStr -> Value)
-> (ConstStr -> Encoding)
-> ([ConstStr] -> Value)
-> ([ConstStr] -> Encoding)
-> (ConstStr -> Bool)
-> ToJSON ConstStr
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ConstStr -> Value
toJSON :: ConstStr -> Value
$ctoEncoding :: ConstStr -> Encoding
toEncoding :: ConstStr -> Encoding
$ctoJSONList :: [ConstStr] -> Value
toJSONList :: [ConstStr] -> Value
$ctoEncodingList :: [ConstStr] -> Encoding
toEncodingList :: [ConstStr] -> Encoding
$comitField :: ConstStr -> Bool
omitField :: ConstStr -> Bool
ToJSON, Maybe ConstStr
Value -> Parser [ConstStr]
Value -> Parser ConstStr
(Value -> Parser ConstStr)
-> (Value -> Parser [ConstStr])
-> Maybe ConstStr
-> FromJSON ConstStr
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ConstStr
parseJSON :: Value -> Parser ConstStr
$cparseJSONList :: Value -> Parser [ConstStr]
parseJSONList :: Value -> Parser [ConstStr]
$comittedField :: Maybe ConstStr
omittedField :: Maybe ConstStr
FromJSON )
data Annotation = Annotation Location deriving ( Int -> Annotation -> FilePath -> FilePath
[Annotation] -> FilePath -> FilePath
Annotation -> FilePath
(Int -> Annotation -> FilePath -> FilePath)
-> (Annotation -> FilePath)
-> ([Annotation] -> FilePath -> FilePath)
-> Show Annotation
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Annotation -> FilePath -> FilePath
showsPrec :: Int -> Annotation -> FilePath -> FilePath
$cshow :: Annotation -> FilePath
show :: Annotation -> FilePath
$cshowList :: [Annotation] -> FilePath -> FilePath
showList :: [Annotation] -> FilePath -> FilePath
Show, (forall x. Annotation -> Rep Annotation x)
-> (forall x. Rep Annotation x -> Annotation) -> Generic Annotation
forall x. Rep Annotation x -> Annotation
forall x. Annotation -> Rep Annotation x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Annotation -> Rep Annotation x
from :: forall x. Annotation -> Rep Annotation x
$cto :: forall x. Rep Annotation x -> Annotation
to :: forall x. Rep Annotation x -> Annotation
Generic, [Annotation] -> Value
[Annotation] -> Encoding
Annotation -> Bool
Annotation -> Value
Annotation -> Encoding
(Annotation -> Value)
-> (Annotation -> Encoding)
-> ([Annotation] -> Value)
-> ([Annotation] -> Encoding)
-> (Annotation -> Bool)
-> ToJSON Annotation
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Annotation -> Value
toJSON :: Annotation -> Value
$ctoEncoding :: Annotation -> Encoding
toEncoding :: Annotation -> Encoding
$ctoJSONList :: [Annotation] -> Value
toJSONList :: [Annotation] -> Value
$ctoEncodingList :: [Annotation] -> Encoding
toEncodingList :: [Annotation] -> Encoding
$comitField :: Annotation -> Bool
omitField :: Annotation -> Bool
ToJSON, Maybe Annotation
Value -> Parser [Annotation]
Value -> Parser Annotation
(Value -> Parser Annotation)
-> (Value -> Parser [Annotation])
-> Maybe Annotation
-> FromJSON Annotation
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Annotation
parseJSON :: Value -> Parser Annotation
$cparseJSONList :: Value -> Parser [Annotation]
parseJSONList :: Value -> Parser [Annotation]
$comittedField :: Maybe Annotation
omittedField :: Maybe Annotation
FromJSON )
data ConstBoolTrue = ConstBoolTrue Location deriving ( Int -> ConstBoolTrue -> FilePath -> FilePath
[ConstBoolTrue] -> FilePath -> FilePath
ConstBoolTrue -> FilePath
(Int -> ConstBoolTrue -> FilePath -> FilePath)
-> (ConstBoolTrue -> FilePath)
-> ([ConstBoolTrue] -> FilePath -> FilePath)
-> Show ConstBoolTrue
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ConstBoolTrue -> FilePath -> FilePath
showsPrec :: Int -> ConstBoolTrue -> FilePath -> FilePath
$cshow :: ConstBoolTrue -> FilePath
show :: ConstBoolTrue -> FilePath
$cshowList :: [ConstBoolTrue] -> FilePath -> FilePath
showList :: [ConstBoolTrue] -> FilePath -> FilePath
Show, (forall x. ConstBoolTrue -> Rep ConstBoolTrue x)
-> (forall x. Rep ConstBoolTrue x -> ConstBoolTrue)
-> Generic ConstBoolTrue
forall x. Rep ConstBoolTrue x -> ConstBoolTrue
forall x. ConstBoolTrue -> Rep ConstBoolTrue x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ConstBoolTrue -> Rep ConstBoolTrue x
from :: forall x. ConstBoolTrue -> Rep ConstBoolTrue x
$cto :: forall x. Rep ConstBoolTrue x -> ConstBoolTrue
to :: forall x. Rep ConstBoolTrue x -> ConstBoolTrue
Generic, [ConstBoolTrue] -> Value
[ConstBoolTrue] -> Encoding
ConstBoolTrue -> Bool
ConstBoolTrue -> Value
ConstBoolTrue -> Encoding
(ConstBoolTrue -> Value)
-> (ConstBoolTrue -> Encoding)
-> ([ConstBoolTrue] -> Value)
-> ([ConstBoolTrue] -> Encoding)
-> (ConstBoolTrue -> Bool)
-> ToJSON ConstBoolTrue
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ConstBoolTrue -> Value
toJSON :: ConstBoolTrue -> Value
$ctoEncoding :: ConstBoolTrue -> Encoding
toEncoding :: ConstBoolTrue -> Encoding
$ctoJSONList :: [ConstBoolTrue] -> Value
toJSONList :: [ConstBoolTrue] -> Value
$ctoEncodingList :: [ConstBoolTrue] -> Encoding
toEncodingList :: [ConstBoolTrue] -> Encoding
$comitField :: ConstBoolTrue -> Bool
omitField :: ConstBoolTrue -> Bool
ToJSON, Maybe ConstBoolTrue
Value -> Parser [ConstBoolTrue]
Value -> Parser ConstBoolTrue
(Value -> Parser ConstBoolTrue)
-> (Value -> Parser [ConstBoolTrue])
-> Maybe ConstBoolTrue
-> FromJSON ConstBoolTrue
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ConstBoolTrue
parseJSON :: Value -> Parser ConstBoolTrue
$cparseJSONList :: Value -> Parser [ConstBoolTrue]
parseJSONList :: Value -> Parser [ConstBoolTrue]
$comittedField :: Maybe ConstBoolTrue
omittedField :: Maybe ConstBoolTrue
FromJSON )

data Keyword = Keyword String deriving ( Int -> Keyword -> FilePath -> FilePath
[Keyword] -> FilePath -> FilePath
Keyword -> FilePath
(Int -> Keyword -> FilePath -> FilePath)
-> (Keyword -> FilePath)
-> ([Keyword] -> FilePath -> FilePath)
-> Show Keyword
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Keyword -> FilePath -> FilePath
showsPrec :: Int -> Keyword -> FilePath -> FilePath
$cshow :: Keyword -> FilePath
show :: Keyword -> FilePath
$cshowList :: [Keyword] -> FilePath -> FilePath
showList :: [Keyword] -> FilePath -> FilePath
Show, (forall x. Keyword -> Rep Keyword x)
-> (forall x. Rep Keyword x -> Keyword) -> Generic Keyword
forall x. Rep Keyword x -> Keyword
forall x. Keyword -> Rep Keyword x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Keyword -> Rep Keyword x
from :: forall x. Keyword -> Rep Keyword x
$cto :: forall x. Rep Keyword x -> Keyword
to :: forall x. Rep Keyword x -> Keyword
Generic, [Keyword] -> Value
[Keyword] -> Encoding
Keyword -> Bool
Keyword -> Value
Keyword -> Encoding
(Keyword -> Value)
-> (Keyword -> Encoding)
-> ([Keyword] -> Value)
-> ([Keyword] -> Encoding)
-> (Keyword -> Bool)
-> ToJSON Keyword
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Keyword -> Value
toJSON :: Keyword -> Value
$ctoEncoding :: Keyword -> Encoding
toEncoding :: Keyword -> Encoding
$ctoJSONList :: [Keyword] -> Value
toJSONList :: [Keyword] -> Value
$ctoEncodingList :: [Keyword] -> Encoding
toEncodingList :: [Keyword] -> Encoding
$comitField :: Keyword -> Bool
omitField :: Keyword -> Bool
ToJSON, Maybe Keyword
Value -> Parser [Keyword]
Value -> Parser Keyword
(Value -> Parser Keyword)
-> (Value -> Parser [Keyword]) -> Maybe Keyword -> FromJSON Keyword
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Keyword
parseJSON :: Value -> Parser Keyword
$cparseJSONList :: Value -> Parser [Keyword]
parseJSONList :: Value -> Parser [Keyword]
$comittedField :: Maybe Keyword
omittedField :: Maybe Keyword
FromJSON )
data Resolved = Resolved Fqn deriving ( Int -> Resolved -> FilePath -> FilePath
[Resolved] -> FilePath -> FilePath
Resolved -> FilePath
(Int -> Resolved -> FilePath -> FilePath)
-> (Resolved -> FilePath)
-> ([Resolved] -> FilePath -> FilePath)
-> Show Resolved
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Resolved -> FilePath -> FilePath
showsPrec :: Int -> Resolved -> FilePath -> FilePath
$cshow :: Resolved -> FilePath
show :: Resolved -> FilePath
$cshowList :: [Resolved] -> FilePath -> FilePath
showList :: [Resolved] -> FilePath -> FilePath
Show, (forall x. Resolved -> Rep Resolved x)
-> (forall x. Rep Resolved x -> Resolved) -> Generic Resolved
forall x. Rep Resolved x -> Resolved
forall x. Resolved -> Rep Resolved x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Resolved -> Rep Resolved x
from :: forall x. Resolved -> Rep Resolved x
$cto :: forall x. Rep Resolved x -> Resolved
to :: forall x. Rep Resolved x -> Resolved
Generic, [Resolved] -> Value
[Resolved] -> Encoding
Resolved -> Bool
Resolved -> Value
Resolved -> Encoding
(Resolved -> Value)
-> (Resolved -> Encoding)
-> ([Resolved] -> Value)
-> ([Resolved] -> Encoding)
-> (Resolved -> Bool)
-> ToJSON Resolved
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Resolved -> Value
toJSON :: Resolved -> Value
$ctoEncoding :: Resolved -> Encoding
toEncoding :: Resolved -> Encoding
$ctoJSONList :: [Resolved] -> Value
toJSONList :: [Resolved] -> Value
$ctoEncodingList :: [Resolved] -> Encoding
toEncodingList :: [Resolved] -> Encoding
$comitField :: Resolved -> Bool
omitField :: Resolved -> Bool
ToJSON, Maybe Resolved
Value -> Parser [Resolved]
Value -> Parser Resolved
(Value -> Parser Resolved)
-> (Value -> Parser [Resolved])
-> Maybe Resolved
-> FromJSON Resolved
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Resolved
parseJSON :: Value -> Parser Resolved
$cparseJSONList :: Value -> Parser [Resolved]
parseJSONList :: Value -> Parser [Resolved]
$comittedField :: Maybe Resolved
omittedField :: Maybe Resolved
FromJSON )
data ArgIndex = ArgIndex Word deriving ( Int -> ArgIndex -> FilePath -> FilePath
[ArgIndex] -> FilePath -> FilePath
ArgIndex -> FilePath
(Int -> ArgIndex -> FilePath -> FilePath)
-> (ArgIndex -> FilePath)
-> ([ArgIndex] -> FilePath -> FilePath)
-> Show ArgIndex
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ArgIndex -> FilePath -> FilePath
showsPrec :: Int -> ArgIndex -> FilePath -> FilePath
$cshow :: ArgIndex -> FilePath
show :: ArgIndex -> FilePath
$cshowList :: [ArgIndex] -> FilePath -> FilePath
showList :: [ArgIndex] -> FilePath -> FilePath
Show, (forall x. ArgIndex -> Rep ArgIndex x)
-> (forall x. Rep ArgIndex x -> ArgIndex) -> Generic ArgIndex
forall x. Rep ArgIndex x -> ArgIndex
forall x. ArgIndex -> Rep ArgIndex x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ArgIndex -> Rep ArgIndex x
from :: forall x. ArgIndex -> Rep ArgIndex x
$cto :: forall x. Rep ArgIndex x -> ArgIndex
to :: forall x. Rep ArgIndex x -> ArgIndex
Generic, [ArgIndex] -> Value
[ArgIndex] -> Encoding
ArgIndex -> Bool
ArgIndex -> Value
ArgIndex -> Encoding
(ArgIndex -> Value)
-> (ArgIndex -> Encoding)
-> ([ArgIndex] -> Value)
-> ([ArgIndex] -> Encoding)
-> (ArgIndex -> Bool)
-> ToJSON ArgIndex
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ArgIndex -> Value
toJSON :: ArgIndex -> Value
$ctoEncoding :: ArgIndex -> Encoding
toEncoding :: ArgIndex -> Encoding
$ctoJSONList :: [ArgIndex] -> Value
toJSONList :: [ArgIndex] -> Value
$ctoEncodingList :: [ArgIndex] -> Encoding
toEncodingList :: [ArgIndex] -> Encoding
$comitField :: ArgIndex -> Bool
omitField :: ArgIndex -> Bool
ToJSON, Maybe ArgIndex
Value -> Parser [ArgIndex]
Value -> Parser ArgIndex
(Value -> Parser ArgIndex)
-> (Value -> Parser [ArgIndex])
-> Maybe ArgIndex
-> FromJSON ArgIndex
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ArgIndex
parseJSON :: Value -> Parser ArgIndex
$cparseJSONList :: Value -> Parser [ArgIndex]
parseJSONList :: Value -> Parser [ArgIndex]
$comittedField :: Maybe ArgIndex
omittedField :: Maybe ArgIndex
FromJSON )
data ParamIndex = ParamIndex Word deriving ( Int -> ParamIndex -> FilePath -> FilePath
[ParamIndex] -> FilePath -> FilePath
ParamIndex -> FilePath
(Int -> ParamIndex -> FilePath -> FilePath)
-> (ParamIndex -> FilePath)
-> ([ParamIndex] -> FilePath -> FilePath)
-> Show ParamIndex
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ParamIndex -> FilePath -> FilePath
showsPrec :: Int -> ParamIndex -> FilePath -> FilePath
$cshow :: ParamIndex -> FilePath
show :: ParamIndex -> FilePath
$cshowList :: [ParamIndex] -> FilePath -> FilePath
showList :: [ParamIndex] -> FilePath -> FilePath
Show, (forall x. ParamIndex -> Rep ParamIndex x)
-> (forall x. Rep ParamIndex x -> ParamIndex) -> Generic ParamIndex
forall x. Rep ParamIndex x -> ParamIndex
forall x. ParamIndex -> Rep ParamIndex x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ParamIndex -> Rep ParamIndex x
from :: forall x. ParamIndex -> Rep ParamIndex x
$cto :: forall x. Rep ParamIndex x -> ParamIndex
to :: forall x. Rep ParamIndex x -> ParamIndex
Generic, [ParamIndex] -> Value
[ParamIndex] -> Encoding
ParamIndex -> Bool
ParamIndex -> Value
ParamIndex -> Encoding
(ParamIndex -> Value)
-> (ParamIndex -> Encoding)
-> ([ParamIndex] -> Value)
-> ([ParamIndex] -> Encoding)
-> (ParamIndex -> Bool)
-> ToJSON ParamIndex
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ParamIndex -> Value
toJSON :: ParamIndex -> Value
$ctoEncoding :: ParamIndex -> Encoding
toEncoding :: ParamIndex -> Encoding
$ctoJSONList :: [ParamIndex] -> Value
toJSONList :: [ParamIndex] -> Value
$ctoEncodingList :: [ParamIndex] -> Encoding
toEncodingList :: [ParamIndex] -> Encoding
$comitField :: ParamIndex -> Bool
omitField :: ParamIndex -> Bool
ToJSON, Maybe ParamIndex
Value -> Parser [ParamIndex]
Value -> Parser ParamIndex
(Value -> Parser ParamIndex)
-> (Value -> Parser [ParamIndex])
-> Maybe ParamIndex
-> FromJSON ParamIndex
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ParamIndex
parseJSON :: Value -> Parser ParamIndex
$cparseJSONList :: Value -> Parser [ParamIndex]
parseJSONList :: Value -> Parser [ParamIndex]
$comittedField :: Maybe ParamIndex
omittedField :: Maybe ParamIndex
FromJSON )
data ConstStrValue = ConstStrValue String deriving ( Int -> ConstStrValue -> FilePath -> FilePath
[ConstStrValue] -> FilePath -> FilePath
ConstStrValue -> FilePath
(Int -> ConstStrValue -> FilePath -> FilePath)
-> (ConstStrValue -> FilePath)
-> ([ConstStrValue] -> FilePath -> FilePath)
-> Show ConstStrValue
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ConstStrValue -> FilePath -> FilePath
showsPrec :: Int -> ConstStrValue -> FilePath -> FilePath
$cshow :: ConstStrValue -> FilePath
show :: ConstStrValue -> FilePath
$cshowList :: [ConstStrValue] -> FilePath -> FilePath
showList :: [ConstStrValue] -> FilePath -> FilePath
Show, (forall x. ConstStrValue -> Rep ConstStrValue x)
-> (forall x. Rep ConstStrValue x -> ConstStrValue)
-> Generic ConstStrValue
forall x. Rep ConstStrValue x -> ConstStrValue
forall x. ConstStrValue -> Rep ConstStrValue x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ConstStrValue -> Rep ConstStrValue x
from :: forall x. ConstStrValue -> Rep ConstStrValue x
$cto :: forall x. Rep ConstStrValue x -> ConstStrValue
to :: forall x. Rep ConstStrValue x -> ConstStrValue
Generic, [ConstStrValue] -> Value
[ConstStrValue] -> Encoding
ConstStrValue -> Bool
ConstStrValue -> Value
ConstStrValue -> Encoding
(ConstStrValue -> Value)
-> (ConstStrValue -> Encoding)
-> ([ConstStrValue] -> Value)
-> ([ConstStrValue] -> Encoding)
-> (ConstStrValue -> Bool)
-> ToJSON ConstStrValue
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ConstStrValue -> Value
toJSON :: ConstStrValue -> Value
$ctoEncoding :: ConstStrValue -> Encoding
toEncoding :: ConstStrValue -> Encoding
$ctoJSONList :: [ConstStrValue] -> Value
toJSONList :: [ConstStrValue] -> Value
$ctoEncodingList :: [ConstStrValue] -> Encoding
toEncodingList :: [ConstStrValue] -> Encoding
$comitField :: ConstStrValue -> Bool
omitField :: ConstStrValue -> Bool
ToJSON, Maybe ConstStrValue
Value -> Parser [ConstStrValue]
Value -> Parser ConstStrValue
(Value -> Parser ConstStrValue)
-> (Value -> Parser [ConstStrValue])
-> Maybe ConstStrValue
-> FromJSON ConstStrValue
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ConstStrValue
parseJSON :: Value -> Parser ConstStrValue
$cparseJSONList :: Value -> Parser [ConstStrValue]
parseJSONList :: Value -> Parser [ConstStrValue]
$comittedField :: Maybe ConstStrValue
omittedField :: Maybe ConstStrValue
FromJSON )

-- |

data ResolvedType = ResolvedType
    Fqn -- ^

    deriving ( Int -> ResolvedType -> FilePath -> FilePath
[ResolvedType] -> FilePath -> FilePath
ResolvedType -> FilePath
(Int -> ResolvedType -> FilePath -> FilePath)
-> (ResolvedType -> FilePath)
-> ([ResolvedType] -> FilePath -> FilePath)
-> Show ResolvedType
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ResolvedType -> FilePath -> FilePath
showsPrec :: Int -> ResolvedType -> FilePath -> FilePath
$cshow :: ResolvedType -> FilePath
show :: ResolvedType -> FilePath
$cshowList :: [ResolvedType] -> FilePath -> FilePath
showList :: [ResolvedType] -> FilePath -> FilePath
Show, (forall x. ResolvedType -> Rep ResolvedType x)
-> (forall x. Rep ResolvedType x -> ResolvedType)
-> Generic ResolvedType
forall x. Rep ResolvedType x -> ResolvedType
forall x. ResolvedType -> Rep ResolvedType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ResolvedType -> Rep ResolvedType x
from :: forall x. ResolvedType -> Rep ResolvedType x
$cto :: forall x. Rep ResolvedType x -> ResolvedType
to :: forall x. Rep ResolvedType x -> ResolvedType
Generic, [ResolvedType] -> Value
[ResolvedType] -> Encoding
ResolvedType -> Bool
ResolvedType -> Value
ResolvedType -> Encoding
(ResolvedType -> Value)
-> (ResolvedType -> Encoding)
-> ([ResolvedType] -> Value)
-> ([ResolvedType] -> Encoding)
-> (ResolvedType -> Bool)
-> ToJSON ResolvedType
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ResolvedType -> Value
toJSON :: ResolvedType -> Value
$ctoEncoding :: ResolvedType -> Encoding
toEncoding :: ResolvedType -> Encoding
$ctoJSONList :: [ResolvedType] -> Value
toJSONList :: [ResolvedType] -> Value
$ctoEncodingList :: [ResolvedType] -> Encoding
toEncodingList :: [ResolvedType] -> Encoding
$comitField :: ResolvedType -> Bool
omitField :: ResolvedType -> Bool
ToJSON, Maybe ResolvedType
Value -> Parser [ResolvedType]
Value -> Parser ResolvedType
(Value -> Parser ResolvedType)
-> (Value -> Parser [ResolvedType])
-> Maybe ResolvedType
-> FromJSON ResolvedType
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ResolvedType
parseJSON :: Value -> Parser ResolvedType
$cparseJSONList :: Value -> Parser [ResolvedType]
parseJSONList :: Value -> Parser [ResolvedType]
$comittedField :: Maybe ResolvedType
omittedField :: Maybe ResolvedType
FromJSON )

data ResolvedSuper = ResolvedSuper Fqn deriving ( Int -> ResolvedSuper -> FilePath -> FilePath
[ResolvedSuper] -> FilePath -> FilePath
ResolvedSuper -> FilePath
(Int -> ResolvedSuper -> FilePath -> FilePath)
-> (ResolvedSuper -> FilePath)
-> ([ResolvedSuper] -> FilePath -> FilePath)
-> Show ResolvedSuper
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> ResolvedSuper -> FilePath -> FilePath
showsPrec :: Int -> ResolvedSuper -> FilePath -> FilePath
$cshow :: ResolvedSuper -> FilePath
show :: ResolvedSuper -> FilePath
$cshowList :: [ResolvedSuper] -> FilePath -> FilePath
showList :: [ResolvedSuper] -> FilePath -> FilePath
Show, (forall x. ResolvedSuper -> Rep ResolvedSuper x)
-> (forall x. Rep ResolvedSuper x -> ResolvedSuper)
-> Generic ResolvedSuper
forall x. Rep ResolvedSuper x -> ResolvedSuper
forall x. ResolvedSuper -> Rep ResolvedSuper x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ResolvedSuper -> Rep ResolvedSuper x
from :: forall x. ResolvedSuper -> Rep ResolvedSuper x
$cto :: forall x. Rep ResolvedSuper x -> ResolvedSuper
to :: forall x. Rep ResolvedSuper x -> ResolvedSuper
Generic, [ResolvedSuper] -> Value
[ResolvedSuper] -> Encoding
ResolvedSuper -> Bool
ResolvedSuper -> Value
ResolvedSuper -> Encoding
(ResolvedSuper -> Value)
-> (ResolvedSuper -> Encoding)
-> ([ResolvedSuper] -> Value)
-> ([ResolvedSuper] -> Encoding)
-> (ResolvedSuper -> Bool)
-> ToJSON ResolvedSuper
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: ResolvedSuper -> Value
toJSON :: ResolvedSuper -> Value
$ctoEncoding :: ResolvedSuper -> Encoding
toEncoding :: ResolvedSuper -> Encoding
$ctoJSONList :: [ResolvedSuper] -> Value
toJSONList :: [ResolvedSuper] -> Value
$ctoEncodingList :: [ResolvedSuper] -> Encoding
toEncodingList :: [ResolvedSuper] -> Encoding
$comitField :: ResolvedSuper -> Bool
omitField :: ResolvedSuper -> Bool
ToJSON, Maybe ResolvedSuper
Value -> Parser [ResolvedSuper]
Value -> Parser ResolvedSuper
(Value -> Parser ResolvedSuper)
-> (Value -> Parser [ResolvedSuper])
-> Maybe ResolvedSuper
-> FromJSON ResolvedSuper
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser ResolvedSuper
parseJSON :: Value -> Parser ResolvedSuper
$cparseJSONList :: Value -> Parser [ResolvedSuper]
parseJSONList :: Value -> Parser [ResolvedSuper]
$comittedField :: Maybe ResolvedSuper
omittedField :: Maybe ResolvedSuper
FromJSON )

-- |

-- * each fact is derived from a /single/ bitcode 'Bitcode.Instruction'

--

-- * often, a single bitcode instruction will yield /more/ than one fact

--

data Fact
   = ParamNameCtor ParamName
   | ClassNameCtor ClassName
   | ArgForCallCtor ArgForCall
   | ArgiForCallCtor ArgiForCall
   | ConstStringCtor ConstString
   | CallResolvedCtor CallResolved
   | ConstBoolTrueCtor ConstBoolTrue
   | MethodOfClassCtor MethodOfClass
   | ClassNamedSuperCtor ClassNamedSuper
   | ClassAnnotationCtor ClassAnnotation
   | ParamiOfCallableCtor ParamiOfCallable
   | KeywordArgForCallCtor KeywordArgForCall
   | ParamResolvedTypeCtor ParamResolvedType
   | ClassResolvedSuperCtor ClassResolvedSuper
   | CallableAnnotationCtor CallableAnnotation
   deriving ( Int -> Fact -> FilePath -> FilePath
[Fact] -> FilePath -> FilePath
Fact -> FilePath
(Int -> Fact -> FilePath -> FilePath)
-> (Fact -> FilePath)
-> ([Fact] -> FilePath -> FilePath)
-> Show Fact
forall a.
(Int -> a -> FilePath -> FilePath)
-> (a -> FilePath) -> ([a] -> FilePath -> FilePath) -> Show a
$cshowsPrec :: Int -> Fact -> FilePath -> FilePath
showsPrec :: Int -> Fact -> FilePath -> FilePath
$cshow :: Fact -> FilePath
show :: Fact -> FilePath
$cshowList :: [Fact] -> FilePath -> FilePath
showList :: [Fact] -> FilePath -> FilePath
Show, (forall x. Fact -> Rep Fact x)
-> (forall x. Rep Fact x -> Fact) -> Generic Fact
forall x. Rep Fact x -> Fact
forall x. Fact -> Rep Fact x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Fact -> Rep Fact x
from :: forall x. Fact -> Rep Fact x
$cto :: forall x. Rep Fact x -> Fact
to :: forall x. Rep Fact x -> Fact
Generic, [Fact] -> Value
[Fact] -> Encoding
Fact -> Bool
Fact -> Value
Fact -> Encoding
(Fact -> Value)
-> (Fact -> Encoding)
-> ([Fact] -> Value)
-> ([Fact] -> Encoding)
-> (Fact -> Bool)
-> ToJSON Fact
forall a.
(a -> Value)
-> (a -> Encoding)
-> ([a] -> Value)
-> ([a] -> Encoding)
-> (a -> Bool)
-> ToJSON a
$ctoJSON :: Fact -> Value
toJSON :: Fact -> Value
$ctoEncoding :: Fact -> Encoding
toEncoding :: Fact -> Encoding
$ctoJSONList :: [Fact] -> Value
toJSONList :: [Fact] -> Value
$ctoEncodingList :: [Fact] -> Encoding
toEncodingList :: [Fact] -> Encoding
$comitField :: Fact -> Bool
omitField :: Fact -> Bool
ToJSON, Maybe Fact
Value -> Parser [Fact]
Value -> Parser Fact
(Value -> Parser Fact)
-> (Value -> Parser [Fact]) -> Maybe Fact -> FromJSON Fact
forall a.
(Value -> Parser a)
-> (Value -> Parser [a]) -> Maybe a -> FromJSON a
$cparseJSON :: Value -> Parser Fact
parseJSON :: Value -> Parser Fact
$cparseJSONList :: Value -> Parser [Fact]
parseJSONList :: Value -> Parser [Fact]
$comittedField :: Maybe Fact
omittedField :: Maybe Fact
FromJSON )

-- |

-- Translate a code fact into a prolog fact

--

-- 'ParamName'

--

-- @

-- kb_param_has_name( Param, Name ).

-- @

--

prologify :: Fact -> String
prologify :: Fact -> FilePath
prologify (ParamNameCtor ParamName
content) = ParamName -> FilePath
prologify_ParamName ParamName
content
prologify (ClassNameCtor ClassName
content) = ClassName -> FilePath
prologify_ClassName ClassName
content
prologify (ArgForCallCtor ArgForCall
content) = ArgForCall -> FilePath
prologifyArgForCall ArgForCall
content
prologify (ArgiForCallCtor ArgiForCall
content) = ArgiForCall -> FilePath
prologifyArgiForCall ArgiForCall
content
prologify (ConstStringCtor ConstString
content) = ConstString -> FilePath
prologify_ConstString ConstString
content
prologify (CallResolvedCtor CallResolved
content) = CallResolved -> FilePath
prologify_CallResolved CallResolved
content
prologify (ConstBoolTrueCtor ConstBoolTrue
content) = ConstBoolTrue -> FilePath
prologify_ConstBoolTrue ConstBoolTrue
content
prologify (MethodOfClassCtor MethodOfClass
content) = MethodOfClass -> FilePath
prologify_MethodOfClass MethodOfClass
content
prologify (ClassNamedSuperCtor ClassNamedSuper
content) = ClassNamedSuper -> FilePath
prologifyClassNamedSuper ClassNamedSuper
content
prologify (ClassAnnotationCtor ClassAnnotation
content) = ClassAnnotation -> FilePath
prologify_ClassAnnotation ClassAnnotation
content
prologify (ParamiOfCallableCtor ParamiOfCallable
content) = ParamiOfCallable -> FilePath
prologify_ParamiOfCallable ParamiOfCallable
content
prologify (ParamResolvedTypeCtor ParamResolvedType
content) = ParamResolvedType -> FilePath
prologify_ParamResolvedType ParamResolvedType
content
prologify (KeywordArgForCallCtor KeywordArgForCall
content) = KeywordArgForCall -> FilePath
prologify_KeywordArgForCall KeywordArgForCall
content
prologify (ClassResolvedSuperCtor ClassResolvedSuper
content) = ClassResolvedSuper -> FilePath
prologifyClassResolvedSuper ClassResolvedSuper
content
prologify (CallableAnnotationCtor CallableAnnotation
content) = CallableAnnotation -> FilePath
prologify_CallableAnnotation CallableAnnotation
content

prologify_ParamResolvedType' :: Location -> String -> String
prologify_ParamResolvedType' :: Location -> FilePath -> FilePath
prologify_ParamResolvedType' Location
l FilePath
fqn = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_param_has_type( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
fqn

prologify_ParamResolvedType :: ParamResolvedType -> String
prologify_ParamResolvedType :: ParamResolvedType -> FilePath
prologify_ParamResolvedType (ParamResolvedType (Param Location
loc) (ResolvedType (Fqn FilePath
content))) = Location -> FilePath -> FilePath
prologify_ParamResolvedType' Location
loc FilePath
content

prologify_ParamName' :: Location -> String -> String
prologify_ParamName' :: Location -> FilePath -> FilePath
prologify_ParamName' Location
l FilePath
name = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_param_has_name( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
name

prologify_ParamName :: ParamName -> String
prologify_ParamName :: ParamName -> FilePath
prologify_ParamName (ParamName (Param Location
loc) (Token.ParamName (Token.Named FilePath
name Location
_))) = Location -> FilePath -> FilePath
prologify_ParamName' Location
loc FilePath
name

prologify_ClassName' :: Location -> String -> String
prologify_ClassName' :: Location -> FilePath -> FilePath
prologify_ClassName' Location
l FilePath
name = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_class_name( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
name

prologify_ClassName :: ClassName -> String
prologify_ClassName :: ClassName -> FilePath
prologify_ClassName (ClassName (Class Location
loc) (Token.ClassName (Token.Named FilePath
name Location
_))) = Location -> FilePath -> FilePath
prologify_ClassName' Location
loc FilePath
name

prologify_ConstString' :: Location -> String -> String
prologify_ConstString' :: Location -> FilePath -> FilePath
prologify_ConstString' Location
l FilePath
value = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_const_string( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
value

prologify_ConstString :: ConstString -> String
prologify_ConstString :: ConstString -> FilePath
prologify_ConstString (ConstString (ConstStr Location
loc) (Token.ConstStr FilePath
value Location
_)) = Location -> FilePath -> FilePath
prologify_ConstString' Location
loc FilePath
value

prologify_CallResolved' :: Location -> String -> String
prologify_CallResolved' :: Location -> FilePath -> FilePath
prologify_CallResolved' Location
call FilePath
resolved = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_call_resolved( %s, \'%s\' )." (Location -> FilePath
locationify Location
call) FilePath
resolved

prologify_CallResolved :: CallResolved -> String
prologify_CallResolved :: CallResolved -> FilePath
prologify_CallResolved (CallResolved (Call Location
call) (Resolved (Fqn FilePath
content))) = Location -> FilePath -> FilePath
prologify_CallResolved' Location
call FilePath
content

prologify_ConstBoolTrue' :: Location -> String
prologify_ConstBoolTrue' :: Location -> FilePath
prologify_ConstBoolTrue' Location
trueValue = FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_class_name( %s, \'%s\' )." (Location -> FilePath
locationify Location
trueValue)

prologify_ConstBoolTrue :: ConstBoolTrue -> String
prologify_ConstBoolTrue :: ConstBoolTrue -> FilePath
prologify_ConstBoolTrue (ConstBoolTrue Location
trueValue) = Location -> FilePath
prologify_ConstBoolTrue' Location
trueValue

prologifyArgForCall' :: Location -> Location -> String
prologifyArgForCall' :: Location -> Location -> FilePath
prologifyArgForCall' Location
a Location
c = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_arg_for_call( %s, %s )." (Location -> FilePath
locationify Location
a) (Location -> FilePath
locationify Location
c)

prologifyArgForCall :: ArgForCall -> String
prologifyArgForCall :: ArgForCall -> FilePath
prologifyArgForCall (ArgForCall (Arg Location
a) (Call Location
c)) = Location -> Location -> FilePath
prologifyArgForCall' Location
a Location
c

prologify_MethodOfClass' :: Location -> Location -> String
prologify_MethodOfClass' :: Location -> Location -> FilePath
prologify_MethodOfClass' Location
m Location
c = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_method_of_class( %s, %s )." (Location -> FilePath
locationify Location
m) (Location -> FilePath
locationify Location
c)

prologify_MethodOfClass :: MethodOfClass -> String
prologify_MethodOfClass :: MethodOfClass -> FilePath
prologify_MethodOfClass (MethodOfClass (Method Location
m) (Class Location
c)) = Location -> Location -> FilePath
prologify_MethodOfClass' Location
m Location
c

prologifyClassResolvedSuper' :: Location -> String -> String
prologifyClassResolvedSuper' :: Location -> FilePath -> FilePath
prologifyClassResolvedSuper' Location
l FilePath
s = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_class_has_resolved_super( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
s
 
prologifyClassResolvedSuper :: ClassResolvedSuper -> String
prologifyClassResolvedSuper :: ClassResolvedSuper -> FilePath
prologifyClassResolvedSuper (ClassResolvedSuper (Class Location
c) (ResolvedSuper (Fqn FilePath
fqn))) = Location -> FilePath -> FilePath
prologifyClassResolvedSuper' Location
c FilePath
fqn

prologifyClassNamedSuper' :: Location -> String -> String
prologifyClassNamedSuper' :: Location -> FilePath -> FilePath
prologifyClassNamedSuper' Location
l FilePath
s = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_class_has_named_super( %s, \'%s\' )." (Location -> FilePath
locationify Location
l) FilePath
s

prologifyClassNamedSuper :: ClassNamedSuper -> String
prologifyClassNamedSuper :: ClassNamedSuper -> FilePath
prologifyClassNamedSuper (ClassNamedSuper (Class Location
c) (Token.SuperName (Token.Named FilePath
name Location
_))) = Location -> FilePath -> FilePath
prologifyClassNamedSuper' Location
c FilePath
name

prologifyArgiForCall' :: Location -> Word -> Location -> String
prologifyArgiForCall' :: Location -> Word -> Location -> FilePath
prologifyArgiForCall' Location
a Word
i Location
c = FilePath -> FilePath -> Word -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_arg_i_for_call( %s, %u, %s )." (Location -> FilePath
locationify Location
a) Word
i (Location -> FilePath
locationify Location
c)

prologifyArgiForCall :: ArgiForCall -> String
prologifyArgiForCall :: ArgiForCall -> FilePath
prologifyArgiForCall (ArgiForCall (Arg Location
a) (ArgIndex Word
i) (Call Location
c)) = Location -> Word -> Location -> FilePath
prologifyArgiForCall' Location
a Word
i Location
c

prologify_ClassAnnotation' :: Location -> Location -> String
prologify_ClassAnnotation' :: Location -> Location -> FilePath
prologify_ClassAnnotation' Location
c Location
a = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_class_has_annotation( %s, %s )." (Location -> FilePath
locationify Location
c) (Location -> FilePath
locationify Location
a)

prologify_ClassAnnotation :: ClassAnnotation -> String
prologify_ClassAnnotation :: ClassAnnotation -> FilePath
prologify_ClassAnnotation (ClassAnnotation (Class Location
c) (Annotation Location
a)) = Location -> Location -> FilePath
prologify_ClassAnnotation' Location
c Location
a

prologify_KeywordArgForCall' ::  String -> Location -> Location -> String
prologify_KeywordArgForCall' :: FilePath -> Location -> Location -> FilePath
prologify_KeywordArgForCall' FilePath
kw Location
a Location
c = FilePath -> FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_keyword_arg_for_call( %s, %s, %s )." (Location -> FilePath
locationify Location
a) FilePath
kw (Location -> FilePath
locationify Location
c)

prologify_KeywordArgForCall :: KeywordArgForCall -> String
prologify_KeywordArgForCall :: KeywordArgForCall -> FilePath
prologify_KeywordArgForCall (KeywordArgForCall (Keyword FilePath
kw) (Arg Location
a) (Call Location
c)) = FilePath -> Location -> Location -> FilePath
prologify_KeywordArgForCall' FilePath
kw Location
a Location
c

prologify_CallableAnnotation' :: Location -> Location -> String
prologify_CallableAnnotation' :: Location -> Location -> FilePath
prologify_CallableAnnotation' Location
c Location
a = FilePath -> FilePath -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_callable_has_annotation( %s, %s )." (Location -> FilePath
locationify Location
c) (Location -> FilePath
locationify Location
a)

prologify_CallableAnnotation :: CallableAnnotation -> String
prologify_CallableAnnotation :: CallableAnnotation -> FilePath
prologify_CallableAnnotation (CallableAnnotation (Callable Location
c) (Annotation Location
a)) = Location -> Location -> FilePath
prologify_CallableAnnotation' Location
c Location
a

prologify_ParamiOfCallable' :: Location -> Word -> Location -> String
prologify_ParamiOfCallable' :: Location -> Word -> Location -> FilePath
prologify_ParamiOfCallable' Location
p Word
i Location
c = FilePath -> FilePath -> Word -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"kb_param_i_of_callable( %s, %u, %s )." (Location -> FilePath
locationify Location
p) Word
i (Location -> FilePath
locationify Location
c)

prologify_ParamiOfCallable :: ParamiOfCallable -> String
prologify_ParamiOfCallable :: ParamiOfCallable -> FilePath
prologify_ParamiOfCallable (ParamiOfCallable (Param Location
p) (ParamIndex Word
i) (Callable Location
c)) = Location -> Word -> Location -> FilePath
prologify_ParamiOfCallable' Location
p Word
i Location
c

locationify :: Location -> String
locationify :: Location -> FilePath
locationify Location
l = let
    x :: Word
x = Location -> Word
Location.lineStart Location
l
    y :: Word
y = Location -> Word
Location.colStart Location
l
    z :: Word
z = Location -> Word
Location.lineEnd Location
l
    w :: Word
w = Location -> Word
Location.colEnd Location
l
    f :: FilePath
f = Location -> FilePath
Location.filename Location
l
    in FilePath -> Word -> Word -> Word -> Word -> FilePath -> FilePath
forall r. PrintfType r => FilePath -> r
printf FilePath
"startloc_%u_%u_endloc_%u_%u_%s" Word
x Word
y Word
z Word
w FilePath
f