Capnp.Gen.Capnp.Schema

Documentation

data Node

Instances

Allocate Node

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node

Methods

new :: RWCtx m s => AllocHint Node -> Message ('Mut s) -> m (Raw Node ('Mut s))

AllocateList Node

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node

Methods

newList :: RWCtx m s => ListAllocHint Node -> Message ('Mut s) -> m (Raw (List Node) ('Mut s))

HasTypeId Node

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Node

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Node

data RawWhich Node mut

Methods

unionField :: Field 'Slot Node Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Node mut -> m (RawWhich Node mut)

HasField "displayName" 'Slot Node Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node Text

HasField "displayNamePrefixLength" 'Slot Node Word32

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node Word32

HasField "id" 'Slot Node Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node Word64

HasField "isGeneric" 'Slot Node Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node Bool

HasField "scopeId" 'Slot Node Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node Word64

HasVariant "annotation" 'Group Node Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'annotation

HasVariant "const" 'Group Node Node'const

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'const

HasVariant "enum" 'Group Node Node'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'enum

HasVariant "file" 'Slot Node ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Node ()

HasVariant "interface" 'Group Node Node'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'interface

HasVariant "struct" 'Group Node Node'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'struct

HasField "annotations" 'Slot Node (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Annotation)

HasField "nestedNodes" 'Slot Node (List Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Node'NestedNode)

HasField "nodes" 'Slot CodeGeneratorRequest (List Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node)

HasField "parameters" 'Slot Node (List Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Node'Parameter)

EstimateAlloc Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node -> AllocHint Node

EstimateListAlloc Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node) -> AllocHint (List Node)

Marshal Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node ('Mut s) -> Parsed Node -> m ()

Parse Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node 'Const -> m (Parsed Node)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node -> m (Raw Node ('Mut s))

Generic (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Node)) :: Type -> Type

Methods

from :: Parsed (Which Node) -> Rep (Parsed (Which Node)) x

to :: Rep (Parsed (Which Node)) x -> Parsed (Which Node)

Generic (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node) :: Type -> Type

Methods

from :: Parsed Node -> Rep (Parsed Node) x

to :: Rep (Parsed Node) x -> Parsed Node

Show (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Node) -> ShowS

show :: Parsed (Which Node) -> String

showList :: [Parsed (Which Node)] -> ShowS

Show (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node -> ShowS

show :: Parsed Node -> String

showList :: [Parsed Node] -> ShowS

Eq (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Node) -> Parsed (Which Node) -> Bool

(/=) :: Parsed (Which Node) -> Parsed (Which Node) -> Bool

Eq (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node -> Parsed Node -> Bool

(/=) :: Parsed Node -> Parsed Node -> Bool

Marshal (Which Node) (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Node) ('Mut s) -> Parsed (Which Node) -> m ()

Parse (Which Node) (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Node) 'Const -> m (Parsed (Which Node))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Node) -> m (Raw (Which Node) ('Mut s))

type AllocHint Node

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node = ()

type ListAllocHint Node

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node = Int

data Parsed Node

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node = Node {

• id :: Parsed Word64
• displayName :: Parsed Text
• displayNamePrefixLength :: Parsed Word32
• scopeId :: Parsed Word64
• nestedNodes :: Parsed (List Node'NestedNode)
• annotations :: Parsed (List Annotation)
• parameters :: Parsed (List Node'Parameter)
• isGeneric :: Parsed Bool
• union' :: Parsed (Which Node)

}

data RawWhich Node mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Node mut_

• = RW_Node'file (Raw () mut_)
• | RW_Node'struct (Raw Node'struct mut_)
• | RW_Node'enum (Raw Node'enum mut_)
• | RW_Node'interface (Raw Node'interface mut_)
• | RW_Node'const (Raw Node'const mut_)
• | RW_Node'annotation (Raw Node'annotation mut_)
• | RW_Node'unknown' Word16

data Which Node

Defined in Capnp.Gen.Capnp.Schema

data Which Node

type ReprFor Node

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Node)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Node'file" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Node'struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'struct))) :+: C1 ('MetaCons "Node'enum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'enum))))) :+: ((C1 ('MetaCons "Node'interface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'interface))) :+: C1 ('MetaCons "Node'const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'const)))) :+: (C1 ('MetaCons "Node'annotation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'annotation))) :+: C1 ('MetaCons "Node'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Rep (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))) :*: (S1 ('MetaSel ('Just "displayNamePrefixLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)))) :*: ((S1 ('MetaSel ('Just "nestedNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'NestedNode))) :*: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation)))) :*: (S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'Parameter))) :*: (S1 ('MetaSel ('Just "isGeneric") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Node))))))))

data Parsed (Which Node)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Node)

• = Node'file
• | Node'struct (Parsed Node'struct)
• | Node'enum (Parsed Node'enum)
• | Node'interface (Parsed Node'interface)
• | Node'const (Parsed Node'const)
• | Node'annotation (Parsed Node'annotation)
• | Node'unknown' Word16

data Node'struct

Instances

Allocate Node'struct

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'struct

Methods

new :: RWCtx m s => AllocHint Node'struct -> Message ('Mut s) -> m (Raw Node'struct ('Mut s))

AllocateList Node'struct

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'struct

Methods

newList :: RWCtx m s => ListAllocHint Node'struct -> Message ('Mut s) -> m (Raw (List Node'struct) ('Mut s))

HasTypeId Node'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "dataWordCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "discriminantCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "discriminantOffset" 'Slot Node'struct Word32

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct Word32

HasField "isGroup" 'Slot Node'struct Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct Bool

HasField "pointerCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "preferredListEncoding" 'Slot Node'struct ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct ElementSize

HasVariant "struct" 'Group Node Node'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'struct

HasField "fields" 'Slot Node'struct (List Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Node'struct (List Field)

EstimateAlloc Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'struct -> AllocHint Node'struct

EstimateListAlloc Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'struct) -> AllocHint (List Node'struct)

Marshal Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'struct ('Mut s) -> Parsed Node'struct -> m ()

Parse Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'struct 'Const -> m (Parsed Node'struct)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'struct -> m (Raw Node'struct ('Mut s))

Generic (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'struct) :: Type -> Type

Methods

from :: Parsed Node'struct -> Rep (Parsed Node'struct) x

to :: Rep (Parsed Node'struct) x -> Parsed Node'struct

Show (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'struct -> ShowS

show :: Parsed Node'struct -> String

showList :: [Parsed Node'struct] -> ShowS

Eq (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'struct -> Parsed Node'struct -> Bool

(/=) :: Parsed Node'struct -> Parsed Node'struct -> Bool

type AllocHint Node'struct

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'struct = ()

type ListAllocHint Node'struct

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'struct = Int

data Parsed Node'struct

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'struct = Node'struct' {

• dataWordCount :: Parsed Word16
• pointerCount :: Parsed Word16
• preferredListEncoding :: Parsed ElementSize
• isGroup :: Parsed Bool
• discriminantCount :: Parsed Word16
• discriminantOffset :: Parsed Word32
• fields :: Parsed (List Field)

}

type ReprFor Node'struct

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'struct = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'struct'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataWordCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: (S1 ('MetaSel ('Just "pointerCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "preferredListEncoding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed ElementSize)))) :*: ((S1 ('MetaSel ('Just "isGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "discriminantCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :*: (S1 ('MetaSel ('Just "discriminantOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Field)))))))

data Node'enum

Instances

Allocate Node'enum

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'enum

Methods

new :: RWCtx m s => AllocHint Node'enum -> Message ('Mut s) -> m (Raw Node'enum ('Mut s))

AllocateList Node'enum

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'enum

Methods

newList :: RWCtx m s => ListAllocHint Node'enum -> Message ('Mut s) -> m (Raw (List Node'enum) ('Mut s))

HasTypeId Node'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasVariant "enum" 'Group Node Node'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'enum

HasField "enumerants" 'Slot Node'enum (List Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'enum (List Enumerant)

EstimateAlloc Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'enum -> AllocHint Node'enum

EstimateListAlloc Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'enum) -> AllocHint (List Node'enum)

Marshal Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'enum ('Mut s) -> Parsed Node'enum -> m ()

Parse Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'enum 'Const -> m (Parsed Node'enum)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'enum -> m (Raw Node'enum ('Mut s))

Generic (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'enum) :: Type -> Type

Methods

from :: Parsed Node'enum -> Rep (Parsed Node'enum) x

to :: Rep (Parsed Node'enum) x -> Parsed Node'enum

Show (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'enum -> ShowS

show :: Parsed Node'enum -> String

showList :: [Parsed Node'enum] -> ShowS

Eq (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'enum -> Parsed Node'enum -> Bool

(/=) :: Parsed Node'enum -> Parsed Node'enum -> Bool

type AllocHint Node'enum

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'enum = ()

type ListAllocHint Node'enum

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'enum = Int

data Parsed Node'enum

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'enum = Node'enum' {

• enumerants :: Parsed (List Enumerant)

}

type ReprFor Node'enum

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'enum = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'enum'" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumerants") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Enumerant)))))

data Node'interface

Instances

Allocate Node'interface

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'interface

Methods

new :: RWCtx m s => AllocHint Node'interface -> Message ('Mut s) -> m (Raw Node'interface ('Mut s))

AllocateList Node'interface

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'interface

Methods

newList :: RWCtx m s => ListAllocHint Node'interface -> Message ('Mut s) -> m (Raw (List Node'interface) ('Mut s))

HasTypeId Node'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasVariant "interface" 'Group Node Node'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'interface

HasField "methods" 'Slot Node'interface (List Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'interface (List Method)

HasField "superclasses" 'Slot Node'interface (List Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'interface (List Superclass)

EstimateAlloc Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'interface -> AllocHint Node'interface

EstimateListAlloc Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'interface) -> AllocHint (List Node'interface)

Marshal Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'interface ('Mut s) -> Parsed Node'interface -> m ()

Parse Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'interface 'Const -> m (Parsed Node'interface)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'interface -> m (Raw Node'interface ('Mut s))

Generic (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'interface) :: Type -> Type

Methods

from :: Parsed Node'interface -> Rep (Parsed Node'interface) x

to :: Rep (Parsed Node'interface) x -> Parsed Node'interface

Show (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'interface -> ShowS

show :: Parsed Node'interface -> String

showList :: [Parsed Node'interface] -> ShowS

Eq (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'interface -> Parsed Node'interface -> Bool

(/=) :: Parsed Node'interface -> Parsed Node'interface -> Bool

type AllocHint Node'interface

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'interface = ()

type ListAllocHint Node'interface

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'interface = Int

data Parsed Node'interface

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'interface = Node'interface' {

• methods :: Parsed (List Method)
• superclasses :: Parsed (List Superclass)

}

type ReprFor Node'interface

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'interface = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'interface'" 'PrefixI 'True) (S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Method))) :*: S1 ('MetaSel ('Just "superclasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Superclass)))))

data Node'const

Instances

Allocate Node'const

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'const

Methods

new :: RWCtx m s => AllocHint Node'const -> Message ('Mut s) -> m (Raw Node'const ('Mut s))

AllocateList Node'const

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'const

Methods

newList :: RWCtx m s => ListAllocHint Node'const -> Message ('Mut s) -> m (Raw (List Node'const) ('Mut s))

HasTypeId Node'const

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'const

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "type_" 'Slot Node'const Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'const Type

HasField "value" 'Slot Node'const Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'const Value

HasVariant "const" 'Group Node Node'const

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'const

EstimateAlloc Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'const -> AllocHint Node'const

EstimateListAlloc Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'const) -> AllocHint (List Node'const)

Marshal Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'const ('Mut s) -> Parsed Node'const -> m ()

Parse Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'const 'Const -> m (Parsed Node'const)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'const -> m (Raw Node'const ('Mut s))

Generic (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'const) :: Type -> Type

Methods

from :: Parsed Node'const -> Rep (Parsed Node'const) x

to :: Rep (Parsed Node'const) x -> Parsed Node'const

Show (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'const -> ShowS

show :: Parsed Node'const -> String

showList :: [Parsed Node'const] -> ShowS

Eq (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'const -> Parsed Node'const -> Bool

(/=) :: Parsed Node'const -> Parsed Node'const -> Bool

type AllocHint Node'const

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'const = ()

type ListAllocHint Node'const

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'const = Int

data Parsed Node'const

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'const = Node'const' {

• type_ :: Parsed Type
• value :: Parsed Value

}

type ReprFor Node'const

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'const = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'const) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'const'" 'PrefixI 'True) (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type)) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value))))

data Node'annotation

Instances

Allocate Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'annotation

Methods

new :: RWCtx m s => AllocHint Node'annotation -> Message ('Mut s) -> m (Raw Node'annotation ('Mut s))

AllocateList Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'annotation

Methods

newList :: RWCtx m s => ListAllocHint Node'annotation -> Message ('Mut s) -> m (Raw (List Node'annotation) ('Mut s))

HasTypeId Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "targetsAnnotation" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsConst" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsEnum" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsEnumerant" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsField" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsFile" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsGroup" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsInterface" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsMethod" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsParam" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsStruct" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsUnion" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "type_" 'Slot Node'annotation Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Type

HasVariant "annotation" 'Group Node Node'annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Node Node'annotation

EstimateAlloc Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'annotation -> AllocHint Node'annotation

EstimateListAlloc Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'annotation) -> AllocHint (List Node'annotation)

Marshal Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'annotation ('Mut s) -> Parsed Node'annotation -> m ()

Parse Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'annotation 'Const -> m (Parsed Node'annotation)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'annotation -> m (Raw Node'annotation ('Mut s))

Generic (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'annotation) :: Type -> Type

Methods

from :: Parsed Node'annotation -> Rep (Parsed Node'annotation) x

to :: Rep (Parsed Node'annotation) x -> Parsed Node'annotation

Show (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'annotation -> ShowS

show :: Parsed Node'annotation -> String

showList :: [Parsed Node'annotation] -> ShowS

Eq (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'annotation -> Parsed Node'annotation -> Bool

(/=) :: Parsed Node'annotation -> Parsed Node'annotation -> Bool

type AllocHint Node'annotation

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'annotation = ()

type ListAllocHint Node'annotation

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'annotation = Int

data Parsed Node'annotation

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'annotation = Node'annotation' {

• type_ :: Parsed Type
• targetsFile :: Parsed Bool
• targetsConst :: Parsed Bool
• targetsEnum :: Parsed Bool
• targetsEnumerant :: Parsed Bool
• targetsStruct :: Parsed Bool
• targetsField :: Parsed Bool
• targetsUnion :: Parsed Bool
• targetsGroup :: Parsed Bool
• targetsInterface :: Parsed Bool
• targetsMethod :: Parsed Bool
• targetsParam :: Parsed Bool
• targetsAnnotation :: Parsed Bool

}

type ReprFor Node'annotation

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'annotation = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'annotation'" 'PrefixI 'True) (((S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type)) :*: (S1 ('MetaSel ('Just "targetsFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "targetsConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :*: (S1 ('MetaSel ('Just "targetsEnum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: (S1 ('MetaSel ('Just "targetsEnumerant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "targetsStruct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))))) :*: ((S1 ('MetaSel ('Just "targetsField") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: (S1 ('MetaSel ('Just "targetsUnion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "targetsGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :*: ((S1 ('MetaSel ('Just "targetsInterface") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "targetsMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))) :*: (S1 ('MetaSel ('Just "targetsParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :*: S1 ('MetaSel ('Just "targetsAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))))))

data Node'Parameter

Instances

Allocate Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'Parameter

Methods

new :: RWCtx m s => AllocHint Node'Parameter -> Message ('Mut s) -> m (Raw Node'Parameter ('Mut s))

AllocateList Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'Parameter

Methods

newList :: RWCtx m s => ListAllocHint Node'Parameter -> Message ('Mut s) -> m (Raw (List Node'Parameter) ('Mut s))

HasTypeId Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "name" 'Slot Node'Parameter Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'Parameter Text

HasField "implicitParameters" 'Slot Method (List Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method (List Node'Parameter)

HasField "parameters" 'Slot Node (List Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Node'Parameter)

EstimateAlloc Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'Parameter -> AllocHint Node'Parameter

EstimateListAlloc Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'Parameter) -> AllocHint (List Node'Parameter)

Marshal Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'Parameter ('Mut s) -> Parsed Node'Parameter -> m ()

Parse Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'Parameter 'Const -> m (Parsed Node'Parameter)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'Parameter -> m (Raw Node'Parameter ('Mut s))

Generic (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'Parameter) :: Type -> Type

Methods

from :: Parsed Node'Parameter -> Rep (Parsed Node'Parameter) x

to :: Rep (Parsed Node'Parameter) x -> Parsed Node'Parameter

Show (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'Parameter -> ShowS

show :: Parsed Node'Parameter -> String

showList :: [Parsed Node'Parameter] -> ShowS

Eq (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'Parameter -> Parsed Node'Parameter -> Bool

(/=) :: Parsed Node'Parameter -> Parsed Node'Parameter -> Bool

type AllocHint Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'Parameter = ()

type ListAllocHint Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'Parameter = Int

data Parsed Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'Parameter = Node'Parameter {

• name :: Parsed Text

}

type ReprFor Node'Parameter

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'Parameter = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'Parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'Parameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Node'NestedNode

Instances

Allocate Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'NestedNode

Methods

new :: RWCtx m s => AllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw Node'NestedNode ('Mut s))

AllocateList Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'NestedNode

Methods

newList :: RWCtx m s => ListAllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw (List Node'NestedNode) ('Mut s))

HasTypeId Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "id" 'Slot Node'NestedNode Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'NestedNode Word64

HasField "name" 'Slot Node'NestedNode Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'NestedNode Text

HasField "nestedNodes" 'Slot Node (List Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Node'NestedNode)

EstimateAlloc Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'NestedNode -> AllocHint Node'NestedNode

EstimateListAlloc Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'NestedNode) -> AllocHint (List Node'NestedNode)

Marshal Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'NestedNode ('Mut s) -> Parsed Node'NestedNode -> m ()

Parse Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'NestedNode 'Const -> m (Parsed Node'NestedNode)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'NestedNode -> m (Raw Node'NestedNode ('Mut s))

Generic (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'NestedNode) :: Type -> Type

Methods

from :: Parsed Node'NestedNode -> Rep (Parsed Node'NestedNode) x

to :: Rep (Parsed Node'NestedNode) x -> Parsed Node'NestedNode

Show (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'NestedNode -> ShowS

show :: Parsed Node'NestedNode -> String

showList :: [Parsed Node'NestedNode] -> ShowS

Eq (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'NestedNode -> Parsed Node'NestedNode -> Bool

(/=) :: Parsed Node'NestedNode -> Parsed Node'NestedNode -> Bool

type AllocHint Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'NestedNode = ()

type ListAllocHint Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'NestedNode = Int

data Parsed Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'NestedNode = Node'NestedNode {

• name :: Parsed Text
• id :: Parsed Word64

}

type ReprFor Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'NestedNode = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'NestedNode) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'NestedNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))

data Node'SourceInfo

Instances

Allocate Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'SourceInfo

Methods

new :: RWCtx m s => AllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw Node'SourceInfo ('Mut s))

AllocateList Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'SourceInfo

Methods

newList :: RWCtx m s => ListAllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw (List Node'SourceInfo) ('Mut s))

HasTypeId Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "docComment" 'Slot Node'SourceInfo Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo Text

HasField "id" 'Slot Node'SourceInfo Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo Word64

HasField "members" 'Slot Node'SourceInfo (List Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo (List Node'SourceInfo'Member)

HasField "sourceInfo" 'Slot CodeGeneratorRequest (List Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node'SourceInfo)

EstimateAlloc Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'SourceInfo -> AllocHint Node'SourceInfo

EstimateListAlloc Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'SourceInfo) -> AllocHint (List Node'SourceInfo)

Marshal Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'SourceInfo ('Mut s) -> Parsed Node'SourceInfo -> m ()

Parse Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'SourceInfo 'Const -> m (Parsed Node'SourceInfo)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo -> m (Raw Node'SourceInfo ('Mut s))

Generic (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'SourceInfo) :: Type -> Type

Methods

from :: Parsed Node'SourceInfo -> Rep (Parsed Node'SourceInfo) x

to :: Rep (Parsed Node'SourceInfo) x -> Parsed Node'SourceInfo

Show (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'SourceInfo -> ShowS

show :: Parsed Node'SourceInfo -> String

showList :: [Parsed Node'SourceInfo] -> ShowS

Eq (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'SourceInfo -> Parsed Node'SourceInfo -> Bool

(/=) :: Parsed Node'SourceInfo -> Parsed Node'SourceInfo -> Bool

type AllocHint Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'SourceInfo = ()

type ListAllocHint Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'SourceInfo = Int

data Parsed Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'SourceInfo = Node'SourceInfo {

• id :: Parsed Word64
• docComment :: Parsed Text
• members :: Parsed (List Node'SourceInfo'Member)

}

type ReprFor Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'SourceInfo = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'SourceInfo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'SourceInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: (S1 ('MetaSel ('Just "docComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'SourceInfo'Member))))))

data Node'SourceInfo'Member

Instances

Allocate Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Node'SourceInfo'Member

Methods

new :: RWCtx m s => AllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw Node'SourceInfo'Member ('Mut s))

AllocateList Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Node'SourceInfo'Member

Methods

newList :: RWCtx m s => ListAllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw (List Node'SourceInfo'Member) ('Mut s))

HasTypeId Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "docComment" 'Slot Node'SourceInfo'Member Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo'Member Text

HasField "members" 'Slot Node'SourceInfo (List Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo (List Node'SourceInfo'Member)

EstimateAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Node'SourceInfo'Member -> AllocHint Node'SourceInfo'Member

EstimateListAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Node'SourceInfo'Member) -> AllocHint (List Node'SourceInfo'Member)

Marshal Node'SourceInfo'Member (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Node'SourceInfo'Member ('Mut s) -> Parsed Node'SourceInfo'Member -> m ()

Parse Node'SourceInfo'Member (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Node'SourceInfo'Member 'Const -> m (Parsed Node'SourceInfo'Member)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo'Member -> m (Raw Node'SourceInfo'Member ('Mut s))

Generic (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Node'SourceInfo'Member) :: Type -> Type

Methods

from :: Parsed Node'SourceInfo'Member -> Rep (Parsed Node'SourceInfo'Member) x

to :: Rep (Parsed Node'SourceInfo'Member) x -> Parsed Node'SourceInfo'Member

Show (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Node'SourceInfo'Member -> ShowS

show :: Parsed Node'SourceInfo'Member -> String

showList :: [Parsed Node'SourceInfo'Member] -> ShowS

Eq (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Node'SourceInfo'Member -> Parsed Node'SourceInfo'Member -> Bool

(/=) :: Parsed Node'SourceInfo'Member -> Parsed Node'SourceInfo'Member -> Bool

type AllocHint Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Node'SourceInfo'Member = ()

type ListAllocHint Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Node'SourceInfo'Member = Int

data Parsed Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

data Parsed Node'SourceInfo'Member = Node'SourceInfo'Member {

• docComment :: Parsed Text

}

type ReprFor Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Node'SourceInfo'Member = 'Ptr ('Just 'Struct)

type Rep (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Node'SourceInfo'Member) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'SourceInfo'Member" 'PrefixI 'True) (S1 ('MetaSel ('Just "docComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Field

Instances

Allocate Field

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Field

Methods

new :: RWCtx m s => AllocHint Field -> Message ('Mut s) -> m (Raw Field ('Mut s))

AllocateList Field

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Field

Methods

newList :: RWCtx m s => ListAllocHint Field -> Message ('Mut s) -> m (Raw (List Field) ('Mut s))

HasTypeId Field

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Field

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Field

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Field

data RawWhich Field mut

Methods

unionField :: Field0 'Slot Field Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Field mut -> m (RawWhich Field mut)

HasField "codeOrder" 'Slot Field Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Field Word16

HasField "discriminantValue" 'Slot Field Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Field Word16

HasField "name" 'Slot Field Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Field Text

HasField "ordinal" 'Group Field Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Group Field Field'ordinal

HasVariant "group" 'Group Field Field'group

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Field Field'group

HasVariant "slot" 'Group Field Field'slot

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Field Field'slot

HasField "annotations" 'Slot Field (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Field (List Annotation)

HasField "fields" 'Slot Node'struct (List Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Node'struct (List Field)

EstimateAlloc Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Field -> AllocHint Field

EstimateListAlloc Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Field) -> AllocHint (List Field)

Marshal Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Field ('Mut s) -> Parsed Field -> m ()

Parse Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Field 'Const -> m (Parsed Field)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Field -> m (Raw Field ('Mut s))

Generic (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Field)) :: Type -> Type

Methods

from :: Parsed (Which Field) -> Rep (Parsed (Which Field)) x

to :: Rep (Parsed (Which Field)) x -> Parsed (Which Field)

Generic (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Field) :: Type -> Type

Methods

from :: Parsed Field -> Rep (Parsed Field) x

to :: Rep (Parsed Field) x -> Parsed Field

Show (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Field) -> ShowS

show :: Parsed (Which Field) -> String

showList :: [Parsed (Which Field)] -> ShowS

Show (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Field -> ShowS

show :: Parsed Field -> String

showList :: [Parsed Field] -> ShowS

Eq (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Field) -> Parsed (Which Field) -> Bool

(/=) :: Parsed (Which Field) -> Parsed (Which Field) -> Bool

Eq (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Field -> Parsed Field -> Bool

(/=) :: Parsed Field -> Parsed Field -> Bool

Marshal (Which Field) (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Field) ('Mut s) -> Parsed (Which Field) -> m ()

Parse (Which Field) (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Field) 'Const -> m (Parsed (Which Field))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field) -> m (Raw (Which Field) ('Mut s))

type AllocHint Field

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Field = ()

type ListAllocHint Field

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Field = Int

data Parsed Field

Defined in Capnp.Gen.Capnp.Schema

data Parsed Field = Field {

• name :: Parsed Text
• codeOrder :: Parsed Word16
• annotations :: Parsed (List Annotation)
• discriminantValue :: Parsed Word16
• ordinal :: Parsed Field'ordinal
• union' :: Parsed (Which Field)

}

data RawWhich Field mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Field mut_

• = RW_Field'slot (Raw Field'slot mut_)
• | RW_Field'group (Raw Field'group mut_)
• | RW_Field'unknown' Word16

data Which Field

Defined in Capnp.Gen.Capnp.Schema

data Which Field

type ReprFor Field

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Field = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Field)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'slot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'slot))) :+: (C1 ('MetaCons "Field'group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'group))) :+: C1 ('MetaCons "Field'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Field) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: (S1 ('MetaSel ('Just "codeOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation))))) :*: (S1 ('MetaSel ('Just "discriminantValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: (S1 ('MetaSel ('Just "ordinal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'ordinal)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Field)))))))

data Parsed (Which Field)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Field)

• = Field'slot (Parsed Field'slot)
• | Field'group (Parsed Field'group)
• | Field'unknown' Word16

data Field'slot

Instances

Allocate Field'slot

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Field'slot

Methods

new :: RWCtx m s => AllocHint Field'slot -> Message ('Mut s) -> m (Raw Field'slot ('Mut s))

AllocateList Field'slot

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Field'slot

Methods

newList :: RWCtx m s => ListAllocHint Field'slot -> Message ('Mut s) -> m (Raw (List Field'slot) ('Mut s))

HasTypeId Field'slot

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Field'slot

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "defaultValue" 'Slot Field'slot Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Value

HasField "hadExplicitDefault" 'Slot Field'slot Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Bool

HasField "offset" 'Slot Field'slot Word32

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Word32

HasField "type_" 'Slot Field'slot Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Type

HasVariant "slot" 'Group Field Field'slot

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Field Field'slot

EstimateAlloc Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Field'slot -> AllocHint Field'slot

EstimateListAlloc Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Field'slot) -> AllocHint (List Field'slot)

Marshal Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Field'slot ('Mut s) -> Parsed Field'slot -> m ()

Parse Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Field'slot 'Const -> m (Parsed Field'slot)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'slot -> m (Raw Field'slot ('Mut s))

Generic (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Field'slot) :: Type -> Type

Methods

from :: Parsed Field'slot -> Rep (Parsed Field'slot) x

to :: Rep (Parsed Field'slot) x -> Parsed Field'slot

Show (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Field'slot -> ShowS

show :: Parsed Field'slot -> String

showList :: [Parsed Field'slot] -> ShowS

Eq (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Field'slot -> Parsed Field'slot -> Bool

(/=) :: Parsed Field'slot -> Parsed Field'slot -> Bool

type AllocHint Field'slot

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Field'slot = ()

type ListAllocHint Field'slot

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Field'slot = Int

data Parsed Field'slot

Defined in Capnp.Gen.Capnp.Schema

data Parsed Field'slot = Field'slot' {

• offset :: Parsed Word32
• type_ :: Parsed Type
• defaultValue :: Parsed Value
• hadExplicitDefault :: Parsed Bool

}

type ReprFor Field'slot

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Field'slot = 'Ptr ('Just 'Struct)

type Rep (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Field'slot) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'slot'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :*: S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))) :*: (S1 ('MetaSel ('Just "defaultValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value)) :*: S1 ('MetaSel ('Just "hadExplicitDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))))

data Field'group

Instances

Allocate Field'group

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Field'group

Methods

new :: RWCtx m s => AllocHint Field'group -> Message ('Mut s) -> m (Raw Field'group ('Mut s))

AllocateList Field'group

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Field'group

Methods

newList :: RWCtx m s => ListAllocHint Field'group -> Message ('Mut s) -> m (Raw (List Field'group) ('Mut s))

HasTypeId Field'group

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Field'group

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "typeId" 'Slot Field'group Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'group Word64

HasVariant "group" 'Group Field Field'group

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Field Field'group

EstimateAlloc Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Field'group -> AllocHint Field'group

EstimateListAlloc Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Field'group) -> AllocHint (List Field'group)

Marshal Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Field'group ('Mut s) -> Parsed Field'group -> m ()

Parse Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Field'group 'Const -> m (Parsed Field'group)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'group -> m (Raw Field'group ('Mut s))

Generic (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Field'group) :: Type -> Type

Methods

from :: Parsed Field'group -> Rep (Parsed Field'group) x

to :: Rep (Parsed Field'group) x -> Parsed Field'group

Show (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Field'group -> ShowS

show :: Parsed Field'group -> String

showList :: [Parsed Field'group] -> ShowS

Eq (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Field'group -> Parsed Field'group -> Bool

(/=) :: Parsed Field'group -> Parsed Field'group -> Bool

type AllocHint Field'group

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Field'group = ()

type ListAllocHint Field'group

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Field'group = Int

data Parsed Field'group

Defined in Capnp.Gen.Capnp.Schema

data Parsed Field'group = Field'group' {

• typeId :: Parsed Word64

}

type ReprFor Field'group

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Field'group = 'Ptr ('Just 'Struct)

type Rep (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Field'group) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'group'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))

data Field'ordinal

Instances

Allocate Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Field'ordinal

Methods

new :: RWCtx m s => AllocHint Field'ordinal -> Message ('Mut s) -> m (Raw Field'ordinal ('Mut s))

AllocateList Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Field'ordinal

Methods

newList :: RWCtx m s => ListAllocHint Field'ordinal -> Message ('Mut s) -> m (Raw (List Field'ordinal) ('Mut s))

HasTypeId Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Field'ordinal

data RawWhich Field'ordinal mut

Methods

unionField :: Field 'Slot Field'ordinal Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Field'ordinal mut -> m (RawWhich Field'ordinal mut)

HasField "ordinal" 'Group Field Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Group Field Field'ordinal

HasVariant "explicit" 'Slot Field'ordinal Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Field'ordinal Word16

HasVariant "implicit" 'Slot Field'ordinal ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Field'ordinal ()

EstimateAlloc Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Field'ordinal -> AllocHint Field'ordinal

EstimateListAlloc Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Field'ordinal) -> AllocHint (List Field'ordinal)

Marshal Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Field'ordinal ('Mut s) -> Parsed Field'ordinal -> m ()

Parse Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Field'ordinal 'Const -> m (Parsed Field'ordinal)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'ordinal -> m (Raw Field'ordinal ('Mut s))

Generic (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Field'ordinal)) :: Type -> Type

Methods

from :: Parsed (Which Field'ordinal) -> Rep (Parsed (Which Field'ordinal)) x

to :: Rep (Parsed (Which Field'ordinal)) x -> Parsed (Which Field'ordinal)

Generic (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Field'ordinal) :: Type -> Type

Methods

from :: Parsed Field'ordinal -> Rep (Parsed Field'ordinal) x

to :: Rep (Parsed Field'ordinal) x -> Parsed Field'ordinal

Show (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Field'ordinal) -> ShowS

show :: Parsed (Which Field'ordinal) -> String

showList :: [Parsed (Which Field'ordinal)] -> ShowS

Show (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Field'ordinal -> ShowS

show :: Parsed Field'ordinal -> String

showList :: [Parsed Field'ordinal] -> ShowS

Eq (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Field'ordinal) -> Parsed (Which Field'ordinal) -> Bool

(/=) :: Parsed (Which Field'ordinal) -> Parsed (Which Field'ordinal) -> Bool

Eq (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Field'ordinal -> Parsed Field'ordinal -> Bool

(/=) :: Parsed Field'ordinal -> Parsed Field'ordinal -> Bool

Marshal (Which Field'ordinal) (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Field'ordinal) ('Mut s) -> Parsed (Which Field'ordinal) -> m ()

Parse (Which Field'ordinal) (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Field'ordinal) 'Const -> m (Parsed (Which Field'ordinal))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field'ordinal) -> m (Raw (Which Field'ordinal) ('Mut s))

type AllocHint Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Field'ordinal = ()

type ListAllocHint Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Field'ordinal = Int

data Parsed Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

data Parsed Field'ordinal = Field'ordinal' {

• union' :: Parsed (Which Field'ordinal)

}

data RawWhich Field'ordinal mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Field'ordinal mut_

• = RW_Field'ordinal'implicit (Raw () mut_)
• | RW_Field'ordinal'explicit (Raw Word16 mut_)
• | RW_Field'ordinal'unknown' Word16

data Which Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

data Which Field'ordinal

type ReprFor Field'ordinal

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Field'ordinal = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Field'ordinal)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'ordinal'implicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Field'ordinal'explicit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: C1 ('MetaCons "Field'ordinal'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Field'ordinal) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'ordinal'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Field'ordinal)))))

data Parsed (Which Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Field'ordinal)

• = Field'ordinal'implicit
• | Field'ordinal'explicit (Parsed Word16)
• | Field'ordinal'unknown' Word16

field'noDiscriminant :: Word16

data Enumerant

Instances

Allocate Enumerant

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Enumerant

Methods

new :: RWCtx m s => AllocHint Enumerant -> Message ('Mut s) -> m (Raw Enumerant ('Mut s))

AllocateList Enumerant

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Enumerant

Methods

newList :: RWCtx m s => ListAllocHint Enumerant -> Message ('Mut s) -> m (Raw (List Enumerant) ('Mut s))

HasTypeId Enumerant

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Enumerant

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "codeOrder" 'Slot Enumerant Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Enumerant Word16

HasField "name" 'Slot Enumerant Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Enumerant Text

HasField "annotations" 'Slot Enumerant (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Enumerant (List Annotation)

HasField "enumerants" 'Slot Node'enum (List Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'enum (List Enumerant)

EstimateAlloc Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Enumerant -> AllocHint Enumerant

EstimateListAlloc Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Enumerant) -> AllocHint (List Enumerant)

Marshal Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Enumerant ('Mut s) -> Parsed Enumerant -> m ()

Parse Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Enumerant 'Const -> m (Parsed Enumerant)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Enumerant -> m (Raw Enumerant ('Mut s))

Generic (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Enumerant) :: Type -> Type

Methods

from :: Parsed Enumerant -> Rep (Parsed Enumerant) x

to :: Rep (Parsed Enumerant) x -> Parsed Enumerant

Show (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Enumerant -> ShowS

show :: Parsed Enumerant -> String

showList :: [Parsed Enumerant] -> ShowS

Eq (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Enumerant -> Parsed Enumerant -> Bool

(/=) :: Parsed Enumerant -> Parsed Enumerant -> Bool

type AllocHint Enumerant

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Enumerant = ()

type ListAllocHint Enumerant

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Enumerant = Int

data Parsed Enumerant

Defined in Capnp.Gen.Capnp.Schema

data Parsed Enumerant = Enumerant {

• name :: Parsed Text
• codeOrder :: Parsed Word16
• annotations :: Parsed (List Annotation)

}

type ReprFor Enumerant

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Enumerant = 'Ptr ('Just 'Struct)

type Rep (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Enumerant) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Enumerant" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: (S1 ('MetaSel ('Just "codeOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation))))))

data Superclass

Instances

Allocate Superclass

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Superclass

Methods

new :: RWCtx m s => AllocHint Superclass -> Message ('Mut s) -> m (Raw Superclass ('Mut s))

AllocateList Superclass

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Superclass

Methods

newList :: RWCtx m s => ListAllocHint Superclass -> Message ('Mut s) -> m (Raw (List Superclass) ('Mut s))

HasTypeId Superclass

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Superclass

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Superclass Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Superclass Brand

HasField "id" 'Slot Superclass Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Superclass Word64

HasField "superclasses" 'Slot Node'interface (List Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'interface (List Superclass)

EstimateAlloc Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Superclass -> AllocHint Superclass

EstimateListAlloc Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Superclass) -> AllocHint (List Superclass)

Marshal Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Superclass ('Mut s) -> Parsed Superclass -> m ()

Parse Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Superclass 'Const -> m (Parsed Superclass)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Superclass -> m (Raw Superclass ('Mut s))

Generic (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Superclass) :: Type -> Type

Methods

from :: Parsed Superclass -> Rep (Parsed Superclass) x

to :: Rep (Parsed Superclass) x -> Parsed Superclass

Show (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Superclass -> ShowS

show :: Parsed Superclass -> String

showList :: [Parsed Superclass] -> ShowS

Eq (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Superclass -> Parsed Superclass -> Bool

(/=) :: Parsed Superclass -> Parsed Superclass -> Bool

type AllocHint Superclass

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Superclass = ()

type ListAllocHint Superclass

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Superclass = Int

data Parsed Superclass

Defined in Capnp.Gen.Capnp.Schema

data Parsed Superclass = Superclass {

• id :: Parsed Word64
• brand :: Parsed Brand

}

type ReprFor Superclass

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Superclass = 'Ptr ('Just 'Struct)

type Rep (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Superclass) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Superclass" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Method

Instances

Allocate Method

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Method

Methods

new :: RWCtx m s => AllocHint Method -> Message ('Mut s) -> m (Raw Method ('Mut s))

AllocateList Method

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Method

Methods

newList :: RWCtx m s => ListAllocHint Method -> Message ('Mut s) -> m (Raw (List Method) ('Mut s))

HasTypeId Method

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Method

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "codeOrder" 'Slot Method Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Word16

HasField "name" 'Slot Method Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Text

HasField "paramBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "paramStructType" 'Slot Method Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Word64

HasField "resultBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "resultStructType" 'Slot Method Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Word64

HasField "annotations" 'Slot Method (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method (List Annotation)

HasField "implicitParameters" 'Slot Method (List Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method (List Node'Parameter)

HasField "methods" 'Slot Node'interface (List Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'interface (List Method)

EstimateAlloc Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Method -> AllocHint Method

EstimateListAlloc Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Method) -> AllocHint (List Method)

Marshal Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Method ('Mut s) -> Parsed Method -> m ()

Parse Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Method 'Const -> m (Parsed Method)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Method -> m (Raw Method ('Mut s))

Generic (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Method) :: Type -> Type

Methods

from :: Parsed Method -> Rep (Parsed Method) x

to :: Rep (Parsed Method) x -> Parsed Method

Show (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Method -> ShowS

show :: Parsed Method -> String

showList :: [Parsed Method] -> ShowS

Eq (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Method -> Parsed Method -> Bool

(/=) :: Parsed Method -> Parsed Method -> Bool

type AllocHint Method

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Method = ()

type ListAllocHint Method

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Method = Int

data Parsed Method

Defined in Capnp.Gen.Capnp.Schema

data Parsed Method = Method {

• name :: Parsed Text
• codeOrder :: Parsed Word16
• paramStructType :: Parsed Word64
• resultStructType :: Parsed Word64
• annotations :: Parsed (List Annotation)
• paramBrand :: Parsed Brand
• resultBrand :: Parsed Brand
• implicitParameters :: Parsed (List Node'Parameter)

}

type ReprFor Method

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Method = 'Ptr ('Just 'Struct)

type Rep (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Method) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Method" 'PrefixI 'True) (((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "codeOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :*: (S1 ('MetaSel ('Just "paramStructType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "resultStructType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)))) :*: ((S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation))) :*: S1 ('MetaSel ('Just "paramBrand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))) :*: (S1 ('MetaSel ('Just "resultBrand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand)) :*: S1 ('MetaSel ('Just "implicitParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'Parameter)))))))

data Type

Instances

Allocate Type

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type

Methods

new :: RWCtx m s => AllocHint Type -> Message ('Mut s) -> m (Raw Type ('Mut s))

AllocateList Type

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type

Methods

newList :: RWCtx m s => ListAllocHint Type -> Message ('Mut s) -> m (Raw (List Type) ('Mut s))

HasTypeId Type

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Type

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Type

data RawWhich Type mut

Methods

unionField :: Field 'Slot Type Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Type mut -> m (RawWhich Type mut)

HasField "elementType" 'Slot Type'list Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'list Type

HasField "type_" 'Slot Field'slot Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Type

HasField "type_" 'Slot Node'annotation Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'annotation Type

HasField "type_" 'Slot Node'const Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'const Type

HasVariant "anyPointer" 'Group Type Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'anyPointer

HasVariant "bool" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "data_" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "enum" 'Group Type Type'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'enum

HasVariant "float32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "float64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int16" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int8" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "interface" 'Group Type Type'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'interface

HasVariant "list" 'Group Type Type'list

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'list

HasVariant "struct" 'Group Type Type'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'struct

HasVariant "text" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "type_" 'Slot Brand'Binding Type

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Binding Type

HasVariant "uint16" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint8" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "void" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type ()

EstimateAlloc Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type -> AllocHint Type

EstimateListAlloc Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type) -> AllocHint (List Type)

Marshal Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type ('Mut s) -> Parsed Type -> m ()

Parse Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type 'Const -> m (Parsed Type)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type -> m (Raw Type ('Mut s))

Generic (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Type)) :: Type -> Type

Methods

from :: Parsed (Which Type) -> Rep (Parsed (Which Type)) x

to :: Rep (Parsed (Which Type)) x -> Parsed (Which Type)

Generic (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type) :: Type -> Type

Methods

from :: Parsed Type -> Rep (Parsed Type) x

to :: Rep (Parsed Type) x -> Parsed Type

Show (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Type) -> ShowS

show :: Parsed (Which Type) -> String

showList :: [Parsed (Which Type)] -> ShowS

Show (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type -> ShowS

show :: Parsed Type -> String

showList :: [Parsed Type] -> ShowS

Eq (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Type) -> Parsed (Which Type) -> Bool

(/=) :: Parsed (Which Type) -> Parsed (Which Type) -> Bool

Eq (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type -> Parsed Type -> Bool

(/=) :: Parsed Type -> Parsed Type -> Bool

Marshal (Which Type) (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Type) ('Mut s) -> Parsed (Which Type) -> m ()

Parse (Which Type) (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Type) 'Const -> m (Parsed (Which Type))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type) -> m (Raw (Which Type) ('Mut s))

type AllocHint Type

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type = ()

type ListAllocHint Type

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type = Int

data Parsed Type

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type = Type {

• union' :: Parsed (Which Type)

}

data RawWhich Type mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Type mut_

• = RW_Type'void (Raw () mut_)
• | RW_Type'bool (Raw () mut_)
• | RW_Type'int8 (Raw () mut_)
• | RW_Type'int16 (Raw () mut_)
• | RW_Type'int32 (Raw () mut_)
• | RW_Type'int64 (Raw () mut_)
• | RW_Type'uint8 (Raw () mut_)
• | RW_Type'uint16 (Raw () mut_)
• | RW_Type'uint32 (Raw () mut_)
• | RW_Type'uint64 (Raw () mut_)
• | RW_Type'float32 (Raw () mut_)
• | RW_Type'float64 (Raw () mut_)
• | RW_Type'text (Raw () mut_)
• | RW_Type'data_ (Raw () mut_)
• | RW_Type'list (Raw Type'list mut_)
• | RW_Type'enum (Raw Type'enum mut_)
• | RW_Type'struct (Raw Type'struct mut_)
• | RW_Type'interface (Raw Type'interface mut_)
• | RW_Type'anyPointer (Raw Type'anyPointer mut_)
• | RW_Type'unknown' Word16

data Which Type

Defined in Capnp.Gen.Capnp.Schema

data Which Type

type ReprFor Type

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Type)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((((C1 ('MetaCons "Type'void" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'bool" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Type'int8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Type'int16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'int32" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Type'int64" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'uint8" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Type'uint16" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Type'uint32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'uint64" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Type'float32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'float64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Type'text" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Type'data_" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'list" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'list)))))) :+: ((C1 ('MetaCons "Type'enum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'enum))) :+: C1 ('MetaCons "Type'struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'struct)))) :+: (C1 ('MetaCons "Type'interface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'interface))) :+: (C1 ('MetaCons "Type'anyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer))) :+: C1 ('MetaCons "Type'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))))

type Rep (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type)))))

data Parsed (Which Type)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Type)

• = 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 (Parsed Type'list)
• | Type'enum (Parsed Type'enum)
• | Type'struct (Parsed Type'struct)
• | Type'interface (Parsed Type'interface)
• | Type'anyPointer (Parsed Type'anyPointer)
• | Type'unknown' Word16

data Type'list

Instances

Allocate Type'list

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'list

Methods

new :: RWCtx m s => AllocHint Type'list -> Message ('Mut s) -> m (Raw Type'list ('Mut s))

AllocateList Type'list

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'list

Methods

newList :: RWCtx m s => ListAllocHint Type'list -> Message ('Mut s) -> m (Raw (List Type'list) ('Mut s))

HasTypeId Type'list

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'list

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "elementType" 'Slot Type'list Type

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'list Type

HasVariant "list" 'Group Type Type'list

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'list

EstimateAlloc Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'list -> AllocHint Type'list

EstimateListAlloc Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'list) -> AllocHint (List Type'list)

Marshal Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'list ('Mut s) -> Parsed Type'list -> m ()

Parse Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'list 'Const -> m (Parsed Type'list)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'list -> m (Raw Type'list ('Mut s))

Generic (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'list) :: Type -> Type

Methods

from :: Parsed Type'list -> Rep (Parsed Type'list) x

to :: Rep (Parsed Type'list) x -> Parsed Type'list

Show (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'list -> ShowS

show :: Parsed Type'list -> String

showList :: [Parsed Type'list] -> ShowS

Eq (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'list -> Parsed Type'list -> Bool

(/=) :: Parsed Type'list -> Parsed Type'list -> Bool

type AllocHint Type'list

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'list = ()

type ListAllocHint Type'list

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'list = Int

data Parsed Type'list

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'list = Type'list' {

• elementType :: Parsed Type

}

type ReprFor Type'list

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'list = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'list) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'list'" 'PrefixI 'True) (S1 ('MetaSel ('Just "elementType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))))

data Type'enum

Instances

Allocate Type'enum

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'enum

Methods

new :: RWCtx m s => AllocHint Type'enum -> Message ('Mut s) -> m (Raw Type'enum ('Mut s))

AllocateList Type'enum

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'enum

Methods

newList :: RWCtx m s => ListAllocHint Type'enum -> Message ('Mut s) -> m (Raw (List Type'enum) ('Mut s))

HasTypeId Type'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Type'enum Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'enum Brand

HasField "typeId" 'Slot Type'enum Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'enum Word64

HasVariant "enum" 'Group Type Type'enum

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'enum

EstimateAlloc Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'enum -> AllocHint Type'enum

EstimateListAlloc Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'enum) -> AllocHint (List Type'enum)

Marshal Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'enum ('Mut s) -> Parsed Type'enum -> m ()

Parse Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'enum 'Const -> m (Parsed Type'enum)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'enum -> m (Raw Type'enum ('Mut s))

Generic (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'enum) :: Type -> Type

Methods

from :: Parsed Type'enum -> Rep (Parsed Type'enum) x

to :: Rep (Parsed Type'enum) x -> Parsed Type'enum

Show (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'enum -> ShowS

show :: Parsed Type'enum -> String

showList :: [Parsed Type'enum] -> ShowS

Eq (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'enum -> Parsed Type'enum -> Bool

(/=) :: Parsed Type'enum -> Parsed Type'enum -> Bool

type AllocHint Type'enum

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'enum = ()

type ListAllocHint Type'enum

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'enum = Int

data Parsed Type'enum

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'enum = Type'enum' {

• typeId :: Parsed Word64
• brand :: Parsed Brand

}

type ReprFor Type'enum

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'enum = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'enum'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'struct

Instances

Allocate Type'struct

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'struct

Methods

new :: RWCtx m s => AllocHint Type'struct -> Message ('Mut s) -> m (Raw Type'struct ('Mut s))

AllocateList Type'struct

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'struct

Methods

newList :: RWCtx m s => ListAllocHint Type'struct -> Message ('Mut s) -> m (Raw (List Type'struct) ('Mut s))

HasTypeId Type'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Type'struct Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'struct Brand

HasField "typeId" 'Slot Type'struct Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'struct Word64

HasVariant "struct" 'Group Type Type'struct

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'struct

EstimateAlloc Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'struct -> AllocHint Type'struct

EstimateListAlloc Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'struct) -> AllocHint (List Type'struct)

Marshal Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'struct ('Mut s) -> Parsed Type'struct -> m ()

Parse Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'struct 'Const -> m (Parsed Type'struct)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'struct -> m (Raw Type'struct ('Mut s))

Generic (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'struct) :: Type -> Type

Methods

from :: Parsed Type'struct -> Rep (Parsed Type'struct) x

to :: Rep (Parsed Type'struct) x -> Parsed Type'struct

Show (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'struct -> ShowS

show :: Parsed Type'struct -> String

showList :: [Parsed Type'struct] -> ShowS

Eq (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'struct -> Parsed Type'struct -> Bool

(/=) :: Parsed Type'struct -> Parsed Type'struct -> Bool

type AllocHint Type'struct

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'struct = ()

type ListAllocHint Type'struct

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'struct = Int

data Parsed Type'struct

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'struct = Type'struct' {

• typeId :: Parsed Word64
• brand :: Parsed Brand

}

type ReprFor Type'struct

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'struct = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'struct'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'interface

Instances

Allocate Type'interface

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'interface

Methods

new :: RWCtx m s => AllocHint Type'interface -> Message ('Mut s) -> m (Raw Type'interface ('Mut s))

AllocateList Type'interface

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'interface

Methods

newList :: RWCtx m s => ListAllocHint Type'interface -> Message ('Mut s) -> m (Raw (List Type'interface) ('Mut s))

HasTypeId Type'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Type'interface Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'interface Brand

HasField "typeId" 'Slot Type'interface Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'interface Word64

HasVariant "interface" 'Group Type Type'interface

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'interface

EstimateAlloc Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'interface -> AllocHint Type'interface

EstimateListAlloc Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'interface) -> AllocHint (List Type'interface)

Marshal Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'interface ('Mut s) -> Parsed Type'interface -> m ()

Parse Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'interface 'Const -> m (Parsed Type'interface)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'interface -> m (Raw Type'interface ('Mut s))

Generic (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'interface) :: Type -> Type

Methods

from :: Parsed Type'interface -> Rep (Parsed Type'interface) x

to :: Rep (Parsed Type'interface) x -> Parsed Type'interface

Show (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'interface -> ShowS

show :: Parsed Type'interface -> String

showList :: [Parsed Type'interface] -> ShowS

Eq (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'interface -> Parsed Type'interface -> Bool

(/=) :: Parsed Type'interface -> Parsed Type'interface -> Bool

type AllocHint Type'interface

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'interface = ()

type ListAllocHint Type'interface

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'interface = Int

data Parsed Type'interface

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'interface = Type'interface' {

• typeId :: Parsed Word64
• brand :: Parsed Brand

}

type ReprFor Type'interface

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'interface = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'interface'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'anyPointer

Instances

Allocate Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'anyPointer

Methods

new :: RWCtx m s => AllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw Type'anyPointer ('Mut s))

AllocateList Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'anyPointer

Methods

newList :: RWCtx m s => ListAllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw (List Type'anyPointer) ('Mut s))

HasTypeId Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Type'anyPointer

data RawWhich Type'anyPointer mut

Methods

unionField :: Field 'Slot Type'anyPointer Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Type'anyPointer mut -> m (RawWhich Type'anyPointer mut)

HasVariant "anyPointer" 'Group Type Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type Type'anyPointer

HasVariant "implicitMethodParameter" 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter

HasVariant "parameter" 'Group Type'anyPointer Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'parameter

HasVariant "unconstrained" 'Group Type'anyPointer Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained

EstimateAlloc Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'anyPointer -> AllocHint Type'anyPointer

EstimateListAlloc Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'anyPointer) -> AllocHint (List Type'anyPointer)

Marshal Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'anyPointer ('Mut s) -> Parsed Type'anyPointer -> m ()

Parse Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'anyPointer 'Const -> m (Parsed Type'anyPointer)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer -> m (Raw Type'anyPointer ('Mut s))

Generic (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Type'anyPointer)) :: Type -> Type

Methods

from :: Parsed (Which Type'anyPointer) -> Rep (Parsed (Which Type'anyPointer)) x

to :: Rep (Parsed (Which Type'anyPointer)) x -> Parsed (Which Type'anyPointer)

Generic (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'anyPointer) :: Type -> Type

Methods

from :: Parsed Type'anyPointer -> Rep (Parsed Type'anyPointer) x

to :: Rep (Parsed Type'anyPointer) x -> Parsed Type'anyPointer

Show (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Type'anyPointer) -> ShowS

show :: Parsed (Which Type'anyPointer) -> String

showList :: [Parsed (Which Type'anyPointer)] -> ShowS

Show (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'anyPointer -> ShowS

show :: Parsed Type'anyPointer -> String

showList :: [Parsed Type'anyPointer] -> ShowS

Eq (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Type'anyPointer) -> Parsed (Which Type'anyPointer) -> Bool

(/=) :: Parsed (Which Type'anyPointer) -> Parsed (Which Type'anyPointer) -> Bool

Eq (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'anyPointer -> Parsed Type'anyPointer -> Bool

(/=) :: Parsed Type'anyPointer -> Parsed Type'anyPointer -> Bool

Marshal (Which Type'anyPointer) (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Type'anyPointer) ('Mut s) -> Parsed (Which Type'anyPointer) -> m ()

Parse (Which Type'anyPointer) (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Type'anyPointer) 'Const -> m (Parsed (Which Type'anyPointer))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer) -> m (Raw (Which Type'anyPointer) ('Mut s))

type AllocHint Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'anyPointer = ()

type ListAllocHint Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'anyPointer = Int

data Parsed Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'anyPointer = Type'anyPointer' {

• union' :: Parsed (Which Type'anyPointer)

}

data RawWhich Type'anyPointer mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Type'anyPointer mut_

• = RW_Type'anyPointer'unconstrained (Raw Type'anyPointer'unconstrained mut_)
• | RW_Type'anyPointer'parameter (Raw Type'anyPointer'parameter mut_)
• | RW_Type'anyPointer'implicitMethodParameter (Raw Type'anyPointer'implicitMethodParameter mut_)
• | RW_Type'anyPointer'unknown' Word16

data Which Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

data Which Type'anyPointer

type ReprFor Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'anyPointer = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Type'anyPointer)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Type'anyPointer'unconstrained" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'unconstrained))) :+: C1 ('MetaCons "Type'anyPointer'parameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'parameter)))) :+: (C1 ('MetaCons "Type'anyPointer'implicitMethodParameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'implicitMethodParameter))) :+: C1 ('MetaCons "Type'anyPointer'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'anyPointer) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type'anyPointer)))))

data Parsed (Which Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Type'anyPointer)

• = Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained)
• | Type'anyPointer'parameter (Parsed Type'anyPointer'parameter)
• | Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter)
• | Type'anyPointer'unknown' Word16

data Type'anyPointer'unconstrained

Instances

Allocate Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'anyPointer'unconstrained

Methods

new :: RWCtx m s => AllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw Type'anyPointer'unconstrained ('Mut s))

AllocateList Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'anyPointer'unconstrained

Methods

newList :: RWCtx m s => ListAllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw (List Type'anyPointer'unconstrained) ('Mut s))

HasTypeId Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Type'anyPointer'unconstrained

data RawWhich Type'anyPointer'unconstrained mut

Methods

unionField :: Field 'Slot Type'anyPointer'unconstrained Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Type'anyPointer'unconstrained mut -> m (RawWhich Type'anyPointer'unconstrained mut)

HasVariant "anyKind" 'Slot Type'anyPointer'unconstrained ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained ()

HasVariant "capability" 'Slot Type'anyPointer'unconstrained ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained ()

HasVariant "list" 'Slot Type'anyPointer'unconstrained ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained ()

HasVariant "struct" 'Slot Type'anyPointer'unconstrained ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained ()

HasVariant "unconstrained" 'Group Type'anyPointer Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained

EstimateAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'anyPointer'unconstrained -> AllocHint Type'anyPointer'unconstrained

EstimateListAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'anyPointer'unconstrained) -> AllocHint (List Type'anyPointer'unconstrained)

Marshal Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'anyPointer'unconstrained ('Mut s) -> Parsed Type'anyPointer'unconstrained -> m ()

Parse Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'anyPointer'unconstrained 'Const -> m (Parsed Type'anyPointer'unconstrained)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'unconstrained -> m (Raw Type'anyPointer'unconstrained ('Mut s))

Generic (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Type'anyPointer'unconstrained)) :: Type -> Type

Methods

from :: Parsed (Which Type'anyPointer'unconstrained) -> Rep (Parsed (Which Type'anyPointer'unconstrained)) x

to :: Rep (Parsed (Which Type'anyPointer'unconstrained)) x -> Parsed (Which Type'anyPointer'unconstrained)

Generic (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'anyPointer'unconstrained) :: Type -> Type

Methods

from :: Parsed Type'anyPointer'unconstrained -> Rep (Parsed Type'anyPointer'unconstrained) x

to :: Rep (Parsed Type'anyPointer'unconstrained) x -> Parsed Type'anyPointer'unconstrained

Show (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Type'anyPointer'unconstrained) -> ShowS

show :: Parsed (Which Type'anyPointer'unconstrained) -> String

showList :: [Parsed (Which Type'anyPointer'unconstrained)] -> ShowS

Show (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'anyPointer'unconstrained -> ShowS

show :: Parsed Type'anyPointer'unconstrained -> String

showList :: [Parsed Type'anyPointer'unconstrained] -> ShowS

Eq (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Type'anyPointer'unconstrained) -> Parsed (Which Type'anyPointer'unconstrained) -> Bool

(/=) :: Parsed (Which Type'anyPointer'unconstrained) -> Parsed (Which Type'anyPointer'unconstrained) -> Bool

Eq (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'anyPointer'unconstrained -> Parsed Type'anyPointer'unconstrained -> Bool

(/=) :: Parsed Type'anyPointer'unconstrained -> Parsed Type'anyPointer'unconstrained -> Bool

Marshal (Which Type'anyPointer'unconstrained) (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Type'anyPointer'unconstrained) ('Mut s) -> Parsed (Which Type'anyPointer'unconstrained) -> m ()

Parse (Which Type'anyPointer'unconstrained) (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Type'anyPointer'unconstrained) 'Const -> m (Parsed (Which Type'anyPointer'unconstrained))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer'unconstrained) -> m (Raw (Which Type'anyPointer'unconstrained) ('Mut s))

type AllocHint Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'anyPointer'unconstrained = ()

type ListAllocHint Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'anyPointer'unconstrained = Int

data Parsed Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'anyPointer'unconstrained = Type'anyPointer'unconstrained' {

• union' :: Parsed (Which Type'anyPointer'unconstrained)

}

data RawWhich Type'anyPointer'unconstrained mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Type'anyPointer'unconstrained mut_

• = RW_Type'anyPointer'unconstrained'anyKind (Raw () mut_)
• | RW_Type'anyPointer'unconstrained'struct (Raw () mut_)
• | RW_Type'anyPointer'unconstrained'list (Raw () mut_)
• | RW_Type'anyPointer'unconstrained'capability (Raw () mut_)
• | RW_Type'anyPointer'unconstrained'unknown' Word16

data Which Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

data Which Type'anyPointer'unconstrained

type ReprFor Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'anyPointer'unconstrained = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Type'anyPointer'unconstrained))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Type'anyPointer'unconstrained)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Type'anyPointer'unconstrained'anyKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'anyPointer'unconstrained'struct" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Type'anyPointer'unconstrained'list" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Type'anyPointer'unconstrained'capability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'anyPointer'unconstrained'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))

type Rep (Parsed Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'anyPointer'unconstrained) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'unconstrained'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type'anyPointer'unconstrained)))))

data Parsed (Which Type'anyPointer'unconstrained)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Type'anyPointer'unconstrained)

• = Type'anyPointer'unconstrained'anyKind
• | Type'anyPointer'unconstrained'struct
• | Type'anyPointer'unconstrained'list
• | Type'anyPointer'unconstrained'capability
• | Type'anyPointer'unconstrained'unknown' Word16

data Type'anyPointer'parameter

Instances

Allocate Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'anyPointer'parameter

Methods

new :: RWCtx m s => AllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw Type'anyPointer'parameter ('Mut s))

AllocateList Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'anyPointer'parameter

Methods

newList :: RWCtx m s => ListAllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw (List Type'anyPointer'parameter) ('Mut s))

HasTypeId Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "parameterIndex" 'Slot Type'anyPointer'parameter Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'anyPointer'parameter Word16

HasField "scopeId" 'Slot Type'anyPointer'parameter Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'anyPointer'parameter Word64

HasVariant "parameter" 'Group Type'anyPointer Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'parameter

EstimateAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'anyPointer'parameter -> AllocHint Type'anyPointer'parameter

EstimateListAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'anyPointer'parameter) -> AllocHint (List Type'anyPointer'parameter)

Marshal Type'anyPointer'parameter (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'anyPointer'parameter ('Mut s) -> Parsed Type'anyPointer'parameter -> m ()

Parse Type'anyPointer'parameter (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'anyPointer'parameter 'Const -> m (Parsed Type'anyPointer'parameter)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'parameter -> m (Raw Type'anyPointer'parameter ('Mut s))

Generic (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'anyPointer'parameter) :: Type -> Type

Methods

from :: Parsed Type'anyPointer'parameter -> Rep (Parsed Type'anyPointer'parameter) x

to :: Rep (Parsed Type'anyPointer'parameter) x -> Parsed Type'anyPointer'parameter

Show (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'anyPointer'parameter -> ShowS

show :: Parsed Type'anyPointer'parameter -> String

showList :: [Parsed Type'anyPointer'parameter] -> ShowS

Eq (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'anyPointer'parameter -> Parsed Type'anyPointer'parameter -> Bool

(/=) :: Parsed Type'anyPointer'parameter -> Parsed Type'anyPointer'parameter -> Bool

type AllocHint Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'anyPointer'parameter = ()

type ListAllocHint Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'anyPointer'parameter = Int

data Parsed Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'anyPointer'parameter = Type'anyPointer'parameter' {

• scopeId :: Parsed Word64
• parameterIndex :: Parsed Word16

}

type ReprFor Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'anyPointer'parameter = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'anyPointer'parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'parameter'" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "parameterIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))))

data Type'anyPointer'implicitMethodParameter

Instances

Allocate Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Type'anyPointer'implicitMethodParameter

Methods

new :: RWCtx m s => AllocHint Type'anyPointer'implicitMethodParameter -> Message ('Mut s) -> m (Raw Type'anyPointer'implicitMethodParameter ('Mut s))

AllocateList Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Type'anyPointer'implicitMethodParameter

Methods

newList :: RWCtx m s => ListAllocHint Type'anyPointer'implicitMethodParameter -> Message ('Mut s) -> m (Raw (List Type'anyPointer'implicitMethodParameter) ('Mut s))

HasTypeId Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "parameterIndex" 'Slot Type'anyPointer'implicitMethodParameter Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'anyPointer'implicitMethodParameter Word16

HasVariant "implicitMethodParameter" 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter

EstimateAlloc Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Type'anyPointer'implicitMethodParameter -> AllocHint Type'anyPointer'implicitMethodParameter

EstimateListAlloc Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Type'anyPointer'implicitMethodParameter) -> AllocHint (List Type'anyPointer'implicitMethodParameter)

Marshal Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Type'anyPointer'implicitMethodParameter ('Mut s) -> Parsed Type'anyPointer'implicitMethodParameter -> m ()

Parse Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Type'anyPointer'implicitMethodParameter 'Const -> m (Parsed Type'anyPointer'implicitMethodParameter)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'implicitMethodParameter -> m (Raw Type'anyPointer'implicitMethodParameter ('Mut s))

Generic (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Type'anyPointer'implicitMethodParameter) :: Type -> Type

Methods

from :: Parsed Type'anyPointer'implicitMethodParameter -> Rep (Parsed Type'anyPointer'implicitMethodParameter) x

to :: Rep (Parsed Type'anyPointer'implicitMethodParameter) x -> Parsed Type'anyPointer'implicitMethodParameter

Show (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Type'anyPointer'implicitMethodParameter -> ShowS

show :: Parsed Type'anyPointer'implicitMethodParameter -> String

showList :: [Parsed Type'anyPointer'implicitMethodParameter] -> ShowS

Eq (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Type'anyPointer'implicitMethodParameter -> Parsed Type'anyPointer'implicitMethodParameter -> Bool

(/=) :: Parsed Type'anyPointer'implicitMethodParameter -> Parsed Type'anyPointer'implicitMethodParameter -> Bool

type AllocHint Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Type'anyPointer'implicitMethodParameter = ()

type ListAllocHint Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Type'anyPointer'implicitMethodParameter = Int

data Parsed Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

data Parsed Type'anyPointer'implicitMethodParameter = Type'anyPointer'implicitMethodParameter' {

• parameterIndex :: Parsed Word16

}

type ReprFor Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Type'anyPointer'implicitMethodParameter = 'Ptr ('Just 'Struct)

type Rep (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Type'anyPointer'implicitMethodParameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'implicitMethodParameter'" 'PrefixI 'True) (S1 ('MetaSel ('Just "parameterIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))))

data Brand

Instances

Allocate Brand

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Brand

Methods

new :: RWCtx m s => AllocHint Brand -> Message ('Mut s) -> m (Raw Brand ('Mut s))

AllocateList Brand

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Brand

Methods

newList :: RWCtx m s => ListAllocHint Brand -> Message ('Mut s) -> m (Raw (List Brand) ('Mut s))

HasTypeId Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Annotation Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Annotation Brand

HasField "brand" 'Slot Superclass Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Superclass Brand

HasField "brand" 'Slot Type'enum Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'enum Brand

HasField "brand" 'Slot Type'interface Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'interface Brand

HasField "brand" 'Slot Type'struct Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Type'struct Brand

HasField "paramBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "resultBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "scopes" 'Slot Brand (List Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Brand (List Brand'Scope)

EstimateAlloc Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Brand -> AllocHint Brand

EstimateListAlloc Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Brand) -> AllocHint (List Brand)

Marshal Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Brand ('Mut s) -> Parsed Brand -> m ()

Parse Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Brand 'Const -> m (Parsed Brand)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand -> m (Raw Brand ('Mut s))

Generic (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Brand) :: Type -> Type

Methods

from :: Parsed Brand -> Rep (Parsed Brand) x

to :: Rep (Parsed Brand) x -> Parsed Brand

Show (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Brand -> ShowS

show :: Parsed Brand -> String

showList :: [Parsed Brand] -> ShowS

Eq (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Brand -> Parsed Brand -> Bool

(/=) :: Parsed Brand -> Parsed Brand -> Bool

type AllocHint Brand

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Brand = ()

type ListAllocHint Brand

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Brand = Int

data Parsed Brand

Defined in Capnp.Gen.Capnp.Schema

data Parsed Brand = Brand {

• scopes :: Parsed (List Brand'Scope)

}

type ReprFor Brand

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Brand = 'Ptr ('Just 'Struct)

type Rep (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Brand) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Brand'Scope)))))

data Brand'Scope

Instances

Allocate Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Brand'Scope

Methods

new :: RWCtx m s => AllocHint Brand'Scope -> Message ('Mut s) -> m (Raw Brand'Scope ('Mut s))

AllocateList Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Brand'Scope

Methods

newList :: RWCtx m s => ListAllocHint Brand'Scope -> Message ('Mut s) -> m (Raw (List Brand'Scope) ('Mut s))

HasTypeId Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Brand'Scope

data RawWhich Brand'Scope mut

Methods

unionField :: Field 'Slot Brand'Scope Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Brand'Scope mut -> m (RawWhich Brand'Scope mut)

HasField "scopeId" 'Slot Brand'Scope Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Brand'Scope Word64

HasVariant "inherit" 'Slot Brand'Scope ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Scope ()

HasField "scopes" 'Slot Brand (List Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Brand (List Brand'Scope)

HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding)

EstimateAlloc Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Brand'Scope -> AllocHint Brand'Scope

EstimateListAlloc Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Brand'Scope) -> AllocHint (List Brand'Scope)

Marshal Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Brand'Scope ('Mut s) -> Parsed Brand'Scope -> m ()

Parse Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Brand'Scope 'Const -> m (Parsed Brand'Scope)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Scope -> m (Raw Brand'Scope ('Mut s))

Generic (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Brand'Scope)) :: Type -> Type

Methods

from :: Parsed (Which Brand'Scope) -> Rep (Parsed (Which Brand'Scope)) x

to :: Rep (Parsed (Which Brand'Scope)) x -> Parsed (Which Brand'Scope)

Generic (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Brand'Scope) :: Type -> Type

Methods

from :: Parsed Brand'Scope -> Rep (Parsed Brand'Scope) x

to :: Rep (Parsed Brand'Scope) x -> Parsed Brand'Scope

Show (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Brand'Scope) -> ShowS

show :: Parsed (Which Brand'Scope) -> String

showList :: [Parsed (Which Brand'Scope)] -> ShowS

Show (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Brand'Scope -> ShowS

show :: Parsed Brand'Scope -> String

showList :: [Parsed Brand'Scope] -> ShowS

Eq (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Brand'Scope) -> Parsed (Which Brand'Scope) -> Bool

(/=) :: Parsed (Which Brand'Scope) -> Parsed (Which Brand'Scope) -> Bool

Eq (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Brand'Scope -> Parsed Brand'Scope -> Bool

(/=) :: Parsed Brand'Scope -> Parsed Brand'Scope -> Bool

Marshal (Which Brand'Scope) (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Brand'Scope) ('Mut s) -> Parsed (Which Brand'Scope) -> m ()

Parse (Which Brand'Scope) (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Brand'Scope) 'Const -> m (Parsed (Which Brand'Scope))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Scope) -> m (Raw (Which Brand'Scope) ('Mut s))

type AllocHint Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Brand'Scope = ()

type ListAllocHint Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Brand'Scope = Int

data Parsed Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

data Parsed Brand'Scope = Brand'Scope {

• scopeId :: Parsed Word64
• union' :: Parsed (Which Brand'Scope)

}

data RawWhich Brand'Scope mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Brand'Scope mut_

• = RW_Brand'Scope'bind (Raw (List Brand'Binding) mut_)
• | RW_Brand'Scope'inherit (Raw () mut_)
• | RW_Brand'Scope'unknown' Word16

data Which Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

data Which Brand'Scope

type ReprFor Brand'Scope

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Brand'Scope = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Brand'Scope)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Scope'bind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Brand'Binding)))) :+: (C1 ('MetaCons "Brand'Scope'inherit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Brand'Scope'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Brand'Scope) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Scope" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Brand'Scope)))))

data Parsed (Which Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Brand'Scope)

• = Brand'Scope'bind (Parsed (List Brand'Binding))
• | Brand'Scope'inherit
• | Brand'Scope'unknown' Word16

data Brand'Binding

Instances

Allocate Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Brand'Binding

Methods

new :: RWCtx m s => AllocHint Brand'Binding -> Message ('Mut s) -> m (Raw Brand'Binding ('Mut s))

AllocateList Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Brand'Binding

Methods

newList :: RWCtx m s => ListAllocHint Brand'Binding -> Message ('Mut s) -> m (Raw (List Brand'Binding) ('Mut s))

HasTypeId Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Brand'Binding

data RawWhich Brand'Binding mut

Methods

unionField :: Field 'Slot Brand'Binding Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Brand'Binding mut -> m (RawWhich Brand'Binding mut)

HasVariant "type_" 'Slot Brand'Binding Type

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Binding Type

HasVariant "unbound" 'Slot Brand'Binding ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Binding ()

HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding)

EstimateAlloc Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Brand'Binding -> AllocHint Brand'Binding

EstimateListAlloc Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Brand'Binding) -> AllocHint (List Brand'Binding)

Marshal Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Brand'Binding ('Mut s) -> Parsed Brand'Binding -> m ()

Parse Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Brand'Binding 'Const -> m (Parsed Brand'Binding)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Binding -> m (Raw Brand'Binding ('Mut s))

Generic (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Brand'Binding)) :: Type -> Type

Methods

from :: Parsed (Which Brand'Binding) -> Rep (Parsed (Which Brand'Binding)) x

to :: Rep (Parsed (Which Brand'Binding)) x -> Parsed (Which Brand'Binding)

Generic (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Brand'Binding) :: Type -> Type

Methods

from :: Parsed Brand'Binding -> Rep (Parsed Brand'Binding) x

to :: Rep (Parsed Brand'Binding) x -> Parsed Brand'Binding

Show (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Brand'Binding) -> ShowS

show :: Parsed (Which Brand'Binding) -> String

showList :: [Parsed (Which Brand'Binding)] -> ShowS

Show (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Brand'Binding -> ShowS

show :: Parsed Brand'Binding -> String

showList :: [Parsed Brand'Binding] -> ShowS

Eq (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Brand'Binding) -> Parsed (Which Brand'Binding) -> Bool

(/=) :: Parsed (Which Brand'Binding) -> Parsed (Which Brand'Binding) -> Bool

Eq (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Brand'Binding -> Parsed Brand'Binding -> Bool

(/=) :: Parsed Brand'Binding -> Parsed Brand'Binding -> Bool

Marshal (Which Brand'Binding) (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Brand'Binding) ('Mut s) -> Parsed (Which Brand'Binding) -> m ()

Parse (Which Brand'Binding) (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Brand'Binding) 'Const -> m (Parsed (Which Brand'Binding))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Binding) -> m (Raw (Which Brand'Binding) ('Mut s))

type AllocHint Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Brand'Binding = ()

type ListAllocHint Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Brand'Binding = Int

data Parsed Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

data Parsed Brand'Binding = Brand'Binding {

• union' :: Parsed (Which Brand'Binding)

}

data RawWhich Brand'Binding mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Brand'Binding mut_

• = RW_Brand'Binding'unbound (Raw () mut_)
• | RW_Brand'Binding'type_ (Raw Type mut_)
• | RW_Brand'Binding'unknown' Word16

data Which Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

data Which Brand'Binding

type ReprFor Brand'Binding

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Brand'Binding = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Brand'Binding)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Binding'unbound" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Brand'Binding'type_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))) :+: C1 ('MetaCons "Brand'Binding'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))

type Rep (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Brand'Binding) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Binding" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Brand'Binding)))))

data Parsed (Which Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Brand'Binding)

• = Brand'Binding'unbound
• | Brand'Binding'type_ (Parsed Type)
• | Brand'Binding'unknown' Word16

data Value

Instances

Allocate Value

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Value

Methods

new :: RWCtx m s => AllocHint Value -> Message ('Mut s) -> m (Raw Value ('Mut s))

AllocateList Value

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Value

Methods

newList :: RWCtx m s => ListAllocHint Value -> Message ('Mut s) -> m (Raw (List Value) ('Mut s))

HasTypeId Value

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Value

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasUnion Value

Defined in Capnp.Gen.Capnp.Schema

Associated Types

data Which Value

data RawWhich Value mut

Methods

unionField :: Field 'Slot Value Word16

internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Value mut -> m (RawWhich Value mut)

HasField "defaultValue" 'Slot Field'slot Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Field'slot Value

HasField "value" 'Slot Annotation Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Annotation Value

HasField "value" 'Slot Node'const Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'const Value

HasVariant "bool" 'Slot Value Bool

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Bool

HasVariant "data_" 'Slot Value Data

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Data

HasVariant "enum" 'Slot Value Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Word16

HasVariant "float32" 'Slot Value Float

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Float

HasVariant "float64" 'Slot Value Double

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Double

HasVariant "int16" 'Slot Value Int16

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Int16

HasVariant "int32" 'Slot Value Int32

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Int32

HasVariant "int64" 'Slot Value Int64

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Int64

HasVariant "int8" 'Slot Value Int8

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Int8

HasVariant "interface" 'Slot Value ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value ()

HasVariant "text" 'Slot Value Text

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Text

HasVariant "uint16" 'Slot Value Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Word16

HasVariant "uint32" 'Slot Value Word32

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Word32

HasVariant "uint64" 'Slot Value Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Word64

HasVariant "uint8" 'Slot Value Word8

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value Word8

HasVariant "void" 'Slot Value ()

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value ()

HasVariant "anyPointer" 'Slot Value (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer)

HasVariant "list" 'Slot Value (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer)

HasVariant "struct" 'Slot Value (Maybe AnyPointer)

Defined in Capnp.Gen.Capnp.Schema

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer)

EstimateAlloc Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Value -> AllocHint Value

EstimateListAlloc Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Value) -> AllocHint (List Value)

Marshal Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Value ('Mut s) -> Parsed Value -> m ()

Parse Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Value 'Const -> m (Parsed Value)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Value -> m (Raw Value ('Mut s))

Generic (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed (Which Value)) :: Type -> Type

Methods

from :: Parsed (Which Value) -> Rep (Parsed (Which Value)) x

to :: Rep (Parsed (Which Value)) x -> Parsed (Which Value)

Generic (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Value) :: Type -> Type

Methods

from :: Parsed Value -> Rep (Parsed Value) x

to :: Rep (Parsed Value) x -> Parsed Value

Show (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed (Which Value) -> ShowS

show :: Parsed (Which Value) -> String

showList :: [Parsed (Which Value)] -> ShowS

Show (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Value -> ShowS

show :: Parsed Value -> String

showList :: [Parsed Value] -> ShowS

Eq (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed (Which Value) -> Parsed (Which Value) -> Bool

(/=) :: Parsed (Which Value) -> Parsed (Which Value) -> Bool

Eq (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Value -> Parsed Value -> Bool

(/=) :: Parsed Value -> Parsed Value -> Bool

Marshal (Which Value) (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw (Which Value) ('Mut s) -> Parsed (Which Value) -> m ()

Parse (Which Value) (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw (Which Value) 'Const -> m (Parsed (Which Value))

encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Value) -> m (Raw (Which Value) ('Mut s))

type AllocHint Value

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Value = ()

type ListAllocHint Value

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Value = Int

data Parsed Value

Defined in Capnp.Gen.Capnp.Schema

data Parsed Value = Value {

• union' :: Parsed (Which Value)

}

data RawWhich Value mut_

Defined in Capnp.Gen.Capnp.Schema

data RawWhich Value mut_

• = RW_Value'void (Raw () mut_)
• | RW_Value'bool (Raw Bool mut_)
• | RW_Value'int8 (Raw Int8 mut_)
• | RW_Value'int16 (Raw Int16 mut_)
• | RW_Value'int32 (Raw Int32 mut_)
• | RW_Value'int64 (Raw Int64 mut_)
• | RW_Value'uint8 (Raw Word8 mut_)
• | RW_Value'uint16 (Raw Word16 mut_)
• | RW_Value'uint32 (Raw Word32 mut_)
• | RW_Value'uint64 (Raw Word64 mut_)
• | RW_Value'float32 (Raw Float mut_)
• | RW_Value'float64 (Raw Double mut_)
• | RW_Value'text (Raw Text mut_)
• | RW_Value'data_ (Raw Data mut_)
• | RW_Value'list (Raw (Maybe AnyPointer) mut_)
• | RW_Value'enum (Raw Word16 mut_)
• | RW_Value'struct (Raw (Maybe AnyPointer) mut_)
• | RW_Value'interface (Raw () mut_)
• | RW_Value'anyPointer (Raw (Maybe AnyPointer) mut_)
• | RW_Value'unknown' Word16

data Which Value

Defined in Capnp.Gen.Capnp.Schema

data Which Value

type ReprFor Value

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Value = 'Ptr ('Just 'Struct)

type Rep (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed (Which Value)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((((C1 ('MetaCons "Value'void" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Value'bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :+: (C1 ('MetaCons "Value'int8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int8))) :+: (C1 ('MetaCons "Value'int16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int16))) :+: C1 ('MetaCons "Value'int32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int32)))))) :+: ((C1 ('MetaCons "Value'int64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int64))) :+: C1 ('MetaCons "Value'uint8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)))) :+: (C1 ('MetaCons "Value'uint16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: (C1 ('MetaCons "Value'uint32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "Value'uint64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))))) :+: (((C1 ('MetaCons "Value'float32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Float))) :+: C1 ('MetaCons "Value'float64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Double)))) :+: (C1 ('MetaCons "Value'text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))) :+: (C1 ('MetaCons "Value'data_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Data))) :+: C1 ('MetaCons "Value'list" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))))) :+: ((C1 ('MetaCons "Value'enum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: C1 ('MetaCons "Value'struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))) :+: (C1 ('MetaCons "Value'interface" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Value'anyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Value'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))))

type Rep (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Value) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Value)))))

data Parsed (Which Value)

Defined in Capnp.Gen.Capnp.Schema

data Parsed (Which Value)

• = Value'void
• | Value'bool (Parsed Bool)
• | Value'int8 (Parsed Int8)
• | Value'int16 (Parsed Int16)
• | Value'int32 (Parsed Int32)
• | Value'int64 (Parsed Int64)
• | Value'uint8 (Parsed Word8)
• | Value'uint16 (Parsed Word16)
• | Value'uint32 (Parsed Word32)
• | Value'uint64 (Parsed Word64)
• | Value'float32 (Parsed Float)
• | Value'float64 (Parsed Double)
• | Value'text (Parsed Text)
• | Value'data_ (Parsed Data)
• | Value'list (Parsed (Maybe AnyPointer))
• | Value'enum (Parsed Word16)
• | Value'struct (Parsed (Maybe AnyPointer))
• | Value'interface
• | Value'anyPointer (Parsed (Maybe AnyPointer))
• | Value'unknown' Word16

data Annotation

Instances

Allocate Annotation

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint Annotation

Methods

new :: RWCtx m s => AllocHint Annotation -> Message ('Mut s) -> m (Raw Annotation ('Mut s))

AllocateList Annotation

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint Annotation

Methods

newList :: RWCtx m s => ListAllocHint Annotation -> Message ('Mut s) -> m (Raw (List Annotation) ('Mut s))

HasTypeId Annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct Annotation

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "brand" 'Slot Annotation Brand

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Annotation Brand

HasField "id" 'Slot Annotation Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Annotation Word64

HasField "value" 'Slot Annotation Value

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Annotation Value

HasField "annotations" 'Slot Enumerant (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Enumerant (List Annotation)

HasField "annotations" 'Slot Field (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field0 'Slot Field (List Annotation)

HasField "annotations" 'Slot Method (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Method (List Annotation)

HasField "annotations" 'Slot Node (List Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node (List Annotation)

EstimateAlloc Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed Annotation -> AllocHint Annotation

EstimateListAlloc Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed Annotation) -> AllocHint (List Annotation)

Marshal Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw Annotation ('Mut s) -> Parsed Annotation -> m ()

Parse Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw Annotation 'Const -> m (Parsed Annotation)

encode :: RWCtx m s => Message ('Mut s) -> Parsed Annotation -> m (Raw Annotation ('Mut s))

Generic (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed Annotation) :: Type -> Type

Methods

from :: Parsed Annotation -> Rep (Parsed Annotation) x

to :: Rep (Parsed Annotation) x -> Parsed Annotation

Show (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed Annotation -> ShowS

show :: Parsed Annotation -> String

showList :: [Parsed Annotation] -> ShowS

Eq (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed Annotation -> Parsed Annotation -> Bool

(/=) :: Parsed Annotation -> Parsed Annotation -> Bool

type AllocHint Annotation

Defined in Capnp.Gen.Capnp.Schema

type AllocHint Annotation = ()

type ListAllocHint Annotation

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint Annotation = Int

data Parsed Annotation

Defined in Capnp.Gen.Capnp.Schema

data Parsed Annotation = Annotation {

• id :: Parsed Word64
• value :: Parsed Value
• brand :: Parsed Brand

}

type ReprFor Annotation

Defined in Capnp.Gen.Capnp.Schema

type ReprFor Annotation = 'Ptr ('Just 'Struct)

type Rep (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed Annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand)))))

data ElementSize

Constructors

ElementSize'empty

ElementSize'bit

ElementSize'byte

ElementSize'twoBytes

ElementSize'fourBytes

ElementSize'eightBytes

ElementSize'pointer

ElementSize'inlineComposite

ElementSize'unknown' Word16

Instances

Enum ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

succ :: ElementSize -> ElementSize

pred :: ElementSize -> ElementSize

toEnum :: Int -> ElementSize

fromEnum :: ElementSize -> Int

enumFrom :: ElementSize -> [ElementSize]

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

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

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

Generic ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep ElementSize :: Type -> Type

Methods

from :: ElementSize -> Rep ElementSize x

to :: Rep ElementSize x -> ElementSize

Show ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> ElementSize -> ShowS

show :: ElementSize -> String

showList :: [ElementSize] -> ShowS

AllocateList ElementSize

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint ElementSize

Methods

newList :: RWCtx m s => ListAllocHint ElementSize -> Message ('Mut s) -> m (Raw (List ElementSize) ('Mut s))

HasTypeId ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

IsWord ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

fromWord :: Word64 -> ElementSize

toWord :: ElementSize -> Word64

Eq ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

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

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

EstimateListAlloc ElementSize ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector ElementSize -> AllocHint (List ElementSize)

Parse ElementSize ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw ElementSize 'Const -> m ElementSize

encode :: RWCtx m s => Message ('Mut s) -> ElementSize -> m (Raw ElementSize ('Mut s))

HasField "preferredListEncoding" 'Slot Node'struct ElementSize

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot Node'struct ElementSize

type Rep ElementSize

Defined in Capnp.Gen.Capnp.Schema

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

type ListAllocHint ElementSize

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint ElementSize = Int

type ReprFor ElementSize

Defined in Capnp.Gen.Capnp.Schema

type ReprFor ElementSize = 'Data 'Sz16

data CapnpVersion

Instances

Allocate CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint CapnpVersion

Methods

new :: RWCtx m s => AllocHint CapnpVersion -> Message ('Mut s) -> m (Raw CapnpVersion ('Mut s))

AllocateList CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint CapnpVersion

Methods

newList :: RWCtx m s => ListAllocHint CapnpVersion -> Message ('Mut s) -> m (Raw (List CapnpVersion) ('Mut s))

HasTypeId CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion

HasField "major" 'Slot CapnpVersion Word16

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word16

HasField "micro" 'Slot CapnpVersion Word8

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word8

HasField "minor" 'Slot CapnpVersion Word8

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word8

EstimateAlloc CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed CapnpVersion -> AllocHint CapnpVersion

EstimateListAlloc CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed CapnpVersion) -> AllocHint (List CapnpVersion)

Marshal CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw CapnpVersion ('Mut s) -> Parsed CapnpVersion -> m ()

Parse CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw CapnpVersion 'Const -> m (Parsed CapnpVersion)

encode :: RWCtx m s => Message ('Mut s) -> Parsed CapnpVersion -> m (Raw CapnpVersion ('Mut s))

Generic (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed CapnpVersion) :: Type -> Type

Methods

from :: Parsed CapnpVersion -> Rep (Parsed CapnpVersion) x

to :: Rep (Parsed CapnpVersion) x -> Parsed CapnpVersion

Show (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed CapnpVersion -> ShowS

show :: Parsed CapnpVersion -> String

showList :: [Parsed CapnpVersion] -> ShowS

Eq (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool

(/=) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool

type AllocHint CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

type AllocHint CapnpVersion = ()

type ListAllocHint CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint CapnpVersion = Int

data Parsed CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

data Parsed CapnpVersion = CapnpVersion {

• major :: Parsed Word16
• minor :: Parsed Word8
• micro :: Parsed Word8

}

type ReprFor CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

type ReprFor CapnpVersion = 'Ptr ('Just 'Struct)

type Rep (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed CapnpVersion) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CapnpVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :*: (S1 ('MetaSel ('Just "minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)) :*: S1 ('MetaSel ('Just "micro") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)))))

data CodeGeneratorRequest

Instances

Allocate CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint CodeGeneratorRequest

Methods

new :: RWCtx m s => AllocHint CodeGeneratorRequest -> Message ('Mut s) -> m (Raw CodeGeneratorRequest ('Mut s))

AllocateList CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint CodeGeneratorRequest

Methods

newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest -> Message ('Mut s) -> m (Raw (List CodeGeneratorRequest) ('Mut s))

HasTypeId CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion

HasField "nodes" 'Slot CodeGeneratorRequest (List Node)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node)

HasField "requestedFiles" 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile)

HasField "sourceInfo" 'Slot CodeGeneratorRequest (List Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node'SourceInfo)

EstimateAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed CodeGeneratorRequest -> AllocHint CodeGeneratorRequest

EstimateListAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed CodeGeneratorRequest) -> AllocHint (List CodeGeneratorRequest)

Marshal CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw CodeGeneratorRequest ('Mut s) -> Parsed CodeGeneratorRequest -> m ()

Parse CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw CodeGeneratorRequest 'Const -> m (Parsed CodeGeneratorRequest)

encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest -> m (Raw CodeGeneratorRequest ('Mut s))

Generic (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed CodeGeneratorRequest) :: Type -> Type

Methods

from :: Parsed CodeGeneratorRequest -> Rep (Parsed CodeGeneratorRequest) x

to :: Rep (Parsed CodeGeneratorRequest) x -> Parsed CodeGeneratorRequest

Show (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed CodeGeneratorRequest -> ShowS

show :: Parsed CodeGeneratorRequest -> String

showList :: [Parsed CodeGeneratorRequest] -> ShowS

Eq (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed CodeGeneratorRequest -> Parsed CodeGeneratorRequest -> Bool

(/=) :: Parsed CodeGeneratorRequest -> Parsed CodeGeneratorRequest -> Bool

type AllocHint CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

type AllocHint CodeGeneratorRequest = ()

type ListAllocHint CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint CodeGeneratorRequest = Int

data Parsed CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

data Parsed CodeGeneratorRequest = CodeGeneratorRequest {

• nodes :: Parsed (List Node)
• requestedFiles :: Parsed (List CodeGeneratorRequest'RequestedFile)
• capnpVersion :: Parsed CapnpVersion
• sourceInfo :: Parsed (List Node'SourceInfo)

}

type ReprFor CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema

type ReprFor CodeGeneratorRequest = 'Ptr ('Just 'Struct)

type Rep (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed CodeGeneratorRequest) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CodeGeneratorRequest" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node))) :*: S1 ('MetaSel ('Just "requestedFiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List CodeGeneratorRequest'RequestedFile)))) :*: (S1 ('MetaSel ('Just "capnpVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed CapnpVersion)) :*: S1 ('MetaSel ('Just "sourceInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'SourceInfo))))))

data CodeGeneratorRequest'RequestedFile

Instances

Allocate CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint CodeGeneratorRequest'RequestedFile

Methods

new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw CodeGeneratorRequest'RequestedFile ('Mut s))

AllocateList CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint CodeGeneratorRequest'RequestedFile

Methods

newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw (List CodeGeneratorRequest'RequestedFile) ('Mut s))

HasTypeId CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "filename" 'Slot CodeGeneratorRequest'RequestedFile Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Text

HasField "id" 'Slot CodeGeneratorRequest'RequestedFile Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Word64

HasField "imports" 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import)

HasField "requestedFiles" 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile)

EstimateAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile -> AllocHint CodeGeneratorRequest'RequestedFile

EstimateListAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed CodeGeneratorRequest'RequestedFile) -> AllocHint (List CodeGeneratorRequest'RequestedFile)

Marshal CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw CodeGeneratorRequest'RequestedFile ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile -> m ()

Parse CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw CodeGeneratorRequest'RequestedFile 'Const -> m (Parsed CodeGeneratorRequest'RequestedFile)

encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile -> m (Raw CodeGeneratorRequest'RequestedFile ('Mut s))

Generic (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed CodeGeneratorRequest'RequestedFile) :: Type -> Type

Methods

from :: Parsed CodeGeneratorRequest'RequestedFile -> Rep (Parsed CodeGeneratorRequest'RequestedFile) x

to :: Rep (Parsed CodeGeneratorRequest'RequestedFile) x -> Parsed CodeGeneratorRequest'RequestedFile

Show (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed CodeGeneratorRequest'RequestedFile -> ShowS

show :: Parsed CodeGeneratorRequest'RequestedFile -> String

showList :: [Parsed CodeGeneratorRequest'RequestedFile] -> ShowS

Eq (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed CodeGeneratorRequest'RequestedFile -> Parsed CodeGeneratorRequest'RequestedFile -> Bool

(/=) :: Parsed CodeGeneratorRequest'RequestedFile -> Parsed CodeGeneratorRequest'RequestedFile -> Bool

type AllocHint CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

type AllocHint CodeGeneratorRequest'RequestedFile = ()

type ListAllocHint CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint CodeGeneratorRequest'RequestedFile = Int

data Parsed CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

data Parsed CodeGeneratorRequest'RequestedFile = CodeGeneratorRequest'RequestedFile {

• id :: Parsed Word64
• filename :: Parsed Text
• imports :: Parsed (List CodeGeneratorRequest'RequestedFile'Import)

}

type ReprFor CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema

type ReprFor CodeGeneratorRequest'RequestedFile = 'Ptr ('Just 'Struct)

type Rep (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed CodeGeneratorRequest'RequestedFile) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CodeGeneratorRequest'RequestedFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: (S1 ('MetaSel ('Just "filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "imports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List CodeGeneratorRequest'RequestedFile'Import))))))

data CodeGeneratorRequest'RequestedFile'Import

Instances

Allocate CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type AllocHint CodeGeneratorRequest'RequestedFile'Import

Methods

new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s))

AllocateList CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import

Methods

newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw (List CodeGeneratorRequest'RequestedFile'Import) ('Mut s))

HasTypeId CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

Methods

typeId :: Word64

TypedStruct CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

Methods

numStructWords :: Word16

numStructPtrs :: Word16

HasField "id" 'Slot CodeGeneratorRequest'RequestedFile'Import Word64

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Word64

HasField "name" 'Slot CodeGeneratorRequest'RequestedFile'Import Text

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Text

HasField "imports" 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import)

EstimateAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile'Import -> AllocHint CodeGeneratorRequest'RequestedFile'Import

EstimateListAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

estimateListAlloc :: Vector (Parsed CodeGeneratorRequest'RequestedFile'Import) -> AllocHint (List CodeGeneratorRequest'RequestedFile'Import)

Marshal CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

marshalInto :: RWCtx m s => Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m ()

Parse CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

parse :: ReadCtx m 'Const => Raw CodeGeneratorRequest'RequestedFile'Import 'Const -> m (Parsed CodeGeneratorRequest'RequestedFile'Import)

encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m (Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s))

Generic (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Associated Types

type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) :: Type -> Type

Methods

from :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) x

to :: Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) x -> Parsed CodeGeneratorRequest'RequestedFile'Import

Show (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

showsPrec :: Int -> Parsed CodeGeneratorRequest'RequestedFile'Import -> ShowS

show :: Parsed CodeGeneratorRequest'RequestedFile'Import -> String

showList :: [Parsed CodeGeneratorRequest'RequestedFile'Import] -> ShowS

Eq (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

Methods

(==) :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Parsed CodeGeneratorRequest'RequestedFile'Import -> Bool

(/=) :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Parsed CodeGeneratorRequest'RequestedFile'Import -> Bool

type AllocHint CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

type AllocHint CodeGeneratorRequest'RequestedFile'Import = ()

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import = Int

data Parsed CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

data Parsed CodeGeneratorRequest'RequestedFile'Import = CodeGeneratorRequest'RequestedFile'Import {

• id :: Parsed Word64
• name :: Parsed Text

}

type ReprFor CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema

type ReprFor CodeGeneratorRequest'RequestedFile'Import = 'Ptr ('Just 'Struct)

type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema

type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CodeGeneratorRequest'RequestedFile'Import" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))