Capnp.Gen.Capnp.Schema.New

Documentation

data Node

Instances

TypedStruct Node

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node

Methods

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

Allocate Node

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node

Methods

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

HasUnion Node

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Node

data RawWhich mut Node

Methods

unionField :: Field 'Slot Node Word16

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

HasVariant "annotation" 'Group Node Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'annotation

HasVariant "const" 'Group Node Node'const

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'const

HasVariant "enum" 'Group Node Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'enum

HasVariant "file" 'Slot Node ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Node ()

HasVariant "interface" 'Group Node Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'interface

HasVariant "struct" 'Group Node Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'struct

HasField "displayName" 'Slot Node Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Text

HasField "displayNamePrefixLength" 'Slot Node Word32

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Word32

HasField "id" 'Slot Node Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Word64

HasField "isGeneric" 'Slot Node Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Bool

HasField "scopeId" 'Slot Node Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Word64

HasField "annotations" 'Slot Node (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node (List Annotation)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

HasField "nodes" 'Slot CodeGeneratorRequest (List Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Node -> AllocHint Node

Parse Node (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

showsPrec :: Int -> Parsed Node -> ShowS

show :: Parsed Node -> String

showList :: [Parsed Node] -> ShowS

Generic (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Associated Types

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

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Node

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node

Defined in Capnp.Gen.Capnp.Schema.New

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)

}

type ListAllocHint Node

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node = Int

type AllocHint Node

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node = ()

data Which Node

Defined in Capnp.Gen.Capnp.Schema.New

data Which Node

data RawWhich mut_ Node

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Node

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

type Rep (Parsed (Which Node))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Node)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Node) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

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

TypedStruct Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'struct

Methods

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

Allocate Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'struct

Methods

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

HasVariant "struct" 'Group Node Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'struct

HasField "dataWordCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "discriminantCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "discriminantOffset" 'Slot Node'struct Word32

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct Word32

HasField "isGroup" 'Slot Node'struct Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct Bool

HasField "pointerCount" 'Slot Node'struct Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct Word16

HasField "preferredListEncoding" 'Slot Node'struct ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct ElementSize

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'struct (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'struct -> String

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

Generic (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

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 ListAllocHint Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'struct = Int

type AllocHint Node'struct

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'struct = ()

type Rep (Parsed Node'struct)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'enum

Methods

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

Allocate Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'enum

Methods

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

HasVariant "enum" 'Group Node Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'enum

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'enum (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'enum -> String

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

Generic (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'enum = Node'enum' {

• enumerants :: Parsed (List Enumerant)

}

type ListAllocHint Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'enum = Int

type AllocHint Node'enum

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'enum = ()

type Rep (Parsed Node'enum)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Node'interface

Instances

TypedStruct Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'interface

Methods

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

Allocate Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'interface

Methods

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

HasVariant "interface" 'Group Node Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'interface

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'interface (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'interface -> String

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

Generic (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'interface = Node'interface' {

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

}

type ListAllocHint Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'interface = Int

type AllocHint Node'interface

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'interface = ()

type Rep (Parsed Node'interface)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'const

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'const

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'const

Methods

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

Allocate Node'const

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'const

Methods

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

HasVariant "const" 'Group Node Node'const

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'const

HasField "type_" 'Slot Node'const Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'const Type

HasField "value" 'Slot Node'const Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'const Value

EstimateListAlloc Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'const (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'const -> String

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

Generic (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'const

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'const

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'const = Node'const' {

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

}

type ListAllocHint Node'const

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'const = Int

type AllocHint Node'const

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'const = ()

type Rep (Parsed Node'const)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'const) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'annotation

Methods

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

Allocate Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'annotation

Methods

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

HasVariant "annotation" 'Group Node Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Node Node'annotation

HasField "targetsAnnotation" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsConst" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsEnum" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsEnumerant" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsField" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsFile" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsGroup" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsInterface" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsMethod" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsParam" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsStruct" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "targetsUnion" 'Slot Node'annotation Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Bool

HasField "type_" 'Slot Node'annotation Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Type

EstimateListAlloc Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'annotation (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'annotation -> String

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

Generic (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

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 ListAllocHint Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'annotation = Int

type AllocHint Node'annotation

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'annotation = ()

type Rep (Parsed Node'annotation)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'Parameter

Methods

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

Allocate Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'Parameter

Methods

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

HasField "name" 'Slot Node'Parameter Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'Parameter Text

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'Parameter (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'Parameter -> String

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

Generic (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'Parameter = Node'Parameter {

• name :: Parsed Text

}

type ListAllocHint Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'Parameter = Int

type AllocHint Node'Parameter

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'Parameter = ()

type Rep (Parsed Node'Parameter)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Node'NestedNode

Instances

TypedStruct Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'NestedNode

Methods

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

Allocate Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'NestedNode

Methods

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

HasField "id" 'Slot Node'NestedNode Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'NestedNode Word64

HasField "name" 'Slot Node'NestedNode Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'NestedNode Text

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'NestedNode (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'NestedNode -> String

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

Generic (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'NestedNode = Node'NestedNode {

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

}

type ListAllocHint Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'NestedNode = Int

type AllocHint Node'NestedNode

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'NestedNode = ()

type Rep (Parsed Node'NestedNode)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'NestedNode) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'SourceInfo

Methods

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

Allocate Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'SourceInfo

Methods

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

HasField "docComment" 'Slot Node'SourceInfo Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo Text

HasField "id" 'Slot Node'SourceInfo Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo Word64

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Node'SourceInfo (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Node'SourceInfo -> String

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

Generic (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Node'SourceInfo = Node'SourceInfo {

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

}

type ListAllocHint Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'SourceInfo = Int

type AllocHint Node'SourceInfo

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'SourceInfo = ()

type Rep (Parsed Node'SourceInfo)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Node'SourceInfo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Node'SourceInfo'Member

Methods

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

Allocate Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Node'SourceInfo'Member

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

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

Generic (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

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

• docComment :: Parsed Text

}

type ListAllocHint Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Node'SourceInfo'Member = Int

type AllocHint Node'SourceInfo'Member

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Node'SourceInfo'Member = ()

type Rep (Parsed Node'SourceInfo'Member)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Field

Instances

TypedStruct Field

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Field

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Field

Methods

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

Allocate Field

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Field

Methods

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

HasUnion Field

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Field

data RawWhich mut Field

Methods

unionField :: Field0 'Slot Field Word16

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

HasVariant "group" 'Group Field Field'group

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Field Field'group

HasVariant "slot" 'Group Field Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Field Field'slot

HasField "codeOrder" 'Slot Field Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field Word16

HasField "discriminantValue" 'Slot Field Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field Word16

HasField "name" 'Slot Field Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field Text

HasField "ordinal" 'Group Field Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Group Field Field'ordinal

HasField "annotations" 'Slot Field (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field (List Annotation)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Field -> AllocHint Field

Parse Field (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Field)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

showsPrec :: Int -> Parsed Field -> ShowS

show :: Parsed Field -> String

showList :: [Parsed Field] -> ShowS

Generic (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Associated Types

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

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Field

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Field

Defined in Capnp.Gen.Capnp.Schema.New

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)

}

type ListAllocHint Field

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Field = Int

type AllocHint Field

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Field = ()

data Which Field

Defined in Capnp.Gen.Capnp.Schema.New

data Which Field

data RawWhich mut_ Field

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Field

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

type Rep (Parsed (Which Field))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Field)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Field) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

data Parsed (Which Field)

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

data Field'slot

Instances

TypedStruct Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Field'slot

Methods

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

Allocate Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Field'slot

Methods

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

HasVariant "slot" 'Group Field Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Field Field'slot

HasField "defaultValue" 'Slot Field'slot Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Value

HasField "hadExplicitDefault" 'Slot Field'slot Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Bool

HasField "offset" 'Slot Field'slot Word32

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Word32

HasField "type_" 'Slot Field'slot Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Type

EstimateListAlloc Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Field'slot (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Field'slot -> String

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

Generic (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Field'slot = Field'slot' {

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

}

type ListAllocHint Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Field'slot = Int

type AllocHint Field'slot

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Field'slot = ()

type Rep (Parsed Field'slot)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Field'slot) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Field'group

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Field'group

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Field'group

Methods

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

Allocate Field'group

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Field'group

Methods

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

HasVariant "group" 'Group Field Field'group

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Field Field'group

HasField "typeId" 'Slot Field'group Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'group Word64

EstimateListAlloc Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Field'group (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Field'group -> String

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

Generic (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Field'group

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Field'group

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Field'group = Field'group' {

• typeId :: Parsed Word64

}

type ListAllocHint Field'group

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Field'group = Int

type AllocHint Field'group

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Field'group = ()

type Rep (Parsed Field'group)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Field'ordinal

Instances

TypedStruct Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Field'ordinal

Methods

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

Allocate Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Field'ordinal

Methods

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

HasUnion Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Field'ordinal

data RawWhich mut Field'ordinal

Methods

unionField :: Field 'Slot Field'ordinal Word16

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

HasVariant "explicit" 'Slot Field'ordinal Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Field'ordinal Word16

HasVariant "implicit" 'Slot Field'ordinal ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Field'ordinal ()

HasField "ordinal" 'Group Field Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Group Field Field'ordinal

EstimateListAlloc Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Field'ordinal (Parsed Field'ordinal)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Show (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

show :: Parsed Field'ordinal -> String

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

Generic (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Field'ordinal = Field'ordinal' {

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

}

type ListAllocHint Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Field'ordinal = Int

type AllocHint Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Field'ordinal = ()

data Which Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

data Which Field'ordinal

data RawWhich mut_ Field'ordinal

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Field'ordinal

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

type Rep (Parsed (Which Field'ordinal))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Field'ordinal)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Field'ordinal) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

data Parsed (Which Field'ordinal)

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

field'noDiscriminant :: Word16

data Enumerant

Instances

TypedStruct Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Enumerant

Methods

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

Allocate Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Enumerant

Methods

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

HasField "codeOrder" 'Slot Enumerant Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Enumerant Word16

HasField "name" 'Slot Enumerant Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Enumerant Text

HasField "annotations" 'Slot Enumerant (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Enumerant (List Annotation)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Enumerant -> AllocHint Enumerant

Parse Enumerant (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed Enumerant -> ShowS

show :: Parsed Enumerant -> String

showList :: [Parsed Enumerant] -> ShowS

Generic (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Enumerant = Enumerant {

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

}

type ListAllocHint Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Enumerant = Int

type AllocHint Enumerant

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Enumerant = ()

type Rep (Parsed Enumerant)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Enumerant) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Superclass

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Superclass

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Superclass

Methods

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

Allocate Superclass

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Superclass

Methods

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

HasField "brand" 'Slot Superclass Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Superclass Brand

HasField "id" 'Slot Superclass Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Superclass Word64

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Superclass -> AllocHint Superclass

Parse Superclass (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed Superclass -> ShowS

show :: Parsed Superclass -> String

showList :: [Parsed Superclass] -> ShowS

Generic (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor Superclass

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Superclass

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Superclass = Superclass {

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

}

type ListAllocHint Superclass

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Superclass = Int

type AllocHint Superclass

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Superclass = ()

type Rep (Parsed Superclass)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Superclass) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Method

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Method

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Method

Methods

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

Allocate Method

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Method

Methods

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

HasField "codeOrder" 'Slot Method Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Word16

HasField "name" 'Slot Method Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Text

HasField "paramBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "paramStructType" 'Slot Method Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Word64

HasField "resultBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "resultStructType" 'Slot Method Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Word64

HasField "annotations" 'Slot Method (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method (List Annotation)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Method -> AllocHint Method

Parse Method (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed Method -> ShowS

show :: Parsed Method -> String

showList :: [Parsed Method] -> ShowS

Generic (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor Method

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Method

Defined in Capnp.Gen.Capnp.Schema.New

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 ListAllocHint Method

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Method = Int

type AllocHint Method

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Method = ()

type Rep (Parsed Method)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Method) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type

Methods

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

Allocate Type

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type

Methods

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

HasUnion Type

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Type

data RawWhich mut Type

Methods

unionField :: Field 'Slot Type Word16

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

HasVariant "anyPointer" 'Group Type Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'anyPointer

HasVariant "bool" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "data_" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "enum" 'Group Type Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'enum

HasVariant "float32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "float64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int16" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "int8" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "interface" 'Group Type Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'interface

HasVariant "list" 'Group Type Type'list

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'list

HasVariant "struct" 'Group Type Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'struct

HasVariant "text" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "type_" 'Slot Brand'Binding Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Brand'Binding Type

HasVariant "uint16" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint32" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint64" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "uint8" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasVariant "void" 'Slot Type ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Type ()

HasField "elementType" 'Slot Type'list Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'list Type

HasField "type_" 'Slot Field'slot Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Type

HasField "type_" 'Slot Node'annotation Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'annotation Type

HasField "type_" 'Slot Node'const Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'const Type

EstimateListAlloc Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Type -> AllocHint Type

Parse Type (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

showsPrec :: Int -> Parsed Type -> ShowS

show :: Parsed Type -> String

showList :: [Parsed Type] -> ShowS

Generic (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Associated Types

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

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Type

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type = Type {

• union' :: Parsed (Which Type)

}

type ListAllocHint Type

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type = Int

type AllocHint Type

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type = ()

data Which Type

Defined in Capnp.Gen.Capnp.Schema.New

data Which Type

data RawWhich mut_ Type

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Type

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

type Rep (Parsed (Which Type))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Type)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Type) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

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

TypedStruct Type'list

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'list

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'list

Methods

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

Allocate Type'list

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'list

Methods

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

HasVariant "list" 'Group Type Type'list

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'list

HasField "elementType" 'Slot Type'list Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'list Type

EstimateListAlloc Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Type'list (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Type'list -> String

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

Generic (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'list

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'list

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type'list = Type'list' {

• elementType :: Parsed Type

}

type ListAllocHint Type'list

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'list = Int

type AllocHint Type'list

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'list = ()

type Rep (Parsed Type'list)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Type'enum

Instances

TypedStruct Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'enum

Methods

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

Allocate Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'enum

Methods

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

HasVariant "enum" 'Group Type Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'enum

HasField "brand" 'Slot Type'enum Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'enum Brand

HasField "typeId" 'Slot Type'enum Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'enum Word64

EstimateListAlloc Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Type'enum (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Type'enum -> String

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

Generic (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type'enum = Type'enum' {

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

}

type ListAllocHint Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'enum = Int

type AllocHint Type'enum

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'enum = ()

type Rep (Parsed Type'enum)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Type'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'struct

Methods

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

Allocate Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'struct

Methods

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

HasVariant "struct" 'Group Type Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'struct

HasField "brand" 'Slot Type'struct Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'struct Brand

HasField "typeId" 'Slot Type'struct Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'struct Word64

EstimateListAlloc Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Type'struct (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Type'struct -> String

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

Generic (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type'struct = Type'struct' {

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

}

type ListAllocHint Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'struct = Int

type AllocHint Type'struct

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'struct = ()

type Rep (Parsed Type'struct)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Type'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'interface

Methods

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

Allocate Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'interface

Methods

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

HasVariant "interface" 'Group Type Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'interface

HasField "brand" 'Slot Type'interface Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'interface Brand

HasField "typeId" 'Slot Type'interface Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'interface Word64

EstimateListAlloc Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Type'interface (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed Type'interface -> String

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

Generic (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type'interface = Type'interface' {

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

}

type ListAllocHint Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'interface = Int

type AllocHint Type'interface

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'interface = ()

type Rep (Parsed Type'interface)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Type'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'anyPointer

Methods

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

Allocate Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'anyPointer

Methods

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

HasUnion Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Type'anyPointer

data RawWhich mut Type'anyPointer

Methods

unionField :: Field 'Slot Type'anyPointer Word16

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

HasVariant "anyPointer" 'Group Type Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Group Type Type'anyPointer

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Type'anyPointer (Parsed Type'anyPointer)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Show (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

show :: Parsed Type'anyPointer -> String

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

Generic (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Type'anyPointer = Type'anyPointer' {

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

}

type ListAllocHint Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'anyPointer = Int

type AllocHint Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'anyPointer = ()

data Which Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

data Which Type'anyPointer

data RawWhich mut_ Type'anyPointer

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Type'anyPointer

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

type Rep (Parsed (Which Type'anyPointer))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Type'anyPointer)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Type'anyPointer) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

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

TypedStruct Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'anyPointer'unconstrained

Methods

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

Allocate Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'anyPointer'unconstrained

Methods

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

HasUnion Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Type'anyPointer'unconstrained

data RawWhich mut Type'anyPointer'unconstrained

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

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

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

}

type ListAllocHint Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'anyPointer'unconstrained = Int

type AllocHint Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'anyPointer'unconstrained = ()

data Which Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

data Which Type'anyPointer'unconstrained

data RawWhich mut_ Type'anyPointer'unconstrained

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Type'anyPointer'unconstrained

• = 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

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

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Type'anyPointer'unconstrained)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Type'anyPointer'unconstrained) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

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

TypedStruct Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'anyPointer'parameter

Methods

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

Allocate Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'anyPointer'parameter

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

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

Generic (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

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

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

}

type ListAllocHint Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'anyPointer'parameter = Int

type AllocHint Type'anyPointer'parameter

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'anyPointer'parameter = ()

type Rep (Parsed Type'anyPointer'parameter)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Type'anyPointer'parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Type'anyPointer'implicitMethodParameter

Methods

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

Allocate Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Type'anyPointer'implicitMethodParameter

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

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

Generic (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

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

• parameterIndex :: Parsed Word16

}

type ListAllocHint Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Type'anyPointer'implicitMethodParameter = Int

type AllocHint Type'anyPointer'implicitMethodParameter

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Type'anyPointer'implicitMethodParameter = ()

type Rep (Parsed Type'anyPointer'implicitMethodParameter)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Brand

Instances

TypedStruct Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Brand

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Brand

Methods

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

Allocate Brand

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Brand

Methods

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

HasField "brand" 'Slot Annotation Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Annotation Brand

HasField "brand" 'Slot Type'interface Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'interface Brand

HasField "brand" 'Slot Type'struct Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'struct Brand

HasField "brand" 'Slot Type'enum Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Type'enum Brand

HasField "brand" 'Slot Superclass Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Superclass Brand

HasField "paramBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Brand

HasField "resultBrand" 'Slot Method Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Brand

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Brand -> AllocHint Brand

Parse Brand (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed Brand -> ShowS

show :: Parsed Brand -> String

showList :: [Parsed Brand] -> ShowS

Generic (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor Brand

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Brand

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Brand = Brand {

• scopes :: Parsed (List Brand'Scope)

}

type ListAllocHint Brand

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Brand = Int

type AllocHint Brand

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Brand = ()

type Rep (Parsed Brand)

Defined in Capnp.Gen.Capnp.Schema.New

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

data Brand'Scope

Instances

TypedStruct Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Brand'Scope

Methods

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

Allocate Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Brand'Scope

Methods

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

HasUnion Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Brand'Scope

data RawWhich mut Brand'Scope

Methods

unionField :: Field 'Slot Brand'Scope Word16

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

HasVariant "inherit" 'Slot Brand'Scope ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Brand'Scope ()

HasField "scopeId" 'Slot Brand'Scope Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Brand'Scope Word64

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Brand'Scope (Parsed Brand'Scope)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Show (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

show :: Parsed Brand'Scope -> String

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

Generic (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Brand'Scope = Brand'Scope {

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

}

type ListAllocHint Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Brand'Scope = Int

type AllocHint Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Brand'Scope = ()

data Which Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

data Which Brand'Scope

data RawWhich mut_ Brand'Scope

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Brand'Scope

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

type Rep (Parsed (Which Brand'Scope))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Brand'Scope)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Brand'Scope) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

data Parsed (Which Brand'Scope)

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

data Brand'Binding

Instances

TypedStruct Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Brand'Binding

Methods

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

Allocate Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Brand'Binding

Methods

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

HasUnion Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Brand'Binding

data RawWhich mut Brand'Binding

Methods

unionField :: Field 'Slot Brand'Binding Word16

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

HasVariant "type_" 'Slot Brand'Binding Type

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Brand'Binding Type

HasVariant "unbound" 'Slot Brand'Binding ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Brand'Binding ()

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse Brand'Binding (Parsed Brand'Binding)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

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

Show (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

show :: Parsed Brand'Binding -> String

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

Generic (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Brand'Binding = Brand'Binding {

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

}

type ListAllocHint Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Brand'Binding = Int

type AllocHint Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Brand'Binding = ()

data Which Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

data Which Brand'Binding

data RawWhich mut_ Brand'Binding

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Brand'Binding

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

type Rep (Parsed (Which Brand'Binding))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Brand'Binding)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

type Rep (Parsed Brand'Binding) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

data Parsed (Which Brand'Binding)

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

data Value

Instances

TypedStruct Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Value

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Value

Methods

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

Allocate Value

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Value

Methods

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

HasUnion Value

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

data Which Value

data RawWhich mut Value

Methods

unionField :: Field 'Slot Value Word16

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

HasVariant "anyPointer" 'Slot Value AnyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value AnyPointer

HasVariant "bool" 'Slot Value Bool

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Bool

HasVariant "data_" 'Slot Value Data

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Data

HasVariant "enum" 'Slot Value Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Word16

HasVariant "float32" 'Slot Value Float

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Float

HasVariant "float64" 'Slot Value Double

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Double

HasVariant "int16" 'Slot Value Int16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Int16

HasVariant "int32" 'Slot Value Int32

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Int32

HasVariant "int64" 'Slot Value Int64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Int64

HasVariant "int8" 'Slot Value Int8

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Int8

HasVariant "interface" 'Slot Value ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value ()

HasVariant "list" 'Slot Value AnyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value AnyPointer

HasVariant "struct" 'Slot Value AnyPointer

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value AnyPointer

HasVariant "text" 'Slot Value Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Text

HasVariant "uint16" 'Slot Value Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Word16

HasVariant "uint32" 'Slot Value Word32

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Word32

HasVariant "uint64" 'Slot Value Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Word64

HasVariant "uint8" 'Slot Value Word8

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Word8

HasVariant "void" 'Slot Value ()

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value ()

HasField "defaultValue" 'Slot Field'slot Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Field'slot Value

HasField "value" 'Slot Annotation Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Annotation Value

HasField "value" 'Slot Node'const Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'const Value

EstimateListAlloc Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Value -> AllocHint Value

Parse Value (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Value)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

showsPrec :: Int -> Parsed Value -> ShowS

show :: Parsed Value -> String

showList :: [Parsed Value] -> ShowS

Generic (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Associated Types

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

Methods

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

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

type ReprFor Value

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Value

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Value = Value {

• union' :: Parsed (Which Value)

}

type ListAllocHint Value

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Value = Int

type AllocHint Value

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Value = ()

data Which Value

Defined in Capnp.Gen.Capnp.Schema.New

data Which Value

data RawWhich mut_ Value

Defined in Capnp.Gen.Capnp.Schema.New

data RawWhich mut_ Value

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

type Rep (Parsed (Which Value))

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed (Which Value)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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 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 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 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.New

type Rep (Parsed Value) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

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 AnyPointer)
• | Value'enum (Parsed Word16)
• | Value'struct (Parsed AnyPointer)
• | Value'interface
• | Value'anyPointer (Parsed AnyPointer)
• | Value'unknown' Word16

data Annotation

Instances

TypedStruct Annotation

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList Annotation

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint Annotation

Methods

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

Allocate Annotation

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint Annotation

Methods

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

HasField "brand" 'Slot Annotation Brand

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Annotation Brand

HasField "id" 'Slot Annotation Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Annotation Word64

HasField "value" 'Slot Annotation Value

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Annotation Value

HasField "annotations" 'Slot Method (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method (List Annotation)

HasField "annotations" 'Slot Enumerant (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Enumerant (List Annotation)

HasField "annotations" 'Slot Field (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field (List Annotation)

HasField "annotations" 'Slot Node (List Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node (List Annotation)

EstimateListAlloc Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed Annotation -> AllocHint Annotation

Parse Annotation (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed Annotation -> ShowS

show :: Parsed Annotation -> String

showList :: [Parsed Annotation] -> ShowS

Generic (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor Annotation

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed Annotation

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed Annotation = Annotation {

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

}

type ListAllocHint Annotation

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint Annotation = Int

type AllocHint Annotation

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint Annotation = ()

type Rep (Parsed Annotation)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed Annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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.New

Methods

succ :: ElementSize -> ElementSize

pred :: ElementSize -> ElementSize

toEnum :: Int -> ElementSize

fromEnum :: ElementSize -> Int

enumFrom :: ElementSize -> [ElementSize]

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

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

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

Eq ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> ElementSize -> ShowS

show :: ElementSize -> String

showList :: [ElementSize] -> ShowS

IsWord ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fromWord :: Word64 -> ElementSize

toWord :: ElementSize -> Word64

AllocateList ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint ElementSize

Methods

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

EstimateListAlloc ElementSize ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse ElementSize ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

HasField "preferredListEncoding" 'Slot Node'struct ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'struct ElementSize

type ReprFor ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

type ReprFor ElementSize = 'Data 'Sz16

type ListAllocHint ElementSize

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint ElementSize = Int

data CapnpVersion

Instances

TypedStruct CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint CapnpVersion

Methods

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

Allocate CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint CapnpVersion

Methods

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

HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion

HasField "major" 'Slot CapnpVersion Word16

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word16

HasField "micro" 'Slot CapnpVersion Word8

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word8

HasField "minor" 'Slot CapnpVersion Word8

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CapnpVersion Word8

EstimateListAlloc CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed CapnpVersion -> AllocHint CapnpVersion

Parse CapnpVersion (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed CapnpVersion -> ShowS

show :: Parsed CapnpVersion -> String

showList :: [Parsed CapnpVersion] -> ShowS

Generic (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed CapnpVersion = CapnpVersion {

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

}

type ListAllocHint CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint CapnpVersion = Int

type AllocHint CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint CapnpVersion = ()

type Rep (Parsed CapnpVersion)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed CapnpVersion) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint CodeGeneratorRequest

Methods

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

Allocate CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint CodeGeneratorRequest

Methods

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

HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion

HasField "nodes" 'Slot CodeGeneratorRequest (List Node)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node)

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

estimateAlloc :: Parsed CodeGeneratorRequest -> AllocHint CodeGeneratorRequest

Parse CodeGeneratorRequest (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

showsPrec :: Int -> Parsed CodeGeneratorRequest -> ShowS

show :: Parsed CodeGeneratorRequest -> String

showList :: [Parsed CodeGeneratorRequest] -> ShowS

Generic (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

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

Methods

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

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

type ReprFor CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed CodeGeneratorRequest = CodeGeneratorRequest {

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

}

type ListAllocHint CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint CodeGeneratorRequest = Int

type AllocHint CodeGeneratorRequest

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint CodeGeneratorRequest = ()

type Rep (Parsed CodeGeneratorRequest)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed CodeGeneratorRequest) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint CodeGeneratorRequest'RequestedFile

Methods

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

Allocate CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint CodeGeneratorRequest'RequestedFile

Methods

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

HasField "filename" 'Slot CodeGeneratorRequest'RequestedFile Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Text

HasField "id" 'Slot CodeGeneratorRequest'RequestedFile Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Word64

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Marshal CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed CodeGeneratorRequest'RequestedFile -> String

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

Generic (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed CodeGeneratorRequest'RequestedFile = CodeGeneratorRequest'RequestedFile {

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

}

type ListAllocHint CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint CodeGeneratorRequest'RequestedFile = Int

type AllocHint CodeGeneratorRequest'RequestedFile

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint CodeGeneratorRequest'RequestedFile = ()

type Rep (Parsed CodeGeneratorRequest'RequestedFile)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed CodeGeneratorRequest'RequestedFile) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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

TypedStruct CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

Methods

numStructWords :: Word16

numStructPtrs :: Word16

AllocateList CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import

Methods

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

Allocate CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

Associated Types

type AllocHint CodeGeneratorRequest'RequestedFile'Import

Methods

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

HasField "id" 'Slot CodeGeneratorRequest'RequestedFile'Import Word64

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Word64

HasField "name" 'Slot CodeGeneratorRequest'RequestedFile'Import Text

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Text

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

EstimateListAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

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.New

Methods

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

EstimateAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

Parse CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Eq (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Show (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

show :: Parsed CodeGeneratorRequest'RequestedFile'Import -> String

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

Generic (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

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

type ReprFor CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

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

data Parsed CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

data Parsed CodeGeneratorRequest'RequestedFile'Import = CodeGeneratorRequest'RequestedFile'Import {

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

}

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

type ListAllocHint CodeGeneratorRequest'RequestedFile'Import = Int

type AllocHint CodeGeneratorRequest'RequestedFile'Import

Defined in Capnp.Gen.Capnp.Schema.New

type AllocHint CodeGeneratorRequest'RequestedFile'Import = ()

type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import)

Defined in Capnp.Gen.Capnp.Schema.New

type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.11.0.0-50ovYl0NjrHDYHPSniP5DX" '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))))