Clr.Delegate

Documentation

class Delegate t

Associated Types

type DelegateArgTypes t :: [Type]

type DelegateResultType t :: Type

type family DelegateArgN (t :: Type) (n :: Nat) :: Type where ...

Equations

DelegateArgN t n = DelegateArgTypes t `Index` n

class Delegate t => DelegateConstructor0 t where

Minimal complete definition

rawConstructDelegate0

Methods

rawConstructDelegate0 :: IO (BridgeType (DelegateResultType t)) -> IO (BridgeType t)

class Delegate t => DelegateConstructor1 t where

Minimal complete definition

rawConstructDelegate1

Methods

rawConstructDelegate1 :: (BridgeType (DelegateArgN t 0) -> IO (BridgeType (DelegateResultType t))) -> IO (BridgeType t)

class Delegate t => DelegateConstructor2 t where

Minimal complete definition

rawConstructDelegate2

Methods

rawConstructDelegate2 :: (BridgeType (DelegateArgN t 0) -> BridgeType (DelegateArgN t 1) -> IO (BridgeType (DelegateResultType t))) -> IO (BridgeType t)

class Delegate t => DelegateConstructor3 t where

Minimal complete definition

rawConstructDelegate3

Methods

rawConstructDelegate3 :: (BridgeType (DelegateArgN t 0) -> BridgeType (DelegateArgN t 1) -> BridgeType (DelegateArgN t 2) -> IO (BridgeType (DelegateResultType t))) -> IO (BridgeType t)

type family DelegateArity (t :: Type) :: Nat where ...

Equations

DelegateArity t = ListSize (DelegateArgTypes t)

type family DelegateBridgeType (t :: Type) :: Type where ...

Equations

DelegateBridgeType t = CurryT' (DelegateArity t) (BridgeTypes (DelegateArgTypes t)) (IO (BridgeType (DelegateResultType t)))

class Delegate t => DelegateConstructorN n t where

Minimal complete definition

rawConstructDelegate

Methods

rawConstructDelegate :: DelegateBridgeType t -> IO (BridgeType t)

Instances

((~) Nat (DelegateArity t) 0, DelegateConstructor0 t) => DelegateConstructorN 0 t

Methods

rawConstructDelegate :: DelegateBridgeType t -> IO (BridgeType t)

((~) Nat (DelegateArity t) 1, (~) [Type] (DelegateArgTypes Type t) ((:) Type a0 ([] Type)), DelegateConstructor1 t) => DelegateConstructorN 1 t

Methods

rawConstructDelegate :: DelegateBridgeType t -> IO (BridgeType t)

((~) Nat (DelegateArity t) 2, (~) [Type] (DelegateArgTypes Type t) ((:) Type a0 ((:) Type a1 ([] Type))), DelegateConstructor2 t) => DelegateConstructorN 2 t

Methods

rawConstructDelegate :: DelegateBridgeType t -> IO (BridgeType t)

((~) Nat (DelegateArity t) 3, (~) [Type] (DelegateArgTypes Type t) ((:) Type a0 ((:) Type a1 ((:) Type a2 ([] Type)))), DelegateConstructor3 t) => DelegateConstructorN 3 t

Methods

rawConstructDelegate :: DelegateBridgeType t -> IO (BridgeType t)

delegate :: forall ds d ht bt n. (MakeT ds ~ d, Delegate d, DelegateBridgeType d ~ bt, DelegateArity d ~ n, MarshalF n ht bt, DelegateConstructorN n d, Unmarshal (BridgeType d) (Object d)) => ht -> IO (Object d)