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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Annotation msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Annotation msg) :: *

Methods

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

data List msg (Annotation msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Annotation msg)

Defined in Capnp.Capnp.Schema

type InMessage (Annotation msg) = msg

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

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

get_Annotation'value :: ReadCtx m msg => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Brand msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Brand msg) :: *

Methods

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

data List msg (Brand msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Brand msg)

Defined in Capnp.Capnp.Schema

type InMessage (Brand msg) = 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (CapnpVersion msg) :: *

Methods

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

data List msg (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (CapnpVersion msg)

Defined in Capnp.Capnp.Schema

type InMessage (CapnpVersion msg) = msg

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

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

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

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

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

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

newtype CodeGeneratorRequest msg

Constructors

CodeGeneratorRequest_newtype_ (Struct msg)

Instances

ToStruct msg (CodeGeneratorRequest msg)

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

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest msg) :: *

Methods

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

data List msg (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (CodeGeneratorRequest msg)

Defined in Capnp.Capnp.Schema

type InMessage (CodeGeneratorRequest msg) = 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.3.0.0-F9H2afUCP3V65bOrDvsrWT" 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Enumerant msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Enumerant msg) :: *

Methods

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

data List msg (Enumerant msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Enumerant msg)

Defined in Capnp.Capnp.Schema

type InMessage (Enumerant msg) = 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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Field msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Field msg) :: *

Methods

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

data List msg (Field msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Field msg)

Defined in Capnp.Capnp.Schema

type InMessage (Field msg) = 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

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

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

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

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Method msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Method msg) :: *

Methods

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

data List msg (Method msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Method msg)

Defined in Capnp.Capnp.Schema

type InMessage (Method msg) = 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

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

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

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

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

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

get_Method'annotations :: ReadCtx m msg => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node msg) :: *

Methods

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

data List msg (Node msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Node msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node msg) = msg

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

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

get_Node'displayName :: ReadCtx m msg => 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

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

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

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

get_Node'nestedNodes :: ReadCtx m msg => 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

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

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Superclass msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Superclass msg) :: *

Methods

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

data List msg (Superclass msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Superclass msg)

Defined in Capnp.Capnp.Schema

type InMessage (Superclass msg) = msg

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

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

get_Superclass'brand :: ReadCtx m msg => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type msg) :: *

Methods

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

data List msg (Type msg)

Defined in Capnp.Capnp.Schema

data List msg (Type msg) = List_Type (ListOf msg (Struct msg))

type InMessage (Type msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type msg) = msg

data Type' msg

Constructors

Type'void

Type'bool

Type'int8

Type'int16

Type'int32

Type'int64

Type'uint8

Type'uint16

Type'uint32

Type'uint64

Type'float32

Type'float64

Type'text

Type'data_

Type'list (Type'list'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)

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)

MessageDefault (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'list'group' msg) :: *

Methods

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

type InMessage (Type'list'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type'list'group' msg) = 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)

MessageDefault (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'enum'group' msg) :: *

Methods

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

type InMessage (Type'enum'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type'enum'group' msg) = msg

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

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)

MessageDefault (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'struct'group' msg) :: *

Methods

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

type InMessage (Type'struct'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type'struct'group' msg) = msg

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

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)

MessageDefault (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'interface'group' msg) :: *

Methods

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

type InMessage (Type'interface'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type'interface'group' msg) = msg

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

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)

MessageDefault (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'group' msg) :: *

Methods

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

type InMessage (Type'anyPointer'group' msg)

Defined in Capnp.Capnp.Schema

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

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Value msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Value msg) :: *

Methods

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

data List msg (Value msg)

Defined in Capnp.Capnp.Schema

data List msg (Value msg) = List_Value (ListOf msg (Struct msg))

type InMessage (Value msg)

Defined in Capnp.Capnp.Schema

type InMessage (Value msg) = msg

data Value' msg

Constructors

Value'void

Value'bool Bool

Value'int8 Int8

Value'int16 Int16

Value'int32 Int32

Value'int64 Int64

Value'uint8 Word8

Value'uint16 Word16

Value'uint32 Word32

Value'uint64 Word64

Value'float32 Float

Value'float64 Double

Value'text (Text msg)

Value'data_ (Data msg)

Value'list (Maybe (Ptr msg))

Value'enum Word16

Value'struct (Maybe (Ptr msg))

Value'interface

Value'anyPointer (Maybe (Ptr msg))

Value'unknown' Word16

Instances

FromStruct msg (Value' msg)

Defined in Capnp.Capnp.Schema

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

set_Value'text :: RWCtx m s => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Brand'Binding msg) :: *

Methods

message :: Brand'Binding msg -> InMessage (Brand'Binding 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))

type InMessage (Brand'Binding msg)

Defined in Capnp.Capnp.Schema

type InMessage (Brand'Binding msg) = msg

data Brand'Binding' msg

Constructors

Brand'Binding'unbound

Brand'Binding'type_ (Type msg)

Brand'Binding'unknown' Word16

Instances

FromStruct msg (Brand'Binding' msg)

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Brand'Scope msg) :: *

Methods

message :: Brand'Scope msg -> InMessage (Brand'Scope 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))

type InMessage (Brand'Scope msg)

Defined in Capnp.Capnp.Schema

type InMessage (Brand'Scope msg) = msg

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

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

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Brand'Scope' msg) :: *

Methods

message :: Brand'Scope' msg -> InMessage (Brand'Scope' 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))

type InMessage (Brand'Scope' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Brand'Scope' msg) = 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)

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile msg) :: *

Methods

message :: CodeGeneratorRequest'RequestedFile msg -> InMessage (CodeGeneratorRequest'RequestedFile 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))

type InMessage (CodeGeneratorRequest'RequestedFile msg)

Defined in Capnp.Capnp.Schema

type InMessage (CodeGeneratorRequest'RequestedFile msg) = msg

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

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

get_CodeGeneratorRequest'RequestedFile'filename :: ReadCtx m msg => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg) :: *

Methods

message :: CodeGeneratorRequest'RequestedFile'Import msg -> InMessage (CodeGeneratorRequest'RequestedFile'Import 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))

type InMessage (CodeGeneratorRequest'RequestedFile'Import msg)

Defined in Capnp.Capnp.Schema

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

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

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

get_CodeGeneratorRequest'RequestedFile'Import'name :: ReadCtx m msg => 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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Field' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Field' msg) :: *

Methods

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

data List msg (Field' msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Field' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Field' msg) = 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)

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)

MessageDefault (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Field'slot'group' msg) :: *

Methods

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

type InMessage (Field'slot'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Field'slot'group' msg) = msg

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

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

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)

MessageDefault (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Field'group'group' msg) :: *

Methods

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

type InMessage (Field'group'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Field'group'group' msg) = msg

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

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)

MessageDefault (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Field'ordinal msg) :: *

Methods

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

type InMessage (Field'ordinal msg)

Defined in Capnp.Capnp.Schema

type InMessage (Field'ordinal msg) = msg

data Field'ordinal' msg

Constructors

Field'ordinal'implicit

Field'ordinal'explicit Word16

Field'ordinal'unknown' Word16

Instances

FromStruct msg (Field'ordinal' msg)

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node' msg) :: *

Methods

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

data List msg (Node' msg)

Defined in Capnp.Capnp.Schema

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

type InMessage (Node' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node' msg) = 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)

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)

MessageDefault (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'struct'group' msg) :: *

Methods

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

type InMessage (Node'struct'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'struct'group' msg) = msg

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

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

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

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

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

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

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)

MessageDefault (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'enum'group' msg) :: *

Methods

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

type InMessage (Node'enum'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'enum'group' msg) = 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)

MessageDefault (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'interface'group' msg) :: *

Methods

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

type InMessage (Node'interface'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'interface'group' msg) = 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)

MessageDefault (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'const'group' msg) :: *

Methods

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

type InMessage (Node'const'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'const'group' msg) = 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)

MessageDefault (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'annotation'group' msg) :: *

Methods

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

type InMessage (Node'annotation'group' msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'annotation'group' msg) = 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

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

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

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

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

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

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

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

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

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

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

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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'NestedNode msg) :: *

Methods

message :: Node'NestedNode msg -> InMessage (Node'NestedNode 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))

type InMessage (Node'NestedNode msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'NestedNode msg) = 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

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)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Node'Parameter msg) :: *

Methods

message :: Node'Parameter msg -> InMessage (Node'Parameter 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))

type InMessage (Node'Parameter msg)

Defined in Capnp.Capnp.Schema

type InMessage (Node'Parameter msg) = 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)

MessageDefault (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer msg) :: *

Methods

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

type InMessage (Type'anyPointer msg)

Defined in Capnp.Capnp.Schema

type InMessage (Type'anyPointer msg) = 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)

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)

MessageDefault (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer'unconstrained'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'unconstrained'group' msg) :: *

Methods

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

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

Defined in Capnp.Capnp.Schema

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

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

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)

MessageDefault (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer'parameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'parameter'group' msg) :: *

Methods

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

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

Defined in Capnp.Capnp.Schema

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

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

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

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)

MessageDefault (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer'implicitMethodParameter'group' msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'implicitMethodParameter'group' msg) :: *

Methods

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

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

Defined in Capnp.Capnp.Schema

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

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

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)

MessageDefault (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Methods

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

HasMessage (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

Associated Types

type InMessage (Type'anyPointer'unconstrained msg) :: *

Methods

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

type InMessage (Type'anyPointer'unconstrained msg)

Defined in Capnp.Capnp.Schema

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

data Type'anyPointer'unconstrained' msg

Constructors

Type'anyPointer'unconstrained'anyKind

Type'anyPointer'unconstrained'struct

Type'anyPointer'unconstrained'list

Type'anyPointer'unconstrained'capability

Type'anyPointer'unconstrained'unknown' Word16

Instances

FromStruct msg (Type'anyPointer'unconstrained' msg)

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

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