Capnp.Gen.Capnp.Schema

Documentation

newtype Node msg

Constructors

Node'newtype_ (Struct msg)

Instances

ToStruct msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node msg -> Struct msg

FromStruct msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node msg)

ToPtr s (Node ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Node ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Node msg)

Allocate s (Node ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Node ('Mut s))

MutListElem s (Node ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node ('Mut s) -> Int -> List ('Mut s) (Node ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node ('Mut s)))

ListElem mut (Node mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node mut))

toUntypedList :: List mut (Node mut) -> List mut

length :: List mut (Node mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node mut) -> m (Node mut)

MessageDefault (Node mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node mut)

HasMessage (Node mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node mut -> Message mut

newtype List mut (Node mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Node mut) = Node'List_ (ListOf mut (Struct mut))

get_Node'id :: ReadCtx m msg => Node msg -> m Word64

set_Node'id :: RWCtx m s => Node (Mut s) -> Word64 -> m ()

get_Node'displayName :: (ReadCtx m msg, FromPtr msg (Text msg)) => Node msg -> m (Text msg)

set_Node'displayName :: (RWCtx m s, ToPtr s (Text (Mut s))) => Node (Mut s) -> Text (Mut s) -> m ()

has_Node'displayName :: ReadCtx m msg => Node msg -> m Bool

new_Node'displayName :: RWCtx m s => Int -> Node (Mut s) -> m (Text (Mut s))

get_Node'displayNamePrefixLength :: ReadCtx m msg => Node msg -> m Word32

set_Node'displayNamePrefixLength :: RWCtx m s => Node (Mut s) -> Word32 -> m ()

get_Node'scopeId :: ReadCtx m msg => Node msg -> m Word64

set_Node'scopeId :: RWCtx m s => Node (Mut s) -> Word64 -> m ()

get_Node'nestedNodes :: (ReadCtx m msg, FromPtr msg (List msg (Node'NestedNode msg))) => Node msg -> m (List msg (Node'NestedNode msg))

set_Node'nestedNodes :: (RWCtx m s, ToPtr s (List (Mut s) (Node'NestedNode (Mut s)))) => Node (Mut s) -> List (Mut s) (Node'NestedNode (Mut s)) -> m ()

has_Node'nestedNodes :: ReadCtx m msg => Node msg -> m Bool

new_Node'nestedNodes :: RWCtx m s => Int -> Node (Mut s) -> m (List (Mut s) (Node'NestedNode (Mut s)))

get_Node'annotations :: (ReadCtx m msg, FromPtr msg (List msg (Annotation msg))) => Node msg -> m (List msg (Annotation msg))

set_Node'annotations :: (RWCtx m s, ToPtr s (List (Mut s) (Annotation (Mut s)))) => Node (Mut s) -> List (Mut s) (Annotation (Mut s)) -> m ()

has_Node'annotations :: ReadCtx m msg => Node msg -> m Bool

new_Node'annotations :: RWCtx m s => Int -> Node (Mut s) -> m (List (Mut s) (Annotation (Mut s)))

get_Node'parameters :: (ReadCtx m msg, FromPtr msg (List msg (Node'Parameter msg))) => Node msg -> m (List msg (Node'Parameter msg))

set_Node'parameters :: (RWCtx m s, ToPtr s (List (Mut s) (Node'Parameter (Mut s)))) => Node (Mut s) -> List (Mut s) (Node'Parameter (Mut s)) -> m ()

has_Node'parameters :: ReadCtx m msg => Node msg -> m Bool

new_Node'parameters :: RWCtx m s => Int -> Node (Mut s) -> m (List (Mut s) (Node'Parameter (Mut s)))

get_Node'isGeneric :: ReadCtx m msg => Node msg -> m Bool

set_Node'isGeneric :: RWCtx m s => Node (Mut s) -> Bool -> m ()

data Node' (mut :: Mutability)

Constructors

Node'file

Node'struct (Node'struct mut)

Node'enum (Node'enum mut)

Node'interface (Node'interface mut)

Node'const (Node'const mut)

Node'annotation (Node'annotation mut)

Node'unknown' Word16

Instances

FromStruct mut (Node' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Node' mut)

get_Node' :: (ReadCtx m msg, FromStruct msg (Node' msg)) => Node msg -> m (Node' msg)

set_Node'file :: RWCtx m s => Node (Mut s) -> m ()

set_Node'struct :: (RWCtx m s, FromStruct (Mut s) (Node'struct (Mut s))) => Node (Mut s) -> m (Node'struct (Mut s))

set_Node'enum :: (RWCtx m s, FromStruct (Mut s) (Node'enum (Mut s))) => Node (Mut s) -> m (Node'enum (Mut s))

set_Node'interface :: (RWCtx m s, FromStruct (Mut s) (Node'interface (Mut s))) => Node (Mut s) -> m (Node'interface (Mut s))

set_Node'const :: (RWCtx m s, FromStruct (Mut s) (Node'const (Mut s))) => Node (Mut s) -> m (Node'const (Mut s))

set_Node'annotation :: (RWCtx m s, FromStruct (Mut s) (Node'annotation (Mut s))) => Node (Mut s) -> m (Node'annotation (Mut s))

set_Node'unknown' :: RWCtx m s => Node (Mut s) -> Word16 -> m ()

newtype Node'struct msg

Constructors

Node'struct'newtype_ (Struct msg)

Instances

ToStruct msg (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'struct msg -> Struct msg

FromStruct msg (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'struct msg)

MessageDefault (Node'struct mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'struct mut)

HasMessage (Node'struct mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'struct mut -> Message mut

get_Node'struct'dataWordCount :: ReadCtx m msg => Node'struct msg -> m Word16

set_Node'struct'dataWordCount :: RWCtx m s => Node'struct (Mut s) -> Word16 -> m ()

get_Node'struct'pointerCount :: ReadCtx m msg => Node'struct msg -> m Word16

set_Node'struct'pointerCount :: RWCtx m s => Node'struct (Mut s) -> Word16 -> m ()

get_Node'struct'preferredListEncoding :: ReadCtx m msg => Node'struct msg -> m ElementSize

set_Node'struct'preferredListEncoding :: RWCtx m s => Node'struct (Mut s) -> ElementSize -> m ()

get_Node'struct'isGroup :: ReadCtx m msg => Node'struct msg -> m Bool

set_Node'struct'isGroup :: RWCtx m s => Node'struct (Mut s) -> Bool -> m ()

get_Node'struct'discriminantCount :: ReadCtx m msg => Node'struct msg -> m Word16

set_Node'struct'discriminantCount :: RWCtx m s => Node'struct (Mut s) -> Word16 -> m ()

get_Node'struct'discriminantOffset :: ReadCtx m msg => Node'struct msg -> m Word32

set_Node'struct'discriminantOffset :: RWCtx m s => Node'struct (Mut s) -> Word32 -> m ()

get_Node'struct'fields :: (ReadCtx m msg, FromPtr msg (List msg (Field msg))) => Node'struct msg -> m (List msg (Field msg))

set_Node'struct'fields :: (RWCtx m s, ToPtr s (List (Mut s) (Field (Mut s)))) => Node'struct (Mut s) -> List (Mut s) (Field (Mut s)) -> m ()

has_Node'struct'fields :: ReadCtx m msg => Node'struct msg -> m Bool

new_Node'struct'fields :: RWCtx m s => Int -> Node'struct (Mut s) -> m (List (Mut s) (Field (Mut s)))

newtype Node'enum msg

Constructors

Node'enum'newtype_ (Struct msg)

Instances

ToStruct msg (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'enum msg -> Struct msg

FromStruct msg (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'enum msg)

MessageDefault (Node'enum mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'enum mut)

HasMessage (Node'enum mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'enum mut -> Message mut

get_Node'enum'enumerants :: (ReadCtx m msg, FromPtr msg (List msg (Enumerant msg))) => Node'enum msg -> m (List msg (Enumerant msg))

set_Node'enum'enumerants :: (RWCtx m s, ToPtr s (List (Mut s) (Enumerant (Mut s)))) => Node'enum (Mut s) -> List (Mut s) (Enumerant (Mut s)) -> m ()

has_Node'enum'enumerants :: ReadCtx m msg => Node'enum msg -> m Bool

new_Node'enum'enumerants :: RWCtx m s => Int -> Node'enum (Mut s) -> m (List (Mut s) (Enumerant (Mut s)))

newtype Node'interface msg

Constructors

Node'interface'newtype_ (Struct msg)

Instances

ToStruct msg (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'interface msg -> Struct msg

FromStruct msg (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'interface msg)

MessageDefault (Node'interface mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'interface mut)

HasMessage (Node'interface mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'interface mut -> Message mut

get_Node'interface'methods :: (ReadCtx m msg, FromPtr msg (List msg (Method msg))) => Node'interface msg -> m (List msg (Method msg))

set_Node'interface'methods :: (RWCtx m s, ToPtr s (List (Mut s) (Method (Mut s)))) => Node'interface (Mut s) -> List (Mut s) (Method (Mut s)) -> m ()

has_Node'interface'methods :: ReadCtx m msg => Node'interface msg -> m Bool

new_Node'interface'methods :: RWCtx m s => Int -> Node'interface (Mut s) -> m (List (Mut s) (Method (Mut s)))

get_Node'interface'superclasses :: (ReadCtx m msg, FromPtr msg (List msg (Superclass msg))) => Node'interface msg -> m (List msg (Superclass msg))

set_Node'interface'superclasses :: (RWCtx m s, ToPtr s (List (Mut s) (Superclass (Mut s)))) => Node'interface (Mut s) -> List (Mut s) (Superclass (Mut s)) -> m ()

has_Node'interface'superclasses :: ReadCtx m msg => Node'interface msg -> m Bool

new_Node'interface'superclasses :: RWCtx m s => Int -> Node'interface (Mut s) -> m (List (Mut s) (Superclass (Mut s)))

newtype Node'const msg

Constructors

Node'const'newtype_ (Struct msg)

Instances

ToStruct msg (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'const msg -> Struct msg

FromStruct msg (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'const msg)

MessageDefault (Node'const mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'const mut)

HasMessage (Node'const mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'const mut -> Message mut

get_Node'const'type_ :: (ReadCtx m msg, FromPtr msg (Type msg)) => Node'const msg -> m (Type msg)

set_Node'const'type_ :: (RWCtx m s, ToPtr s (Type (Mut s))) => Node'const (Mut s) -> Type (Mut s) -> m ()

has_Node'const'type_ :: ReadCtx m msg => Node'const msg -> m Bool

new_Node'const'type_ :: RWCtx m s => Node'const (Mut s) -> m (Type (Mut s))

get_Node'const'value :: (ReadCtx m msg, FromPtr msg (Value msg)) => Node'const msg -> m (Value msg)

set_Node'const'value :: (RWCtx m s, ToPtr s (Value (Mut s))) => Node'const (Mut s) -> Value (Mut s) -> m ()

has_Node'const'value :: ReadCtx m msg => Node'const msg -> m Bool

new_Node'const'value :: RWCtx m s => Node'const (Mut s) -> m (Value (Mut s))

newtype Node'annotation msg

Constructors

Node'annotation'newtype_ (Struct msg)

Instances

ToStruct msg (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'annotation msg -> Struct msg

FromStruct msg (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'annotation msg)

MessageDefault (Node'annotation mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'annotation mut)

HasMessage (Node'annotation mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'annotation mut -> Message mut

get_Node'annotation'type_ :: (ReadCtx m msg, FromPtr msg (Type msg)) => Node'annotation msg -> m (Type msg)

set_Node'annotation'type_ :: (RWCtx m s, ToPtr s (Type (Mut s))) => Node'annotation (Mut s) -> Type (Mut s) -> m ()

has_Node'annotation'type_ :: ReadCtx m msg => Node'annotation msg -> m Bool

new_Node'annotation'type_ :: RWCtx m s => Node'annotation (Mut s) -> m (Type (Mut s))

get_Node'annotation'targetsFile :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsFile :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsConst :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsConst :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsEnum :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsEnum :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsEnumerant :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsEnumerant :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsStruct :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsStruct :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsField :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsField :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsUnion :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsUnion :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsGroup :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsGroup :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsInterface :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsInterface :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsMethod :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsMethod :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsParam :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsParam :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

get_Node'annotation'targetsAnnotation :: ReadCtx m msg => Node'annotation msg -> m Bool

set_Node'annotation'targetsAnnotation :: RWCtx m s => Node'annotation (Mut s) -> Bool -> m ()

newtype Node'Parameter msg

Constructors

Node'Parameter'newtype_ (Struct msg)

Instances

ToStruct msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'Parameter msg -> Struct msg

FromStruct msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'Parameter msg)

ToPtr s (Node'Parameter ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Node'Parameter ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Node'Parameter msg)

Allocate s (Node'Parameter ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Node'Parameter ('Mut s))

MutListElem s (Node'Parameter ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'Parameter ('Mut s) -> Int -> List ('Mut s) (Node'Parameter ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node'Parameter ('Mut s)))

ListElem mut (Node'Parameter mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'Parameter mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'Parameter mut))

toUntypedList :: List mut (Node'Parameter mut) -> List mut

length :: List mut (Node'Parameter mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node'Parameter mut) -> m (Node'Parameter mut)

MessageDefault (Node'Parameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'Parameter mut)

HasMessage (Node'Parameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'Parameter mut -> Message mut

newtype List mut (Node'Parameter mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Node'Parameter mut) = Node'Parameter'List_ (ListOf mut (Struct mut))

get_Node'Parameter'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Node'Parameter msg -> m (Text msg)

set_Node'Parameter'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Node'Parameter (Mut s) -> Text (Mut s) -> m ()

has_Node'Parameter'name :: ReadCtx m msg => Node'Parameter msg -> m Bool

new_Node'Parameter'name :: RWCtx m s => Int -> Node'Parameter (Mut s) -> m (Text (Mut s))

newtype Node'NestedNode msg

Constructors

Node'NestedNode'newtype_ (Struct msg)

Instances

ToStruct msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'NestedNode msg -> Struct msg

FromStruct msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'NestedNode msg)

ToPtr s (Node'NestedNode ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Node'NestedNode ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Node'NestedNode msg)

Allocate s (Node'NestedNode ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Node'NestedNode ('Mut s))

MutListElem s (Node'NestedNode ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'NestedNode ('Mut s) -> Int -> List ('Mut s) (Node'NestedNode ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node'NestedNode ('Mut s)))

ListElem mut (Node'NestedNode mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'NestedNode mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'NestedNode mut))

toUntypedList :: List mut (Node'NestedNode mut) -> List mut

length :: List mut (Node'NestedNode mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node'NestedNode mut) -> m (Node'NestedNode mut)

MessageDefault (Node'NestedNode mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'NestedNode mut)

HasMessage (Node'NestedNode mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'NestedNode mut -> Message mut

newtype List mut (Node'NestedNode mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Node'NestedNode mut) = Node'NestedNode'List_ (ListOf mut (Struct mut))

get_Node'NestedNode'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Node'NestedNode msg -> m (Text msg)

set_Node'NestedNode'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Node'NestedNode (Mut s) -> Text (Mut s) -> m ()

has_Node'NestedNode'name :: ReadCtx m msg => Node'NestedNode msg -> m Bool

new_Node'NestedNode'name :: RWCtx m s => Int -> Node'NestedNode (Mut s) -> m (Text (Mut s))

get_Node'NestedNode'id :: ReadCtx m msg => Node'NestedNode msg -> m Word64

set_Node'NestedNode'id :: RWCtx m s => Node'NestedNode (Mut s) -> Word64 -> m ()

newtype Node'SourceInfo msg

Constructors

Node'SourceInfo'newtype_ (Struct msg)

Instances

ToStruct msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'SourceInfo msg -> Struct msg

FromStruct msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'SourceInfo msg)

ToPtr s (Node'SourceInfo ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Node'SourceInfo ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Node'SourceInfo msg)

Allocate s (Node'SourceInfo ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Node'SourceInfo ('Mut s))

MutListElem s (Node'SourceInfo ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'SourceInfo ('Mut s) -> Int -> List ('Mut s) (Node'SourceInfo ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node'SourceInfo ('Mut s)))

ListElem mut (Node'SourceInfo mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'SourceInfo mut))

toUntypedList :: List mut (Node'SourceInfo mut) -> List mut

length :: List mut (Node'SourceInfo mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node'SourceInfo mut) -> m (Node'SourceInfo mut)

MessageDefault (Node'SourceInfo mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'SourceInfo mut)

HasMessage (Node'SourceInfo mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'SourceInfo mut -> Message mut

newtype List mut (Node'SourceInfo mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Node'SourceInfo mut) = Node'SourceInfo'List_ (ListOf mut (Struct mut))

get_Node'SourceInfo'id :: ReadCtx m msg => Node'SourceInfo msg -> m Word64

set_Node'SourceInfo'id :: RWCtx m s => Node'SourceInfo (Mut s) -> Word64 -> m ()

get_Node'SourceInfo'docComment :: (ReadCtx m msg, FromPtr msg (Text msg)) => Node'SourceInfo msg -> m (Text msg)

set_Node'SourceInfo'docComment :: (RWCtx m s, ToPtr s (Text (Mut s))) => Node'SourceInfo (Mut s) -> Text (Mut s) -> m ()

has_Node'SourceInfo'docComment :: ReadCtx m msg => Node'SourceInfo msg -> m Bool

new_Node'SourceInfo'docComment :: RWCtx m s => Int -> Node'SourceInfo (Mut s) -> m (Text (Mut s))

get_Node'SourceInfo'members :: (ReadCtx m msg, FromPtr msg (List msg (Node'SourceInfo'Member msg))) => Node'SourceInfo msg -> m (List msg (Node'SourceInfo'Member msg))

set_Node'SourceInfo'members :: (RWCtx m s, ToPtr s (List (Mut s) (Node'SourceInfo'Member (Mut s)))) => Node'SourceInfo (Mut s) -> List (Mut s) (Node'SourceInfo'Member (Mut s)) -> m ()

has_Node'SourceInfo'members :: ReadCtx m msg => Node'SourceInfo msg -> m Bool

new_Node'SourceInfo'members :: RWCtx m s => Int -> Node'SourceInfo (Mut s) -> m (List (Mut s) (Node'SourceInfo'Member (Mut s)))

newtype Node'SourceInfo'Member msg

Constructors

Node'SourceInfo'Member'newtype_ (Struct msg)

Instances

ToStruct msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Node'SourceInfo'Member msg -> Struct msg

FromStruct msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Node'SourceInfo'Member msg)

ToPtr s (Node'SourceInfo'Member ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Node'SourceInfo'Member ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Node'SourceInfo'Member msg)

Allocate s (Node'SourceInfo'Member ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Node'SourceInfo'Member ('Mut s))

MutListElem s (Node'SourceInfo'Member ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Node'SourceInfo'Member ('Mut s) -> Int -> List ('Mut s) (Node'SourceInfo'Member ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Node'SourceInfo'Member ('Mut s)))

ListElem mut (Node'SourceInfo'Member mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Node'SourceInfo'Member mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Node'SourceInfo'Member mut))

toUntypedList :: List mut (Node'SourceInfo'Member mut) -> List mut

length :: List mut (Node'SourceInfo'Member mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Node'SourceInfo'Member mut) -> m (Node'SourceInfo'Member mut)

MessageDefault (Node'SourceInfo'Member mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Node'SourceInfo'Member mut)

HasMessage (Node'SourceInfo'Member mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Node'SourceInfo'Member mut -> Message mut

newtype List mut (Node'SourceInfo'Member mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Node'SourceInfo'Member mut) = Node'SourceInfo'Member'List_ (ListOf mut (Struct mut))

get_Node'SourceInfo'Member'docComment :: (ReadCtx m msg, FromPtr msg (Text msg)) => Node'SourceInfo'Member msg -> m (Text msg)

set_Node'SourceInfo'Member'docComment :: (RWCtx m s, ToPtr s (Text (Mut s))) => Node'SourceInfo'Member (Mut s) -> Text (Mut s) -> m ()

has_Node'SourceInfo'Member'docComment :: ReadCtx m msg => Node'SourceInfo'Member msg -> m Bool

new_Node'SourceInfo'Member'docComment :: RWCtx m s => Int -> Node'SourceInfo'Member (Mut s) -> m (Text (Mut s))

newtype Field msg

Constructors

Field'newtype_ (Struct msg)

Instances

ToStruct msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Field msg -> Struct msg

FromStruct msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Field msg)

ToPtr s (Field ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Field ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Field msg)

Allocate s (Field ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Field ('Mut s))

MutListElem s (Field ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Field ('Mut s) -> Int -> List ('Mut s) (Field ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Field ('Mut s)))

ListElem mut (Field mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Field mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Field mut))

toUntypedList :: List mut (Field mut) -> List mut

length :: List mut (Field mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Field mut) -> m (Field mut)

MessageDefault (Field mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field mut)

HasMessage (Field mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field mut -> Message mut

newtype List mut (Field mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Field mut) = Field'List_ (ListOf mut (Struct mut))

get_Field'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Field msg -> m (Text msg)

set_Field'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Field (Mut s) -> Text (Mut s) -> m ()

has_Field'name :: ReadCtx m msg => Field msg -> m Bool

new_Field'name :: RWCtx m s => Int -> Field (Mut s) -> m (Text (Mut s))

get_Field'codeOrder :: ReadCtx m msg => Field msg -> m Word16

set_Field'codeOrder :: RWCtx m s => Field (Mut s) -> Word16 -> m ()

get_Field'annotations :: (ReadCtx m msg, FromPtr msg (List msg (Annotation msg))) => Field msg -> m (List msg (Annotation msg))

set_Field'annotations :: (RWCtx m s, ToPtr s (List (Mut s) (Annotation (Mut s)))) => Field (Mut s) -> List (Mut s) (Annotation (Mut s)) -> m ()

has_Field'annotations :: ReadCtx m msg => Field msg -> m Bool

new_Field'annotations :: RWCtx m s => Int -> Field (Mut s) -> m (List (Mut s) (Annotation (Mut s)))

get_Field'discriminantValue :: ReadCtx m msg => Field msg -> m Word16

set_Field'discriminantValue :: RWCtx m s => Field (Mut s) -> Word16 -> m ()

get_Field'ordinal :: (ReadCtx m msg, FromStruct msg (Field'ordinal msg)) => Field msg -> m (Field'ordinal msg)

data Field' (mut :: Mutability)

Constructors

Field'slot (Field'slot mut)

Field'group (Field'group mut)

Field'unknown' Word16

Instances

FromStruct mut (Field' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Field' mut)

get_Field' :: (ReadCtx m msg, FromStruct msg (Field' msg)) => Field msg -> m (Field' msg)

set_Field'slot :: (RWCtx m s, FromStruct (Mut s) (Field'slot (Mut s))) => Field (Mut s) -> m (Field'slot (Mut s))

set_Field'group :: (RWCtx m s, FromStruct (Mut s) (Field'group (Mut s))) => Field (Mut s) -> m (Field'group (Mut s))

set_Field'unknown' :: RWCtx m s => Field (Mut s) -> Word16 -> m ()

newtype Field'slot msg

Constructors

Field'slot'newtype_ (Struct msg)

Instances

ToStruct msg (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Field'slot msg -> Struct msg

FromStruct msg (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Field'slot msg)

MessageDefault (Field'slot mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'slot mut)

HasMessage (Field'slot mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'slot mut -> Message mut

get_Field'slot'offset :: ReadCtx m msg => Field'slot msg -> m Word32

set_Field'slot'offset :: RWCtx m s => Field'slot (Mut s) -> Word32 -> m ()

get_Field'slot'type_ :: (ReadCtx m msg, FromPtr msg (Type msg)) => Field'slot msg -> m (Type msg)

set_Field'slot'type_ :: (RWCtx m s, ToPtr s (Type (Mut s))) => Field'slot (Mut s) -> Type (Mut s) -> m ()

has_Field'slot'type_ :: ReadCtx m msg => Field'slot msg -> m Bool

new_Field'slot'type_ :: RWCtx m s => Field'slot (Mut s) -> m (Type (Mut s))

get_Field'slot'defaultValue :: (ReadCtx m msg, FromPtr msg (Value msg)) => Field'slot msg -> m (Value msg)

set_Field'slot'defaultValue :: (RWCtx m s, ToPtr s (Value (Mut s))) => Field'slot (Mut s) -> Value (Mut s) -> m ()

has_Field'slot'defaultValue :: ReadCtx m msg => Field'slot msg -> m Bool

new_Field'slot'defaultValue :: RWCtx m s => Field'slot (Mut s) -> m (Value (Mut s))

get_Field'slot'hadExplicitDefault :: ReadCtx m msg => Field'slot msg -> m Bool

set_Field'slot'hadExplicitDefault :: RWCtx m s => Field'slot (Mut s) -> Bool -> m ()

newtype Field'group msg

Constructors

Field'group'newtype_ (Struct msg)

Instances

ToStruct msg (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Field'group msg -> Struct msg

FromStruct msg (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Field'group msg)

MessageDefault (Field'group mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'group mut)

HasMessage (Field'group mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'group mut -> Message mut

get_Field'group'typeId :: ReadCtx m msg => Field'group msg -> m Word64

set_Field'group'typeId :: RWCtx m s => Field'group (Mut s) -> Word64 -> m ()

newtype Field'ordinal msg

Constructors

Field'ordinal'newtype_ (Struct msg)

Instances

ToStruct msg (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Field'ordinal msg -> Struct msg

FromStruct msg (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Field'ordinal msg)

MessageDefault (Field'ordinal mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Field'ordinal mut)

HasMessage (Field'ordinal mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Field'ordinal mut -> Message mut

data Field'ordinal' (mut :: Mutability)

Constructors

Field'ordinal'implicit

Field'ordinal'explicit Word16

Field'ordinal'unknown' Word16

Instances

FromStruct mut (Field'ordinal' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Field'ordinal' mut)

get_Field'ordinal' :: (ReadCtx m msg, FromStruct msg (Field'ordinal' msg)) => Field'ordinal msg -> m (Field'ordinal' msg)

set_Field'ordinal'implicit :: RWCtx m s => Field'ordinal (Mut s) -> m ()

set_Field'ordinal'explicit :: RWCtx m s => Field'ordinal (Mut s) -> Word16 -> m ()

set_Field'ordinal'unknown' :: RWCtx m s => Field'ordinal (Mut s) -> Word16 -> m ()

field'noDiscriminant :: Word16

newtype Enumerant msg

Constructors

Enumerant'newtype_ (Struct msg)

Instances

ToStruct msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Enumerant msg -> Struct msg

FromStruct msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Enumerant msg)

ToPtr s (Enumerant ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Enumerant ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Enumerant msg)

Allocate s (Enumerant ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Enumerant ('Mut s))

MutListElem s (Enumerant ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Enumerant ('Mut s) -> Int -> List ('Mut s) (Enumerant ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Enumerant ('Mut s)))

ListElem mut (Enumerant mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Enumerant mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Enumerant mut))

toUntypedList :: List mut (Enumerant mut) -> List mut

length :: List mut (Enumerant mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Enumerant mut) -> m (Enumerant mut)

MessageDefault (Enumerant mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Enumerant mut)

HasMessage (Enumerant mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Enumerant mut -> Message mut

newtype List mut (Enumerant mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Enumerant mut) = Enumerant'List_ (ListOf mut (Struct mut))

get_Enumerant'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Enumerant msg -> m (Text msg)

set_Enumerant'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Enumerant (Mut s) -> Text (Mut s) -> m ()

has_Enumerant'name :: ReadCtx m msg => Enumerant msg -> m Bool

new_Enumerant'name :: RWCtx m s => Int -> Enumerant (Mut s) -> m (Text (Mut s))

get_Enumerant'codeOrder :: ReadCtx m msg => Enumerant msg -> m Word16

set_Enumerant'codeOrder :: RWCtx m s => Enumerant (Mut s) -> Word16 -> m ()

get_Enumerant'annotations :: (ReadCtx m msg, FromPtr msg (List msg (Annotation msg))) => Enumerant msg -> m (List msg (Annotation msg))

set_Enumerant'annotations :: (RWCtx m s, ToPtr s (List (Mut s) (Annotation (Mut s)))) => Enumerant (Mut s) -> List (Mut s) (Annotation (Mut s)) -> m ()

has_Enumerant'annotations :: ReadCtx m msg => Enumerant msg -> m Bool

new_Enumerant'annotations :: RWCtx m s => Int -> Enumerant (Mut s) -> m (List (Mut s) (Annotation (Mut s)))

newtype Superclass msg

Constructors

Superclass'newtype_ (Struct msg)

Instances

ToStruct msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Superclass msg -> Struct msg

FromStruct msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Superclass msg)

ToPtr s (Superclass ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Superclass ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Superclass msg)

Allocate s (Superclass ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Superclass ('Mut s))

MutListElem s (Superclass ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Superclass ('Mut s) -> Int -> List ('Mut s) (Superclass ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Superclass ('Mut s)))

ListElem mut (Superclass mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Superclass mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Superclass mut))

toUntypedList :: List mut (Superclass mut) -> List mut

length :: List mut (Superclass mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Superclass mut) -> m (Superclass mut)

MessageDefault (Superclass mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Superclass mut)

HasMessage (Superclass mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Superclass mut -> Message mut

newtype List mut (Superclass mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Superclass mut) = Superclass'List_ (ListOf mut (Struct mut))

get_Superclass'id :: ReadCtx m msg => Superclass msg -> m Word64

set_Superclass'id :: RWCtx m s => Superclass (Mut s) -> Word64 -> m ()

get_Superclass'brand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Superclass msg -> m (Brand msg)

set_Superclass'brand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Superclass (Mut s) -> Brand (Mut s) -> m ()

has_Superclass'brand :: ReadCtx m msg => Superclass msg -> m Bool

new_Superclass'brand :: RWCtx m s => Superclass (Mut s) -> m (Brand (Mut s))

newtype Method msg

Constructors

Method'newtype_ (Struct msg)

Instances

ToStruct msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Method msg -> Struct msg

FromStruct msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Method msg)

ToPtr s (Method ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Method ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Method msg)

Allocate s (Method ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Method ('Mut s))

MutListElem s (Method ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Method ('Mut s) -> Int -> List ('Mut s) (Method ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Method ('Mut s)))

ListElem mut (Method mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Method mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Method mut))

toUntypedList :: List mut (Method mut) -> List mut

length :: List mut (Method mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Method mut) -> m (Method mut)

MessageDefault (Method mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Method mut)

HasMessage (Method mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Method mut -> Message mut

newtype List mut (Method mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Method mut) = Method'List_ (ListOf mut (Struct mut))

get_Method'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Method msg -> m (Text msg)

set_Method'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Method (Mut s) -> Text (Mut s) -> m ()

has_Method'name :: ReadCtx m msg => Method msg -> m Bool

new_Method'name :: RWCtx m s => Int -> Method (Mut s) -> m (Text (Mut s))

get_Method'codeOrder :: ReadCtx m msg => Method msg -> m Word16

set_Method'codeOrder :: RWCtx m s => Method (Mut s) -> Word16 -> m ()

get_Method'paramStructType :: ReadCtx m msg => Method msg -> m Word64

set_Method'paramStructType :: RWCtx m s => Method (Mut s) -> Word64 -> m ()

get_Method'resultStructType :: ReadCtx m msg => Method msg -> m Word64

set_Method'resultStructType :: RWCtx m s => Method (Mut s) -> Word64 -> m ()

get_Method'annotations :: (ReadCtx m msg, FromPtr msg (List msg (Annotation msg))) => Method msg -> m (List msg (Annotation msg))

set_Method'annotations :: (RWCtx m s, ToPtr s (List (Mut s) (Annotation (Mut s)))) => Method (Mut s) -> List (Mut s) (Annotation (Mut s)) -> m ()

has_Method'annotations :: ReadCtx m msg => Method msg -> m Bool

new_Method'annotations :: RWCtx m s => Int -> Method (Mut s) -> m (List (Mut s) (Annotation (Mut s)))

get_Method'paramBrand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Method msg -> m (Brand msg)

set_Method'paramBrand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Method (Mut s) -> Brand (Mut s) -> m ()

has_Method'paramBrand :: ReadCtx m msg => Method msg -> m Bool

new_Method'paramBrand :: RWCtx m s => Method (Mut s) -> m (Brand (Mut s))

get_Method'resultBrand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Method msg -> m (Brand msg)

set_Method'resultBrand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Method (Mut s) -> Brand (Mut s) -> m ()

has_Method'resultBrand :: ReadCtx m msg => Method msg -> m Bool

new_Method'resultBrand :: RWCtx m s => Method (Mut s) -> m (Brand (Mut s))

get_Method'implicitParameters :: (ReadCtx m msg, FromPtr msg (List msg (Node'Parameter msg))) => Method msg -> m (List msg (Node'Parameter msg))

set_Method'implicitParameters :: (RWCtx m s, ToPtr s (List (Mut s) (Node'Parameter (Mut s)))) => Method (Mut s) -> List (Mut s) (Node'Parameter (Mut s)) -> m ()

has_Method'implicitParameters :: ReadCtx m msg => Method msg -> m Bool

new_Method'implicitParameters :: RWCtx m s => Int -> Method (Mut s) -> m (List (Mut s) (Node'Parameter (Mut s)))

newtype Type msg

Constructors

Type'newtype_ (Struct msg)

Instances

ToStruct msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type msg -> Struct msg

FromStruct msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type msg)

ToPtr s (Type ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Type ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Type msg)

Allocate s (Type ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Type ('Mut s))

MutListElem s (Type ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type ('Mut s) -> Int -> List ('Mut s) (Type ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Type ('Mut s)))

ListElem mut (Type mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Type mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Type mut))

toUntypedList :: List mut (Type mut) -> List mut

length :: List mut (Type mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Type mut) -> m (Type mut)

MessageDefault (Type mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type mut)

HasMessage (Type mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type mut -> Message mut

newtype List mut (Type mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Type mut) = Type'List_ (ListOf mut (Struct mut))

data Type' (mut :: Mutability)

Constructors

Type'void

Type'bool

Type'int8

Type'int16

Type'int32

Type'int64

Type'uint8

Type'uint16

Type'uint32

Type'uint64

Type'float32

Type'float64

Type'text

Type'data_

Type'list (Type'list mut)

Type'enum (Type'enum mut)

Type'struct (Type'struct mut)

Type'interface (Type'interface mut)

Type'anyPointer (Type'anyPointer mut)

Type'unknown' Word16

Instances

FromStruct mut (Type' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Type' mut)

get_Type' :: (ReadCtx m msg, FromStruct msg (Type' msg)) => Type msg -> m (Type' msg)

set_Type'void :: RWCtx m s => Type (Mut s) -> m ()

set_Type'bool :: RWCtx m s => Type (Mut s) -> m ()

set_Type'int8 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'int16 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'int32 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'int64 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'uint8 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'uint16 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'uint32 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'uint64 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'float32 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'float64 :: RWCtx m s => Type (Mut s) -> m ()

set_Type'text :: RWCtx m s => Type (Mut s) -> m ()

set_Type'data_ :: RWCtx m s => Type (Mut s) -> m ()

set_Type'list :: (RWCtx m s, FromStruct (Mut s) (Type'list (Mut s))) => Type (Mut s) -> m (Type'list (Mut s))

set_Type'enum :: (RWCtx m s, FromStruct (Mut s) (Type'enum (Mut s))) => Type (Mut s) -> m (Type'enum (Mut s))

set_Type'struct :: (RWCtx m s, FromStruct (Mut s) (Type'struct (Mut s))) => Type (Mut s) -> m (Type'struct (Mut s))

set_Type'interface :: (RWCtx m s, FromStruct (Mut s) (Type'interface (Mut s))) => Type (Mut s) -> m (Type'interface (Mut s))

set_Type'anyPointer :: (RWCtx m s, FromStruct (Mut s) (Type'anyPointer (Mut s))) => Type (Mut s) -> m (Type'anyPointer (Mut s))

set_Type'unknown' :: RWCtx m s => Type (Mut s) -> Word16 -> m ()

newtype Type'list msg

Constructors

Type'list'newtype_ (Struct msg)

Instances

ToStruct msg (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'list msg -> Struct msg

FromStruct msg (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'list msg)

MessageDefault (Type'list mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'list mut)

HasMessage (Type'list mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'list mut -> Message mut

get_Type'list'elementType :: (ReadCtx m msg, FromPtr msg (Type msg)) => Type'list msg -> m (Type msg)

set_Type'list'elementType :: (RWCtx m s, ToPtr s (Type (Mut s))) => Type'list (Mut s) -> Type (Mut s) -> m ()

has_Type'list'elementType :: ReadCtx m msg => Type'list msg -> m Bool

new_Type'list'elementType :: RWCtx m s => Type'list (Mut s) -> m (Type (Mut s))

newtype Type'enum msg

Constructors

Type'enum'newtype_ (Struct msg)

Instances

ToStruct msg (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'enum msg -> Struct msg

FromStruct msg (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'enum msg)

MessageDefault (Type'enum mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'enum mut)

HasMessage (Type'enum mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'enum mut -> Message mut

get_Type'enum'typeId :: ReadCtx m msg => Type'enum msg -> m Word64

set_Type'enum'typeId :: RWCtx m s => Type'enum (Mut s) -> Word64 -> m ()

get_Type'enum'brand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Type'enum msg -> m (Brand msg)

set_Type'enum'brand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Type'enum (Mut s) -> Brand (Mut s) -> m ()

has_Type'enum'brand :: ReadCtx m msg => Type'enum msg -> m Bool

new_Type'enum'brand :: RWCtx m s => Type'enum (Mut s) -> m (Brand (Mut s))

newtype Type'struct msg

Constructors

Type'struct'newtype_ (Struct msg)

Instances

ToStruct msg (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'struct msg -> Struct msg

FromStruct msg (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'struct msg)

MessageDefault (Type'struct mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'struct mut)

HasMessage (Type'struct mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'struct mut -> Message mut

get_Type'struct'typeId :: ReadCtx m msg => Type'struct msg -> m Word64

set_Type'struct'typeId :: RWCtx m s => Type'struct (Mut s) -> Word64 -> m ()

get_Type'struct'brand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Type'struct msg -> m (Brand msg)

set_Type'struct'brand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Type'struct (Mut s) -> Brand (Mut s) -> m ()

has_Type'struct'brand :: ReadCtx m msg => Type'struct msg -> m Bool

new_Type'struct'brand :: RWCtx m s => Type'struct (Mut s) -> m (Brand (Mut s))

newtype Type'interface msg

Constructors

Type'interface'newtype_ (Struct msg)

Instances

ToStruct msg (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'interface msg -> Struct msg

FromStruct msg (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'interface msg)

MessageDefault (Type'interface mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'interface mut)

HasMessage (Type'interface mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'interface mut -> Message mut

get_Type'interface'typeId :: ReadCtx m msg => Type'interface msg -> m Word64

set_Type'interface'typeId :: RWCtx m s => Type'interface (Mut s) -> Word64 -> m ()

get_Type'interface'brand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Type'interface msg -> m (Brand msg)

set_Type'interface'brand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Type'interface (Mut s) -> Brand (Mut s) -> m ()

has_Type'interface'brand :: ReadCtx m msg => Type'interface msg -> m Bool

new_Type'interface'brand :: RWCtx m s => Type'interface (Mut s) -> m (Brand (Mut s))

newtype Type'anyPointer msg

Constructors

Type'anyPointer'newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'anyPointer msg -> Struct msg

FromStruct msg (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'anyPointer msg)

MessageDefault (Type'anyPointer mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'anyPointer mut)

HasMessage (Type'anyPointer mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'anyPointer mut -> Message mut

data Type'anyPointer' (mut :: Mutability)

Constructors

Type'anyPointer'unconstrained (Type'anyPointer'unconstrained mut)

Type'anyPointer'parameter (Type'anyPointer'parameter mut)

Type'anyPointer'implicitMethodParameter (Type'anyPointer'implicitMethodParameter mut)

Type'anyPointer'unknown' Word16

Instances

FromStruct mut (Type'anyPointer' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Type'anyPointer' mut)

get_Type'anyPointer' :: (ReadCtx m msg, FromStruct msg (Type'anyPointer' msg)) => Type'anyPointer msg -> m (Type'anyPointer' msg)

set_Type'anyPointer'unconstrained :: (RWCtx m s, FromStruct (Mut s) (Type'anyPointer'unconstrained (Mut s))) => Type'anyPointer (Mut s) -> m (Type'anyPointer'unconstrained (Mut s))

set_Type'anyPointer'parameter :: (RWCtx m s, FromStruct (Mut s) (Type'anyPointer'parameter (Mut s))) => Type'anyPointer (Mut s) -> m (Type'anyPointer'parameter (Mut s))

set_Type'anyPointer'implicitMethodParameter :: (RWCtx m s, FromStruct (Mut s) (Type'anyPointer'implicitMethodParameter (Mut s))) => Type'anyPointer (Mut s) -> m (Type'anyPointer'implicitMethodParameter (Mut s))

set_Type'anyPointer'unknown' :: RWCtx m s => Type'anyPointer (Mut s) -> Word16 -> m ()

newtype Type'anyPointer'unconstrained msg

Constructors

Type'anyPointer'unconstrained'newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'anyPointer'unconstrained msg -> Struct msg

FromStruct msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'anyPointer'unconstrained msg)

MessageDefault (Type'anyPointer'unconstrained mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'anyPointer'unconstrained mut)

HasMessage (Type'anyPointer'unconstrained mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'anyPointer'unconstrained mut -> Message mut

data Type'anyPointer'unconstrained' (mut :: Mutability)

Constructors

Type'anyPointer'unconstrained'anyKind

Type'anyPointer'unconstrained'struct

Type'anyPointer'unconstrained'list

Type'anyPointer'unconstrained'capability

Type'anyPointer'unconstrained'unknown' Word16

Instances

FromStruct mut (Type'anyPointer'unconstrained' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Type'anyPointer'unconstrained' mut)

get_Type'anyPointer'unconstrained' :: (ReadCtx m msg, FromStruct msg (Type'anyPointer'unconstrained' msg)) => Type'anyPointer'unconstrained msg -> m (Type'anyPointer'unconstrained' msg)

set_Type'anyPointer'unconstrained'anyKind :: RWCtx m s => Type'anyPointer'unconstrained (Mut s) -> m ()

set_Type'anyPointer'unconstrained'struct :: RWCtx m s => Type'anyPointer'unconstrained (Mut s) -> m ()

set_Type'anyPointer'unconstrained'list :: RWCtx m s => Type'anyPointer'unconstrained (Mut s) -> m ()

set_Type'anyPointer'unconstrained'capability :: RWCtx m s => Type'anyPointer'unconstrained (Mut s) -> m ()

set_Type'anyPointer'unconstrained'unknown' :: RWCtx m s => Type'anyPointer'unconstrained (Mut s) -> Word16 -> m ()

newtype Type'anyPointer'parameter msg

Constructors

Type'anyPointer'parameter'newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'anyPointer'parameter msg -> Struct msg

FromStruct msg (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'anyPointer'parameter msg)

MessageDefault (Type'anyPointer'parameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'anyPointer'parameter mut)

HasMessage (Type'anyPointer'parameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'anyPointer'parameter mut -> Message mut

get_Type'anyPointer'parameter'scopeId :: ReadCtx m msg => Type'anyPointer'parameter msg -> m Word64

set_Type'anyPointer'parameter'scopeId :: RWCtx m s => Type'anyPointer'parameter (Mut s) -> Word64 -> m ()

get_Type'anyPointer'parameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'parameter msg -> m Word16

set_Type'anyPointer'parameter'parameterIndex :: RWCtx m s => Type'anyPointer'parameter (Mut s) -> Word16 -> m ()

newtype Type'anyPointer'implicitMethodParameter msg

Constructors

Type'anyPointer'implicitMethodParameter'newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Type'anyPointer'implicitMethodParameter msg -> Struct msg

FromStruct msg (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Type'anyPointer'implicitMethodParameter msg)

MessageDefault (Type'anyPointer'implicitMethodParameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Type'anyPointer'implicitMethodParameter mut)

HasMessage (Type'anyPointer'implicitMethodParameter mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Type'anyPointer'implicitMethodParameter mut -> Message mut

get_Type'anyPointer'implicitMethodParameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'implicitMethodParameter msg -> m Word16

set_Type'anyPointer'implicitMethodParameter'parameterIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter (Mut s) -> Word16 -> m ()

newtype Brand msg

Constructors

Brand'newtype_ (Struct msg)

Instances

ToStruct msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Brand msg -> Struct msg

FromStruct msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Brand msg)

ToPtr s (Brand ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Brand ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Brand msg)

Allocate s (Brand ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Brand ('Mut s))

MutListElem s (Brand ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand ('Mut s) -> Int -> List ('Mut s) (Brand ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Brand ('Mut s)))

ListElem mut (Brand mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Brand mut))

toUntypedList :: List mut (Brand mut) -> List mut

length :: List mut (Brand mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Brand mut) -> m (Brand mut)

MessageDefault (Brand mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand mut)

HasMessage (Brand mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand mut -> Message mut

newtype List mut (Brand mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Brand mut) = Brand'List_ (ListOf mut (Struct mut))

get_Brand'scopes :: (ReadCtx m msg, FromPtr msg (List msg (Brand'Scope msg))) => Brand msg -> m (List msg (Brand'Scope msg))

set_Brand'scopes :: (RWCtx m s, ToPtr s (List (Mut s) (Brand'Scope (Mut s)))) => Brand (Mut s) -> List (Mut s) (Brand'Scope (Mut s)) -> m ()

has_Brand'scopes :: ReadCtx m msg => Brand msg -> m Bool

new_Brand'scopes :: RWCtx m s => Int -> Brand (Mut s) -> m (List (Mut s) (Brand'Scope (Mut s)))

newtype Brand'Scope msg

Constructors

Brand'Scope'newtype_ (Struct msg)

Instances

ToStruct msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Brand'Scope msg -> Struct msg

FromStruct msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Brand'Scope msg)

ToPtr s (Brand'Scope ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Brand'Scope ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Brand'Scope msg)

Allocate s (Brand'Scope ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Brand'Scope ('Mut s))

MutListElem s (Brand'Scope ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Scope ('Mut s) -> Int -> List ('Mut s) (Brand'Scope ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Brand'Scope ('Mut s)))

ListElem mut (Brand'Scope mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Scope mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Brand'Scope mut))

toUntypedList :: List mut (Brand'Scope mut) -> List mut

length :: List mut (Brand'Scope mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Brand'Scope mut) -> m (Brand'Scope mut)

MessageDefault (Brand'Scope mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand'Scope mut)

HasMessage (Brand'Scope mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand'Scope mut -> Message mut

newtype List mut (Brand'Scope mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Brand'Scope mut) = Brand'Scope'List_ (ListOf mut (Struct mut))

get_Brand'Scope'scopeId :: ReadCtx m msg => Brand'Scope msg -> m Word64

set_Brand'Scope'scopeId :: RWCtx m s => Brand'Scope (Mut s) -> Word64 -> m ()

data Brand'Scope' (mut :: Mutability)

Constructors

Brand'Scope'bind (List mut (Brand'Binding mut))

Brand'Scope'inherit

Brand'Scope'unknown' Word16

Instances

FromStruct mut (Brand'Scope' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Brand'Scope' mut)

get_Brand'Scope' :: (ReadCtx m msg, FromStruct msg (Brand'Scope' msg)) => Brand'Scope msg -> m (Brand'Scope' msg)

set_Brand'Scope'bind :: (RWCtx m s, ToPtr s (List (Mut s) (Brand'Binding (Mut s)))) => Brand'Scope (Mut s) -> List (Mut s) (Brand'Binding (Mut s)) -> m ()

set_Brand'Scope'inherit :: RWCtx m s => Brand'Scope (Mut s) -> m ()

set_Brand'Scope'unknown' :: RWCtx m s => Brand'Scope (Mut s) -> Word16 -> m ()

newtype Brand'Binding msg

Constructors

Brand'Binding'newtype_ (Struct msg)

Instances

ToStruct msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Brand'Binding msg -> Struct msg

FromStruct msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Brand'Binding msg)

ToPtr s (Brand'Binding ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Brand'Binding ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Brand'Binding msg)

Allocate s (Brand'Binding ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Brand'Binding ('Mut s))

MutListElem s (Brand'Binding ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Brand'Binding ('Mut s) -> Int -> List ('Mut s) (Brand'Binding ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Brand'Binding ('Mut s)))

ListElem mut (Brand'Binding mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Brand'Binding mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Brand'Binding mut))

toUntypedList :: List mut (Brand'Binding mut) -> List mut

length :: List mut (Brand'Binding mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Brand'Binding mut) -> m (Brand'Binding mut)

MessageDefault (Brand'Binding mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Brand'Binding mut)

HasMessage (Brand'Binding mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Brand'Binding mut -> Message mut

newtype List mut (Brand'Binding mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Brand'Binding mut) = Brand'Binding'List_ (ListOf mut (Struct mut))

data Brand'Binding' (mut :: Mutability)

Constructors

Brand'Binding'unbound

Brand'Binding'type_ (Type mut)

Brand'Binding'unknown' Word16

Instances

FromStruct mut (Brand'Binding' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Brand'Binding' mut)

get_Brand'Binding' :: (ReadCtx m msg, FromStruct msg (Brand'Binding' msg)) => Brand'Binding msg -> m (Brand'Binding' msg)

set_Brand'Binding'unbound :: RWCtx m s => Brand'Binding (Mut s) -> m ()

set_Brand'Binding'type_ :: (RWCtx m s, ToPtr s (Type (Mut s))) => Brand'Binding (Mut s) -> Type (Mut s) -> m ()

set_Brand'Binding'unknown' :: RWCtx m s => Brand'Binding (Mut s) -> Word16 -> m ()

newtype Value msg

Constructors

Value'newtype_ (Struct msg)

Instances

ToStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Value msg -> Struct msg

FromStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Value msg)

ToPtr s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Value ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value msg)

Allocate s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Value ('Mut s))

MutListElem s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Value ('Mut s) -> Int -> List ('Mut s) (Value ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value ('Mut s)))

ListElem mut (Value mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Value mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value mut))

toUntypedList :: List mut (Value mut) -> List mut

length :: List mut (Value mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Value mut) -> m (Value mut)

MessageDefault (Value mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value mut)

HasMessage (Value mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Value mut -> Message mut

newtype List mut (Value mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Value mut) = Value'List_ (ListOf mut (Struct mut))

data Value' (mut :: Mutability)

Constructors

Value'void

Value'bool Bool

Value'int8 Int8

Value'int16 Int16

Value'int32 Int32

Value'int64 Int64

Value'uint8 Word8

Value'uint16 Word16

Value'uint32 Word32

Value'uint64 Word64

Value'float32 Float

Value'float64 Double

Value'text (Text mut)

Value'data_ (Data mut)

Value'list (Maybe (Ptr mut))

Value'enum Word16

Value'struct (Maybe (Ptr mut))

Value'interface

Value'anyPointer (Maybe (Ptr mut))

Value'unknown' Word16

Instances

FromStruct mut (Value' mut)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Value' mut)

get_Value' :: (ReadCtx m msg, FromStruct msg (Value' msg)) => Value msg -> m (Value' msg)

set_Value'void :: RWCtx m s => Value (Mut s) -> m ()

set_Value'bool :: RWCtx m s => Value (Mut s) -> Bool -> m ()

set_Value'int8 :: RWCtx m s => Value (Mut s) -> Int8 -> m ()

set_Value'int16 :: RWCtx m s => Value (Mut s) -> Int16 -> m ()

set_Value'int32 :: RWCtx m s => Value (Mut s) -> Int32 -> m ()

set_Value'int64 :: RWCtx m s => Value (Mut s) -> Int64 -> m ()

set_Value'uint8 :: RWCtx m s => Value (Mut s) -> Word8 -> m ()

set_Value'uint16 :: RWCtx m s => Value (Mut s) -> Word16 -> m ()

set_Value'uint32 :: RWCtx m s => Value (Mut s) -> Word32 -> m ()

set_Value'uint64 :: RWCtx m s => Value (Mut s) -> Word64 -> m ()

set_Value'float32 :: RWCtx m s => Value (Mut s) -> Float -> m ()

set_Value'float64 :: RWCtx m s => Value (Mut s) -> Double -> m ()

set_Value'text :: (RWCtx m s, ToPtr s (Text (Mut s))) => Value (Mut s) -> Text (Mut s) -> m ()

set_Value'data_ :: (RWCtx m s, ToPtr s (Data (Mut s))) => Value (Mut s) -> Data (Mut s) -> m ()

set_Value'list :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Value (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Value'enum :: RWCtx m s => Value (Mut s) -> Word16 -> m ()

set_Value'struct :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Value (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Value'interface :: RWCtx m s => Value (Mut s) -> m ()

set_Value'anyPointer :: (RWCtx m s, ToPtr s (Maybe (Ptr (Mut s)))) => Value (Mut s) -> Maybe (Ptr (Mut s)) -> m ()

set_Value'unknown' :: RWCtx m s => Value (Mut s) -> Word16 -> m ()

newtype Annotation msg

Constructors

Annotation'newtype_ (Struct msg)

Instances

ToStruct msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: Annotation msg -> Struct msg

FromStruct msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Annotation msg)

ToPtr s (Annotation ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Annotation ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Annotation msg)

Allocate s (Annotation ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Annotation ('Mut s))

MutListElem s (Annotation ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => Annotation ('Mut s) -> Int -> List ('Mut s) (Annotation ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Annotation ('Mut s)))

ListElem mut (Annotation mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (Annotation mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Annotation mut))

toUntypedList :: List mut (Annotation mut) -> List mut

length :: List mut (Annotation mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Annotation mut) -> m (Annotation mut)

MessageDefault (Annotation mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Annotation mut)

HasMessage (Annotation mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: Annotation mut -> Message mut

newtype List mut (Annotation mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (Annotation mut) = Annotation'List_ (ListOf mut (Struct mut))

get_Annotation'id :: ReadCtx m msg => Annotation msg -> m Word64

set_Annotation'id :: RWCtx m s => Annotation (Mut s) -> Word64 -> m ()

get_Annotation'value :: (ReadCtx m msg, FromPtr msg (Value msg)) => Annotation msg -> m (Value msg)

set_Annotation'value :: (RWCtx m s, ToPtr s (Value (Mut s))) => Annotation (Mut s) -> Value (Mut s) -> m ()

has_Annotation'value :: ReadCtx m msg => Annotation msg -> m Bool

new_Annotation'value :: RWCtx m s => Annotation (Mut s) -> m (Value (Mut s))

get_Annotation'brand :: (ReadCtx m msg, FromPtr msg (Brand msg)) => Annotation msg -> m (Brand msg)

set_Annotation'brand :: (RWCtx m s, ToPtr s (Brand (Mut s))) => Annotation (Mut s) -> Brand (Mut s) -> m ()

has_Annotation'brand :: ReadCtx m msg => Annotation msg -> m Bool

new_Annotation'brand :: RWCtx m s => Annotation (Mut s) -> m (Brand (Mut s))

data ElementSize

Constructors

ElementSize'empty

ElementSize'bit

ElementSize'byte

ElementSize'twoBytes

ElementSize'fourBytes

ElementSize'eightBytes

ElementSize'pointer

ElementSize'inlineComposite

ElementSize'unknown' Word16

Instances

Enum ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

succ :: ElementSize -> ElementSize

pred :: ElementSize -> ElementSize

toEnum :: Int -> ElementSize

fromEnum :: ElementSize -> Int

enumFrom :: ElementSize -> [ElementSize]

enumFromThen :: ElementSize -> ElementSize -> [ElementSize]

enumFromTo :: ElementSize -> ElementSize -> [ElementSize]

enumFromThenTo :: ElementSize -> ElementSize -> ElementSize -> [ElementSize]

Eq ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: ElementSize -> ElementSize -> Bool

(/=) :: ElementSize -> ElementSize -> Bool

Read ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

readsPrec :: Int -> ReadS ElementSize

readList :: ReadS [ElementSize]

readPrec :: ReadPrec ElementSize

readListPrec :: ReadPrec [ElementSize]

Show ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> ElementSize -> ShowS

show :: ElementSize -> String

showList :: [ElementSize] -> ShowS

Generic ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep ElementSize :: Type -> Type

Methods

from :: ElementSize -> Rep ElementSize x

to :: Rep ElementSize x -> ElementSize

Decerialize ElementSize

Defined in Capnp.Gen.Capnp.Schema.Pure

Associated Types

type Cerial mut ElementSize

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const ElementSize -> m ElementSize

IsWord ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

fromWord :: Word64 -> ElementSize

toWord :: ElementSize -> Word64

Cerialize s ElementSize

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> ElementSize -> m (Cerial ('Mut s) ElementSize)

MutListElem s ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => ElementSize -> Int -> List ('Mut s) ElementSize -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) ElementSize)

ListElem mut ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut ElementSize

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut ElementSize)

toUntypedList :: List mut ElementSize -> List mut

length :: List mut ElementSize -> Int

index :: ReadCtx m mut => Int -> List mut ElementSize -> m ElementSize

Cerialize s (Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector (Vector ElementSize)))))))

Cerialize s (Vector (Vector (Vector (Vector (Vector ElementSize)))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector ElementSize)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector ElementSize))))))

Cerialize s (Vector (Vector (Vector (Vector ElementSize))))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector ElementSize))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector ElementSize)))))

Cerialize s (Vector (Vector (Vector ElementSize)))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector ElementSize)) -> m (Cerial ('Mut s) (Vector (Vector (Vector ElementSize))))

Cerialize s (Vector (Vector ElementSize))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector ElementSize) -> m (Cerial ('Mut s) (Vector (Vector ElementSize)))

Cerialize s (Vector ElementSize)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector ElementSize -> m (Cerial ('Mut s) (Vector ElementSize))

type Rep ElementSize

Defined in Capnp.Gen.Capnp.Schema

type Rep ElementSize = D1 ('MetaData "ElementSize" "Capnp.Gen.Capnp.Schema" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" 'False) (((C1 ('MetaCons "ElementSize'empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'bit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ElementSize'byte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'twoBytes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ElementSize'fourBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'eightBytes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ElementSize'pointer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ElementSize'inlineComposite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))))

type Cerial msg ElementSize

Defined in Capnp.Gen.Capnp.Schema.Pure

type Cerial msg ElementSize = ElementSize

newtype List mut ElementSize

Defined in Capnp.Gen.Capnp.Schema

newtype List mut ElementSize = ElementSize'List_ (ListOf mut Word16)

newtype CapnpVersion msg

Constructors

CapnpVersion'newtype_ (Struct msg)

Instances

ToStruct msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: CapnpVersion msg -> Struct msg

FromStruct msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (CapnpVersion msg)

ToPtr s (CapnpVersion ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> CapnpVersion ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (CapnpVersion msg)

Allocate s (CapnpVersion ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (CapnpVersion ('Mut s))

MutListElem s (CapnpVersion ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CapnpVersion ('Mut s) -> Int -> List ('Mut s) (CapnpVersion ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CapnpVersion ('Mut s)))

ListElem mut (CapnpVersion mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CapnpVersion mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CapnpVersion mut))

toUntypedList :: List mut (CapnpVersion mut) -> List mut

length :: List mut (CapnpVersion mut) -> Int

index :: ReadCtx m mut => Int -> List mut (CapnpVersion mut) -> m (CapnpVersion mut)

MessageDefault (CapnpVersion mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CapnpVersion mut)

HasMessage (CapnpVersion mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: CapnpVersion mut -> Message mut

newtype List mut (CapnpVersion mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (CapnpVersion mut) = CapnpVersion'List_ (ListOf mut (Struct mut))

get_CapnpVersion'major :: ReadCtx m msg => CapnpVersion msg -> m Word16

set_CapnpVersion'major :: RWCtx m s => CapnpVersion (Mut s) -> Word16 -> m ()

get_CapnpVersion'minor :: ReadCtx m msg => CapnpVersion msg -> m Word8

set_CapnpVersion'minor :: RWCtx m s => CapnpVersion (Mut s) -> Word8 -> m ()

get_CapnpVersion'micro :: ReadCtx m msg => CapnpVersion msg -> m Word8

set_CapnpVersion'micro :: RWCtx m s => CapnpVersion (Mut s) -> Word8 -> m ()

newtype CodeGeneratorRequest msg

Constructors

CodeGeneratorRequest'newtype_ (Struct msg)

Instances

ToStruct msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: CodeGeneratorRequest msg -> Struct msg

FromStruct msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (CodeGeneratorRequest msg)

ToPtr s (CodeGeneratorRequest ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> CodeGeneratorRequest ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (CodeGeneratorRequest msg)

Allocate s (CodeGeneratorRequest ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (CodeGeneratorRequest ('Mut s))

MutListElem s (CodeGeneratorRequest ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CodeGeneratorRequest ('Mut s) -> Int -> List ('Mut s) (CodeGeneratorRequest ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CodeGeneratorRequest ('Mut s)))

ListElem mut (CodeGeneratorRequest mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest mut))

toUntypedList :: List mut (CodeGeneratorRequest mut) -> List mut

length :: List mut (CodeGeneratorRequest mut) -> Int

index :: ReadCtx m mut => Int -> List mut (CodeGeneratorRequest mut) -> m (CodeGeneratorRequest mut)

MessageDefault (CodeGeneratorRequest mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CodeGeneratorRequest mut)

HasMessage (CodeGeneratorRequest mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: CodeGeneratorRequest mut -> Message mut

newtype List mut (CodeGeneratorRequest mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (CodeGeneratorRequest mut) = CodeGeneratorRequest'List_ (ListOf mut (Struct mut))

get_CodeGeneratorRequest'nodes :: (ReadCtx m msg, FromPtr msg (List msg (Node msg))) => CodeGeneratorRequest msg -> m (List msg (Node msg))

set_CodeGeneratorRequest'nodes :: (RWCtx m s, ToPtr s (List (Mut s) (Node (Mut s)))) => CodeGeneratorRequest (Mut s) -> List (Mut s) (Node (Mut s)) -> m ()

has_CodeGeneratorRequest'nodes :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool

new_CodeGeneratorRequest'nodes :: RWCtx m s => Int -> CodeGeneratorRequest (Mut s) -> m (List (Mut s) (Node (Mut s)))

get_CodeGeneratorRequest'requestedFiles :: (ReadCtx m msg, FromPtr msg (List msg (CodeGeneratorRequest'RequestedFile msg))) => CodeGeneratorRequest msg -> m (List msg (CodeGeneratorRequest'RequestedFile msg))

set_CodeGeneratorRequest'requestedFiles :: (RWCtx m s, ToPtr s (List (Mut s) (CodeGeneratorRequest'RequestedFile (Mut s)))) => CodeGeneratorRequest (Mut s) -> List (Mut s) (CodeGeneratorRequest'RequestedFile (Mut s)) -> m ()

has_CodeGeneratorRequest'requestedFiles :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool

new_CodeGeneratorRequest'requestedFiles :: RWCtx m s => Int -> CodeGeneratorRequest (Mut s) -> m (List (Mut s) (CodeGeneratorRequest'RequestedFile (Mut s)))

get_CodeGeneratorRequest'capnpVersion :: (ReadCtx m msg, FromPtr msg (CapnpVersion msg)) => CodeGeneratorRequest msg -> m (CapnpVersion msg)

set_CodeGeneratorRequest'capnpVersion :: (RWCtx m s, ToPtr s (CapnpVersion (Mut s))) => CodeGeneratorRequest (Mut s) -> CapnpVersion (Mut s) -> m ()

has_CodeGeneratorRequest'capnpVersion :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool

new_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (Mut s) -> m (CapnpVersion (Mut s))

get_CodeGeneratorRequest'sourceInfo :: (ReadCtx m msg, FromPtr msg (List msg (Node'SourceInfo msg))) => CodeGeneratorRequest msg -> m (List msg (Node'SourceInfo msg))

set_CodeGeneratorRequest'sourceInfo :: (RWCtx m s, ToPtr s (List (Mut s) (Node'SourceInfo (Mut s)))) => CodeGeneratorRequest (Mut s) -> List (Mut s) (Node'SourceInfo (Mut s)) -> m ()

has_CodeGeneratorRequest'sourceInfo :: ReadCtx m msg => CodeGeneratorRequest msg -> m Bool

new_CodeGeneratorRequest'sourceInfo :: RWCtx m s => Int -> CodeGeneratorRequest (Mut s) -> m (List (Mut s) (Node'SourceInfo (Mut s)))

newtype CodeGeneratorRequest'RequestedFile msg

Constructors

CodeGeneratorRequest'RequestedFile'newtype_ (Struct msg)

Instances

ToStruct msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: CodeGeneratorRequest'RequestedFile msg -> Struct msg

FromStruct msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (CodeGeneratorRequest'RequestedFile msg)

ToPtr s (CodeGeneratorRequest'RequestedFile ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (CodeGeneratorRequest'RequestedFile msg)

Allocate s (CodeGeneratorRequest'RequestedFile ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (CodeGeneratorRequest'RequestedFile ('Mut s))

MutListElem s (CodeGeneratorRequest'RequestedFile ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile ('Mut s) -> Int -> List ('Mut s) (CodeGeneratorRequest'RequestedFile ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CodeGeneratorRequest'RequestedFile ('Mut s)))

ListElem mut (CodeGeneratorRequest'RequestedFile mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest'RequestedFile mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile mut))

toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile mut) -> List mut

length :: List mut (CodeGeneratorRequest'RequestedFile mut) -> Int

index :: ReadCtx m mut => Int -> List mut (CodeGeneratorRequest'RequestedFile mut) -> m (CodeGeneratorRequest'RequestedFile mut)

MessageDefault (CodeGeneratorRequest'RequestedFile mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CodeGeneratorRequest'RequestedFile mut)

HasMessage (CodeGeneratorRequest'RequestedFile mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: CodeGeneratorRequest'RequestedFile mut -> Message mut

newtype List mut (CodeGeneratorRequest'RequestedFile mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (CodeGeneratorRequest'RequestedFile mut) = CodeGeneratorRequest'RequestedFile'List_ (ListOf mut (Struct mut))

get_CodeGeneratorRequest'RequestedFile'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Word64

set_CodeGeneratorRequest'RequestedFile'id :: RWCtx m s => CodeGeneratorRequest'RequestedFile (Mut s) -> Word64 -> m ()

get_CodeGeneratorRequest'RequestedFile'filename :: (ReadCtx m msg, FromPtr msg (Text msg)) => CodeGeneratorRequest'RequestedFile msg -> m (Text msg)

set_CodeGeneratorRequest'RequestedFile'filename :: (RWCtx m s, ToPtr s (Text (Mut s))) => CodeGeneratorRequest'RequestedFile (Mut s) -> Text (Mut s) -> m ()

has_CodeGeneratorRequest'RequestedFile'filename :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Bool

new_CodeGeneratorRequest'RequestedFile'filename :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (Mut s) -> m (Text (Mut s))

get_CodeGeneratorRequest'RequestedFile'imports :: (ReadCtx m msg, FromPtr msg (List msg (CodeGeneratorRequest'RequestedFile'Import msg))) => CodeGeneratorRequest'RequestedFile msg -> m (List msg (CodeGeneratorRequest'RequestedFile'Import msg))

set_CodeGeneratorRequest'RequestedFile'imports :: (RWCtx m s, ToPtr s (List (Mut s) (CodeGeneratorRequest'RequestedFile'Import (Mut s)))) => CodeGeneratorRequest'RequestedFile (Mut s) -> List (Mut s) (CodeGeneratorRequest'RequestedFile'Import (Mut s)) -> m ()

has_CodeGeneratorRequest'RequestedFile'imports :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile msg -> m Bool

new_CodeGeneratorRequest'RequestedFile'imports :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (Mut s) -> m (List (Mut s) (CodeGeneratorRequest'RequestedFile'Import (Mut s)))

newtype CodeGeneratorRequest'RequestedFile'Import msg

Constructors

CodeGeneratorRequest'RequestedFile'Import'newtype_ (Struct msg)

Instances

ToStruct msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

toStruct :: CodeGeneratorRequest'RequestedFile'Import msg -> Struct msg

FromStruct msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (CodeGeneratorRequest'RequestedFile'Import msg)

ToPtr s (CodeGeneratorRequest'RequestedFile'Import ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> CodeGeneratorRequest'RequestedFile'Import ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (CodeGeneratorRequest'RequestedFile'Import msg)

Allocate s (CodeGeneratorRequest'RequestedFile'Import ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (CodeGeneratorRequest'RequestedFile'Import ('Mut s))

MutListElem s (CodeGeneratorRequest'RequestedFile'Import ('Mut s))

Defined in Capnp.Gen.Capnp.Schema

Methods

setIndex :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import ('Mut s) -> Int -> List ('Mut s) (CodeGeneratorRequest'RequestedFile'Import ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (CodeGeneratorRequest'RequestedFile'Import ('Mut s)))

ListElem mut (CodeGeneratorRequest'RequestedFile'Import mut)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List mut (CodeGeneratorRequest'RequestedFile'Import mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (CodeGeneratorRequest'RequestedFile'Import mut))

toUntypedList :: List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> List mut

length :: List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> Int

index :: ReadCtx m mut => Int -> List mut (CodeGeneratorRequest'RequestedFile'Import mut) -> m (CodeGeneratorRequest'RequestedFile'Import mut)

MessageDefault (CodeGeneratorRequest'RequestedFile'Import mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (CodeGeneratorRequest'RequestedFile'Import mut)

HasMessage (CodeGeneratorRequest'RequestedFile'Import mut) mut

Defined in Capnp.Gen.Capnp.Schema

Methods

message :: CodeGeneratorRequest'RequestedFile'Import mut -> Message mut

newtype List mut (CodeGeneratorRequest'RequestedFile'Import mut)

Defined in Capnp.Gen.Capnp.Schema

newtype List mut (CodeGeneratorRequest'RequestedFile'Import mut) = CodeGeneratorRequest'RequestedFile'Import'List_ (ListOf mut (Struct mut))

get_CodeGeneratorRequest'RequestedFile'Import'id :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m Word64

set_CodeGeneratorRequest'RequestedFile'Import'id :: RWCtx m s => CodeGeneratorRequest'RequestedFile'Import (Mut s) -> Word64 -> m ()

get_CodeGeneratorRequest'RequestedFile'Import'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => CodeGeneratorRequest'RequestedFile'Import msg -> m (Text msg)

set_CodeGeneratorRequest'RequestedFile'Import'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => CodeGeneratorRequest'RequestedFile'Import (Mut s) -> Text (Mut s) -> m ()

has_CodeGeneratorRequest'RequestedFile'Import'name :: ReadCtx m msg => CodeGeneratorRequest'RequestedFile'Import msg -> m Bool

new_CodeGeneratorRequest'RequestedFile'Import'name :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile'Import (Mut s) -> m (Text (Mut s))