Language.Explorer.Tools.Protocol

Documentation

type ExplorerParser p m c o = (Explorer p m c o, String -> Maybe p)

type ProcessResult = Either ErrorMessage Value

type EIP p m c o = RWST (String -> Maybe p) ByteString (Explorer p m c o) m

class ExplorerPostValue p c o where

Minimal complete definition

Nothing

Methods

postExecute :: Explorer p m c o -> Explorer p m c o -> o -> Value

postJump :: Explorer p m c o -> Explorer p m c o -> Value

postRevert :: Explorer p m c o -> Explorer p m c o -> [Ref] -> Value

data RequestMessage

Constructors

RequestMessage

Fields

• jsonrpc :: String
• req_id :: String
• method :: String
• params :: Maybe Value

Instances

FromJSON RequestMessage

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser RequestMessage

parseJSONList :: Value -> Parser [RequestMessage]

ToJSON RequestMessage

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: RequestMessage -> Value

toEncoding :: RequestMessage -> Encoding

toJSONList :: [RequestMessage] -> Value

toEncodingList :: [RequestMessage] -> Encoding

Generic RequestMessage

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep RequestMessage :: Type -> Type

Methods

from :: RequestMessage -> Rep RequestMessage x

to :: Rep RequestMessage x -> RequestMessage

Show RequestMessage

Defined in Language.Explorer.Tools.Protocol

Methods

showsPrec :: Int -> RequestMessage -> ShowS

show :: RequestMessage -> String

showList :: [RequestMessage] -> ShowS

type Rep RequestMessage

Defined in Language.Explorer.Tools.Protocol

type Rep RequestMessage = D1 ('MetaData "RequestMessage" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "RequestMessage" 'PrefixI 'True) ((S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "req_id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data ResponseMessage

Constructors

ResponseMessage

Fields

• res_id :: String
• body :: ProcessResult

Instances

ToJSON ResponseMessage

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: ResponseMessage -> Value

toEncoding :: ResponseMessage -> Encoding

toJSONList :: [ResponseMessage] -> Value

toEncodingList :: [ResponseMessage] -> Encoding

Show ResponseMessage

Defined in Language.Explorer.Tools.Protocol

Methods

showsPrec :: Int -> ResponseMessage -> ShowS

show :: ResponseMessage -> String

showList :: [ResponseMessage] -> ShowS

data ErrorMessage

Constructors

ErrorMessage

Fields

• code :: Int
• message :: String
• error_data :: Maybe Value

Instances

FromJSON ErrorMessage

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser ErrorMessage

parseJSONList :: Value -> Parser [ErrorMessage]

ToJSON ErrorMessage

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: ErrorMessage -> Value

toEncoding :: ErrorMessage -> Encoding

toJSONList :: [ErrorMessage] -> Value

toEncodingList :: [ErrorMessage] -> Encoding

Generic ErrorMessage

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep ErrorMessage :: Type -> Type

Methods

from :: ErrorMessage -> Rep ErrorMessage x

to :: Rep ErrorMessage x -> ErrorMessage

Show ErrorMessage

Defined in Language.Explorer.Tools.Protocol

Methods

showsPrec :: Int -> ErrorMessage -> ShowS

show :: ErrorMessage -> String

showList :: [ErrorMessage] -> ShowS

type Rep ErrorMessage

Defined in Language.Explorer.Tools.Protocol

type Rep ErrorMessage = D1 ('MetaData "ErrorMessage" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "ErrorMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "error_data") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JumpParams

Constructors

JumpParams

Fields

• jump_ref :: Int

Instances

FromJSON JumpParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser JumpParams

parseJSONList :: Value -> Parser [JumpParams]

data JumpResult

Constructors

JumpResult

Fields

• jump_post :: Value

Instances

ToJSON JumpResult

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: JumpResult -> Value

toEncoding :: JumpResult -> Encoding

toJSONList :: [JumpResult] -> Value

toEncodingList :: [JumpResult] -> Encoding

data ExecuteParams

Constructors

ExecuteParams

Fields

• program :: String

Instances

FromJSON ExecuteParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser ExecuteParams

parseJSONList :: Value -> Parser [ExecuteParams]

Generic ExecuteParams

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep ExecuteParams :: Type -> Type

Methods

from :: ExecuteParams -> Rep ExecuteParams x

to :: Rep ExecuteParams x -> ExecuteParams

Show ExecuteParams

Defined in Language.Explorer.Tools.Protocol

Methods

showsPrec :: Int -> ExecuteParams -> ShowS

show :: ExecuteParams -> String

showList :: [ExecuteParams] -> ShowS

type Rep ExecuteParams

Defined in Language.Explorer.Tools.Protocol

type Rep ExecuteParams = D1 ('MetaData "ExecuteParams" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "ExecuteParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "program") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data ExecuteResult

Constructors

ExecuteResult

Fields

• exec_ref :: Int
• exec_out :: Value
• exec_post :: Value

Instances

ToJSON ExecuteResult

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: ExecuteResult -> Value

toEncoding :: ExecuteResult -> Encoding

toJSONList :: [ExecuteResult] -> Value

toEncodingList :: [ExecuteResult] -> Encoding

data RevertParams

Constructors

RevertParams

Fields

• revert_ref :: Int

Instances

FromJSON RevertParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser RevertParams

parseJSONList :: Value -> Parser [RevertParams]

data RevertResult

Constructors

RevertResult

Fields

• revert_deleted :: [Ref]
• post_revert :: Value

Instances

ToJSON RevertResult

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: RevertResult -> Value

toEncoding :: RevertResult -> Encoding

toJSONList :: [RevertResult] -> Value

toEncodingList :: [RevertResult] -> Encoding

data DerefParams

Constructors

DerefParams

Fields

• deref_ref :: Int

Instances

FromJSON DerefParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser DerefParams

parseJSONList :: Value -> Parser [DerefParams]

data TraceParams

Constructors

TraceParams

Fields

• reference :: Int

Instances

FromJSON TraceParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser TraceParams

parseJSONList :: Value -> Parser [TraceParams]

Generic TraceParams

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep TraceParams :: Type -> Type

Methods

from :: TraceParams -> Rep TraceParams x

to :: Rep TraceParams x -> TraceParams

type Rep TraceParams

Defined in Language.Explorer.Tools.Protocol

type Rep TraceParams = D1 ('MetaData "TraceParams" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "TraceParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "reference") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Edge

Constructors

Edge

Fields

• source :: Int
• target :: Int
• label :: EdgeLabel

Instances

ToJSON Edge

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: Edge -> Value

toEncoding :: Edge -> Encoding

toJSONList :: [Edge] -> Value

toEncodingList :: [Edge] -> Encoding

Generic Edge

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep Edge :: Type -> Type

Methods

from :: Edge -> Rep Edge x

to :: Rep Edge x -> Edge

type Rep Edge

Defined in Language.Explorer.Tools.Protocol

type Rep Edge = D1 ('MetaData "Edge" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "Edge" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EdgeLabel))))

data EdgeLabel

Constructors

EdgeLabel

Fields

• program :: Value
• mval :: Value

Instances

ToJSON EdgeLabel

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: EdgeLabel -> Value

toEncoding :: EdgeLabel -> Encoding

toJSONList :: [EdgeLabel] -> Value

toEncodingList :: [EdgeLabel] -> Encoding

Generic EdgeLabel

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep EdgeLabel :: Type -> Type

Methods

from :: EdgeLabel -> Rep EdgeLabel x

to :: Rep EdgeLabel x -> EdgeLabel

type Rep EdgeLabel

Defined in Language.Explorer.Tools.Protocol

type Rep EdgeLabel = D1 ('MetaData "EdgeLabel" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "EdgeLabel" 'PrefixI 'True) (S1 ('MetaSel ('Just "program") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "mval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)))

data ExecutionTree

Constructors

ExecutionTree

Fields

• current :: Int
• references :: [Int]
• edges :: [Edge]

Instances

ToJSON ExecutionTree

Defined in Language.Explorer.Tools.Protocol

Methods

toJSON :: ExecutionTree -> Value

toEncoding :: ExecutionTree -> Encoding

toJSONList :: [ExecutionTree] -> Value

toEncodingList :: [ExecutionTree] -> Encoding

Generic ExecutionTree

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep ExecutionTree :: Type -> Type

Methods

from :: ExecutionTree -> Rep ExecutionTree x

to :: Rep ExecutionTree x -> ExecutionTree

type Rep ExecutionTree

Defined in Language.Explorer.Tools.Protocol

type Rep ExecutionTree = D1 ('MetaData "ExecutionTree" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "ExecutionTree" 'PrefixI 'True) (S1 ('MetaSel ('Just "current") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "references") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "edges") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Edge]))))

data PathParams

Constructors

PathParams

Fields

• source :: Int
• target :: Int

Instances

FromJSON PathParams

Defined in Language.Explorer.Tools.Protocol

Methods

parseJSON :: Value -> Parser PathParams

parseJSONList :: Value -> Parser [PathParams]

Generic PathParams

Defined in Language.Explorer.Tools.Protocol

Associated Types

type Rep PathParams :: Type -> Type

Methods

from :: PathParams -> Rep PathParams x

to :: Rep PathParams x -> PathParams

type Rep PathParams

Defined in Language.Explorer.Tools.Protocol

type Rep PathParams = D1 ('MetaData "PathParams" "Language.Explorer.Tools.Protocol" "exploring-interpreters-1.4.0.0-BFkoZ6a3w2y690jl7pZ2XG" 'False) (C1 ('MetaCons "PathParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

parseErrorCode :: Int

invalidRequestCode :: Integer

methodNotFoundCode :: Int

invalidParamsCode :: Int

internalErrorCode :: Integer

referenceNotInTreeCode :: Int

referenceRevertInvalidCode :: Int

programParseErrorCode :: Int

pathNonExistingCode :: Int

parseError :: ErrorMessage

methodNotFound :: ErrorMessage

invalidParams :: ErrorMessage

ensureParameter :: Monad m => Maybe Value -> ExceptT ErrorMessage (EIP p m c o) Value

fromResult :: Monad m => Result a -> Value -> ExceptT ErrorMessage (EIP p m c o) Value

jump :: (Monad m, ExplorerPostValue p c o) => Value -> ExceptT ErrorMessage (EIP p m c o) Value

execute :: (Eq o, Monoid o, ToJSON o, Eq p, ExplorerPostValue p c o) => Value -> ExceptT ErrorMessage (EIP p IO c o) Value

allRefs :: Explorer p IO c o -> [(Ref, c)]

revert :: (Eq o, Monoid o, Eq p, ExplorerPostValue p c o) => Value -> ExceptT ErrorMessage (EIP p IO c o) Value

deref :: (Eq o, Monoid o, Eq p, ToJSON c) => Value -> ExceptT ErrorMessage (EIP p IO c o) Value

executionTree :: (ToJSON o, ToJSON p) => ExceptT ErrorMessage (EIP p IO c o) Value

getCurrentReference :: ExceptT ErrorMessage (EIP p IO c o) Value

getAllReferences :: ExceptT ErrorMessage (EIP p IO c o) Value

getTrace :: (ToJSON p, ToJSON o) => Maybe Value -> ExceptT ErrorMessage (EIP p IO c o) Value

getPath :: (ToJSON o, ToJSON p) => Value -> ExceptT ErrorMessage (EIP p IO c o) Value

getLeaves :: ExceptT ErrorMessage (EIP p IO c o) Value

methodDispatch :: (Eq o, Monoid o, ToJSON o, ToJSON p, Eq p, ToJSON c, ExplorerPostValue p c o) => String -> Maybe Value -> ExceptT ErrorMessage (EIP p IO c o) Value

handleRequest :: (Eq o, Monoid o, ToJSON o, ToJSON o, ToJSON p, Eq p, ToJSON c, ExplorerPostValue p c o) => Maybe RequestMessage -> EIP p IO c o ResponseMessage

handleRequest' :: (Eq o, Monoid o, ToJSON o, Eq p, ToJSON p, ToJSON c, ExplorerPostValue p c o) => ByteString -> EIP p IO c o ResponseMessage

invalidHeader :: ResponseMessage

parseHeader :: Parser (Int, String)

intProg :: Int -> Int -> IO (Maybe Int, ())

intParse :: String -> Maybe Int

serve :: (Eq o, Monoid o, ToJSON o, Eq p, ToJSON p, ToJSON c, ExplorerPostValue p c o) => String -> Explorer p IO c o -> (String -> Maybe p) -> IO ()

acceptCommand :: (Monoid o, Eq o, Eq p, ToJSON o, ToJSON p, ToJSON c, ExplorerPostValue p c o) => Explorer p IO c o -> (String -> Maybe p) -> Socket -> ByteString -> IO (Explorer p IO c o)