Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Persistent sturdyRef owner msg Source #
Persistent'newtype_ (Maybe (Cap msg)) |
Instances
ToPtr s (Persistent sturdyRef owner ('Mut s)) Source # | |
FromPtr msg (Persistent sturdyRef owner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent |
newtype Persistent'SaveParams sturdyRef owner msg Source #
Instances
get_Persistent'SaveParams'sealFor :: (ReadCtx m msg, FromPtr msg owner) => Persistent'SaveParams sturdyRef owner msg -> m owner Source #
set_Persistent'SaveParams'sealFor :: (RWCtx m s, ToPtr s owner) => Persistent'SaveParams sturdyRef owner (Mut s) -> owner -> m () Source #
has_Persistent'SaveParams'sealFor :: ReadCtx m msg => Persistent'SaveParams sturdyRef owner msg -> m Bool Source #
newtype Persistent'SaveResults sturdyRef owner msg Source #
Instances
get_Persistent'SaveResults'sturdyRef :: (ReadCtx m msg, FromPtr msg sturdyRef) => Persistent'SaveResults sturdyRef owner msg -> m sturdyRef Source #
set_Persistent'SaveResults'sturdyRef :: (RWCtx m s, ToPtr s sturdyRef) => Persistent'SaveResults sturdyRef owner (Mut s) -> sturdyRef -> m () Source #
has_Persistent'SaveResults'sturdyRef :: ReadCtx m msg => Persistent'SaveResults sturdyRef owner msg -> m Bool Source #
newtype RealmGateway internalRef externalRef internalOwner externalOwner msg Source #
RealmGateway'newtype_ (Maybe (Cap msg)) |
Instances
ToPtr s (RealmGateway internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
FromPtr msg (RealmGateway internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent |
newtype RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg Source #
Instances
ToStruct msg (RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent toStruct :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> Struct msg Source # | |
FromStruct msg (RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent fromStruct :: ReadCtx m msg => Struct msg -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg) Source # | |
ToPtr s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
FromPtr msg (RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent | |
Allocate s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
Defined in Capnp.Gen.Capnp.Persistent | |
MutListElem s (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
Defined in Capnp.Gen.Capnp.Persistent setIndex :: RWCtx m s => RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Int -> List ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (RealmGateway'import'params internalRef externalRef internalOwner externalOwner ('Mut s))) Source # | |
ListElem mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # | |
Defined in Capnp.Gen.Capnp.Persistent data List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut)) Source # toUntypedList :: List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> List mut Source # length :: List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # | |
MessageDefault (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) mut Source # | |
Defined in Capnp.Gen.Capnp.Persistent messageDefault :: ReadCtx m mut => Message mut -> m (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # | |
HasMessage (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) mut Source # | |
Defined in Capnp.Gen.Capnp.Persistent message :: RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut -> Message mut Source # | |
newtype List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) Source # | |
Defined in Capnp.Gen.Capnp.Persistent newtype List mut (RealmGateway'import'params internalRef externalRef internalOwner externalOwner mut) = RealmGateway'import'params'List_ (ListOf mut (Struct mut)) |
get_RealmGateway'import'params'cap :: (ReadCtx m msg, FromPtr msg (Persistent externalRef externalOwner msg)) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent externalRef externalOwner msg) Source #
set_RealmGateway'import'params'cap :: (RWCtx m s, ToPtr s (Persistent externalRef externalOwner (Mut s))) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner (Mut s) -> Persistent externalRef externalOwner (Mut s) -> m () Source #
has_RealmGateway'import'params'cap :: ReadCtx m msg => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m Bool Source #
get_RealmGateway'import'params'params :: (ReadCtx m msg, FromPtr msg (Persistent'SaveParams internalRef internalOwner msg)) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent'SaveParams internalRef internalOwner msg) Source #
set_RealmGateway'import'params'params :: (RWCtx m s, ToPtr s (Persistent'SaveParams internalRef internalOwner (Mut s))) => RealmGateway'import'params internalRef externalRef internalOwner externalOwner (Mut s) -> Persistent'SaveParams internalRef internalOwner (Mut s) -> m () Source #
has_RealmGateway'import'params'params :: ReadCtx m msg => RealmGateway'import'params internalRef externalRef internalOwner externalOwner msg -> m Bool Source #
new_RealmGateway'import'params'params :: RWCtx m s => RealmGateway'import'params internalRef externalRef internalOwner externalOwner (Mut s) -> m (Persistent'SaveParams internalRef internalOwner (Mut s)) Source #
newtype RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg Source #
Instances
ToStruct msg (RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent toStruct :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> Struct msg Source # | |
FromStruct msg (RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent fromStruct :: ReadCtx m msg => Struct msg -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg) Source # | |
ToPtr s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
FromPtr msg (RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg) Source # | |
Defined in Capnp.Gen.Capnp.Persistent | |
Allocate s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
Defined in Capnp.Gen.Capnp.Persistent | |
MutListElem s (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) Source # | |
Defined in Capnp.Gen.Capnp.Persistent setIndex :: RWCtx m s => RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s) -> Int -> List ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (RealmGateway'export'params internalRef externalRef internalOwner externalOwner ('Mut s))) Source # | |
ListElem mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # | |
Defined in Capnp.Gen.Capnp.Persistent data List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut)) Source # toUntypedList :: List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> List mut Source # length :: List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # | |
MessageDefault (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) mut Source # | |
Defined in Capnp.Gen.Capnp.Persistent messageDefault :: ReadCtx m mut => Message mut -> m (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # | |
HasMessage (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) mut Source # | |
Defined in Capnp.Gen.Capnp.Persistent message :: RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut -> Message mut Source # | |
newtype List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) Source # | |
Defined in Capnp.Gen.Capnp.Persistent newtype List mut (RealmGateway'export'params internalRef externalRef internalOwner externalOwner mut) = RealmGateway'export'params'List_ (ListOf mut (Struct mut)) |
get_RealmGateway'export'params'cap :: (ReadCtx m msg, FromPtr msg (Persistent internalRef internalOwner msg)) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent internalRef internalOwner msg) Source #
set_RealmGateway'export'params'cap :: (RWCtx m s, ToPtr s (Persistent internalRef internalOwner (Mut s))) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner (Mut s) -> Persistent internalRef internalOwner (Mut s) -> m () Source #
has_RealmGateway'export'params'cap :: ReadCtx m msg => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m Bool Source #
get_RealmGateway'export'params'params :: (ReadCtx m msg, FromPtr msg (Persistent'SaveParams externalRef externalOwner msg)) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m (Persistent'SaveParams externalRef externalOwner msg) Source #
set_RealmGateway'export'params'params :: (RWCtx m s, ToPtr s (Persistent'SaveParams externalRef externalOwner (Mut s))) => RealmGateway'export'params internalRef externalRef internalOwner externalOwner (Mut s) -> Persistent'SaveParams externalRef externalOwner (Mut s) -> m () Source #
has_RealmGateway'export'params'params :: ReadCtx m msg => RealmGateway'export'params internalRef externalRef internalOwner externalOwner msg -> m Bool Source #
new_RealmGateway'export'params'params :: RWCtx m s => RealmGateway'export'params internalRef externalRef internalOwner externalOwner (Mut s) -> m (Persistent'SaveParams externalRef externalOwner (Mut s)) Source #