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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Node (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Node (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Node (MutMsg s))

MutListElem s (Node (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Node (MutMsg s)))

ListElem msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node msg)

Methods

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

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

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

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

MessageDefault (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node msg) -> Node msg

HasMessage (Node msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node msg)

Methods

message :: Node msg -> InMessage (Node msg)

newtype List msg (Node msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Node msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node msg) = msg

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

set_Node'id :: RWCtx m s => Node (MutMsg 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 (MutMsg s))) => Node (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

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

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

set_Node'scopeId :: RWCtx m s => Node (MutMsg 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 (MutMsg s) (Node'NestedNode (MutMsg s)))) => Node (MutMsg s) -> List (MutMsg s) (Node'NestedNode (MutMsg s)) -> m ()

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

new_Node'nestedNodes :: RWCtx m s => Int -> Node (MutMsg s) -> m (List (MutMsg s) (Node'NestedNode (MutMsg 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 (MutMsg s) (Annotation (MutMsg s)))) => Node (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

new_Node'annotations :: RWCtx m s => Int -> Node (MutMsg s) -> m (List (MutMsg s) (Annotation (MutMsg 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 (MutMsg s) (Node'Parameter (MutMsg s)))) => Node (MutMsg s) -> List (MutMsg s) (Node'Parameter (MutMsg s)) -> m ()

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

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

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

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

data Node' msg

Constructors

Node'file

Node'struct (Node'struct msg)

Node'enum (Node'enum msg)

Node'interface (Node'interface msg)

Node'const (Node'const msg)

Node'annotation (Node'annotation msg)

Node'unknown' Word16

Instances

FromStruct msg (Node' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

set_Node'unknown' :: RWCtx m s => Node (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'struct msg) -> Node'struct msg

HasMessage (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'struct msg)

Methods

message :: Node'struct msg -> InMessage (Node'struct msg)

type InMessage (Node'struct msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'struct msg) = msg

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

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

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

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

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

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

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

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

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

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

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

set_Node'struct'discriminantOffset :: RWCtx m s => Node'struct (MutMsg 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 (MutMsg s) (Field (MutMsg s)))) => Node'struct (MutMsg s) -> List (MutMsg s) (Field (MutMsg s)) -> m ()

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

new_Node'struct'fields :: RWCtx m s => Int -> Node'struct (MutMsg s) -> m (List (MutMsg s) (Field (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'enum msg) -> Node'enum msg

HasMessage (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'enum msg)

Methods

message :: Node'enum msg -> InMessage (Node'enum msg)

type InMessage (Node'enum msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'enum msg) = msg

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 (MutMsg s) (Enumerant (MutMsg s)))) => Node'enum (MutMsg s) -> List (MutMsg s) (Enumerant (MutMsg s)) -> m ()

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

new_Node'enum'enumerants :: RWCtx m s => Int -> Node'enum (MutMsg s) -> m (List (MutMsg s) (Enumerant (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'interface msg) -> Node'interface msg

HasMessage (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'interface msg)

Methods

message :: Node'interface msg -> InMessage (Node'interface msg)

type InMessage (Node'interface msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'interface msg) = msg

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 (MutMsg s) (Method (MutMsg s)))) => Node'interface (MutMsg s) -> List (MutMsg s) (Method (MutMsg s)) -> m ()

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

new_Node'interface'methods :: RWCtx m s => Int -> Node'interface (MutMsg s) -> m (List (MutMsg s) (Method (MutMsg 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 (MutMsg s) (Superclass (MutMsg s)))) => Node'interface (MutMsg s) -> List (MutMsg s) (Superclass (MutMsg s)) -> m ()

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

new_Node'interface'superclasses :: RWCtx m s => Int -> Node'interface (MutMsg s) -> m (List (MutMsg s) (Superclass (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'const msg) -> Node'const msg

HasMessage (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'const msg)

Methods

message :: Node'const msg -> InMessage (Node'const msg)

type InMessage (Node'const msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'const msg) = msg

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 (MutMsg s))) => Node'const (MutMsg s) -> Type (MutMsg s) -> m ()

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

new_Node'const'type_ :: RWCtx m s => Node'const (MutMsg s) -> m (Type (MutMsg 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 (MutMsg s))) => Node'const (MutMsg s) -> Value (MutMsg s) -> m ()

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

new_Node'const'value :: RWCtx m s => Node'const (MutMsg s) -> m (Value (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'annotation msg) -> Node'annotation msg

HasMessage (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'annotation msg)

Methods

message :: Node'annotation msg -> InMessage (Node'annotation msg)

type InMessage (Node'annotation msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'annotation msg) = msg

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 (MutMsg s))) => Node'annotation (MutMsg s) -> Type (MutMsg s) -> m ()

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Node'annotation'targetsAnnotation :: RWCtx m s => Node'annotation (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Node'Parameter (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (Node'Parameter (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'Parameter msg)

Methods

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

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

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

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

MessageDefault (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'Parameter msg) -> Node'Parameter msg

HasMessage (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'Parameter msg)

Methods

message :: Node'Parameter msg -> InMessage (Node'Parameter msg)

newtype List msg (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Node'Parameter msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'Parameter msg) = msg

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 (MutMsg s))) => Node'Parameter (MutMsg s) -> Text (MutMsg s) -> m ()

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

new_Node'Parameter'name :: RWCtx m s => Int -> Node'Parameter (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Node'NestedNode (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'NestedNode msg)

Methods

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

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

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

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

MessageDefault (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'NestedNode msg) -> Node'NestedNode msg

HasMessage (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'NestedNode msg)

Methods

message :: Node'NestedNode msg -> InMessage (Node'NestedNode msg)

newtype List msg (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Node'NestedNode msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'NestedNode msg) = msg

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 (MutMsg s))) => Node'NestedNode (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

set_Node'NestedNode'id :: RWCtx m s => Node'NestedNode (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Node'SourceInfo (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (Node'SourceInfo (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'SourceInfo msg)

Methods

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

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

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

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

MessageDefault (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'SourceInfo msg) -> Node'SourceInfo msg

HasMessage (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'SourceInfo msg)

Methods

message :: Node'SourceInfo msg -> InMessage (Node'SourceInfo msg)

newtype List msg (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Node'SourceInfo msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'SourceInfo msg) = msg

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

set_Node'SourceInfo'id :: RWCtx m s => Node'SourceInfo (MutMsg 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 (MutMsg s))) => Node'SourceInfo (MutMsg s) -> Text (MutMsg s) -> m ()

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

new_Node'SourceInfo'docComment :: RWCtx m s => Int -> Node'SourceInfo (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s) (Node'SourceInfo'Member (MutMsg s)))) => Node'SourceInfo (MutMsg s) -> List (MutMsg s) (Node'SourceInfo'Member (MutMsg s)) -> m ()

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

new_Node'SourceInfo'members :: RWCtx m s => Int -> Node'SourceInfo (MutMsg s) -> m (List (MutMsg s) (Node'SourceInfo'Member (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Node'SourceInfo'Member msg)

Methods

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

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

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

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

MessageDefault (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Node'SourceInfo'Member msg) -> Node'SourceInfo'Member msg

HasMessage (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Node'SourceInfo'Member msg)

Methods

message :: Node'SourceInfo'Member msg -> InMessage (Node'SourceInfo'Member msg)

newtype List msg (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Node'SourceInfo'Member msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Node'SourceInfo'Member msg) = msg

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 (MutMsg s))) => Node'SourceInfo'Member (MutMsg s) -> Text (MutMsg 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 (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Field (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Field (MutMsg s))

MutListElem s (Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Field (MutMsg s)))

ListElem msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Field msg)

Methods

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

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

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

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

MessageDefault (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field msg) -> Field msg

HasMessage (Field msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field msg)

Methods

message :: Field msg -> InMessage (Field msg)

newtype List msg (Field msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Field msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Field msg) = msg

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

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

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

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

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

set_Field'codeOrder :: RWCtx m s => Field (MutMsg 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 (MutMsg s) (Annotation (MutMsg s)))) => Field (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

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

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

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

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

data Field' msg

Constructors

Field'slot (Field'slot msg)

Field'group (Field'group msg)

Field'unknown' Word16

Instances

FromStruct msg (Field' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

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

set_Field'unknown' :: RWCtx m s => Field (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'slot msg) -> Field'slot msg

HasMessage (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'slot msg)

Methods

message :: Field'slot msg -> InMessage (Field'slot msg)

type InMessage (Field'slot msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Field'slot msg) = msg

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

set_Field'slot'offset :: RWCtx m s => Field'slot (MutMsg 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 (MutMsg s))) => Field'slot (MutMsg s) -> Type (MutMsg s) -> m ()

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

new_Field'slot'type_ :: RWCtx m s => Field'slot (MutMsg s) -> m (Type (MutMsg 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 (MutMsg s))) => Field'slot (MutMsg s) -> Value (MutMsg s) -> m ()

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

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

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

set_Field'slot'hadExplicitDefault :: RWCtx m s => Field'slot (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'group msg) -> Field'group msg

HasMessage (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'group msg)

Methods

message :: Field'group msg -> InMessage (Field'group msg)

type InMessage (Field'group msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Field'group msg) = msg

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

set_Field'group'typeId :: RWCtx m s => Field'group (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Field'ordinal msg) -> Field'ordinal msg

HasMessage (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Field'ordinal msg)

Methods

message :: Field'ordinal msg -> InMessage (Field'ordinal msg)

type InMessage (Field'ordinal msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Field'ordinal msg) = msg

data Field'ordinal' msg

Constructors

Field'ordinal'implicit

Field'ordinal'explicit Word16

Field'ordinal'unknown' Word16

Instances

FromStruct msg (Field'ordinal' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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 (MutMsg s) -> m ()

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

set_Field'ordinal'unknown' :: RWCtx m s => Field'ordinal (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Enumerant (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Enumerant (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Enumerant (MutMsg s))

MutListElem s (Enumerant (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Enumerant (MutMsg s)))

ListElem msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Enumerant msg)

Methods

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

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

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

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

MessageDefault (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Enumerant msg) -> Enumerant msg

HasMessage (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Enumerant msg)

Methods

message :: Enumerant msg -> InMessage (Enumerant msg)

newtype List msg (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Enumerant msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Enumerant msg) = msg

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

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

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

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

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

set_Enumerant'codeOrder :: RWCtx m s => Enumerant (MutMsg 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 (MutMsg s) (Annotation (MutMsg s)))) => Enumerant (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

new_Enumerant'annotations :: RWCtx m s => Int -> Enumerant (MutMsg s) -> m (List (MutMsg s) (Annotation (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Superclass (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Superclass (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Superclass (MutMsg s))

MutListElem s (Superclass (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Superclass (MutMsg s)))

ListElem msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Superclass msg)

Methods

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

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

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

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

MessageDefault (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Superclass msg) -> Superclass msg

HasMessage (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Superclass msg)

Methods

message :: Superclass msg -> InMessage (Superclass msg)

newtype List msg (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Superclass msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Superclass msg) = msg

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

set_Superclass'id :: RWCtx m s => Superclass (MutMsg 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 (MutMsg s))) => Superclass (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Superclass'brand :: RWCtx m s => Superclass (MutMsg s) -> m (Brand (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Method (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Method (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Method (MutMsg s))

MutListElem s (Method (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Method (MutMsg s)))

ListElem msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Method msg)

Methods

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

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

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

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

MessageDefault (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Method msg) -> Method msg

HasMessage (Method msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Method msg)

Methods

message :: Method msg -> InMessage (Method msg)

newtype List msg (Method msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Method msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Method msg) = msg

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

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

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

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

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

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

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

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

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

set_Method'resultStructType :: RWCtx m s => Method (MutMsg 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 (MutMsg s) (Annotation (MutMsg s)))) => Method (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

new_Method'annotations :: RWCtx m s => Int -> Method (MutMsg s) -> m (List (MutMsg s) (Annotation (MutMsg 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 (MutMsg s))) => Method (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Method'paramBrand :: RWCtx m s => Method (MutMsg s) -> m (Brand (MutMsg 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 (MutMsg s))) => Method (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Method'resultBrand :: RWCtx m s => Method (MutMsg s) -> m (Brand (MutMsg 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 (MutMsg s) (Node'Parameter (MutMsg s)))) => Method (MutMsg s) -> List (MutMsg s) (Node'Parameter (MutMsg s)) -> m ()

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

new_Method'implicitParameters :: RWCtx m s => Int -> Method (MutMsg s) -> m (List (MutMsg s) (Node'Parameter (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Type (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Type (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type (MutMsg s))

MutListElem s (Type (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type (MutMsg s)))

ListElem msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Type msg)

Methods

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

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

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

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

MessageDefault (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type msg) -> Type msg

HasMessage (Type msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type msg)

Methods

message :: Type msg -> InMessage (Type msg)

newtype List msg (Type msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Type msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type msg) = msg

data Type' msg

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 msg)

Type'enum (Type'enum msg)

Type'struct (Type'struct msg)

Type'interface (Type'interface msg)

Type'anyPointer (Type'anyPointer msg)

Type'unknown' Word16

Instances

FromStruct msg (Type' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Type'unknown' :: RWCtx m s => Type (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'list msg) -> Type'list msg

HasMessage (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'list msg)

Methods

message :: Type'list msg -> InMessage (Type'list msg)

type InMessage (Type'list msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'list msg) = msg

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 (MutMsg s))) => Type'list (MutMsg s) -> Type (MutMsg s) -> m ()

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

new_Type'list'elementType :: RWCtx m s => Type'list (MutMsg s) -> m (Type (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'enum msg) -> Type'enum msg

HasMessage (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'enum msg)

Methods

message :: Type'enum msg -> InMessage (Type'enum msg)

type InMessage (Type'enum msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'enum msg) = msg

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

set_Type'enum'typeId :: RWCtx m s => Type'enum (MutMsg 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 (MutMsg s))) => Type'enum (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Type'enum'brand :: RWCtx m s => Type'enum (MutMsg s) -> m (Brand (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'struct msg) -> Type'struct msg

HasMessage (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'struct msg)

Methods

message :: Type'struct msg -> InMessage (Type'struct msg)

type InMessage (Type'struct msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'struct msg) = msg

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

set_Type'struct'typeId :: RWCtx m s => Type'struct (MutMsg 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 (MutMsg s))) => Type'struct (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Type'struct'brand :: RWCtx m s => Type'struct (MutMsg s) -> m (Brand (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'interface msg) -> Type'interface msg

HasMessage (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'interface msg)

Methods

message :: Type'interface msg -> InMessage (Type'interface msg)

type InMessage (Type'interface msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'interface msg) = msg

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

set_Type'interface'typeId :: RWCtx m s => Type'interface (MutMsg 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 (MutMsg s))) => Type'interface (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Type'interface'brand :: RWCtx m s => Type'interface (MutMsg s) -> m (Brand (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer msg) -> Type'anyPointer msg

HasMessage (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer msg)

Methods

message :: Type'anyPointer msg -> InMessage (Type'anyPointer msg)

type InMessage (Type'anyPointer msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'anyPointer msg) = msg

data Type'anyPointer' msg

Constructors

Type'anyPointer'unconstrained (Type'anyPointer'unconstrained msg)

Type'anyPointer'parameter (Type'anyPointer'parameter msg)

Type'anyPointer'implicitMethodParameter (Type'anyPointer'implicitMethodParameter msg)

Type'anyPointer'unknown' Word16

Instances

FromStruct msg (Type'anyPointer' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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 (MutMsg s) (Type'anyPointer'unconstrained (MutMsg s))) => Type'anyPointer (MutMsg s) -> m (Type'anyPointer'unconstrained (MutMsg s))

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

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

set_Type'anyPointer'unknown' :: RWCtx m s => Type'anyPointer (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'unconstrained msg) -> Type'anyPointer'unconstrained msg

HasMessage (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'unconstrained msg)

Methods

message :: Type'anyPointer'unconstrained msg -> InMessage (Type'anyPointer'unconstrained msg)

type InMessage (Type'anyPointer'unconstrained msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'anyPointer'unconstrained msg) = msg

data Type'anyPointer'unconstrained' msg

Constructors

Type'anyPointer'unconstrained'anyKind

Type'anyPointer'unconstrained'struct

Type'anyPointer'unconstrained'list

Type'anyPointer'unconstrained'capability

Type'anyPointer'unconstrained'unknown' Word16

Instances

FromStruct msg (Type'anyPointer'unconstrained' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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 (MutMsg s) -> m ()

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

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

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

set_Type'anyPointer'unconstrained'unknown' :: RWCtx m s => Type'anyPointer'unconstrained (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'parameter msg) -> Type'anyPointer'parameter msg

HasMessage (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'parameter msg)

Methods

message :: Type'anyPointer'parameter msg -> InMessage (Type'anyPointer'parameter msg)

type InMessage (Type'anyPointer'parameter msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'anyPointer'parameter msg) = msg

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 (MutMsg 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 (MutMsg 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 msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Type'anyPointer'implicitMethodParameter msg) -> Type'anyPointer'implicitMethodParameter msg

HasMessage (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'implicitMethodParameter msg)

Methods

message :: Type'anyPointer'implicitMethodParameter msg -> InMessage (Type'anyPointer'implicitMethodParameter msg)

type InMessage (Type'anyPointer'implicitMethodParameter msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Type'anyPointer'implicitMethodParameter msg) = msg

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 (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Brand (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Brand (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Brand (MutMsg s))

MutListElem s (Brand (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Brand (MutMsg s)))

ListElem msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand msg)

Methods

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

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

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

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

MessageDefault (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand msg) -> Brand msg

HasMessage (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand msg)

Methods

message :: Brand msg -> InMessage (Brand msg)

newtype List msg (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Brand msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Brand msg) = msg

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 (MutMsg s) (Brand'Scope (MutMsg s)))) => Brand (MutMsg s) -> List (MutMsg s) (Brand'Scope (MutMsg s)) -> m ()

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

new_Brand'scopes :: RWCtx m s => Int -> Brand (MutMsg s) -> m (List (MutMsg s) (Brand'Scope (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Brand'Scope (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (Brand'Scope (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand'Scope msg)

Methods

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

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

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

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

MessageDefault (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand'Scope msg) -> Brand'Scope msg

HasMessage (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand'Scope msg)

Methods

message :: Brand'Scope msg -> InMessage (Brand'Scope msg)

newtype List msg (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Brand'Scope msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Brand'Scope msg) = msg

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

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

data Brand'Scope' msg

Constructors

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

Brand'Scope'inherit

Brand'Scope'unknown' Word16

Instances

FromStruct msg (Brand'Scope' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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 (MutMsg s) (Brand'Binding (MutMsg s)))) => Brand'Scope (MutMsg s) -> List (MutMsg s) (Brand'Binding (MutMsg s)) -> m ()

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

set_Brand'Scope'unknown' :: RWCtx m s => Brand'Scope (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Brand'Binding (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (Brand'Binding (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Brand'Binding msg)

Methods

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

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

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

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

MessageDefault (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Brand'Binding msg) -> Brand'Binding msg

HasMessage (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Brand'Binding msg)

Methods

message :: Brand'Binding msg -> InMessage (Brand'Binding msg)

newtype List msg (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Brand'Binding msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Brand'Binding msg) = msg

data Brand'Binding' msg

Constructors

Brand'Binding'unbound

Brand'Binding'type_ (Type msg)

Brand'Binding'unknown' Word16

Instances

FromStruct msg (Brand'Binding' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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 (MutMsg s) -> m ()

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

set_Brand'Binding'unknown' :: RWCtx m s => Brand'Binding (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Value (MutMsg s))

MutListElem s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s)))

ListElem msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Value msg)

Methods

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

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

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

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

MessageDefault (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Value msg) -> Value msg

HasMessage (Value msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Value msg)

Methods

message :: Value msg -> InMessage (Value msg)

newtype List msg (Value msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Value msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Value msg) = msg

data Value' msg

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 msg)

Value'data_ (Data msg)

Value'list (Maybe (Ptr msg))

Value'enum Word16

Value'struct (Maybe (Ptr msg))

Value'interface

Value'anyPointer (Maybe (Ptr msg))

Value'unknown' Word16

Instances

FromStruct msg (Value' msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Value'unknown' :: RWCtx m s => Value (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> Annotation (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (Annotation (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Annotation (MutMsg s))

MutListElem s (Annotation (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Annotation (MutMsg s)))

ListElem msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (Annotation msg)

Methods

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

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

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

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

MessageDefault (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (Annotation msg) -> Annotation msg

HasMessage (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (Annotation msg)

Methods

message :: Annotation msg -> InMessage (Annotation msg)

newtype List msg (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (Annotation msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (Annotation msg) = msg

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

set_Annotation'id :: RWCtx m s => Annotation (MutMsg 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 (MutMsg s))) => Annotation (MutMsg s) -> Value (MutMsg s) -> m ()

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

new_Annotation'value :: RWCtx m s => Annotation (MutMsg s) -> m (Value (MutMsg 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 (MutMsg s))) => Annotation (MutMsg s) -> Brand (MutMsg s) -> m ()

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

new_Annotation'brand :: RWCtx m s => Annotation (MutMsg s) -> m (Brand (MutMsg 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 msg ElementSize

Methods

decerialize :: ReadCtx m ConstMsg => Cerial ConstMsg 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 => MutMsg s -> ElementSize -> m (Cerial (MutMsg s) ElementSize)

MutListElem s ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) ElementSize)

ListElem msg ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg ElementSize

Methods

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

toUntypedList :: List msg ElementSize -> List msg

length :: List msg ElementSize -> Int

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

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

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector (Vector (Vector ElementSize))))) -> m (Cerial (MutMsg 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 => MutMsg s -> Vector (Vector (Vector (Vector (Vector ElementSize)))) -> m (Cerial (MutMsg 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 => MutMsg s -> Vector (Vector (Vector (Vector ElementSize))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector ElementSize)))))

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

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector ElementSize)) -> m (Cerial (MutMsg s) (Vector (Vector (Vector ElementSize))))

Cerialize s (Vector (Vector ElementSize))

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector ElementSize) -> m (Cerial (MutMsg s) (Vector (Vector ElementSize)))

Cerialize s (Vector ElementSize)

Defined in Capnp.Gen.Capnp.Schema.Pure

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector ElementSize -> m (Cerial (MutMsg s) (Vector ElementSize))

type Rep ElementSize

Defined in Capnp.Gen.Capnp.Schema

type Rep ElementSize = D1 ('MetaData "ElementSize" "Capnp.Gen.Capnp.Schema" "capnp-0.8.0.0-GCjrmYaekqlKa81VtWWpNE" '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 msg ElementSize

Defined in Capnp.Gen.Capnp.Schema

newtype List msg ElementSize = ElementSize'List_ (ListOf msg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> CapnpVersion (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (CapnpVersion (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CapnpVersion (MutMsg s))

MutListElem s (CapnpVersion (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CapnpVersion (MutMsg s)))

ListElem msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg)

Methods

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

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

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

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

MessageDefault (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CapnpVersion msg) -> CapnpVersion msg

HasMessage (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CapnpVersion msg)

Methods

message :: CapnpVersion msg -> InMessage (CapnpVersion msg)

newtype List msg (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (CapnpVersion msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (CapnpVersion msg) = msg

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

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

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

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

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

set_CapnpVersion'micro :: RWCtx m s => CapnpVersion (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

toPtr :: WriteCtx m s => MutMsg s -> CodeGeneratorRequest (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (CodeGeneratorRequest (MutMsg s))

MutListElem s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (CodeGeneratorRequest (MutMsg s)))

ListElem msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg)

Methods

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

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

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

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

MessageDefault (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest msg) -> CodeGeneratorRequest msg

HasMessage (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest msg)

Methods

message :: CodeGeneratorRequest msg -> InMessage (CodeGeneratorRequest msg)

newtype List msg (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (CodeGeneratorRequest msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (CodeGeneratorRequest msg) = msg

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 (MutMsg s) (Node (MutMsg s)))) => CodeGeneratorRequest (MutMsg s) -> List (MutMsg s) (Node (MutMsg s)) -> m ()

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

new_CodeGeneratorRequest'nodes :: RWCtx m s => Int -> CodeGeneratorRequest (MutMsg s) -> m (List (MutMsg s) (Node (MutMsg 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 (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)))) => CodeGeneratorRequest (MutMsg s) -> List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)) -> m ()

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

new_CodeGeneratorRequest'requestedFiles :: RWCtx m s => Int -> CodeGeneratorRequest (MutMsg s) -> m (List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg 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 (MutMsg s))) => CodeGeneratorRequest (MutMsg s) -> CapnpVersion (MutMsg s) -> m ()

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

new_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> m (CapnpVersion (MutMsg 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 (MutMsg s) (Node'SourceInfo (MutMsg s)))) => CodeGeneratorRequest (MutMsg s) -> List (MutMsg s) (Node'SourceInfo (MutMsg s)) -> m ()

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

new_CodeGeneratorRequest'sourceInfo :: RWCtx m s => Int -> CodeGeneratorRequest (MutMsg s) -> m (List (MutMsg s) (Node'SourceInfo (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

Allocate s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile msg)

Methods

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

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

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

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

MessageDefault (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest'RequestedFile msg) -> CodeGeneratorRequest'RequestedFile msg

HasMessage (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile msg)

Methods

message :: CodeGeneratorRequest'RequestedFile msg -> InMessage (CodeGeneratorRequest'RequestedFile msg)

newtype List msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (CodeGeneratorRequest'RequestedFile msg) = msg

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

set_CodeGeneratorRequest'RequestedFile'id :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg 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 (MutMsg s))) => CodeGeneratorRequest'RequestedFile (MutMsg s) -> Text (MutMsg s) -> m ()

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

new_CodeGeneratorRequest'RequestedFile'filename :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)))) => CodeGeneratorRequest'RequestedFile (MutMsg s) -> List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg s)) -> m ()

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

new_CodeGeneratorRequest'RequestedFile'imports :: RWCtx m s => Int -> CodeGeneratorRequest'RequestedFile (MutMsg s) -> m (List (MutMsg s) (CodeGeneratorRequest'RequestedFile'Import (MutMsg 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 (MutMsg s))

Defined in Capnp.Gen.Capnp.Schema

Methods

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

FromPtr msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

ListElem msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile'Import msg)

Methods

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

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

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

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

MessageDefault (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Methods

messageDefault :: InMessage (CodeGeneratorRequest'RequestedFile'Import msg) -> CodeGeneratorRequest'RequestedFile'Import msg

HasMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Methods

message :: CodeGeneratorRequest'RequestedFile'Import msg -> InMessage (CodeGeneratorRequest'RequestedFile'Import msg)

newtype List msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

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

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Gen.Capnp.Schema

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg) = msg

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 (MutMsg 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 (MutMsg s))) => CodeGeneratorRequest'RequestedFile'Import (MutMsg s) -> Text (MutMsg 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 (MutMsg s) -> m (Text (MutMsg s))