Capnp.Gen.Capnp.Rpc

Documentation

data Message

Instances

Allocate Message

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Message

Methods

new :: RWCtx m s => AllocHint Message -> Message0 ('Mut s) -> m (Raw Message ('Mut s))

AllocateList Message

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Message

Methods

newList :: RWCtx m s => ListAllocHint Message -> Message0 ('Mut s) -> m (Raw (List Message) ('Mut s))

HasTypeId Message

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Message

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Message

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which Message

data RawWhich Message mut

Methods

unionField :: Field 'Slot Message Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Message mut -> m (RawWhich Message mut)

HasVariant "abort" 'Slot Message Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Exception

HasVariant "accept" 'Slot Message Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Accept

HasVariant "bootstrap" 'Slot Message Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Bootstrap

HasVariant "call" 'Slot Message Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Call

HasVariant "disembargo" 'Slot Message Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Disembargo

HasVariant "finish" 'Slot Message Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Finish

HasVariant "join" 'Slot Message Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Join

HasVariant "provide" 'Slot Message Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Provide

HasVariant "release" 'Slot Message Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Release

HasVariant "resolve" 'Slot Message Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Resolve

HasVariant "return" 'Slot Message Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Return

HasVariant "unimplemented" 'Slot Message Message

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Message

HasVariant "obsoleteDelete" 'Slot Message (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message (Maybe AnyPointer)

HasVariant "obsoleteSave" 'Slot Message (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message (Maybe AnyPointer)

EstimateAlloc Message (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Message -> AllocHint Message

EstimateListAlloc Message (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Message) -> AllocHint (List Message)

Marshal Message (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Message ('Mut s) -> Parsed Message -> m ()

Parse Message (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Message 'Const -> m (Parsed Message)

encode :: RWCtx m s => Message0 ('Mut s) -> Parsed Message -> m (Raw Message ('Mut s))

Generic (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which Message)) :: Type -> Type

Methods

from :: Parsed (Which Message) -> Rep (Parsed (Which Message)) x

to :: Rep (Parsed (Which Message)) x -> Parsed (Which Message)

Generic (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Message) :: Type -> Type

Methods

from :: Parsed Message -> Rep (Parsed Message) x

to :: Rep (Parsed Message) x -> Parsed Message

Show (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which Message) -> ShowS

show :: Parsed (Which Message) -> String

showList :: [Parsed (Which Message)] -> ShowS

Show (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Message -> ShowS

show :: Parsed Message -> String

showList :: [Parsed Message] -> ShowS

Eq (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which Message) -> Parsed (Which Message) -> Bool

(/=) :: Parsed (Which Message) -> Parsed (Which Message) -> Bool

Eq (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Message -> Parsed Message -> Bool

(/=) :: Parsed Message -> Parsed Message -> Bool

Marshal (Which Message) (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which Message) ('Mut s) -> Parsed (Which Message) -> m ()

Parse (Which Message) (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which Message) 'Const -> m (Parsed (Which Message))

encode :: RWCtx m s => Message0 ('Mut s) -> Parsed (Which Message) -> m (Raw (Which Message) ('Mut s))

type AllocHint Message

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Message = ()

type ListAllocHint Message

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Message = Int

data Parsed Message

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Message = Message {

• union' :: Parsed (Which Message)

}

data RawWhich Message mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich Message mut_

• = RW_Message'unimplemented (Raw Message mut_)
• | RW_Message'abort (Raw Exception mut_)
• | RW_Message'call (Raw Call mut_)
• | RW_Message'return (Raw Return mut_)
• | RW_Message'finish (Raw Finish mut_)
• | RW_Message'resolve (Raw Resolve mut_)
• | RW_Message'release (Raw Release mut_)
• | RW_Message'obsoleteSave (Raw (Maybe AnyPointer) mut_)
• | RW_Message'bootstrap (Raw Bootstrap mut_)
• | RW_Message'obsoleteDelete (Raw (Maybe AnyPointer) mut_)
• | RW_Message'provide (Raw Provide mut_)
• | RW_Message'accept (Raw Accept mut_)
• | RW_Message'join (Raw Join mut_)
• | RW_Message'disembargo (Raw Disembargo mut_)
• | RW_Message'unknown' Word16

data Which Message

Defined in Capnp.Gen.Capnp.Rpc

data Which Message

type ReprFor Message

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Message = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Message))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which Message)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (((C1 ('MetaCons "Message'unimplemented" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Message))) :+: (C1 ('MetaCons "Message'abort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Exception))) :+: C1 ('MetaCons "Message'call" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Call))))) :+: ((C1 ('MetaCons "Message'return" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Return))) :+: C1 ('MetaCons "Message'finish" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Finish)))) :+: (C1 ('MetaCons "Message'resolve" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Resolve))) :+: C1 ('MetaCons "Message'release" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Release)))))) :+: (((C1 ('MetaCons "Message'obsoleteSave" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Message'bootstrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bootstrap)))) :+: (C1 ('MetaCons "Message'obsoleteDelete" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Message'provide" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Provide))))) :+: ((C1 ('MetaCons "Message'accept" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Accept))) :+: C1 ('MetaCons "Message'join" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Join)))) :+: (C1 ('MetaCons "Message'disembargo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Disembargo))) :+: C1 ('MetaCons "Message'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))))

type Rep (Parsed Message)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Message) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Message" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Message)))))

data Parsed (Which Message)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which Message)

• = Message'unimplemented (Parsed Message)
• | Message'abort (Parsed Exception)
• | Message'call (Parsed Call)
• | Message'return (Parsed Return)
• | Message'finish (Parsed Finish)
• | Message'resolve (Parsed Resolve)
• | Message'release (Parsed Release)
• | Message'obsoleteSave (Parsed (Maybe AnyPointer))
• | Message'bootstrap (Parsed Bootstrap)
• | Message'obsoleteDelete (Parsed (Maybe AnyPointer))
• | Message'provide (Parsed Provide)
• | Message'accept (Parsed Accept)
• | Message'join (Parsed Join)
• | Message'disembargo (Parsed Disembargo)
• | Message'unknown' Word16

data Bootstrap

Instances

Allocate Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Bootstrap

Methods

new :: RWCtx m s => AllocHint Bootstrap -> Message ('Mut s) -> m (Raw Bootstrap ('Mut s))

AllocateList Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Bootstrap

Methods

newList :: RWCtx m s => ListAllocHint Bootstrap -> Message ('Mut s) -> m (Raw (List Bootstrap) ('Mut s))

HasTypeId Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "questionId" 'Slot Bootstrap Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Bootstrap Word32

HasVariant "bootstrap" 'Slot Message Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Bootstrap

HasField "deprecatedObjectId" 'Slot Bootstrap (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Bootstrap (Maybe AnyPointer)

EstimateAlloc Bootstrap (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Bootstrap -> AllocHint Bootstrap

EstimateListAlloc Bootstrap (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Bootstrap) -> AllocHint (List Bootstrap)

Marshal Bootstrap (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Bootstrap ('Mut s) -> Parsed Bootstrap -> m ()

Parse Bootstrap (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Bootstrap 'Const -> m (Parsed Bootstrap)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Bootstrap -> m (Raw Bootstrap ('Mut s))

Generic (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Bootstrap) :: Type -> Type

Methods

from :: Parsed Bootstrap -> Rep (Parsed Bootstrap) x

to :: Rep (Parsed Bootstrap) x -> Parsed Bootstrap

Show (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Bootstrap -> ShowS

show :: Parsed Bootstrap -> String

showList :: [Parsed Bootstrap] -> ShowS

Eq (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Bootstrap -> Parsed Bootstrap -> Bool

(/=) :: Parsed Bootstrap -> Parsed Bootstrap -> Bool

type AllocHint Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Bootstrap = ()

type ListAllocHint Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Bootstrap = Int

data Parsed Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Bootstrap = Bootstrap {

• questionId :: Parsed Word32
• deprecatedObjectId :: Parsed (Maybe AnyPointer)

}

type ReprFor Bootstrap

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Bootstrap = 'Ptr ('Just 'Struct)

type Rep (Parsed Bootstrap)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Bootstrap) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Bootstrap" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "deprecatedObjectId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))))

data Call

Instances

Allocate Call

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Call

Methods

new :: RWCtx m s => AllocHint Call -> Message ('Mut s) -> m (Raw Call ('Mut s))

AllocateList Call

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Call

Methods

newList :: RWCtx m s => ListAllocHint Call -> Message ('Mut s) -> m (Raw (List Call) ('Mut s))

HasTypeId Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "allowThirdPartyTailCall" 'Slot Call Bool

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Bool

HasField "interfaceId" 'Slot Call Word64

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Word64

HasField "methodId" 'Slot Call Word16

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Word16

HasField "params" 'Slot Call Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Payload

HasField "questionId" 'Slot Call Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Word32

HasField "sendResultsTo" 'Group Call Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Group Call Call'sendResultsTo

HasField "target" 'Slot Call MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call MessageTarget

HasVariant "call" 'Slot Message Call

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Call

EstimateAlloc Call (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Call -> AllocHint Call

EstimateListAlloc Call (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Call) -> AllocHint (List Call)

Marshal Call (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Call ('Mut s) -> Parsed Call -> m ()

Parse Call (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Call 'Const -> m (Parsed Call)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Call -> m (Raw Call ('Mut s))

Generic (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Call) :: Type -> Type

Methods

from :: Parsed Call -> Rep (Parsed Call) x

to :: Rep (Parsed Call) x -> Parsed Call

Show (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Call -> ShowS

show :: Parsed Call -> String

showList :: [Parsed Call] -> ShowS

Eq (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Call -> Parsed Call -> Bool

(/=) :: Parsed Call -> Parsed Call -> Bool

type AllocHint Call

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Call = ()

type ListAllocHint Call

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Call = Int

data Parsed Call

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Call = Call {

• questionId :: Parsed Word32
• target :: Parsed MessageTarget
• interfaceId :: Parsed Word64
• methodId :: Parsed Word16
• params :: Parsed Payload
• sendResultsTo :: Parsed Call'sendResultsTo
• allowThirdPartyTailCall :: Parsed Bool

}

type ReprFor Call

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Call = 'Ptr ('Just 'Struct)

type Rep (Parsed Call)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Call) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Call" 'PrefixI 'True) ((S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed MessageTarget)) :*: S1 ('MetaSel ('Just "interfaceId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)))) :*: ((S1 ('MetaSel ('Just "methodId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Payload))) :*: (S1 ('MetaSel ('Just "sendResultsTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Call'sendResultsTo)) :*: S1 ('MetaSel ('Just "allowThirdPartyTailCall") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))))))

data Call'sendResultsTo

Instances

Allocate Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Call'sendResultsTo

Methods

new :: RWCtx m s => AllocHint Call'sendResultsTo -> Message ('Mut s) -> m (Raw Call'sendResultsTo ('Mut s))

AllocateList Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Call'sendResultsTo

Methods

newList :: RWCtx m s => ListAllocHint Call'sendResultsTo -> Message ('Mut s) -> m (Raw (List Call'sendResultsTo) ('Mut s))

HasTypeId Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which Call'sendResultsTo

data RawWhich Call'sendResultsTo mut

Methods

unionField :: Field 'Slot Call'sendResultsTo Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Call'sendResultsTo mut -> m (RawWhich Call'sendResultsTo mut)

HasField "sendResultsTo" 'Group Call Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Group Call Call'sendResultsTo

HasVariant "caller" 'Slot Call'sendResultsTo ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Call'sendResultsTo ()

HasVariant "yourself" 'Slot Call'sendResultsTo ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Call'sendResultsTo ()

HasVariant "thirdParty" 'Slot Call'sendResultsTo (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Call'sendResultsTo (Maybe AnyPointer)

EstimateAlloc Call'sendResultsTo (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Call'sendResultsTo -> AllocHint Call'sendResultsTo

EstimateListAlloc Call'sendResultsTo (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Call'sendResultsTo) -> AllocHint (List Call'sendResultsTo)

Marshal Call'sendResultsTo (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Call'sendResultsTo ('Mut s) -> Parsed Call'sendResultsTo -> m ()

Parse Call'sendResultsTo (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Call'sendResultsTo 'Const -> m (Parsed Call'sendResultsTo)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Call'sendResultsTo -> m (Raw Call'sendResultsTo ('Mut s))

Generic (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which Call'sendResultsTo)) :: Type -> Type

Methods

from :: Parsed (Which Call'sendResultsTo) -> Rep (Parsed (Which Call'sendResultsTo)) x

to :: Rep (Parsed (Which Call'sendResultsTo)) x -> Parsed (Which Call'sendResultsTo)

Generic (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Call'sendResultsTo) :: Type -> Type

Methods

from :: Parsed Call'sendResultsTo -> Rep (Parsed Call'sendResultsTo) x

to :: Rep (Parsed Call'sendResultsTo) x -> Parsed Call'sendResultsTo

Show (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which Call'sendResultsTo) -> ShowS

show :: Parsed (Which Call'sendResultsTo) -> String

showList :: [Parsed (Which Call'sendResultsTo)] -> ShowS

Show (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Call'sendResultsTo -> ShowS

show :: Parsed Call'sendResultsTo -> String

showList :: [Parsed Call'sendResultsTo] -> ShowS

Eq (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which Call'sendResultsTo) -> Parsed (Which Call'sendResultsTo) -> Bool

(/=) :: Parsed (Which Call'sendResultsTo) -> Parsed (Which Call'sendResultsTo) -> Bool

Eq (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Call'sendResultsTo -> Parsed Call'sendResultsTo -> Bool

(/=) :: Parsed Call'sendResultsTo -> Parsed Call'sendResultsTo -> Bool

Marshal (Which Call'sendResultsTo) (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which Call'sendResultsTo) ('Mut s) -> Parsed (Which Call'sendResultsTo) -> m ()

Parse (Which Call'sendResultsTo) (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which Call'sendResultsTo) 'Const -> m (Parsed (Which Call'sendResultsTo))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Call'sendResultsTo) -> m (Raw (Which Call'sendResultsTo) ('Mut s))

type AllocHint Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Call'sendResultsTo = ()

type ListAllocHint Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Call'sendResultsTo = Int

data Parsed Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Call'sendResultsTo = Call'sendResultsTo' {

• union' :: Parsed (Which Call'sendResultsTo)

}

data RawWhich Call'sendResultsTo mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich Call'sendResultsTo mut_

• = RW_Call'sendResultsTo'caller (Raw () mut_)
• | RW_Call'sendResultsTo'yourself (Raw () mut_)
• | RW_Call'sendResultsTo'thirdParty (Raw (Maybe AnyPointer) mut_)
• | RW_Call'sendResultsTo'unknown' Word16

data Which Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

data Which Call'sendResultsTo

type ReprFor Call'sendResultsTo

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Call'sendResultsTo = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Call'sendResultsTo))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which Call'sendResultsTo)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Call'sendResultsTo'caller" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Call'sendResultsTo'yourself" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Call'sendResultsTo'thirdParty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Call'sendResultsTo'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Call'sendResultsTo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Call'sendResultsTo'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Call'sendResultsTo)))))

data Parsed (Which Call'sendResultsTo)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which Call'sendResultsTo)

• = Call'sendResultsTo'caller
• | Call'sendResultsTo'yourself
• | Call'sendResultsTo'thirdParty (Parsed (Maybe AnyPointer))
• | Call'sendResultsTo'unknown' Word16

data Return

Instances

Allocate Return

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Return

Methods

new :: RWCtx m s => AllocHint Return -> Message ('Mut s) -> m (Raw Return ('Mut s))

AllocateList Return

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Return

Methods

newList :: RWCtx m s => ListAllocHint Return -> Message ('Mut s) -> m (Raw (List Return) ('Mut s))

HasTypeId Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Return

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which Return

data RawWhich Return mut

Methods

unionField :: Field 'Slot Return Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Return mut -> m (RawWhich Return mut)

HasField "answerId" 'Slot Return Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Return Word32

HasField "releaseParamCaps" 'Slot Return Bool

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Return Bool

HasVariant "canceled" 'Slot Return ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return ()

HasVariant "exception" 'Slot Return Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return Exception

HasVariant "results" 'Slot Return Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return Payload

HasVariant "resultsSentElsewhere" 'Slot Return ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return ()

HasVariant "return" 'Slot Message Return

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Return

HasVariant "takeFromOtherQuestion" 'Slot Return Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return Word32

HasVariant "acceptFromThirdParty" 'Slot Return (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return (Maybe AnyPointer)

EstimateAlloc Return (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Return -> AllocHint Return

EstimateListAlloc Return (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Return) -> AllocHint (List Return)

Marshal Return (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Return ('Mut s) -> Parsed Return -> m ()

Parse Return (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Return 'Const -> m (Parsed Return)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Return -> m (Raw Return ('Mut s))

Generic (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which Return)) :: Type -> Type

Methods

from :: Parsed (Which Return) -> Rep (Parsed (Which Return)) x

to :: Rep (Parsed (Which Return)) x -> Parsed (Which Return)

Generic (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Return) :: Type -> Type

Methods

from :: Parsed Return -> Rep (Parsed Return) x

to :: Rep (Parsed Return) x -> Parsed Return

Show (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which Return) -> ShowS

show :: Parsed (Which Return) -> String

showList :: [Parsed (Which Return)] -> ShowS

Show (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Return -> ShowS

show :: Parsed Return -> String

showList :: [Parsed Return] -> ShowS

Eq (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which Return) -> Parsed (Which Return) -> Bool

(/=) :: Parsed (Which Return) -> Parsed (Which Return) -> Bool

Eq (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Return -> Parsed Return -> Bool

(/=) :: Parsed Return -> Parsed Return -> Bool

Marshal (Which Return) (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which Return) ('Mut s) -> Parsed (Which Return) -> m ()

Parse (Which Return) (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which Return) 'Const -> m (Parsed (Which Return))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Return) -> m (Raw (Which Return) ('Mut s))

type AllocHint Return

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Return = ()

type ListAllocHint Return

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Return = Int

data Parsed Return

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Return = Return {

• answerId :: Parsed Word32
• releaseParamCaps :: Parsed Bool
• union' :: Parsed (Which Return)

}

data RawWhich Return mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich Return mut_

• = RW_Return'results (Raw Payload mut_)
• | RW_Return'exception (Raw Exception mut_)
• | RW_Return'canceled (Raw () mut_)
• | RW_Return'resultsSentElsewhere (Raw () mut_)
• | RW_Return'takeFromOtherQuestion (Raw Word32 mut_)
• | RW_Return'acceptFromThirdParty (Raw (Maybe AnyPointer) mut_)
• | RW_Return'unknown' Word16

data Which Return

Defined in Capnp.Gen.Capnp.Rpc

data Which Return

type ReprFor Return

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Return = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Return))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which Return)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Return'results" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Payload))) :+: (C1 ('MetaCons "Return'exception" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Exception))) :+: C1 ('MetaCons "Return'canceled" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Return'resultsSentElsewhere" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Return'takeFromOtherQuestion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)))) :+: (C1 ('MetaCons "Return'acceptFromThirdParty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Return'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Rep (Parsed Return)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Return) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Return" 'PrefixI 'True) (S1 ('MetaSel ('Just "answerId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "releaseParamCaps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Return))))))

data Parsed (Which Return)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which Return)

• = Return'results (Parsed Payload)
• | Return'exception (Parsed Exception)
• | Return'canceled
• | Return'resultsSentElsewhere
• | Return'takeFromOtherQuestion (Parsed Word32)
• | Return'acceptFromThirdParty (Parsed (Maybe AnyPointer))
• | Return'unknown' Word16

data Finish

Instances

Allocate Finish

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Finish

Methods

new :: RWCtx m s => AllocHint Finish -> Message ('Mut s) -> m (Raw Finish ('Mut s))

AllocateList Finish

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Finish

Methods

newList :: RWCtx m s => ListAllocHint Finish -> Message ('Mut s) -> m (Raw (List Finish) ('Mut s))

HasTypeId Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "questionId" 'Slot Finish Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Finish Word32

HasField "releaseResultCaps" 'Slot Finish Bool

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Finish Bool

HasVariant "finish" 'Slot Message Finish

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Finish

EstimateAlloc Finish (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Finish -> AllocHint Finish

EstimateListAlloc Finish (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Finish) -> AllocHint (List Finish)

Marshal Finish (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Finish ('Mut s) -> Parsed Finish -> m ()

Parse Finish (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Finish 'Const -> m (Parsed Finish)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Finish -> m (Raw Finish ('Mut s))

Generic (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Finish) :: Type -> Type

Methods

from :: Parsed Finish -> Rep (Parsed Finish) x

to :: Rep (Parsed Finish) x -> Parsed Finish

Show (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Finish -> ShowS

show :: Parsed Finish -> String

showList :: [Parsed Finish] -> ShowS

Eq (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Finish -> Parsed Finish -> Bool

(/=) :: Parsed Finish -> Parsed Finish -> Bool

type AllocHint Finish

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Finish = ()

type ListAllocHint Finish

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Finish = Int

data Parsed Finish

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Finish = Finish {

• questionId :: Parsed Word32
• releaseResultCaps :: Parsed Bool

}

type ReprFor Finish

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Finish = 'Ptr ('Just 'Struct)

type Rep (Parsed Finish)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Finish) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Finish" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "releaseResultCaps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))))

data Resolve

Instances

Allocate Resolve

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Resolve

Methods

new :: RWCtx m s => AllocHint Resolve -> Message ('Mut s) -> m (Raw Resolve ('Mut s))

AllocateList Resolve

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Resolve

Methods

newList :: RWCtx m s => ListAllocHint Resolve -> Message ('Mut s) -> m (Raw (List Resolve) ('Mut s))

HasTypeId Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Resolve

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which Resolve

data RawWhich Resolve mut

Methods

unionField :: Field 'Slot Resolve Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Resolve mut -> m (RawWhich Resolve mut)

HasField "promiseId" 'Slot Resolve Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Resolve Word32

HasVariant "cap" 'Slot Resolve CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Resolve CapDescriptor

HasVariant "exception" 'Slot Resolve Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Resolve Exception

HasVariant "resolve" 'Slot Message Resolve

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Resolve

EstimateAlloc Resolve (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Resolve -> AllocHint Resolve

EstimateListAlloc Resolve (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Resolve) -> AllocHint (List Resolve)

Marshal Resolve (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Resolve ('Mut s) -> Parsed Resolve -> m ()

Parse Resolve (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Resolve 'Const -> m (Parsed Resolve)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Resolve -> m (Raw Resolve ('Mut s))

Generic (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which Resolve)) :: Type -> Type

Methods

from :: Parsed (Which Resolve) -> Rep (Parsed (Which Resolve)) x

to :: Rep (Parsed (Which Resolve)) x -> Parsed (Which Resolve)

Generic (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Resolve) :: Type -> Type

Methods

from :: Parsed Resolve -> Rep (Parsed Resolve) x

to :: Rep (Parsed Resolve) x -> Parsed Resolve

Show (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which Resolve) -> ShowS

show :: Parsed (Which Resolve) -> String

showList :: [Parsed (Which Resolve)] -> ShowS

Show (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Resolve -> ShowS

show :: Parsed Resolve -> String

showList :: [Parsed Resolve] -> ShowS

Eq (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which Resolve) -> Parsed (Which Resolve) -> Bool

(/=) :: Parsed (Which Resolve) -> Parsed (Which Resolve) -> Bool

Eq (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Resolve -> Parsed Resolve -> Bool

(/=) :: Parsed Resolve -> Parsed Resolve -> Bool

Marshal (Which Resolve) (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which Resolve) ('Mut s) -> Parsed (Which Resolve) -> m ()

Parse (Which Resolve) (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which Resolve) 'Const -> m (Parsed (Which Resolve))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Resolve) -> m (Raw (Which Resolve) ('Mut s))

type AllocHint Resolve

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Resolve = ()

type ListAllocHint Resolve

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Resolve = Int

data Parsed Resolve

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Resolve = Resolve {

• promiseId :: Parsed Word32
• union' :: Parsed (Which Resolve)

}

data RawWhich Resolve mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich Resolve mut_

• = RW_Resolve'cap (Raw CapDescriptor mut_)
• | RW_Resolve'exception (Raw Exception mut_)
• | RW_Resolve'unknown' Word16

data Which Resolve

Defined in Capnp.Gen.Capnp.Rpc

data Which Resolve

type ReprFor Resolve

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Resolve = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Resolve))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which Resolve)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Resolve'cap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed CapDescriptor))) :+: (C1 ('MetaCons "Resolve'exception" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Exception))) :+: C1 ('MetaCons "Resolve'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Resolve)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Resolve) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Resolve" 'PrefixI 'True) (S1 ('MetaSel ('Just "promiseId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Resolve)))))

data Parsed (Which Resolve)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which Resolve)

• = Resolve'cap (Parsed CapDescriptor)
• | Resolve'exception (Parsed Exception)
• | Resolve'unknown' Word16

data Release

Instances

Allocate Release

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Release

Methods

new :: RWCtx m s => AllocHint Release -> Message ('Mut s) -> m (Raw Release ('Mut s))

AllocateList Release

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Release

Methods

newList :: RWCtx m s => ListAllocHint Release -> Message ('Mut s) -> m (Raw (List Release) ('Mut s))

HasTypeId Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "id" 'Slot Release Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Release Word32

HasField "referenceCount" 'Slot Release Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Release Word32

HasVariant "release" 'Slot Message Release

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Release

EstimateAlloc Release (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Release -> AllocHint Release

EstimateListAlloc Release (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Release) -> AllocHint (List Release)

Marshal Release (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Release ('Mut s) -> Parsed Release -> m ()

Parse Release (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Release 'Const -> m (Parsed Release)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Release -> m (Raw Release ('Mut s))

Generic (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Release) :: Type -> Type

Methods

from :: Parsed Release -> Rep (Parsed Release) x

to :: Rep (Parsed Release) x -> Parsed Release

Show (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Release -> ShowS

show :: Parsed Release -> String

showList :: [Parsed Release] -> ShowS

Eq (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Release -> Parsed Release -> Bool

(/=) :: Parsed Release -> Parsed Release -> Bool

type AllocHint Release

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Release = ()

type ListAllocHint Release

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Release = Int

data Parsed Release

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Release = Release {

• id :: Parsed Word32
• referenceCount :: Parsed Word32

}

type ReprFor Release

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Release = 'Ptr ('Just 'Struct)

type Rep (Parsed Release)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Release) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Release" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "referenceCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))))

data Disembargo

Instances

Allocate Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Disembargo

Methods

new :: RWCtx m s => AllocHint Disembargo -> Message ('Mut s) -> m (Raw Disembargo ('Mut s))

AllocateList Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Disembargo

Methods

newList :: RWCtx m s => ListAllocHint Disembargo -> Message ('Mut s) -> m (Raw (List Disembargo) ('Mut s))

HasTypeId Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "context" 'Group Disembargo Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Group Disembargo Disembargo'context

HasField "target" 'Slot Disembargo MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Disembargo MessageTarget

HasVariant "disembargo" 'Slot Message Disembargo

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Disembargo

EstimateAlloc Disembargo (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Disembargo -> AllocHint Disembargo

EstimateListAlloc Disembargo (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Disembargo) -> AllocHint (List Disembargo)

Marshal Disembargo (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Disembargo ('Mut s) -> Parsed Disembargo -> m ()

Parse Disembargo (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Disembargo 'Const -> m (Parsed Disembargo)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Disembargo -> m (Raw Disembargo ('Mut s))

Generic (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Disembargo) :: Type -> Type

Methods

from :: Parsed Disembargo -> Rep (Parsed Disembargo) x

to :: Rep (Parsed Disembargo) x -> Parsed Disembargo

Show (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Disembargo -> ShowS

show :: Parsed Disembargo -> String

showList :: [Parsed Disembargo] -> ShowS

Eq (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Disembargo -> Parsed Disembargo -> Bool

(/=) :: Parsed Disembargo -> Parsed Disembargo -> Bool

type AllocHint Disembargo

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Disembargo = ()

type ListAllocHint Disembargo

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Disembargo = Int

data Parsed Disembargo

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Disembargo = Disembargo {

• target :: Parsed MessageTarget
• context :: Parsed Disembargo'context

}

type ReprFor Disembargo

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Disembargo = 'Ptr ('Just 'Struct)

type Rep (Parsed Disembargo)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Disembargo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Disembargo" 'PrefixI 'True) (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed MessageTarget)) :*: S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Disembargo'context))))

data Disembargo'context

Instances

Allocate Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Disembargo'context

Methods

new :: RWCtx m s => AllocHint Disembargo'context -> Message ('Mut s) -> m (Raw Disembargo'context ('Mut s))

AllocateList Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Disembargo'context

Methods

newList :: RWCtx m s => ListAllocHint Disembargo'context -> Message ('Mut s) -> m (Raw (List Disembargo'context) ('Mut s))

HasTypeId Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which Disembargo'context

data RawWhich Disembargo'context mut

Methods

unionField :: Field 'Slot Disembargo'context Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Disembargo'context mut -> m (RawWhich Disembargo'context mut)

HasField "context" 'Group Disembargo Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Group Disembargo Disembargo'context

HasVariant "accept" 'Slot Disembargo'context ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Disembargo'context ()

HasVariant "provide" 'Slot Disembargo'context Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Disembargo'context Word32

HasVariant "receiverLoopback" 'Slot Disembargo'context Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Disembargo'context Word32

HasVariant "senderLoopback" 'Slot Disembargo'context Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Disembargo'context Word32

EstimateAlloc Disembargo'context (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Disembargo'context -> AllocHint Disembargo'context

EstimateListAlloc Disembargo'context (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Disembargo'context) -> AllocHint (List Disembargo'context)

Marshal Disembargo'context (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Disembargo'context ('Mut s) -> Parsed Disembargo'context -> m ()

Parse Disembargo'context (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Disembargo'context 'Const -> m (Parsed Disembargo'context)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Disembargo'context -> m (Raw Disembargo'context ('Mut s))

Generic (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which Disembargo'context)) :: Type -> Type

Methods

from :: Parsed (Which Disembargo'context) -> Rep (Parsed (Which Disembargo'context)) x

to :: Rep (Parsed (Which Disembargo'context)) x -> Parsed (Which Disembargo'context)

Generic (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Disembargo'context) :: Type -> Type

Methods

from :: Parsed Disembargo'context -> Rep (Parsed Disembargo'context) x

to :: Rep (Parsed Disembargo'context) x -> Parsed Disembargo'context

Show (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which Disembargo'context) -> ShowS

show :: Parsed (Which Disembargo'context) -> String

showList :: [Parsed (Which Disembargo'context)] -> ShowS

Show (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Disembargo'context -> ShowS

show :: Parsed Disembargo'context -> String

showList :: [Parsed Disembargo'context] -> ShowS

Eq (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which Disembargo'context) -> Parsed (Which Disembargo'context) -> Bool

(/=) :: Parsed (Which Disembargo'context) -> Parsed (Which Disembargo'context) -> Bool

Eq (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Disembargo'context -> Parsed Disembargo'context -> Bool

(/=) :: Parsed Disembargo'context -> Parsed Disembargo'context -> Bool

Marshal (Which Disembargo'context) (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which Disembargo'context) ('Mut s) -> Parsed (Which Disembargo'context) -> m ()

Parse (Which Disembargo'context) (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which Disembargo'context) 'Const -> m (Parsed (Which Disembargo'context))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Disembargo'context) -> m (Raw (Which Disembargo'context) ('Mut s))

type AllocHint Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Disembargo'context = ()

type ListAllocHint Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Disembargo'context = Int

data Parsed Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Disembargo'context = Disembargo'context' {

• union' :: Parsed (Which Disembargo'context)

}

data RawWhich Disembargo'context mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich Disembargo'context mut_

• = RW_Disembargo'context'senderLoopback (Raw Word32 mut_)
• | RW_Disembargo'context'receiverLoopback (Raw Word32 mut_)
• | RW_Disembargo'context'accept (Raw () mut_)
• | RW_Disembargo'context'provide (Raw Word32 mut_)
• | RW_Disembargo'context'unknown' Word16

data Which Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

data Which Disembargo'context

type ReprFor Disembargo'context

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Disembargo'context = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Disembargo'context))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which Disembargo'context)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Disembargo'context'senderLoopback" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "Disembargo'context'receiverLoopback" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)))) :+: (C1 ('MetaCons "Disembargo'context'accept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Disembargo'context'provide" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "Disembargo'context'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Rep (Parsed Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Disembargo'context) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Disembargo'context'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Disembargo'context)))))

data Parsed (Which Disembargo'context)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which Disembargo'context)

• = Disembargo'context'senderLoopback (Parsed Word32)
• | Disembargo'context'receiverLoopback (Parsed Word32)
• | Disembargo'context'accept
• | Disembargo'context'provide (Parsed Word32)
• | Disembargo'context'unknown' Word16

data Provide

Instances

Allocate Provide

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Provide

Methods

new :: RWCtx m s => AllocHint Provide -> Message ('Mut s) -> m (Raw Provide ('Mut s))

AllocateList Provide

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Provide

Methods

newList :: RWCtx m s => ListAllocHint Provide -> Message ('Mut s) -> m (Raw (List Provide) ('Mut s))

HasTypeId Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "questionId" 'Slot Provide Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Provide Word32

HasField "target" 'Slot Provide MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Provide MessageTarget

HasVariant "provide" 'Slot Message Provide

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Provide

HasField "recipient" 'Slot Provide (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Provide (Maybe AnyPointer)

EstimateAlloc Provide (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Provide -> AllocHint Provide

EstimateListAlloc Provide (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Provide) -> AllocHint (List Provide)

Marshal Provide (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Provide ('Mut s) -> Parsed Provide -> m ()

Parse Provide (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Provide 'Const -> m (Parsed Provide)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Provide -> m (Raw Provide ('Mut s))

Generic (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Provide) :: Type -> Type

Methods

from :: Parsed Provide -> Rep (Parsed Provide) x

to :: Rep (Parsed Provide) x -> Parsed Provide

Show (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Provide -> ShowS

show :: Parsed Provide -> String

showList :: [Parsed Provide] -> ShowS

Eq (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Provide -> Parsed Provide -> Bool

(/=) :: Parsed Provide -> Parsed Provide -> Bool

type AllocHint Provide

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Provide = ()

type ListAllocHint Provide

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Provide = Int

data Parsed Provide

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Provide = Provide {

• questionId :: Parsed Word32
• target :: Parsed MessageTarget
• recipient :: Parsed (Maybe AnyPointer)

}

type ReprFor Provide

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Provide = 'Ptr ('Just 'Struct)

type Rep (Parsed Provide)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Provide) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Provide" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed MessageTarget)) :*: S1 ('MetaSel ('Just "recipient") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))))

data Accept

Instances

Allocate Accept

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Accept

Methods

new :: RWCtx m s => AllocHint Accept -> Message ('Mut s) -> m (Raw Accept ('Mut s))

AllocateList Accept

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Accept

Methods

newList :: RWCtx m s => ListAllocHint Accept -> Message ('Mut s) -> m (Raw (List Accept) ('Mut s))

HasTypeId Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "embargo" 'Slot Accept Bool

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Accept Bool

HasField "questionId" 'Slot Accept Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Accept Word32

HasVariant "accept" 'Slot Message Accept

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Accept

HasField "provision" 'Slot Accept (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Accept (Maybe AnyPointer)

EstimateAlloc Accept (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Accept -> AllocHint Accept

EstimateListAlloc Accept (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Accept) -> AllocHint (List Accept)

Marshal Accept (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Accept ('Mut s) -> Parsed Accept -> m ()

Parse Accept (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Accept 'Const -> m (Parsed Accept)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Accept -> m (Raw Accept ('Mut s))

Generic (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Accept) :: Type -> Type

Methods

from :: Parsed Accept -> Rep (Parsed Accept) x

to :: Rep (Parsed Accept) x -> Parsed Accept

Show (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Accept -> ShowS

show :: Parsed Accept -> String

showList :: [Parsed Accept] -> ShowS

Eq (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Accept -> Parsed Accept -> Bool

(/=) :: Parsed Accept -> Parsed Accept -> Bool

type AllocHint Accept

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Accept = ()

type ListAllocHint Accept

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Accept = Int

data Parsed Accept

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Accept = Accept {

• questionId :: Parsed Word32
• provision :: Parsed (Maybe AnyPointer)
• embargo :: Parsed Bool

}

type ReprFor Accept

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Accept = 'Ptr ('Just 'Struct)

type Rep (Parsed Accept)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Accept) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Accept" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "provision") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))) :*: S1 ('MetaSel ('Just "embargo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))))

data Join

Instances

Allocate Join

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Join

Methods

new :: RWCtx m s => AllocHint Join -> Message ('Mut s) -> m (Raw Join ('Mut s))

AllocateList Join

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Join

Methods

newList :: RWCtx m s => ListAllocHint Join -> Message ('Mut s) -> m (Raw (List Join) ('Mut s))

HasTypeId Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "questionId" 'Slot Join Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Join Word32

HasField "target" 'Slot Join MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Join MessageTarget

HasVariant "join" 'Slot Message Join

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Join

HasField "keyPart" 'Slot Join (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Join (Maybe AnyPointer)

EstimateAlloc Join (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Join -> AllocHint Join

EstimateListAlloc Join (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Join) -> AllocHint (List Join)

Marshal Join (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Join ('Mut s) -> Parsed Join -> m ()

Parse Join (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Join 'Const -> m (Parsed Join)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Join -> m (Raw Join ('Mut s))

Generic (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Join) :: Type -> Type

Methods

from :: Parsed Join -> Rep (Parsed Join) x

to :: Rep (Parsed Join) x -> Parsed Join

Show (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Join -> ShowS

show :: Parsed Join -> String

showList :: [Parsed Join] -> ShowS

Eq (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Join -> Parsed Join -> Bool

(/=) :: Parsed Join -> Parsed Join -> Bool

type AllocHint Join

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Join = ()

type ListAllocHint Join

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Join = Int

data Parsed Join

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Join = Join {

• questionId :: Parsed Word32
• target :: Parsed MessageTarget
• keyPart :: Parsed (Maybe AnyPointer)

}

type ReprFor Join

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Join = 'Ptr ('Just 'Struct)

type Rep (Parsed Join)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Join) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Join" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "target") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed MessageTarget)) :*: S1 ('MetaSel ('Just "keyPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))))

data MessageTarget

Instances

Allocate MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint MessageTarget

Methods

new :: RWCtx m s => AllocHint MessageTarget -> Message ('Mut s) -> m (Raw MessageTarget ('Mut s))

AllocateList MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint MessageTarget

Methods

newList :: RWCtx m s => ListAllocHint MessageTarget -> Message ('Mut s) -> m (Raw (List MessageTarget) ('Mut s))

HasTypeId MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which MessageTarget

data RawWhich MessageTarget mut

Methods

unionField :: Field 'Slot MessageTarget Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw MessageTarget mut -> m (RawWhich MessageTarget mut)

HasField "target" 'Slot Call MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call MessageTarget

HasField "target" 'Slot Disembargo MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Disembargo MessageTarget

HasField "target" 'Slot Join MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Join MessageTarget

HasField "target" 'Slot Provide MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Provide MessageTarget

HasVariant "importedCap" 'Slot MessageTarget Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot MessageTarget Word32

HasVariant "promisedAnswer" 'Slot MessageTarget PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot MessageTarget PromisedAnswer

EstimateAlloc MessageTarget (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed MessageTarget -> AllocHint MessageTarget

EstimateListAlloc MessageTarget (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed MessageTarget) -> AllocHint (List MessageTarget)

Marshal MessageTarget (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw MessageTarget ('Mut s) -> Parsed MessageTarget -> m ()

Parse MessageTarget (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw MessageTarget 'Const -> m (Parsed MessageTarget)

encode :: RWCtx m s => Message ('Mut s) -> Parsed MessageTarget -> m (Raw MessageTarget ('Mut s))

Generic (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which MessageTarget)) :: Type -> Type

Methods

from :: Parsed (Which MessageTarget) -> Rep (Parsed (Which MessageTarget)) x

to :: Rep (Parsed (Which MessageTarget)) x -> Parsed (Which MessageTarget)

Generic (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed MessageTarget) :: Type -> Type

Methods

from :: Parsed MessageTarget -> Rep (Parsed MessageTarget) x

to :: Rep (Parsed MessageTarget) x -> Parsed MessageTarget

Show (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which MessageTarget) -> ShowS

show :: Parsed (Which MessageTarget) -> String

showList :: [Parsed (Which MessageTarget)] -> ShowS

Show (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed MessageTarget -> ShowS

show :: Parsed MessageTarget -> String

showList :: [Parsed MessageTarget] -> ShowS

Eq (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which MessageTarget) -> Parsed (Which MessageTarget) -> Bool

(/=) :: Parsed (Which MessageTarget) -> Parsed (Which MessageTarget) -> Bool

Eq (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed MessageTarget -> Parsed MessageTarget -> Bool

(/=) :: Parsed MessageTarget -> Parsed MessageTarget -> Bool

Marshal (Which MessageTarget) (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which MessageTarget) ('Mut s) -> Parsed (Which MessageTarget) -> m ()

Parse (Which MessageTarget) (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which MessageTarget) 'Const -> m (Parsed (Which MessageTarget))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which MessageTarget) -> m (Raw (Which MessageTarget) ('Mut s))

type AllocHint MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint MessageTarget = ()

type ListAllocHint MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint MessageTarget = Int

data Parsed MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

data Parsed MessageTarget = MessageTarget {

• union' :: Parsed (Which MessageTarget)

}

data RawWhich MessageTarget mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich MessageTarget mut_

• = RW_MessageTarget'importedCap (Raw Word32 mut_)
• | RW_MessageTarget'promisedAnswer (Raw PromisedAnswer mut_)
• | RW_MessageTarget'unknown' Word16

data Which MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

data Which MessageTarget

type ReprFor MessageTarget

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor MessageTarget = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which MessageTarget))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which MessageTarget)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "MessageTarget'importedCap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: (C1 ('MetaCons "MessageTarget'promisedAnswer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed PromisedAnswer))) :+: C1 ('MetaCons "MessageTarget'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed MessageTarget) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "MessageTarget" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which MessageTarget)))))

data Parsed (Which MessageTarget)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which MessageTarget)

• = MessageTarget'importedCap (Parsed Word32)
• | MessageTarget'promisedAnswer (Parsed PromisedAnswer)
• | MessageTarget'unknown' Word16

data Payload

Instances

Allocate Payload

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Payload

Methods

new :: RWCtx m s => AllocHint Payload -> Message ('Mut s) -> m (Raw Payload ('Mut s))

AllocateList Payload

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Payload

Methods

newList :: RWCtx m s => ListAllocHint Payload -> Message ('Mut s) -> m (Raw (List Payload) ('Mut s))

HasTypeId Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "params" 'Slot Call Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Call Payload

HasVariant "results" 'Slot Return Payload

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return Payload

HasField "capTable" 'Slot Payload (List CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Payload (List CapDescriptor)

HasField "content" 'Slot Payload (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Payload (Maybe AnyPointer)

EstimateAlloc Payload (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Payload -> AllocHint Payload

EstimateListAlloc Payload (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Payload) -> AllocHint (List Payload)

Marshal Payload (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Payload ('Mut s) -> Parsed Payload -> m ()

Parse Payload (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Payload 'Const -> m (Parsed Payload)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Payload -> m (Raw Payload ('Mut s))

Generic (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Payload) :: Type -> Type

Methods

from :: Parsed Payload -> Rep (Parsed Payload) x

to :: Rep (Parsed Payload) x -> Parsed Payload

Show (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Payload -> ShowS

show :: Parsed Payload -> String

showList :: [Parsed Payload] -> ShowS

Eq (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Payload -> Parsed Payload -> Bool

(/=) :: Parsed Payload -> Parsed Payload -> Bool

type AllocHint Payload

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Payload = ()

type ListAllocHint Payload

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Payload = Int

data Parsed Payload

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Payload = Payload {

• content :: Parsed (Maybe AnyPointer)
• capTable :: Parsed (List CapDescriptor)

}

type ReprFor Payload

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Payload = 'Ptr ('Just 'Struct)

type Rep (Parsed Payload)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Payload) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Payload" 'PrefixI 'True) (S1 ('MetaSel ('Just "content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))) :*: S1 ('MetaSel ('Just "capTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List CapDescriptor)))))

data CapDescriptor

Instances

Allocate CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint CapDescriptor

Methods

new :: RWCtx m s => AllocHint CapDescriptor -> Message ('Mut s) -> m (Raw CapDescriptor ('Mut s))

AllocateList CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint CapDescriptor

Methods

newList :: RWCtx m s => ListAllocHint CapDescriptor -> Message ('Mut s) -> m (Raw (List CapDescriptor) ('Mut s))

HasTypeId CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which CapDescriptor

data RawWhich CapDescriptor mut

Methods

unionField :: Field 'Slot CapDescriptor Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw CapDescriptor mut -> m (RawWhich CapDescriptor mut)

HasField "attachedFd" 'Slot CapDescriptor Word8

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot CapDescriptor Word8

HasVariant "cap" 'Slot Resolve CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Resolve CapDescriptor

HasVariant "none" 'Slot CapDescriptor ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor ()

HasVariant "receiverAnswer" 'Slot CapDescriptor PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor PromisedAnswer

HasVariant "receiverHosted" 'Slot CapDescriptor Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor Word32

HasVariant "senderHosted" 'Slot CapDescriptor Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor Word32

HasVariant "senderPromise" 'Slot CapDescriptor Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor Word32

HasVariant "thirdPartyHosted" 'Slot CapDescriptor ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor ThirdPartyCapDescriptor

HasField "capTable" 'Slot Payload (List CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Payload (List CapDescriptor)

EstimateAlloc CapDescriptor (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed CapDescriptor -> AllocHint CapDescriptor

EstimateListAlloc CapDescriptor (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed CapDescriptor) -> AllocHint (List CapDescriptor)

Marshal CapDescriptor (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw CapDescriptor ('Mut s) -> Parsed CapDescriptor -> m ()

Parse CapDescriptor (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw CapDescriptor 'Const -> m (Parsed CapDescriptor)

encode :: RWCtx m s => Message ('Mut s) -> Parsed CapDescriptor -> m (Raw CapDescriptor ('Mut s))

Generic (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which CapDescriptor)) :: Type -> Type

Methods

from :: Parsed (Which CapDescriptor) -> Rep (Parsed (Which CapDescriptor)) x

to :: Rep (Parsed (Which CapDescriptor)) x -> Parsed (Which CapDescriptor)

Generic (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed CapDescriptor) :: Type -> Type

Methods

from :: Parsed CapDescriptor -> Rep (Parsed CapDescriptor) x

to :: Rep (Parsed CapDescriptor) x -> Parsed CapDescriptor

Show (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which CapDescriptor) -> ShowS

show :: Parsed (Which CapDescriptor) -> String

showList :: [Parsed (Which CapDescriptor)] -> ShowS

Show (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed CapDescriptor -> ShowS

show :: Parsed CapDescriptor -> String

showList :: [Parsed CapDescriptor] -> ShowS

Eq (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which CapDescriptor) -> Parsed (Which CapDescriptor) -> Bool

(/=) :: Parsed (Which CapDescriptor) -> Parsed (Which CapDescriptor) -> Bool

Eq (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed CapDescriptor -> Parsed CapDescriptor -> Bool

(/=) :: Parsed CapDescriptor -> Parsed CapDescriptor -> Bool

Marshal (Which CapDescriptor) (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which CapDescriptor) ('Mut s) -> Parsed (Which CapDescriptor) -> m ()

Parse (Which CapDescriptor) (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which CapDescriptor) 'Const -> m (Parsed (Which CapDescriptor))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which CapDescriptor) -> m (Raw (Which CapDescriptor) ('Mut s))

type AllocHint CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint CapDescriptor = ()

type ListAllocHint CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint CapDescriptor = Int

data Parsed CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

data Parsed CapDescriptor = CapDescriptor {

• attachedFd :: Parsed Word8
• union' :: Parsed (Which CapDescriptor)

}

data RawWhich CapDescriptor mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich CapDescriptor mut_

• = RW_CapDescriptor'none (Raw () mut_)
• | RW_CapDescriptor'senderHosted (Raw Word32 mut_)
• | RW_CapDescriptor'senderPromise (Raw Word32 mut_)
• | RW_CapDescriptor'receiverHosted (Raw Word32 mut_)
• | RW_CapDescriptor'receiverAnswer (Raw PromisedAnswer mut_)
• | RW_CapDescriptor'thirdPartyHosted (Raw ThirdPartyCapDescriptor mut_)
• | RW_CapDescriptor'unknown' Word16

data Which CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

data Which CapDescriptor

type ReprFor CapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor CapDescriptor = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which CapDescriptor))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which CapDescriptor)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "CapDescriptor'none" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CapDescriptor'senderHosted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "CapDescriptor'senderPromise" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))))) :+: ((C1 ('MetaCons "CapDescriptor'receiverHosted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "CapDescriptor'receiverAnswer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed PromisedAnswer)))) :+: (C1 ('MetaCons "CapDescriptor'thirdPartyHosted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed ThirdPartyCapDescriptor))) :+: C1 ('MetaCons "CapDescriptor'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Rep (Parsed CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed CapDescriptor) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CapDescriptor" 'PrefixI 'True) (S1 ('MetaSel ('Just "attachedFd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which CapDescriptor)))))

data Parsed (Which CapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which CapDescriptor)

• = CapDescriptor'none
• | CapDescriptor'senderHosted (Parsed Word32)
• | CapDescriptor'senderPromise (Parsed Word32)
• | CapDescriptor'receiverHosted (Parsed Word32)
• | CapDescriptor'receiverAnswer (Parsed PromisedAnswer)
• | CapDescriptor'thirdPartyHosted (Parsed ThirdPartyCapDescriptor)
• | CapDescriptor'unknown' Word16

data PromisedAnswer

Instances

Allocate PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint PromisedAnswer

Methods

new :: RWCtx m s => AllocHint PromisedAnswer -> Message ('Mut s) -> m (Raw PromisedAnswer ('Mut s))

AllocateList PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint PromisedAnswer

Methods

newList :: RWCtx m s => ListAllocHint PromisedAnswer -> Message ('Mut s) -> m (Raw (List PromisedAnswer) ('Mut s))

HasTypeId PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "questionId" 'Slot PromisedAnswer Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot PromisedAnswer Word32

HasVariant "promisedAnswer" 'Slot MessageTarget PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot MessageTarget PromisedAnswer

HasVariant "receiverAnswer" 'Slot CapDescriptor PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor PromisedAnswer

HasField "transform" 'Slot PromisedAnswer (List PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot PromisedAnswer (List PromisedAnswer'Op)

EstimateAlloc PromisedAnswer (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed PromisedAnswer -> AllocHint PromisedAnswer

EstimateListAlloc PromisedAnswer (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed PromisedAnswer) -> AllocHint (List PromisedAnswer)

Marshal PromisedAnswer (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw PromisedAnswer ('Mut s) -> Parsed PromisedAnswer -> m ()

Parse PromisedAnswer (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw PromisedAnswer 'Const -> m (Parsed PromisedAnswer)

encode :: RWCtx m s => Message ('Mut s) -> Parsed PromisedAnswer -> m (Raw PromisedAnswer ('Mut s))

Generic (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed PromisedAnswer) :: Type -> Type

Methods

from :: Parsed PromisedAnswer -> Rep (Parsed PromisedAnswer) x

to :: Rep (Parsed PromisedAnswer) x -> Parsed PromisedAnswer

Show (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed PromisedAnswer -> ShowS

show :: Parsed PromisedAnswer -> String

showList :: [Parsed PromisedAnswer] -> ShowS

Eq (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed PromisedAnswer -> Parsed PromisedAnswer -> Bool

(/=) :: Parsed PromisedAnswer -> Parsed PromisedAnswer -> Bool

type AllocHint PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint PromisedAnswer = ()

type ListAllocHint PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint PromisedAnswer = Int

data Parsed PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

data Parsed PromisedAnswer = PromisedAnswer {

• questionId :: Parsed Word32
• transform :: Parsed (List PromisedAnswer'Op)

}

type ReprFor PromisedAnswer

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor PromisedAnswer = 'Ptr ('Just 'Struct)

type Rep (Parsed PromisedAnswer)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed PromisedAnswer) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "PromisedAnswer" 'PrefixI 'True) (S1 ('MetaSel ('Just "questionId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "transform") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List PromisedAnswer'Op)))))

data PromisedAnswer'Op

Instances

Allocate PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint PromisedAnswer'Op

Methods

new :: RWCtx m s => AllocHint PromisedAnswer'Op -> Message ('Mut s) -> m (Raw PromisedAnswer'Op ('Mut s))

AllocateList PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint PromisedAnswer'Op

Methods

newList :: RWCtx m s => ListAllocHint PromisedAnswer'Op -> Message ('Mut s) -> m (Raw (List PromisedAnswer'Op) ('Mut s))

HasTypeId PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

data Which PromisedAnswer'Op

data RawWhich PromisedAnswer'Op mut

Methods

unionField :: Field 'Slot PromisedAnswer'Op Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw PromisedAnswer'Op mut -> m (RawWhich PromisedAnswer'Op mut)

HasVariant "getPointerField" 'Slot PromisedAnswer'Op Word16

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot PromisedAnswer'Op Word16

HasVariant "noop" 'Slot PromisedAnswer'Op ()

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot PromisedAnswer'Op ()

HasField "transform" 'Slot PromisedAnswer (List PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot PromisedAnswer (List PromisedAnswer'Op)

EstimateAlloc PromisedAnswer'Op (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed PromisedAnswer'Op -> AllocHint PromisedAnswer'Op

EstimateListAlloc PromisedAnswer'Op (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed PromisedAnswer'Op) -> AllocHint (List PromisedAnswer'Op)

Marshal PromisedAnswer'Op (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw PromisedAnswer'Op ('Mut s) -> Parsed PromisedAnswer'Op -> m ()

Parse PromisedAnswer'Op (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw PromisedAnswer'Op 'Const -> m (Parsed PromisedAnswer'Op)

encode :: RWCtx m s => Message ('Mut s) -> Parsed PromisedAnswer'Op -> m (Raw PromisedAnswer'Op ('Mut s))

Generic (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed (Which PromisedAnswer'Op)) :: Type -> Type

Methods

from :: Parsed (Which PromisedAnswer'Op) -> Rep (Parsed (Which PromisedAnswer'Op)) x

to :: Rep (Parsed (Which PromisedAnswer'Op)) x -> Parsed (Which PromisedAnswer'Op)

Generic (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed PromisedAnswer'Op) :: Type -> Type

Methods

from :: Parsed PromisedAnswer'Op -> Rep (Parsed PromisedAnswer'Op) x

to :: Rep (Parsed PromisedAnswer'Op) x -> Parsed PromisedAnswer'Op

Show (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed (Which PromisedAnswer'Op) -> ShowS

show :: Parsed (Which PromisedAnswer'Op) -> String

showList :: [Parsed (Which PromisedAnswer'Op)] -> ShowS

Show (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed PromisedAnswer'Op -> ShowS

show :: Parsed PromisedAnswer'Op -> String

showList :: [Parsed PromisedAnswer'Op] -> ShowS

Eq (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed (Which PromisedAnswer'Op) -> Parsed (Which PromisedAnswer'Op) -> Bool

(/=) :: Parsed (Which PromisedAnswer'Op) -> Parsed (Which PromisedAnswer'Op) -> Bool

Eq (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed PromisedAnswer'Op -> Parsed PromisedAnswer'Op -> Bool

(/=) :: Parsed PromisedAnswer'Op -> Parsed PromisedAnswer'Op -> Bool

Marshal (Which PromisedAnswer'Op) (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw (Which PromisedAnswer'Op) ('Mut s) -> Parsed (Which PromisedAnswer'Op) -> m ()

Parse (Which PromisedAnswer'Op) (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw (Which PromisedAnswer'Op) 'Const -> m (Parsed (Which PromisedAnswer'Op))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which PromisedAnswer'Op) -> m (Raw (Which PromisedAnswer'Op) ('Mut s))

type AllocHint PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint PromisedAnswer'Op = ()

type ListAllocHint PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint PromisedAnswer'Op = Int

data Parsed PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

data Parsed PromisedAnswer'Op = PromisedAnswer'Op {

• union' :: Parsed (Which PromisedAnswer'Op)

}

data RawWhich PromisedAnswer'Op mut_

Defined in Capnp.Gen.Capnp.Rpc

data RawWhich PromisedAnswer'Op mut_

• = RW_PromisedAnswer'Op'noop (Raw () mut_)
• | RW_PromisedAnswer'Op'getPointerField (Raw Word16 mut_)
• | RW_PromisedAnswer'Op'unknown' Word16

data Which PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

data Which PromisedAnswer'Op

type ReprFor PromisedAnswer'Op

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor PromisedAnswer'Op = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which PromisedAnswer'Op))

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed (Which PromisedAnswer'Op)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "PromisedAnswer'Op'noop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PromisedAnswer'Op'getPointerField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: C1 ('MetaCons "PromisedAnswer'Op'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed PromisedAnswer'Op) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "PromisedAnswer'Op" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which PromisedAnswer'Op)))))

data Parsed (Which PromisedAnswer'Op)

Defined in Capnp.Gen.Capnp.Rpc

data Parsed (Which PromisedAnswer'Op)

• = PromisedAnswer'Op'noop
• | PromisedAnswer'Op'getPointerField (Parsed Word16)
• | PromisedAnswer'Op'unknown' Word16

data ThirdPartyCapDescriptor

Instances

Allocate ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint ThirdPartyCapDescriptor

Methods

new :: RWCtx m s => AllocHint ThirdPartyCapDescriptor -> Message ('Mut s) -> m (Raw ThirdPartyCapDescriptor ('Mut s))

AllocateList ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint ThirdPartyCapDescriptor

Methods

newList :: RWCtx m s => ListAllocHint ThirdPartyCapDescriptor -> Message ('Mut s) -> m (Raw (List ThirdPartyCapDescriptor) ('Mut s))

HasTypeId ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "vineId" 'Slot ThirdPartyCapDescriptor Word32

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot ThirdPartyCapDescriptor Word32

HasVariant "thirdPartyHosted" 'Slot CapDescriptor ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot CapDescriptor ThirdPartyCapDescriptor

HasField "id" 'Slot ThirdPartyCapDescriptor (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot ThirdPartyCapDescriptor (Maybe AnyPointer)

EstimateAlloc ThirdPartyCapDescriptor (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed ThirdPartyCapDescriptor -> AllocHint ThirdPartyCapDescriptor

EstimateListAlloc ThirdPartyCapDescriptor (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed ThirdPartyCapDescriptor) -> AllocHint (List ThirdPartyCapDescriptor)

Marshal ThirdPartyCapDescriptor (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw ThirdPartyCapDescriptor ('Mut s) -> Parsed ThirdPartyCapDescriptor -> m ()

Parse ThirdPartyCapDescriptor (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw ThirdPartyCapDescriptor 'Const -> m (Parsed ThirdPartyCapDescriptor)

encode :: RWCtx m s => Message ('Mut s) -> Parsed ThirdPartyCapDescriptor -> m (Raw ThirdPartyCapDescriptor ('Mut s))

Generic (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed ThirdPartyCapDescriptor) :: Type -> Type

Methods

from :: Parsed ThirdPartyCapDescriptor -> Rep (Parsed ThirdPartyCapDescriptor) x

to :: Rep (Parsed ThirdPartyCapDescriptor) x -> Parsed ThirdPartyCapDescriptor

Show (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed ThirdPartyCapDescriptor -> ShowS

show :: Parsed ThirdPartyCapDescriptor -> String

showList :: [Parsed ThirdPartyCapDescriptor] -> ShowS

Eq (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed ThirdPartyCapDescriptor -> Parsed ThirdPartyCapDescriptor -> Bool

(/=) :: Parsed ThirdPartyCapDescriptor -> Parsed ThirdPartyCapDescriptor -> Bool

type AllocHint ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint ThirdPartyCapDescriptor = ()

type ListAllocHint ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint ThirdPartyCapDescriptor = Int

data Parsed ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

data Parsed ThirdPartyCapDescriptor = ThirdPartyCapDescriptor {

• id :: Parsed (Maybe AnyPointer)
• vineId :: Parsed Word32

}

type ReprFor ThirdPartyCapDescriptor

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor ThirdPartyCapDescriptor = 'Ptr ('Just 'Struct)

type Rep (Parsed ThirdPartyCapDescriptor)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed ThirdPartyCapDescriptor) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "ThirdPartyCapDescriptor" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))) :*: S1 ('MetaSel ('Just "vineId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))))

data Exception

Instances

Allocate Exception

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type AllocHint Exception

Methods

new :: RWCtx m s => AllocHint Exception -> Message ('Mut s) -> m (Raw Exception ('Mut s))

AllocateList Exception

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Exception

Methods

newList :: RWCtx m s => ListAllocHint Exception -> Message ('Mut s) -> m (Raw (List Exception) ('Mut s))

HasTypeId Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

TypedStruct Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "obsoleteDurability" 'Slot Exception Word16

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Exception Word16

HasField "obsoleteIsCallersFault" 'Slot Exception Bool

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Exception Bool

HasField "reason" 'Slot Exception Text

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Exception Text

HasField "type_" 'Slot Exception Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Exception Exception'Type

HasVariant "abort" 'Slot Message Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Message Exception

HasVariant "exception" 'Slot Resolve Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Resolve Exception

HasVariant "exception" 'Slot Return Exception

Defined in Capnp.Gen.Capnp.Rpc

Methods

variantByLabel :: Variant 'Slot Return Exception

EstimateAlloc Exception (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateAlloc :: Parsed Exception -> AllocHint Exception

EstimateListAlloc Exception (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector (Parsed Exception) -> AllocHint (List Exception)

Marshal Exception (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

marshalInto :: RWCtx m s => Raw Exception ('Mut s) -> Parsed Exception -> m ()

Parse Exception (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Exception 'Const -> m (Parsed Exception)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Exception -> m (Raw Exception ('Mut s))

Exception (Parsed Exception)

Defined in Capnp.Rpc.Errors

Methods

toException :: Parsed Exception -> SomeException

fromException :: SomeException -> Maybe (Parsed Exception)

displayException :: Parsed Exception -> String

Generic (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep (Parsed Exception) :: Type -> Type

Methods

from :: Parsed Exception -> Rep (Parsed Exception) x

to :: Rep (Parsed Exception) x -> Parsed Exception

Show (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Parsed Exception -> ShowS

show :: Parsed Exception -> String

showList :: [Parsed Exception] -> ShowS

Eq (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Parsed Exception -> Parsed Exception -> Bool

(/=) :: Parsed Exception -> Parsed Exception -> Bool

type AllocHint Exception

Defined in Capnp.Gen.Capnp.Rpc

type AllocHint Exception = ()

type ListAllocHint Exception

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Exception = Int

data Parsed Exception

Defined in Capnp.Gen.Capnp.Rpc

data Parsed Exception = Exception {

• reason :: Parsed Text
• obsoleteIsCallersFault :: Parsed Bool
• obsoleteDurability :: Parsed Word16
• type_ :: Parsed Exception'Type

}

type ReprFor Exception

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Exception = 'Ptr ('Just 'Struct)

type Rep (Parsed Exception)

Defined in Capnp.Gen.Capnp.Rpc

type Rep (Parsed Exception) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Exception" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "obsoleteIsCallersFault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))) :*: (S1 ('MetaSel ('Just "obsoleteDurability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Exception'Type)))))

data Exception'Type

Constructors

Exception'Type'failed

Exception'Type'overloaded

Exception'Type'disconnected

Exception'Type'unimplemented

Exception'Type'unknown' Word16

Instances

Enum Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

succ :: Exception'Type -> Exception'Type

pred :: Exception'Type -> Exception'Type

toEnum :: Int -> Exception'Type

fromEnum :: Exception'Type -> Int

enumFrom :: Exception'Type -> [Exception'Type]

enumFromThen :: Exception'Type -> Exception'Type -> [Exception'Type]

enumFromTo :: Exception'Type -> Exception'Type -> [Exception'Type]

enumFromThenTo :: Exception'Type -> Exception'Type -> Exception'Type -> [Exception'Type]

Generic Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type Rep Exception'Type :: Type -> Type

Methods

from :: Exception'Type -> Rep Exception'Type x

to :: Rep Exception'Type x -> Exception'Type

Show Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

showsPrec :: Int -> Exception'Type -> ShowS

show :: Exception'Type -> String

showList :: [Exception'Type] -> ShowS

AllocateList Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Associated Types

type ListAllocHint Exception'Type

Methods

newList :: RWCtx m s => ListAllocHint Exception'Type -> Message ('Mut s) -> m (Raw (List Exception'Type) ('Mut s))

HasTypeId Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

typeId :: Word64

IsWord Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

fromWord :: Word64 -> Exception'Type

toWord :: Exception'Type -> Word64

Eq Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

(==) :: Exception'Type -> Exception'Type -> Bool

(/=) :: Exception'Type -> Exception'Type -> Bool

EstimateListAlloc Exception'Type Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

estimateListAlloc :: Vector Exception'Type -> AllocHint (List Exception'Type)

Parse Exception'Type Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

parse :: ReadCtx m 'Const => Raw Exception'Type 'Const -> m Exception'Type

encode :: RWCtx m s => Message ('Mut s) -> Exception'Type -> m (Raw Exception'Type ('Mut s))

HasField "type_" 'Slot Exception Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

Methods

fieldByLabel :: Field 'Slot Exception Exception'Type

type Rep Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

type Rep Exception'Type = D1 ('MetaData "Exception'Type" "Capnp.Gen.Capnp.Rpc" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Exception'Type'failed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exception'Type'overloaded" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Exception'Type'disconnected" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Exception'Type'unimplemented" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Exception'Type'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type ListAllocHint Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

type ListAllocHint Exception'Type = Int

type ReprFor Exception'Type

Defined in Capnp.Gen.Capnp.Rpc

type ReprFor Exception'Type = 'Data 'Sz16