rpc-0.0.0: type safe rpcs provided as basic IO actions

Network.RPC.Types

Documentation

data Req Source

Constructors

GetTypes
CallFunc String

Instances

data FuncSpec Source

Constructors

FuncSpec String TypeSpec

Instances

Show FuncSpec
Serialize FuncSpec

data TypeSpec Source

Constructors

SForallT [TyVarBndrSpec] [PredSpec] TypeSpec
SVarT String
SConT String
STupleT Int
SArrowT
SListT
SAppT TypeSpec TypeSpec

Instances

Show TypeSpec
Serialize TypeSpec
Lift TypeSpec

data Bin Source

Constructors

forall a . Serialize a => Bin a

typeToSpec :: Type -> TypeSpec Source

specToType :: TypeSpec -> Type Source