Capnp.Capnp.Schema

This module is the generated code for capnp/schema.capnp, for the low-level api.

Documentation

newtype Annotation msg

Constructors

Annotation_newtype_ (Struct msg)

Instances

ToStruct msg (Annotation msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Annotation msg -> Struct msg

FromStruct msg (Annotation msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Annotation msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Annotation msg -> Maybe (Ptr msg)

Allocate s (Annotation (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Annotation (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Annotation msg) :: *

Methods

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

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

IsPtr msg (List msg (Annotation msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Annotation msg) -> Maybe (Ptr msg)

MessageDefault (Annotation msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Annotation msg

HasMessage (Annotation msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Annotation msg -> msg

data List msg (Annotation msg)

Defined in Capnp.Capnp.Schema

data List msg (Annotation msg) = List_Annotation (ListOf msg (Struct msg))

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

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

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

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

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

set_Annotation'value :: RWCtx m s => Annotation (MutMsg s) -> Value (MutMsg s) -> m ()

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

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

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

set_Annotation'brand :: RWCtx m s => Annotation (MutMsg s) -> Brand (MutMsg s) -> m ()

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

newtype Brand msg

Constructors

Brand_newtype_ (Struct msg)

Instances

ToStruct msg (Brand msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Brand msg -> Struct msg

FromStruct msg (Brand msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Brand msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Brand msg -> Maybe (Ptr msg)

Allocate s (Brand (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Brand (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Brand msg) :: *

Methods

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

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

IsPtr msg (List msg (Brand msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Brand msg) -> Maybe (Ptr msg)

MessageDefault (Brand msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Brand msg

HasMessage (Brand msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Brand msg -> msg

data List msg (Brand msg)

Defined in Capnp.Capnp.Schema

data List msg (Brand msg) = List_Brand (ListOf msg (Struct msg))

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

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

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

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

newtype CapnpVersion msg

Constructors

CapnpVersion_newtype_ (Struct msg)

Instances

ToStruct msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: CapnpVersion msg -> Struct msg

FromStruct msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: CapnpVersion msg -> Maybe (Ptr msg)

Allocate s (CapnpVersion (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (CapnpVersion (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (CapnpVersion msg) :: *

Methods

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

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

IsPtr msg (List msg (CapnpVersion msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (CapnpVersion msg) -> Maybe (Ptr msg)

MessageDefault (CapnpVersion msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> CapnpVersion msg

HasMessage (CapnpVersion msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: CapnpVersion msg -> msg

data List msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

data List msg (CapnpVersion msg) = List_CapnpVersion (ListOf msg (Struct msg))

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

has_CapnpVersion'major :: ReadCtx m msg => CapnpVersion msg -> m Bool

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

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

has_CapnpVersion'minor :: ReadCtx m msg => CapnpVersion msg -> m Bool

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

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

has_CapnpVersion'micro :: ReadCtx m msg => CapnpVersion msg -> m Bool

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.Capnp.Schema

Methods

toStruct :: CodeGeneratorRequest msg -> Struct msg

FromStruct msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: CodeGeneratorRequest msg -> Maybe (Ptr msg)

Allocate s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (CodeGeneratorRequest (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest msg) :: *

Methods

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

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

IsPtr msg (List msg (CodeGeneratorRequest msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (CodeGeneratorRequest msg) -> Maybe (Ptr msg)

MessageDefault (CodeGeneratorRequest msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> CodeGeneratorRequest msg

HasMessage (CodeGeneratorRequest msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: CodeGeneratorRequest msg -> msg

data List msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

data List msg (CodeGeneratorRequest msg) = List_CodeGeneratorRequest (ListOf msg (Struct msg))

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

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

set_CodeGeneratorRequest'nodes :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> List (MutMsg s) (Node (MutMsg s)) -> m ()

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

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

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

set_CodeGeneratorRequest'requestedFiles :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> List (MutMsg s) (CodeGeneratorRequest'RequestedFile (MutMsg s)) -> m ()

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

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

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

set_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> CapnpVersion (MutMsg s) -> m ()

new_CodeGeneratorRequest'capnpVersion :: RWCtx m s => CodeGeneratorRequest (MutMsg s) -> m (CapnpVersion (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.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.Capnp.Schema

Methods

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

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

Read ElementSize

Defined in Capnp.Capnp.Schema

Methods

readsPrec :: Int -> ReadS ElementSize

readList :: ReadS [ElementSize]

readPrec :: ReadPrec ElementSize

readListPrec :: ReadPrec [ElementSize]

Show ElementSize

Defined in Capnp.Capnp.Schema

Methods

showsPrec :: Int -> ElementSize -> ShowS

show :: ElementSize -> String

showList :: [ElementSize] -> ShowS

Generic ElementSize

Defined in Capnp.Capnp.Schema

Associated Types

type Rep ElementSize :: * -> *

Methods

from :: ElementSize -> Rep ElementSize x

to :: Rep ElementSize x -> ElementSize

IsWord ElementSize

Defined in Capnp.Capnp.Schema

Methods

fromWord :: Word64 -> ElementSize

toWord :: ElementSize -> Word64

MutListElem s ElementSize

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg ElementSize :: *

Methods

length :: List msg ElementSize -> Int

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

IsPtr msg (List msg ElementSize)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg ElementSize -> Maybe (Ptr msg)

type Rep ElementSize

Defined in Capnp.Capnp.Schema

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

data List msg ElementSize

Defined in Capnp.Capnp.Schema

data List msg ElementSize = List_ElementSize (ListOf msg Word16)

newtype Enumerant msg

Constructors

Enumerant_newtype_ (Struct msg)

Instances

ToStruct msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Enumerant msg -> Struct msg

FromStruct msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Enumerant msg -> Maybe (Ptr msg)

Allocate s (Enumerant (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Enumerant (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Enumerant msg) :: *

Methods

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

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

IsPtr msg (List msg (Enumerant msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Enumerant msg) -> Maybe (Ptr msg)

MessageDefault (Enumerant msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Enumerant msg

HasMessage (Enumerant msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Enumerant msg -> msg

data List msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

data List msg (Enumerant msg) = List_Enumerant (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

set_Enumerant'annotations :: RWCtx m s => Enumerant (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

newtype Field msg

Constructors

Field_newtype_ (Struct msg)

Instances

ToStruct msg (Field msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Field msg -> Struct msg

FromStruct msg (Field msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Field msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Field msg -> Maybe (Ptr msg)

Allocate s (Field (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Field (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Field msg) :: *

Methods

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

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

IsPtr msg (List msg (Field msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Field msg) -> Maybe (Ptr msg)

MessageDefault (Field msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Field msg

HasMessage (Field msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Field msg -> msg

data List msg (Field msg)

Defined in Capnp.Capnp.Schema

data List msg (Field msg) = List_Field (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

newtype Method msg

Constructors

Method_newtype_ (Struct msg)

Instances

ToStruct msg (Method msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Method msg -> Struct msg

FromStruct msg (Method msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Method msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Method msg -> Maybe (Ptr msg)

Allocate s (Method (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Method (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Method msg) :: *

Methods

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

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

IsPtr msg (List msg (Method msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Method msg) -> Maybe (Ptr msg)

MessageDefault (Method msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Method msg

HasMessage (Method msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Method msg -> msg

data List msg (Method msg)

Defined in Capnp.Capnp.Schema

data List msg (Method msg) = List_Method (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Method'annotations :: RWCtx m s => Method (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

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

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

set_Method'paramBrand :: RWCtx m s => Method (MutMsg s) -> Brand (MutMsg s) -> m ()

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

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

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

set_Method'resultBrand :: RWCtx m s => Method (MutMsg s) -> Brand (MutMsg s) -> m ()

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

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

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

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

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

newtype Node msg

Constructors

Node_newtype_ (Struct msg)

Instances

ToStruct msg (Node msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node msg -> Struct msg

FromStruct msg (Node msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node msg -> Maybe (Ptr msg)

Allocate s (Node (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Node msg) :: *

Methods

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

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

IsPtr msg (List msg (Node msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Node msg) -> Maybe (Ptr msg)

MessageDefault (Node msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node msg

HasMessage (Node msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node msg -> msg

data List msg (Node msg)

Defined in Capnp.Capnp.Schema

data List msg (Node msg) = List_Node (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Node'nestedNodes :: RWCtx m s => Node (MutMsg s) -> List (MutMsg s) (Node'NestedNode (MutMsg s)) -> m ()

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

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

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

set_Node'annotations :: RWCtx m s => Node (MutMsg s) -> List (MutMsg s) (Annotation (MutMsg s)) -> m ()

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

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

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

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

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

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

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

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

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

newtype Superclass msg

Constructors

Superclass_newtype_ (Struct msg)

Instances

ToStruct msg (Superclass msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Superclass msg -> Struct msg

FromStruct msg (Superclass msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Superclass msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Superclass msg -> Maybe (Ptr msg)

Allocate s (Superclass (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Superclass (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Superclass msg) :: *

Methods

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

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

IsPtr msg (List msg (Superclass msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Superclass msg) -> Maybe (Ptr msg)

MessageDefault (Superclass msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Superclass msg

HasMessage (Superclass msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Superclass msg -> msg

data List msg (Superclass msg)

Defined in Capnp.Capnp.Schema

data List msg (Superclass msg) = List_Superclass (ListOf msg (Struct msg))

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

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

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

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

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

set_Superclass'brand :: RWCtx m s => Superclass (MutMsg s) -> Brand (MutMsg s) -> m ()

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

newtype Type msg

Constructors

Type_newtype_ (Struct msg)

Instances

ToStruct msg (Type msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type msg -> Struct msg

FromStruct msg (Type msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type msg -> Maybe (Ptr msg)

Allocate s (Type (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Type msg) :: *

Methods

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

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

IsPtr msg (List msg (Type msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Type msg) -> Maybe (Ptr msg)

MessageDefault (Type msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type msg

HasMessage (Type msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type msg -> msg

data List msg (Type msg)

Defined in Capnp.Capnp.Schema

data List msg (Type msg) = List_Type (ListOf msg (Struct 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'group' msg)

Type'enum (Type'enum'group' msg)

Type'struct (Type'struct'group' msg)

Type'interface (Type'interface'group' msg)

Type'anyPointer (Type'anyPointer'group' msg)

Type'unknown' Word16

Instances

FromStruct msg (Type' msg)

Defined in Capnp.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

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

newtype Type'list'group' msg

Constructors

Type'list'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type'list'group' msg -> Struct msg

FromStruct msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'list'group' msg -> Maybe (Ptr msg)

Allocate s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'list'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'list'group' msg) :: *

Methods

length :: List msg (Type'list'group' msg) -> Int

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

IsPtr msg (List msg (Type'list'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'list'group' msg))

toPtr :: List msg (Type'list'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'list'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'list'group' msg

HasMessage (Type'list'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'list'group' msg -> msg

data List msg (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'list'group' msg) = List_Type'list'group' (ListOf msg (Struct msg))

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

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

set_Type'list'elementType :: RWCtx m s => Type'list'group' (MutMsg s) -> Type (MutMsg s) -> m ()

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

newtype Type'enum'group' msg

Constructors

Type'enum'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type'enum'group' msg -> Struct msg

FromStruct msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'enum'group' msg -> Maybe (Ptr msg)

Allocate s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'enum'group' msg) :: *

Methods

length :: List msg (Type'enum'group' msg) -> Int

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

IsPtr msg (List msg (Type'enum'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'enum'group' msg))

toPtr :: List msg (Type'enum'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'enum'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'enum'group' msg

HasMessage (Type'enum'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'enum'group' msg -> msg

data List msg (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'enum'group' msg) = List_Type'enum'group' (ListOf msg (Struct msg))

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

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

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

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

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

set_Type'enum'brand :: RWCtx m s => Type'enum'group' (MutMsg s) -> Brand (MutMsg s) -> m ()

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

newtype Type'struct'group' msg

Constructors

Type'struct'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type'struct'group' msg -> Struct msg

FromStruct msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'struct'group' msg -> Maybe (Ptr msg)

Allocate s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'struct'group' msg) :: *

Methods

length :: List msg (Type'struct'group' msg) -> Int

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

IsPtr msg (List msg (Type'struct'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'struct'group' msg))

toPtr :: List msg (Type'struct'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'struct'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'struct'group' msg

HasMessage (Type'struct'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'struct'group' msg -> msg

data List msg (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'struct'group' msg) = List_Type'struct'group' (ListOf msg (Struct msg))

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

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

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

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

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

set_Type'struct'brand :: RWCtx m s => Type'struct'group' (MutMsg s) -> Brand (MutMsg s) -> m ()

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

newtype Type'interface'group' msg

Constructors

Type'interface'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type'interface'group' msg -> Struct msg

FromStruct msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'interface'group' msg -> Maybe (Ptr msg)

Allocate s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'interface'group' msg) :: *

Methods

length :: List msg (Type'interface'group' msg) -> Int

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

IsPtr msg (List msg (Type'interface'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'interface'group' msg))

toPtr :: List msg (Type'interface'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'interface'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'interface'group' msg

HasMessage (Type'interface'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'interface'group' msg -> msg

data List msg (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'interface'group' msg) = List_Type'interface'group' (ListOf msg (Struct msg))

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

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

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

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

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

set_Type'interface'brand :: RWCtx m s => Type'interface'group' (MutMsg s) -> Brand (MutMsg s) -> m ()

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

newtype Type'anyPointer'group' msg

Constructors

Type'anyPointer'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

FromStruct msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'anyPointer'group' msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'anyPointer'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'group' msg) -> Int

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

IsPtr msg (List msg (Type'anyPointer'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'anyPointer'group' msg))

toPtr :: List msg (Type'anyPointer'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer'group' msg

HasMessage (Type'anyPointer'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer'group' msg -> msg

data List msg (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer'group' msg) = List_Type'anyPointer'group' (ListOf msg (Struct msg))

get_Type'anyPointer'union' :: ReadCtx m msg => Type'anyPointer'group' msg -> m (Type'anyPointer msg)

has_Type'anyPointer'union' :: ReadCtx m msg => Type'anyPointer'group' msg -> m Bool

newtype Value msg

Constructors

Value_newtype_ (Struct msg)

Instances

ToStruct msg (Value msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Value msg -> Struct msg

FromStruct msg (Value msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Value msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Value msg -> Maybe (Ptr msg)

Allocate s (Value (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Value (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Value msg) :: *

Methods

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

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

IsPtr msg (List msg (Value msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Value msg) -> Maybe (Ptr msg)

MessageDefault (Value msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Value msg

HasMessage (Value msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Value msg -> msg

data List msg (Value msg)

Defined in Capnp.Capnp.Schema

data List msg (Value msg) = List_Value (ListOf msg (Struct 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.Capnp.Schema

Methods

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

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

has_Value' :: ReadCtx m msg => Value msg -> m Bool

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

new_Value'text :: RWCtx m s => Int -> Value (MutMsg s) -> m (Text (MutMsg s))

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

new_Value'data_ :: RWCtx m s => Int -> Value (MutMsg s) -> m (Data (MutMsg s))

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

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

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

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

newtype Brand'Binding msg

Constructors

Brand'Binding_newtype_ (Struct msg)

Instances

ToStruct msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Brand'Binding msg -> Struct msg

FromStruct msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Brand'Binding msg -> Maybe (Ptr msg)

Allocate s (Brand'Binding (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Brand'Binding (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Brand'Binding msg) :: *

Methods

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

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

IsPtr msg (List msg (Brand'Binding msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Brand'Binding msg) -> Maybe (Ptr msg)

MessageDefault (Brand'Binding msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Brand'Binding msg

HasMessage (Brand'Binding msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Brand'Binding msg -> msg

data List msg (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

data List msg (Brand'Binding msg) = List_Brand'Binding (ListOf msg (Struct 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.Capnp.Schema

Methods

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

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

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

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

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

new_Brand'Binding'type_ :: RWCtx m s => Brand'Binding (MutMsg s) -> m (Type (MutMsg s))

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

newtype Brand'Scope msg

Constructors

Brand'Scope_newtype_ (Struct msg)

Instances

ToStruct msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Brand'Scope msg -> Struct msg

FromStruct msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Brand'Scope msg -> Maybe (Ptr msg)

Allocate s (Brand'Scope (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Brand'Scope (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Brand'Scope msg) :: *

Methods

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

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

IsPtr msg (List msg (Brand'Scope msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Brand'Scope msg) -> Maybe (Ptr msg)

MessageDefault (Brand'Scope msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Brand'Scope msg

HasMessage (Brand'Scope msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Brand'Scope msg -> msg

data List msg (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

data List msg (Brand'Scope msg) = List_Brand'Scope (ListOf msg (Struct msg))

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

has_Brand'Scope'scopeId :: ReadCtx m msg => Brand'Scope msg -> m Bool

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

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

has_Brand'Scope'union' :: ReadCtx m msg => Brand'Scope msg -> m Bool

newtype Brand'Scope' msg

Constructors

Brand'Scope'_newtype_ (Struct msg)

Instances

ToStruct msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Brand'Scope' msg -> Struct msg

FromStruct msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Brand'Scope' msg -> Maybe (Ptr msg)

Allocate s (Brand'Scope' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Brand'Scope' (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Brand'Scope' msg) :: *

Methods

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

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

IsPtr msg (List msg (Brand'Scope' msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Brand'Scope' msg) -> Maybe (Ptr msg)

MessageDefault (Brand'Scope' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Brand'Scope' msg

HasMessage (Brand'Scope' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Brand'Scope' msg -> msg

data List msg (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

data List msg (Brand'Scope' msg) = List_Brand'Scope' (ListOf msg (Struct msg))

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.Capnp.Schema

Methods

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

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

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

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

new_Brand'Scope'bind :: RWCtx m s => Int -> Brand'Scope' (MutMsg s) -> m (List (MutMsg s) (Brand'Binding (MutMsg s)))

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 CodeGeneratorRequest'RequestedFile msg

Constructors

CodeGeneratorRequest'RequestedFile_newtype_ (Struct msg)

Instances

ToStruct msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: CodeGeneratorRequest'RequestedFile msg -> Struct msg

FromStruct msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: CodeGeneratorRequest'RequestedFile msg -> Maybe (Ptr msg)

Allocate s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (CodeGeneratorRequest'RequestedFile (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile msg) :: *

Methods

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

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

IsPtr msg (List msg (CodeGeneratorRequest'RequestedFile msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (CodeGeneratorRequest'RequestedFile msg) -> Maybe (Ptr msg)

MessageDefault (CodeGeneratorRequest'RequestedFile msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> CodeGeneratorRequest'RequestedFile msg

HasMessage (CodeGeneratorRequest'RequestedFile msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: CodeGeneratorRequest'RequestedFile msg -> msg

data List msg (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

data List msg (CodeGeneratorRequest'RequestedFile msg) = List_CodeGeneratorRequest'RequestedFile (ListOf msg (Struct msg))

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

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

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

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

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

set_CodeGeneratorRequest'RequestedFile'filename :: RWCtx m s => CodeGeneratorRequest'RequestedFile (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

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

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.Capnp.Schema

Methods

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

FromStruct msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: CodeGeneratorRequest'RequestedFile'Import msg -> Maybe (Ptr msg)

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

Defined in Capnp.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.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.Capnp.Schema

Associated Types

data List msg (CodeGeneratorRequest'RequestedFile'Import msg) :: *

Methods

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

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

IsPtr msg (List msg (CodeGeneratorRequest'RequestedFile'Import msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (CodeGeneratorRequest'RequestedFile'Import msg) -> Maybe (Ptr msg)

MessageDefault (CodeGeneratorRequest'RequestedFile'Import msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> CodeGeneratorRequest'RequestedFile'Import msg

HasMessage (CodeGeneratorRequest'RequestedFile'Import msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: CodeGeneratorRequest'RequestedFile'Import msg -> msg

data List msg (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

data List msg (CodeGeneratorRequest'RequestedFile'Import msg) = List_CodeGeneratorRequest'RequestedFile'Import (ListOf msg (Struct msg))

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

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

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

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

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

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

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

newtype Field' msg

Constructors

Field'_newtype_ (Struct msg)

Instances

ToStruct msg (Field' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Field' msg -> Struct msg

FromStruct msg (Field' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Field' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Field' msg -> Maybe (Ptr msg)

Allocate s (Field' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Field' (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Field' msg) :: *

Methods

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

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

IsPtr msg (List msg (Field' msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Field' msg) -> Maybe (Ptr msg)

MessageDefault (Field' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Field' msg

HasMessage (Field' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Field' msg -> msg

data List msg (Field' msg)

Defined in Capnp.Capnp.Schema

data List msg (Field' msg) = List_Field' (ListOf msg (Struct msg))

data Field'' msg

Constructors

Field'slot (Field'slot'group' msg)

Field'group (Field'group'group' msg)

Field'unknown' Word16

Instances

FromStruct msg (Field'' msg)

Defined in Capnp.Capnp.Schema

Methods

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

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

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

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

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

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

newtype Field'slot'group' msg

Constructors

Field'slot'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Field'slot'group' msg -> Struct msg

FromStruct msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Field'slot'group' msg -> Maybe (Ptr msg)

Allocate s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Field'slot'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'slot'group' msg) :: *

Methods

length :: List msg (Field'slot'group' msg) -> Int

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

IsPtr msg (List msg (Field'slot'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Field'slot'group' msg))

toPtr :: List msg (Field'slot'group' msg) -> Maybe (Ptr msg)

MessageDefault (Field'slot'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Field'slot'group' msg

HasMessage (Field'slot'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Field'slot'group' msg -> msg

data List msg (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Field'slot'group' msg) = List_Field'slot'group' (ListOf msg (Struct msg))

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

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

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

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

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

set_Field'slot'type_ :: RWCtx m s => Field'slot'group' (MutMsg s) -> Type (MutMsg s) -> m ()

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

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

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

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

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

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

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

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

newtype Field'group'group' msg

Constructors

Field'group'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Field'group'group' msg -> Struct msg

FromStruct msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Field'group'group' msg -> Maybe (Ptr msg)

Allocate s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Field'group'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'group'group' msg) :: *

Methods

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

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

IsPtr msg (List msg (Field'group'group' msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Field'group'group' msg) -> Maybe (Ptr msg)

MessageDefault (Field'group'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Field'group'group' msg

HasMessage (Field'group'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Field'group'group' msg -> msg

data List msg (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Field'group'group' msg) = List_Field'group'group' (ListOf msg (Struct msg))

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

has_Field'group'typeId :: ReadCtx m msg => Field'group'group' msg -> m Bool

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

field'noDiscriminant :: Word16

newtype Field'ordinal msg

Constructors

Field'ordinal_newtype_ (Struct msg)

Instances

ToStruct msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Field'ordinal msg -> Struct msg

FromStruct msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Field'ordinal msg -> Maybe (Ptr msg)

Allocate s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Field'ordinal (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Field'ordinal msg) :: *

Methods

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

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

IsPtr msg (List msg (Field'ordinal msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Field'ordinal msg) -> Maybe (Ptr msg)

MessageDefault (Field'ordinal msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Field'ordinal msg

HasMessage (Field'ordinal msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Field'ordinal msg -> msg

data List msg (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

data List msg (Field'ordinal msg) = List_Field'ordinal (ListOf msg (Struct 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.Capnp.Schema

Methods

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

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

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

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

newtype Node' msg

Constructors

Node'_newtype_ (Struct msg)

Instances

ToStruct msg (Node' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node' msg -> Struct msg

FromStruct msg (Node' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node' msg -> Maybe (Ptr msg)

Allocate s (Node' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node' (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Node' msg) :: *

Methods

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

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

IsPtr msg (List msg (Node' msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Node' msg) -> Maybe (Ptr msg)

MessageDefault (Node' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node' msg

HasMessage (Node' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node' msg -> msg

data List msg (Node' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node' msg) = List_Node' (ListOf msg (Struct msg))

data Node'' msg

Constructors

Node'file

Node'struct (Node'struct'group' msg)

Node'enum (Node'enum'group' msg)

Node'interface (Node'interface'group' msg)

Node'const (Node'const'group' msg)

Node'annotation (Node'annotation'group' msg)

Node'unknown' Word16

Instances

FromStruct msg (Node'' msg)

Defined in Capnp.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

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

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

newtype Node'struct'group' msg

Constructors

Node'struct'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'struct'group' msg -> Struct msg

FromStruct msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'struct'group' msg -> Maybe (Ptr msg)

Allocate s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'struct'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'struct'group' msg) :: *

Methods

length :: List msg (Node'struct'group' msg) -> Int

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

IsPtr msg (List msg (Node'struct'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'struct'group' msg))

toPtr :: List msg (Node'struct'group' msg) -> Maybe (Ptr msg)

MessageDefault (Node'struct'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'struct'group' msg

HasMessage (Node'struct'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'struct'group' msg -> msg

data List msg (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'struct'group' msg) = List_Node'struct'group' (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Node'struct'fields :: RWCtx m s => Node'struct'group' (MutMsg s) -> List (MutMsg s) (Field (MutMsg s)) -> m ()

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

newtype Node'enum'group' msg

Constructors

Node'enum'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'enum'group' msg -> Struct msg

FromStruct msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'enum'group' msg -> Maybe (Ptr msg)

Allocate s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'enum'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'enum'group' msg) :: *

Methods

length :: List msg (Node'enum'group' msg) -> Int

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

IsPtr msg (List msg (Node'enum'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'enum'group' msg))

toPtr :: List msg (Node'enum'group' msg) -> Maybe (Ptr msg)

MessageDefault (Node'enum'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'enum'group' msg

HasMessage (Node'enum'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'enum'group' msg -> msg

data List msg (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'enum'group' msg) = List_Node'enum'group' (ListOf msg (Struct msg))

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

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

set_Node'enum'enumerants :: RWCtx m s => Node'enum'group' (MutMsg s) -> List (MutMsg s) (Enumerant (MutMsg s)) -> m ()

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

newtype Node'interface'group' msg

Constructors

Node'interface'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'interface'group' msg -> Struct msg

FromStruct msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'interface'group' msg -> Maybe (Ptr msg)

Allocate s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'interface'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'interface'group' msg) :: *

Methods

length :: List msg (Node'interface'group' msg) -> Int

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

IsPtr msg (List msg (Node'interface'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'interface'group' msg))

toPtr :: List msg (Node'interface'group' msg) -> Maybe (Ptr msg)

MessageDefault (Node'interface'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'interface'group' msg

HasMessage (Node'interface'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'interface'group' msg -> msg

data List msg (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'interface'group' msg) = List_Node'interface'group' (ListOf msg (Struct msg))

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

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

set_Node'interface'methods :: RWCtx m s => Node'interface'group' (MutMsg s) -> List (MutMsg s) (Method (MutMsg s)) -> m ()

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

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

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

set_Node'interface'superclasses :: RWCtx m s => Node'interface'group' (MutMsg s) -> List (MutMsg s) (Superclass (MutMsg s)) -> m ()

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

newtype Node'const'group' msg

Constructors

Node'const'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'const'group' msg -> Struct msg

FromStruct msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'const'group' msg -> Maybe (Ptr msg)

Allocate s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'const'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'const'group' msg) :: *

Methods

length :: List msg (Node'const'group' msg) -> Int

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

IsPtr msg (List msg (Node'const'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'const'group' msg))

toPtr :: List msg (Node'const'group' msg) -> Maybe (Ptr msg)

MessageDefault (Node'const'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'const'group' msg

HasMessage (Node'const'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'const'group' msg -> msg

data List msg (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'const'group' msg) = List_Node'const'group' (ListOf msg (Struct msg))

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

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

set_Node'const'type_ :: RWCtx m s => Node'const'group' (MutMsg s) -> Type (MutMsg s) -> m ()

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

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

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

set_Node'const'value :: RWCtx m s => Node'const'group' (MutMsg s) -> Value (MutMsg s) -> m ()

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

newtype Node'annotation'group' msg

Constructors

Node'annotation'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'annotation'group' msg -> Struct msg

FromStruct msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'annotation'group' msg -> Maybe (Ptr msg)

Allocate s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'annotation'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Node'annotation'group' msg) :: *

Methods

length :: List msg (Node'annotation'group' msg) -> Int

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

IsPtr msg (List msg (Node'annotation'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Node'annotation'group' msg))

toPtr :: List msg (Node'annotation'group' msg) -> Maybe (Ptr msg)

MessageDefault (Node'annotation'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'annotation'group' msg

HasMessage (Node'annotation'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'annotation'group' msg -> msg

data List msg (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'annotation'group' msg) = List_Node'annotation'group' (ListOf msg (Struct msg))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

newtype Node'NestedNode msg

Constructors

Node'NestedNode_newtype_ (Struct msg)

Instances

ToStruct msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'NestedNode msg -> Struct msg

FromStruct msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'NestedNode msg -> Maybe (Ptr msg)

Allocate s (Node'NestedNode (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'NestedNode (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Node'NestedNode msg) :: *

Methods

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

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

IsPtr msg (List msg (Node'NestedNode msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Node'NestedNode msg) -> Maybe (Ptr msg)

MessageDefault (Node'NestedNode msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'NestedNode msg

HasMessage (Node'NestedNode msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'NestedNode msg -> msg

data List msg (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'NestedNode msg) = List_Node'NestedNode (ListOf msg (Struct msg))

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

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

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

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

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

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

newtype Node'Parameter msg

Constructors

Node'Parameter_newtype_ (Struct msg)

Instances

ToStruct msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Node'Parameter msg -> Struct msg

FromStruct msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Node'Parameter msg -> Maybe (Ptr msg)

Allocate s (Node'Parameter (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Node'Parameter (MutMsg s))

Defined in Capnp.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.Capnp.Schema

Associated Types

data List msg (Node'Parameter msg) :: *

Methods

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

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

IsPtr msg (List msg (Node'Parameter msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Node'Parameter msg) -> Maybe (Ptr msg)

MessageDefault (Node'Parameter msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Node'Parameter msg

HasMessage (Node'Parameter msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Node'Parameter msg -> msg

data List msg (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

data List msg (Node'Parameter msg) = List_Node'Parameter (ListOf msg (Struct msg))

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

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

set_Node'Parameter'name :: RWCtx m s => Node'Parameter (MutMsg s) -> Text (MutMsg s) -> m ()

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

newtype Type'anyPointer msg

Constructors

Type'anyPointer_newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Methods

toStruct :: Type'anyPointer msg -> Struct msg

FromStruct msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'anyPointer msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'anyPointer (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer msg) :: *

Methods

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

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

IsPtr msg (List msg (Type'anyPointer msg))

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: List msg (Type'anyPointer msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer msg

HasMessage (Type'anyPointer msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer msg -> msg

data List msg (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer msg) = List_Type'anyPointer (ListOf msg (Struct msg))

data Type'anyPointer' msg

Constructors

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

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

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

Type'anyPointer'unknown' Word16

Instances

FromStruct msg (Type'anyPointer' msg)

Defined in Capnp.Capnp.Schema

Methods

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

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

has_Type'anyPointer' :: ReadCtx m msg => Type'anyPointer msg -> m Bool

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

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

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

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

newtype Type'anyPointer'unconstrained'group' msg

Constructors

Type'anyPointer'unconstrained'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

FromStruct msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (Type'anyPointer'unconstrained'group' msg)

toPtr :: Type'anyPointer'unconstrained'group' msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'unconstrained'group' (MutMsg s))

MutListElem s (Type'anyPointer'unconstrained'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'unconstrained'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'unconstrained'group' (MutMsg s)))

ListElem msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'unconstrained'group' msg) -> m (Type'anyPointer'unconstrained'group' msg)

IsPtr msg (List msg (Type'anyPointer'unconstrained'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'anyPointer'unconstrained'group' msg))

toPtr :: List msg (Type'anyPointer'unconstrained'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer'unconstrained'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer'unconstrained'group' msg

HasMessage (Type'anyPointer'unconstrained'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer'unconstrained'group' msg -> msg

data List msg (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer'unconstrained'group' msg) = List_Type'anyPointer'unconstrained'group' (ListOf msg (Struct msg))

get_Type'anyPointer'unconstrained'union' :: ReadCtx m msg => Type'anyPointer'unconstrained'group' msg -> m (Type'anyPointer'unconstrained msg)

has_Type'anyPointer'unconstrained'union' :: ReadCtx m msg => Type'anyPointer'unconstrained'group' msg -> m Bool

newtype Type'anyPointer'parameter'group' msg

Constructors

Type'anyPointer'parameter'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

FromStruct msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (Type'anyPointer'parameter'group' msg)

toPtr :: Type'anyPointer'parameter'group' msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'parameter'group' (MutMsg s))

MutListElem s (Type'anyPointer'parameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'parameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'parameter'group' (MutMsg s)))

ListElem msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'parameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'parameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'parameter'group' msg) -> m (Type'anyPointer'parameter'group' msg)

IsPtr msg (List msg (Type'anyPointer'parameter'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'anyPointer'parameter'group' msg))

toPtr :: List msg (Type'anyPointer'parameter'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer'parameter'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer'parameter'group' msg

HasMessage (Type'anyPointer'parameter'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer'parameter'group' msg -> msg

data List msg (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer'parameter'group' msg) = List_Type'anyPointer'parameter'group' (ListOf msg (Struct msg))

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

has_Type'anyPointer'parameter'scopeId :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Bool

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

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

has_Type'anyPointer'parameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'parameter'group' msg -> m Bool

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

newtype Type'anyPointer'implicitMethodParameter'group' msg

Constructors

Type'anyPointer'implicitMethodParameter'group'_newtype_ (Struct msg)

Instances

ToStruct msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

FromStruct msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (Type'anyPointer'implicitMethodParameter'group' msg)

toPtr :: Type'anyPointer'implicitMethodParameter'group' msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

new :: WriteCtx m s => MutMsg s -> m (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

MutListElem s (Type'anyPointer'implicitMethodParameter'group' (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

setIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (MutMsg s) -> Int -> List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)) -> m ()

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Type'anyPointer'implicitMethodParameter'group' (MutMsg s)))

ListElem msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'implicitMethodParameter'group' msg) :: *

Methods

length :: List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> Int

index :: ReadCtx m msg => Int -> List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> m (Type'anyPointer'implicitMethodParameter'group' msg)

IsPtr msg (List msg (Type'anyPointer'implicitMethodParameter'group' msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'anyPointer'implicitMethodParameter'group' msg))

toPtr :: List msg (Type'anyPointer'implicitMethodParameter'group' msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer'implicitMethodParameter'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer'implicitMethodParameter'group' msg

HasMessage (Type'anyPointer'implicitMethodParameter'group' msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer'implicitMethodParameter'group' msg -> msg

data List msg (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer'implicitMethodParameter'group' msg) = List_Type'anyPointer'implicitMethodParameter'group' (ListOf msg (Struct msg))

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

has_Type'anyPointer'implicitMethodParameter'parameterIndex :: ReadCtx m msg => Type'anyPointer'implicitMethodParameter'group' msg -> m Bool

set_Type'anyPointer'implicitMethodParameter'parameterIndex :: RWCtx m s => Type'anyPointer'implicitMethodParameter'group' (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.Capnp.Schema

Methods

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

FromStruct msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Methods

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

IsPtr msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Methods

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

toPtr :: Type'anyPointer'unconstrained msg -> Maybe (Ptr msg)

Allocate s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

MutListElem s (Type'anyPointer'unconstrained (MutMsg s))

Defined in Capnp.Capnp.Schema

Methods

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

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

ListElem msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Associated Types

data List msg (Type'anyPointer'unconstrained msg) :: *

Methods

length :: List msg (Type'anyPointer'unconstrained msg) -> Int

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

IsPtr msg (List msg (Type'anyPointer'unconstrained msg))

Defined in Capnp.Capnp.Schema

Methods

fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (Type'anyPointer'unconstrained msg))

toPtr :: List msg (Type'anyPointer'unconstrained msg) -> Maybe (Ptr msg)

MessageDefault (Type'anyPointer'unconstrained msg) msg

Defined in Capnp.Capnp.Schema

Methods

messageDefault :: msg -> Type'anyPointer'unconstrained msg

HasMessage (Type'anyPointer'unconstrained msg) msg

Defined in Capnp.Capnp.Schema

Methods

message :: Type'anyPointer'unconstrained msg -> msg

data List msg (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

data List msg (Type'anyPointer'unconstrained msg) = List_Type'anyPointer'unconstrained (ListOf msg (Struct 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.Capnp.Schema

Methods

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

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

has_Type'anyPointer'unconstrained' :: ReadCtx m msg => Type'anyPointer'unconstrained msg -> m Bool

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