capnp-0.17.0.0: Cap'n Proto for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Capnp.Gen.Capnp.RpcTwoparty

Documentation

data Side Source #

Instances

Instances details
Enum Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

succ :: Side -> Side #

pred :: Side -> Side #

toEnum :: Int -> Side #

fromEnum :: Side -> Int #

enumFrom :: Side -> [Side] #

enumFromThen :: Side -> Side -> [Side] #

enumFromTo :: Side -> Side -> [Side] #

enumFromThenTo :: Side -> Side -> Side -> [Side] #

Generic Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep Side :: Type -> Type #

Methods

from :: Side -> Rep Side x #

to :: Rep Side x -> Side #

Show Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

showsPrec :: Int -> Side -> ShowS #

show :: Side -> String #

showList :: [Side] -> ShowS #

AllocateList Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint Side Source #

Methods

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

HasTypeId Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

IsWord Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

(==) :: Side -> Side -> Bool #

(/=) :: Side -> Side -> Bool #

EstimateListAlloc Side Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Parse Side Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

parse :: ReadCtx m 'Const => Raw Side 'Const -> m Side Source #

encode :: RWCtx m s => Message ('Mut s) -> Side -> m (Raw Side ('Mut s)) Source #

HasField "side" 'Slot VatId Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep Side = D1 ('MetaData "Side" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Side'server" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Side'client" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Side'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type ListAllocHint Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data VatId Source #

Instances

Instances details
Allocate VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint VatId Source #

Methods

new :: RWCtx m s => AllocHint VatId -> Message ('Mut s) -> m (Raw VatId ('Mut s)) Source #

AllocateList VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint VatId Source #

Methods

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

HasTypeId VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "side" 'Slot VatId Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

marshalInto :: RWCtx m s => Raw VatId ('Mut s) -> Parsed VatId -> m () Source #

Parse VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

parse :: ReadCtx m 'Const => Raw VatId 'Const -> m (Parsed VatId) Source #

encode :: RWCtx m s => Message ('Mut s) -> Parsed VatId -> m (Raw VatId ('Mut s)) Source #

Generic (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed VatId) :: Type -> Type #

Methods

from :: Parsed VatId -> Rep (Parsed VatId) x #

to :: Rep (Parsed VatId) x -> Parsed VatId #

Show (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint VatId = ()
type ListAllocHint VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed VatId) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "VatId" 'PrefixI 'True) (S1 ('MetaSel ('Just "side") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Side))))

data ProvisionId Source #

Instances

Instances details
Allocate ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint ProvisionId Source #

Methods

new :: RWCtx m s => AllocHint ProvisionId -> Message ('Mut s) -> m (Raw ProvisionId ('Mut s)) Source #

AllocateList ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint ProvisionId Source #

Methods

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

HasTypeId ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "joinId" 'Slot ProvisionId Word32 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

marshalInto :: RWCtx m s => Raw ProvisionId ('Mut s) -> Parsed ProvisionId -> m () Source #

Parse ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Generic (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed ProvisionId) :: Type -> Type #

Show (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ListAllocHint ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed ProvisionId) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "ProvisionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))))

data RecipientId Source #

Instances

Instances details
Allocate RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint RecipientId Source #

Methods

new :: RWCtx m s => AllocHint RecipientId -> Message ('Mut s) -> m (Raw RecipientId ('Mut s)) Source #

AllocateList RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint RecipientId Source #

Methods

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

HasTypeId RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

marshalInto :: RWCtx m s => Raw RecipientId ('Mut s) -> Parsed RecipientId -> m () Source #

Parse RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Generic (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed RecipientId) :: Type -> Type #

Show (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ListAllocHint RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed RecipientId) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "RecipientId" 'PrefixI 'False) (U1 :: Type -> Type))

data ThirdPartyCapId Source #

Instances

Instances details
Allocate ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint ThirdPartyCapId Source #

Methods

new :: RWCtx m s => AllocHint ThirdPartyCapId -> Message ('Mut s) -> m (Raw ThirdPartyCapId ('Mut s)) Source #

AllocateList ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint ThirdPartyCapId Source #

HasTypeId ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Parse ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Generic (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed ThirdPartyCapId) :: Type -> Type #

Show (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ListAllocHint ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed ThirdPartyCapId) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "ThirdPartyCapId" 'PrefixI 'False) (U1 :: Type -> Type))

data JoinKeyPart Source #

Instances

Instances details
Allocate JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint JoinKeyPart Source #

Methods

new :: RWCtx m s => AllocHint JoinKeyPart -> Message ('Mut s) -> m (Raw JoinKeyPart ('Mut s)) Source #

AllocateList JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint JoinKeyPart Source #

Methods

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

HasTypeId JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "joinId" 'Slot JoinKeyPart Word32 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "partCount" 'Slot JoinKeyPart Word16 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "partNum" 'Slot JoinKeyPart Word16 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

marshalInto :: RWCtx m s => Raw JoinKeyPart ('Mut s) -> Parsed JoinKeyPart -> m () Source #

Parse JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Generic (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed JoinKeyPart) :: Type -> Type #

Show (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ListAllocHint JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed JoinKeyPart) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "JoinKeyPart" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "partCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "partNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)))))

data JoinResult Source #

Instances

Instances details
Allocate JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type AllocHint JoinResult Source #

Methods

new :: RWCtx m s => AllocHint JoinResult -> Message ('Mut s) -> m (Raw JoinResult ('Mut s)) Source #

AllocateList JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type ListAllocHint JoinResult Source #

Methods

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

HasTypeId JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

typeId :: Word64 Source #

TypedStruct JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "joinId" 'Slot JoinResult Word32 Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "succeeded" 'Slot JoinResult Bool Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

HasField "cap" 'Slot JoinResult (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateAlloc JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

EstimateListAlloc JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Marshal JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Methods

marshalInto :: RWCtx m s => Raw JoinResult ('Mut s) -> Parsed JoinResult -> m () Source #

Parse JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Generic (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Associated Types

type Rep (Parsed JoinResult) :: Type -> Type #

Show (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

Eq (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type AllocHint JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ListAllocHint JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

data Parsed JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type ReprFor JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty

type Rep (Parsed JoinResult) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "JoinResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "joinId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: (S1 ('MetaSel ('Just "succeeded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "cap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))))