capnp-0.12.0.0: Cap'n Proto for Haskell
Safe HaskellNone
LanguageHaskell2010

Capnp.Gen.Capnp.RpcTwoparty.New

Documentation

data Side Source #

Instances

Instances details
Enum Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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] #

Eq Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

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

Show Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

showsPrec :: Int -> Side -> ShowS #

show :: Side -> String #

showList :: [Side] -> ShowS #

IsWord Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint Side Source #

Methods

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

EstimateListAlloc Side Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse Side Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ReprFor Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint Side Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data VatId Source #

Instances

Instances details
TypedStruct VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint VatId Source #

Methods

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

Allocate VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint VatId Source #

Methods

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

EstimateListAlloc VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

EstimateAlloc VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse VatId (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

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

Eq (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

Methods

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

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

type ReprFor VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint VatId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint VatId = ()
type Rep (Parsed VatId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

data ProvisionId Source #

Instances

Instances details
TypedStruct ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint ProvisionId Source #

Methods

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

Allocate ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint ProvisionId Source #

Methods

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

EstimateListAlloc ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

EstimateAlloc ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse ProvisionId (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Eq (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

type ReprFor ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint ProvisionId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed ProvisionId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

data RecipientId Source #

Instances

Instances details
TypedStruct RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint RecipientId Source #

Methods

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

Allocate RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint RecipientId Source #

Methods

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

EstimateListAlloc RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

EstimateAlloc RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse RecipientId (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Eq (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

type ReprFor RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint RecipientId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed RecipientId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

data ThirdPartyCapId Source #

Instances

Instances details
TypedStruct ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint ThirdPartyCapId Source #

Allocate ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint ThirdPartyCapId Source #

Methods

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

EstimateListAlloc ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

EstimateAlloc ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse ThirdPartyCapId (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Eq (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

type ReprFor ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint ThirdPartyCapId Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed ThirdPartyCapId) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

data JoinKeyPart Source #

Instances

Instances details
TypedStruct JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint JoinKeyPart Source #

Methods

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

Allocate JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint JoinKeyPart Source #

Methods

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

EstimateListAlloc JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

EstimateAlloc JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse JoinKeyPart (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Eq (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

type ReprFor JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint JoinKeyPart Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed JoinKeyPart) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed JoinKeyPart) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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
TypedStruct JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasTypeId JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

typeId :: Word64 Source #

AllocateList JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type ListAllocHint JoinResult Source #

Methods

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

Allocate JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

type AllocHint JoinResult Source #

Methods

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

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

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

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

EstimateListAlloc JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Marshal JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

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

EstimateAlloc JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Parse JoinResult (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Eq (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Show (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Generic (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Associated Types

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

type ReprFor JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

data Parsed JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type ListAllocHint JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type AllocHint JoinResult Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed JoinResult) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

type Rep (Parsed JoinResult) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.RpcTwoparty.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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))))))