Safe Haskell	None
Language	Haskell2010

Capnp.Gen.Capnp.Schema.New

Documentation

data Node Source #

Instances

Instances details

TypedStruct Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node Source # Methods newList :: RWCtx m s => ListAllocHint Node -> Message ('Mut s) -> m (Raw ('Mut s) (List Node)) Source #
Allocate Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node Source # Methods new :: RWCtx m s => AllocHint Node -> Message ('Mut s) -> m (Raw ('Mut s) Node) Source #
HasUnion Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Node Source # data RawWhich mut Node Source # Methods unionField :: Field 'Slot Node Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Node -> m (RawWhich mut Node) Source #
HasVariant "annotation" 'Group Node Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'annotation Source #
HasVariant "const" 'Group Node Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'const Source #
HasVariant "enum" 'Group Node Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'enum Source #
HasVariant "file" 'Slot Node () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Node () Source #
HasVariant "interface" 'Group Node Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'interface Source #
HasVariant "struct" 'Group Node Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'struct Source #
HasField "displayName" 'Slot Node Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node Text Source #
HasField "displayNamePrefixLength" 'Slot Node Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node Word32 Source #
HasField "id" 'Slot Node Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node Word64 Source #
HasField "isGeneric" 'Slot Node Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node Bool Source #
HasField "scopeId" 'Slot Node Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node Word64 Source #
HasField "annotations" 'Slot Node (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Annotation) Source #
HasField "nestedNodes" 'Slot Node (List Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Node'NestedNode) Source #
HasField "nodes" 'Slot CodeGeneratorRequest (List Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node) Source #
HasField "parameters" 'Slot Node (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Node'Parameter) Source #
EstimateListAlloc Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node) -> AllocHint (List Node) Source #
Marshal Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node -> Parsed Node -> m () Source #
EstimateAlloc Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node -> AllocHint Node Source #
Parse Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node -> m (Parsed Node) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node -> m (Raw ('Mut s) Node) Source #
Eq (Parsed (Which Node)) Source #
Instance details 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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Node -> Parsed Node -> Bool # (/=) :: Parsed Node -> Parsed Node -> Bool #
Show (Parsed (Which Node)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Node) -> Parsed (Which Node) -> m () Source #
Parse (Which Node) (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Node) -> m (Parsed (Which Node)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Node) -> m (Raw ('Mut s) (Which Node)) Source #
type ReprFor Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node = 'Ptr ('Just 'Struct)
data Parsed Node Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node = Int
type AllocHint Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node = ()
data Which Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Node
data RawWhich mut_ Node Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Node)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'struct Source # Methods newList :: RWCtx m s => ListAllocHint Node'struct -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'struct)) Source #
Allocate Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'struct Source # Methods new :: RWCtx m s => AllocHint Node'struct -> Message ('Mut s) -> m (Raw ('Mut s) Node'struct) Source #
HasVariant "struct" 'Group Node Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'struct Source #
HasField "dataWordCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "discriminantCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "discriminantOffset" 'Slot Node'struct Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct Word32 Source #
HasField "isGroup" 'Slot Node'struct Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct Bool Source #
HasField "pointerCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "preferredListEncoding" 'Slot Node'struct ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct ElementSize Source #
HasField "fields" 'Slot Node'struct (List Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Node'struct (List Field) Source #
EstimateListAlloc Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'struct) -> AllocHint (List Node'struct) Source #
Marshal Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'struct -> Parsed Node'struct -> m () Source #
EstimateAlloc Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'struct -> AllocHint Node'struct Source #
Parse Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'struct -> m (Parsed Node'struct) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'struct -> m (Raw ('Mut s) Node'struct) Source #
Eq (Parsed Node'struct) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'struct = 'Ptr ('Just 'Struct)
data Parsed Node'struct Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'struct = Int
type AllocHint Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'struct = ()
type Rep (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'enum Source # Methods newList :: RWCtx m s => ListAllocHint Node'enum -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'enum)) Source #
Allocate Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'enum Source # Methods new :: RWCtx m s => AllocHint Node'enum -> Message ('Mut s) -> m (Raw ('Mut s) Node'enum) Source #
HasVariant "enum" 'Group Node Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'enum Source #
HasField "enumerants" 'Slot Node'enum (List Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'enum (List Enumerant) Source #
EstimateListAlloc Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'enum) -> AllocHint (List Node'enum) Source #
Marshal Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'enum -> Parsed Node'enum -> m () Source #
EstimateAlloc Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'enum -> AllocHint Node'enum Source #
Parse Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'enum -> m (Parsed Node'enum) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'enum -> m (Raw ('Mut s) Node'enum) Source #
Eq (Parsed Node'enum) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'enum = 'Ptr ('Just 'Struct)
data Parsed Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Node'enum = Node'enum' { enumerants :: Parsed (List Enumerant) }
type ListAllocHint Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'enum = Int
type AllocHint Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'enum = ()
type Rep (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Node'enum'" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumerants") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Enumerant)))))

data Node'interface Source #

Instances

Instances details

TypedStruct Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'interface Source # Methods newList :: RWCtx m s => ListAllocHint Node'interface -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'interface)) Source #
Allocate Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'interface Source # Methods new :: RWCtx m s => AllocHint Node'interface -> Message ('Mut s) -> m (Raw ('Mut s) Node'interface) Source #
HasVariant "interface" 'Group Node Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'interface Source #
HasField "methods" 'Slot Node'interface (List Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'interface (List Method) Source #
HasField "superclasses" 'Slot Node'interface (List Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'interface (List Superclass) Source #
EstimateListAlloc Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'interface) -> AllocHint (List Node'interface) Source #
Marshal Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'interface -> Parsed Node'interface -> m () Source #
EstimateAlloc Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'interface -> AllocHint Node'interface Source #
Parse Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'interface -> m (Parsed Node'interface) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'interface -> m (Raw ('Mut s) Node'interface) Source #
Eq (Parsed Node'interface) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'interface = 'Ptr ('Just 'Struct)
data Parsed Node'interface Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'interface = Int
type AllocHint Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'interface = ()
type Rep (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'const Source # Methods newList :: RWCtx m s => ListAllocHint Node'const -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'const)) Source #
Allocate Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'const Source # Methods new :: RWCtx m s => AllocHint Node'const -> Message ('Mut s) -> m (Raw ('Mut s) Node'const) Source #
HasVariant "const" 'Group Node Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'const Source #
HasField "type_" 'Slot Node'const Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'const Type Source #
HasField "value" 'Slot Node'const Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'const Value Source #
EstimateListAlloc Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'const) -> AllocHint (List Node'const) Source #
Marshal Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'const -> Parsed Node'const -> m () Source #
EstimateAlloc Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'const -> AllocHint Node'const Source #
Parse Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'const -> m (Parsed Node'const) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'const -> m (Raw ('Mut s) Node'const) Source #
Eq (Parsed Node'const) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'const = 'Ptr ('Just 'Struct)
data Parsed Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Node'const = Node'const' { type_ :: Parsed Type value :: Parsed Value }
type ListAllocHint Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'const = Int
type AllocHint Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'const = ()
type Rep (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'const) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'annotation Source # Methods newList :: RWCtx m s => ListAllocHint Node'annotation -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'annotation)) Source #
Allocate Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'annotation Source # Methods new :: RWCtx m s => AllocHint Node'annotation -> Message ('Mut s) -> m (Raw ('Mut s) Node'annotation) Source #
HasVariant "annotation" 'Group Node Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Node Node'annotation Source #
HasField "targetsAnnotation" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsConst" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsEnum" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsEnumerant" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsField" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsFile" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsGroup" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsInterface" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsMethod" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsParam" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsStruct" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsUnion" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "type_" 'Slot Node'annotation Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Type Source #
EstimateListAlloc Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'annotation) -> AllocHint (List Node'annotation) Source #
Marshal Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'annotation -> Parsed Node'annotation -> m () Source #
EstimateAlloc Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'annotation -> AllocHint Node'annotation Source #
Parse Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'annotation -> m (Parsed Node'annotation) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'annotation -> m (Raw ('Mut s) Node'annotation) Source #
Eq (Parsed Node'annotation) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'annotation = 'Ptr ('Just 'Struct)
data Parsed Node'annotation Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'annotation = Int
type AllocHint Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'annotation = ()
type Rep (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'Parameter Source # Methods newList :: RWCtx m s => ListAllocHint Node'Parameter -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'Parameter)) Source #
Allocate Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'Parameter Source # Methods new :: RWCtx m s => AllocHint Node'Parameter -> Message ('Mut s) -> m (Raw ('Mut s) Node'Parameter) Source #
HasField "name" 'Slot Node'Parameter Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'Parameter Text Source #
HasField "implicitParameters" 'Slot Method (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method (List Node'Parameter) Source #
HasField "parameters" 'Slot Node (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Node'Parameter) Source #
EstimateListAlloc Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'Parameter) -> AllocHint (List Node'Parameter) Source #
Marshal Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'Parameter -> Parsed Node'Parameter -> m () Source #
EstimateAlloc Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'Parameter -> AllocHint Node'Parameter Source #
Parse Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'Parameter -> m (Parsed Node'Parameter) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'Parameter -> m (Raw ('Mut s) Node'Parameter) Source #
Eq (Parsed Node'Parameter) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'Parameter = 'Ptr ('Just 'Struct)
data Parsed Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Node'Parameter = Node'Parameter { name :: Parsed Text }
type ListAllocHint Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'Parameter = Int
type AllocHint Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'Parameter = ()
type Rep (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'Parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Node'Parameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Node'NestedNode Source #

Instances

Instances details

TypedStruct Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'NestedNode Source # Methods newList :: RWCtx m s => ListAllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'NestedNode)) Source #
Allocate Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'NestedNode Source # Methods new :: RWCtx m s => AllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw ('Mut s) Node'NestedNode) Source #
HasField "id" 'Slot Node'NestedNode Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'NestedNode Word64 Source #
HasField "name" 'Slot Node'NestedNode Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'NestedNode Text Source #
HasField "nestedNodes" 'Slot Node (List Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Node'NestedNode) Source #
EstimateListAlloc Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'NestedNode) -> AllocHint (List Node'NestedNode) Source #
Marshal Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'NestedNode -> Parsed Node'NestedNode -> m () Source #
EstimateAlloc Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'NestedNode -> AllocHint Node'NestedNode Source #
Parse Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'NestedNode -> m (Parsed Node'NestedNode) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'NestedNode -> m (Raw ('Mut s) Node'NestedNode) Source #
Eq (Parsed Node'NestedNode) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'NestedNode = 'Ptr ('Just 'Struct)
data Parsed Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Node'NestedNode = Node'NestedNode { name :: Parsed Text id :: Parsed Word64 }
type ListAllocHint Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'NestedNode = Int
type AllocHint Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'NestedNode = ()
type Rep (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'NestedNode) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'SourceInfo Source # Methods newList :: RWCtx m s => ListAllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'SourceInfo)) Source #
Allocate Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'SourceInfo Source # Methods new :: RWCtx m s => AllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw ('Mut s) Node'SourceInfo) Source #
HasField "docComment" 'Slot Node'SourceInfo Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'SourceInfo Text Source #
HasField "id" 'Slot Node'SourceInfo Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'SourceInfo Word64 Source #
HasField "members" 'Slot Node'SourceInfo (List Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'SourceInfo (List Node'SourceInfo'Member) Source #
HasField "sourceInfo" 'Slot CodeGeneratorRequest (List Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node'SourceInfo) Source #
EstimateListAlloc Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'SourceInfo) -> AllocHint (List Node'SourceInfo) Source #
Marshal Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'SourceInfo -> Parsed Node'SourceInfo -> m () Source #
EstimateAlloc Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'SourceInfo -> AllocHint Node'SourceInfo Source #
Parse Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'SourceInfo -> m (Parsed Node'SourceInfo) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo -> m (Raw ('Mut s) Node'SourceInfo) Source #
Eq (Parsed Node'SourceInfo) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'SourceInfo = 'Ptr ('Just 'Struct)
data Parsed Node'SourceInfo Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'SourceInfo = Int
type AllocHint Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'SourceInfo = ()
type Rep (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'SourceInfo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Node'SourceInfo'Member Source # Methods newList :: RWCtx m s => ListAllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw ('Mut s) (List Node'SourceInfo'Member)) Source #
Allocate Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Node'SourceInfo'Member Source # Methods new :: RWCtx m s => AllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw ('Mut s) Node'SourceInfo'Member) Source #
HasField "docComment" 'Slot Node'SourceInfo'Member Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'SourceInfo'Member Text Source #
HasField "members" 'Slot Node'SourceInfo (List Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'SourceInfo (List Node'SourceInfo'Member) Source #
EstimateListAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Node'SourceInfo'Member) -> AllocHint (List Node'SourceInfo'Member) Source #
Marshal Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Node'SourceInfo'Member -> Parsed Node'SourceInfo'Member -> m () Source #
EstimateAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Node'SourceInfo'Member -> AllocHint Node'SourceInfo'Member Source #
Parse Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Node'SourceInfo'Member -> m (Parsed Node'SourceInfo'Member) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo'Member -> m (Raw ('Mut s) Node'SourceInfo'Member) Source #
Eq (Parsed Node'SourceInfo'Member) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Node'SourceInfo'Member = 'Ptr ('Just 'Struct)
data Parsed Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Node'SourceInfo'Member = Node'SourceInfo'Member { docComment :: Parsed Text }
type ListAllocHint Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Node'SourceInfo'Member = Int
type AllocHint Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Node'SourceInfo'Member = ()
type Rep (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Node'SourceInfo'Member) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Node'SourceInfo'Member" 'PrefixI 'True) (S1 ('MetaSel ('Just "docComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Field Source #

Instances

Instances details

TypedStruct Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Field Source # Methods newList :: RWCtx m s => ListAllocHint Field -> Message ('Mut s) -> m (Raw ('Mut s) (List Field)) Source #
Allocate Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Field Source # Methods new :: RWCtx m s => AllocHint Field -> Message ('Mut s) -> m (Raw ('Mut s) Field) Source #
HasUnion Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Field Source # data RawWhich mut Field Source # Methods unionField :: Field0 'Slot Field Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Field -> m (RawWhich mut Field) Source #
HasVariant "group" 'Group Field Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Field Field'group Source #
HasVariant "slot" 'Group Field Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Field Field'slot Source #
HasField "codeOrder" 'Slot Field Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Field Word16 Source #
HasField "discriminantValue" 'Slot Field Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Field Word16 Source #
HasField "name" 'Slot Field Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Field Text Source #
HasField "ordinal" 'Group Field Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Group Field Field'ordinal Source #
HasField "annotations" 'Slot Field (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Field (List Annotation) Source #
HasField "fields" 'Slot Node'struct (List Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Node'struct (List Field) Source #
EstimateListAlloc Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Field) -> AllocHint (List Field) Source #
Marshal Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Field -> Parsed Field -> m () Source #
EstimateAlloc Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Field -> AllocHint Field Source #
Parse Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Field -> m (Parsed Field) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field -> m (Raw ('Mut s) Field) Source #
Eq (Parsed (Which Field)) Source #
Instance details 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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Field -> Parsed Field -> Bool # (/=) :: Parsed Field -> Parsed Field -> Bool #
Show (Parsed (Which Field)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Field) -> Parsed (Which Field) -> m () Source #
Parse (Which Field) (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Field) -> m (Parsed (Which Field)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field) -> m (Raw ('Mut s) (Which Field)) Source #
type ReprFor Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Field = 'Ptr ('Just 'Struct)
data Parsed Field Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Field = Int
type AllocHint Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Field = ()
data Which Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Field
data RawWhich mut_ Field Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Field)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Field) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Field'slot Source # Methods newList :: RWCtx m s => ListAllocHint Field'slot -> Message ('Mut s) -> m (Raw ('Mut s) (List Field'slot)) Source #
Allocate Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Field'slot Source # Methods new :: RWCtx m s => AllocHint Field'slot -> Message ('Mut s) -> m (Raw ('Mut s) Field'slot) Source #
HasVariant "slot" 'Group Field Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Field Field'slot Source #
HasField "defaultValue" 'Slot Field'slot Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Value Source #
HasField "hadExplicitDefault" 'Slot Field'slot Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Bool Source #
HasField "offset" 'Slot Field'slot Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Word32 Source #
HasField "type_" 'Slot Field'slot Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Type Source #
EstimateListAlloc Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Field'slot) -> AllocHint (List Field'slot) Source #
Marshal Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Field'slot -> Parsed Field'slot -> m () Source #
EstimateAlloc Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Field'slot -> AllocHint Field'slot Source #
Parse Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Field'slot -> m (Parsed Field'slot) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'slot -> m (Raw ('Mut s) Field'slot) Source #
Eq (Parsed Field'slot) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Field'slot = 'Ptr ('Just 'Struct)
data Parsed Field'slot Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Field'slot = Int
type AllocHint Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Field'slot = ()
type Rep (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Field'slot) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Field'group Source # Methods newList :: RWCtx m s => ListAllocHint Field'group -> Message ('Mut s) -> m (Raw ('Mut s) (List Field'group)) Source #
Allocate Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Field'group Source # Methods new :: RWCtx m s => AllocHint Field'group -> Message ('Mut s) -> m (Raw ('Mut s) Field'group) Source #
HasVariant "group" 'Group Field Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Field Field'group Source #
HasField "typeId" 'Slot Field'group Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'group Word64 Source #
EstimateListAlloc Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Field'group) -> AllocHint (List Field'group) Source #
Marshal Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Field'group -> Parsed Field'group -> m () Source #
EstimateAlloc Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Field'group -> AllocHint Field'group Source #
Parse Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Field'group -> m (Parsed Field'group) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'group -> m (Raw ('Mut s) Field'group) Source #
Eq (Parsed Field'group) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Field'group = 'Ptr ('Just 'Struct)
data Parsed Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Field'group = Field'group' { typeId :: Parsed Word64 }
type ListAllocHint Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Field'group = Int
type AllocHint Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Field'group = ()
type Rep (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Field'group) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Field'group'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))

data Field'ordinal Source #

Instances

Instances details

TypedStruct Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Field'ordinal Source # Methods newList :: RWCtx m s => ListAllocHint Field'ordinal -> Message ('Mut s) -> m (Raw ('Mut s) (List Field'ordinal)) Source #
Allocate Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Field'ordinal Source # Methods new :: RWCtx m s => AllocHint Field'ordinal -> Message ('Mut s) -> m (Raw ('Mut s) Field'ordinal) Source #
HasUnion Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Field'ordinal Source # data RawWhich mut Field'ordinal Source # Methods unionField :: Field 'Slot Field'ordinal Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Field'ordinal -> m (RawWhich mut Field'ordinal) Source #
HasVariant "explicit" 'Slot Field'ordinal Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Field'ordinal Word16 Source #
HasVariant "implicit" 'Slot Field'ordinal () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Field'ordinal () Source #
HasField "ordinal" 'Group Field Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Group Field Field'ordinal Source #
EstimateListAlloc Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Field'ordinal) -> AllocHint (List Field'ordinal) Source #
Marshal Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Field'ordinal -> Parsed Field'ordinal -> m () Source #
EstimateAlloc Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Field'ordinal -> AllocHint Field'ordinal Source #
Parse Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Field'ordinal -> m (Parsed Field'ordinal) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'ordinal -> m (Raw ('Mut s) Field'ordinal) Source #
Eq (Parsed (Which Field'ordinal)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Field'ordinal) -> Parsed (Which Field'ordinal) -> m () Source #
Parse (Which Field'ordinal) (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Field'ordinal) -> m (Parsed (Which Field'ordinal)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field'ordinal) -> m (Raw ('Mut s) (Which Field'ordinal)) Source #
type ReprFor Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Field'ordinal = 'Ptr ('Just 'Struct)
data Parsed Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Field'ordinal = Field'ordinal' { union' :: Parsed (Which Field'ordinal) }
type ListAllocHint Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Field'ordinal = Int
type AllocHint Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Field'ordinal = ()
data Which Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Field'ordinal
data RawWhich mut_ Field'ordinal Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Field'ordinal)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Field'ordinal) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Field'ordinal'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Field'ordinal)))))
data Parsed (Which Field'ordinal) Source #
Instance details 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 Source #

data Enumerant Source #

Instances

Instances details

TypedStruct Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Enumerant Source # Methods newList :: RWCtx m s => ListAllocHint Enumerant -> Message ('Mut s) -> m (Raw ('Mut s) (List Enumerant)) Source #
Allocate Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Enumerant Source # Methods new :: RWCtx m s => AllocHint Enumerant -> Message ('Mut s) -> m (Raw ('Mut s) Enumerant) Source #
HasField "codeOrder" 'Slot Enumerant Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Enumerant Word16 Source #
HasField "name" 'Slot Enumerant Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Enumerant Text Source #
HasField "annotations" 'Slot Enumerant (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Enumerant (List Annotation) Source #
HasField "enumerants" 'Slot Node'enum (List Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'enum (List Enumerant) Source #
EstimateListAlloc Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Enumerant) -> AllocHint (List Enumerant) Source #
Marshal Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Enumerant -> Parsed Enumerant -> m () Source #
EstimateAlloc Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Enumerant -> AllocHint Enumerant Source #
Parse Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Enumerant -> m (Parsed Enumerant) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Enumerant -> m (Raw ('Mut s) Enumerant) Source #
Eq (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Enumerant -> Parsed Enumerant -> Bool # (/=) :: Parsed Enumerant -> Parsed Enumerant -> Bool #
Show (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed Enumerant -> ShowS # show :: Parsed Enumerant -> String # showList :: [Parsed Enumerant] -> ShowS #
Generic (Parsed Enumerant) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Enumerant = 'Ptr ('Just 'Struct)
data Parsed Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Enumerant = Enumerant { name :: Parsed Text codeOrder :: Parsed Word16 annotations :: Parsed (List Annotation) }
type ListAllocHint Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Enumerant = Int
type AllocHint Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Enumerant = ()
type Rep (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Enumerant) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Superclass Source # Methods newList :: RWCtx m s => ListAllocHint Superclass -> Message ('Mut s) -> m (Raw ('Mut s) (List Superclass)) Source #
Allocate Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Superclass Source # Methods new :: RWCtx m s => AllocHint Superclass -> Message ('Mut s) -> m (Raw ('Mut s) Superclass) Source #
HasField "brand" 'Slot Superclass Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Superclass Brand Source #
HasField "id" 'Slot Superclass Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Superclass Word64 Source #
HasField "superclasses" 'Slot Node'interface (List Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'interface (List Superclass) Source #
EstimateListAlloc Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Superclass) -> AllocHint (List Superclass) Source #
Marshal Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Superclass -> Parsed Superclass -> m () Source #
EstimateAlloc Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Superclass -> AllocHint Superclass Source #
Parse Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Superclass -> m (Parsed Superclass) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Superclass -> m (Raw ('Mut s) Superclass) Source #
Eq (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Superclass -> Parsed Superclass -> Bool # (/=) :: Parsed Superclass -> Parsed Superclass -> Bool #
Show (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed Superclass -> ShowS # show :: Parsed Superclass -> String # showList :: [Parsed Superclass] -> ShowS #
Generic (Parsed Superclass) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Superclass = 'Ptr ('Just 'Struct)
data Parsed Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Superclass = Superclass { id :: Parsed Word64 brand :: Parsed Brand }
type ListAllocHint Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Superclass = Int
type AllocHint Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Superclass = ()
type Rep (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Superclass) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Method Source # Methods newList :: RWCtx m s => ListAllocHint Method -> Message ('Mut s) -> m (Raw ('Mut s) (List Method)) Source #
Allocate Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Method Source # Methods new :: RWCtx m s => AllocHint Method -> Message ('Mut s) -> m (Raw ('Mut s) Method) Source #
HasField "codeOrder" 'Slot Method Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Word16 Source #
HasField "name" 'Slot Method Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Text Source #
HasField "paramBrand" 'Slot Method Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Brand Source #
HasField "paramStructType" 'Slot Method Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Word64 Source #
HasField "resultBrand" 'Slot Method Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Brand Source #
HasField "resultStructType" 'Slot Method Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Word64 Source #
HasField "annotations" 'Slot Method (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method (List Annotation) Source #
HasField "implicitParameters" 'Slot Method (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method (List Node'Parameter) Source #
HasField "methods" 'Slot Node'interface (List Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'interface (List Method) Source #
EstimateListAlloc Method (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Method) -> AllocHint (List Method) Source #
Marshal Method (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Method -> Parsed Method -> m () Source #
EstimateAlloc Method (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Method -> AllocHint Method Source #
Parse Method (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Method -> m (Parsed Method) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Method -> m (Raw ('Mut s) Method) Source #
Eq (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Method -> Parsed Method -> Bool # (/=) :: Parsed Method -> Parsed Method -> Bool #
Show (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed Method -> ShowS # show :: Parsed Method -> String # showList :: [Parsed Method] -> ShowS #
Generic (Parsed Method) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Method = 'Ptr ('Just 'Struct)
data Parsed Method Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Method = Int
type AllocHint Method Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Method = ()
type Rep (Parsed Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Method) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type Source # Methods newList :: RWCtx m s => ListAllocHint Type -> Message ('Mut s) -> m (Raw ('Mut s) (List Type)) Source #
Allocate Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type Source # Methods new :: RWCtx m s => AllocHint Type -> Message ('Mut s) -> m (Raw ('Mut s) Type) Source #
HasUnion Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Type Source # data RawWhich mut Type Source # Methods unionField :: Field 'Slot Type Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Type -> m (RawWhich mut Type) Source #
HasVariant "anyPointer" 'Group Type Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'anyPointer Source #
HasVariant "bool" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "data_" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "enum" 'Group Type Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'enum Source #
HasVariant "float32" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "float64" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "int16" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "int32" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "int64" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "int8" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "interface" 'Group Type Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'interface Source #
HasVariant "list" 'Group Type Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'list Source #
HasVariant "struct" 'Group Type Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'struct Source #
HasVariant "text" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "type_" 'Slot Brand'Binding Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Binding Type Source #
HasVariant "uint16" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "uint32" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "uint64" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "uint8" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasVariant "void" 'Slot Type () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type () Source #
HasField "elementType" 'Slot Type'list Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'list Type Source #
HasField "type_" 'Slot Field'slot Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Type Source #
HasField "type_" 'Slot Node'annotation Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'annotation Type Source #
HasField "type_" 'Slot Node'const Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'const Type Source #
EstimateListAlloc Type (Parsed Type) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type) -> AllocHint (List Type) Source #
Marshal Type (Parsed Type) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type -> Parsed Type -> m () Source #
EstimateAlloc Type (Parsed Type) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type -> AllocHint Type Source #
Parse Type (Parsed Type) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type -> m (Parsed Type) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type -> m (Raw ('Mut s) Type) Source #
Eq (Parsed (Which Type)) Source #
Instance details 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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Type -> Parsed Type -> Bool # (/=) :: Parsed Type -> Parsed Type -> Bool #
Show (Parsed (Which Type)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Type) -> Parsed (Which Type) -> m () Source #
Parse (Which Type) (Parsed (Which Type)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Type) -> m (Parsed (Which Type)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type) -> m (Raw ('Mut s) (Which Type)) Source #
type ReprFor Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type = 'Ptr ('Just 'Struct)
data Parsed Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type = Type { union' :: Parsed (Which Type) }
type ListAllocHint Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type = Int
type AllocHint Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type = ()
data Which Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Type
data RawWhich mut_ Type Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Type)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Type" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type)))))
data Parsed (Which Type) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'list Source # Methods newList :: RWCtx m s => ListAllocHint Type'list -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'list)) Source #
Allocate Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'list Source # Methods new :: RWCtx m s => AllocHint Type'list -> Message ('Mut s) -> m (Raw ('Mut s) Type'list) Source #
HasVariant "list" 'Group Type Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'list Source #
HasField "elementType" 'Slot Type'list Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'list Type Source #
EstimateListAlloc Type'list (Parsed Type'list) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'list) -> AllocHint (List Type'list) Source #
Marshal Type'list (Parsed Type'list) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'list -> Parsed Type'list -> m () Source #
EstimateAlloc Type'list (Parsed Type'list) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'list -> AllocHint Type'list Source #
Parse Type'list (Parsed Type'list) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'list -> m (Parsed Type'list) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'list -> m (Raw ('Mut s) Type'list) Source #
Eq (Parsed Type'list) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'list = 'Ptr ('Just 'Struct)
data Parsed Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'list = Type'list' { elementType :: Parsed Type }
type ListAllocHint Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'list = Int
type AllocHint Type'list Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'list = ()
type Rep (Parsed Type'list) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'list) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Type'list'" 'PrefixI 'True) (S1 ('MetaSel ('Just "elementType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))))

data Type'enum Source #

Instances

Instances details

TypedStruct Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'enum Source # Methods newList :: RWCtx m s => ListAllocHint Type'enum -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'enum)) Source #
Allocate Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'enum Source # Methods new :: RWCtx m s => AllocHint Type'enum -> Message ('Mut s) -> m (Raw ('Mut s) Type'enum) Source #
HasVariant "enum" 'Group Type Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'enum Source #
HasField "brand" 'Slot Type'enum Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'enum Brand Source #
HasField "typeId" 'Slot Type'enum Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'enum Word64 Source #
EstimateListAlloc Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'enum) -> AllocHint (List Type'enum) Source #
Marshal Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'enum -> Parsed Type'enum -> m () Source #
EstimateAlloc Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'enum -> AllocHint Type'enum Source #
Parse Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'enum -> m (Parsed Type'enum) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'enum -> m (Raw ('Mut s) Type'enum) Source #
Eq (Parsed Type'enum) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'enum = 'Ptr ('Just 'Struct)
data Parsed Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'enum = Type'enum' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ListAllocHint Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'enum = Int
type AllocHint Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'enum = ()
type Rep (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'struct Source # Methods newList :: RWCtx m s => ListAllocHint Type'struct -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'struct)) Source #
Allocate Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'struct Source # Methods new :: RWCtx m s => AllocHint Type'struct -> Message ('Mut s) -> m (Raw ('Mut s) Type'struct) Source #
HasVariant "struct" 'Group Type Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'struct Source #
HasField "brand" 'Slot Type'struct Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'struct Brand Source #
HasField "typeId" 'Slot Type'struct Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'struct Word64 Source #
EstimateListAlloc Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'struct) -> AllocHint (List Type'struct) Source #
Marshal Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'struct -> Parsed Type'struct -> m () Source #
EstimateAlloc Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'struct -> AllocHint Type'struct Source #
Parse Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'struct -> m (Parsed Type'struct) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'struct -> m (Raw ('Mut s) Type'struct) Source #
Eq (Parsed Type'struct) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'struct = 'Ptr ('Just 'Struct)
data Parsed Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'struct = Type'struct' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ListAllocHint Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'struct = Int
type AllocHint Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'struct = ()
type Rep (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'interface Source # Methods newList :: RWCtx m s => ListAllocHint Type'interface -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'interface)) Source #
Allocate Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'interface Source # Methods new :: RWCtx m s => AllocHint Type'interface -> Message ('Mut s) -> m (Raw ('Mut s) Type'interface) Source #
HasVariant "interface" 'Group Type Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'interface Source #
HasField "brand" 'Slot Type'interface Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'interface Brand Source #
HasField "typeId" 'Slot Type'interface Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'interface Word64 Source #
EstimateListAlloc Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'interface) -> AllocHint (List Type'interface) Source #
Marshal Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'interface -> Parsed Type'interface -> m () Source #
EstimateAlloc Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'interface -> AllocHint Type'interface Source #
Parse Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'interface -> m (Parsed Type'interface) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'interface -> m (Raw ('Mut s) Type'interface) Source #
Eq (Parsed Type'interface) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'interface = 'Ptr ('Just 'Struct)
data Parsed Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'interface = Type'interface' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ListAllocHint Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'interface = Int
type AllocHint Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'interface = ()
type Rep (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'anyPointer Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'anyPointer)) Source #
Allocate Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'anyPointer Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw ('Mut s) Type'anyPointer) Source #
HasUnion Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Type'anyPointer Source # data RawWhich mut Type'anyPointer Source # Methods unionField :: Field 'Slot Type'anyPointer Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Type'anyPointer -> m (RawWhich mut Type'anyPointer) Source #
HasVariant "anyPointer" 'Group Type Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type Type'anyPointer Source #
HasVariant "implicitMethodParameter" 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter Source #
HasVariant "parameter" 'Group Type'anyPointer Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'parameter Source #
HasVariant "unconstrained" 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
EstimateListAlloc Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'anyPointer) -> AllocHint (List Type'anyPointer) Source #
Marshal Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'anyPointer -> Parsed Type'anyPointer -> m () Source #
EstimateAlloc Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'anyPointer -> AllocHint Type'anyPointer Source #
Parse Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'anyPointer -> m (Parsed Type'anyPointer) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer -> m (Raw ('Mut s) Type'anyPointer) Source #
Eq (Parsed (Which Type'anyPointer)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Type'anyPointer) -> Parsed (Which Type'anyPointer) -> m () Source #
Parse (Which Type'anyPointer) (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Type'anyPointer) -> m (Parsed (Which Type'anyPointer)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer) -> m (Raw ('Mut s) (Which Type'anyPointer)) Source #
type ReprFor Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'anyPointer = 'Ptr ('Just 'Struct)
data Parsed Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'anyPointer = Type'anyPointer' { union' :: Parsed (Which Type'anyPointer) }
type ListAllocHint Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'anyPointer = Int
type AllocHint Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'anyPointer = ()
data Which Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Type'anyPointer
data RawWhich mut_ Type'anyPointer Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Type'anyPointer)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'anyPointer) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Type'anyPointer'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type'anyPointer)))))
data Parsed (Which Type'anyPointer) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'anyPointer'unconstrained Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'anyPointer'unconstrained)) Source #
Allocate Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'anyPointer'unconstrained Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw ('Mut s) Type'anyPointer'unconstrained) Source #
HasUnion Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Type'anyPointer'unconstrained Source # data RawWhich mut Type'anyPointer'unconstrained Source # Methods unionField :: Field 'Slot Type'anyPointer'unconstrained Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Type'anyPointer'unconstrained -> m (RawWhich mut Type'anyPointer'unconstrained) Source #
HasVariant "anyKind" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "capability" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "list" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "struct" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "unconstrained" 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
EstimateListAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'anyPointer'unconstrained) -> AllocHint (List Type'anyPointer'unconstrained) Source #
Marshal Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'anyPointer'unconstrained -> Parsed Type'anyPointer'unconstrained -> m () Source #
EstimateAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'anyPointer'unconstrained -> AllocHint Type'anyPointer'unconstrained Source #
Parse Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'anyPointer'unconstrained -> m (Parsed Type'anyPointer'unconstrained) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'unconstrained -> m (Raw ('Mut s) Type'anyPointer'unconstrained) Source #
Eq (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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 () Source #
Parse (Which Type'anyPointer'unconstrained) (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Type'anyPointer'unconstrained) -> m (Parsed (Which Type'anyPointer'unconstrained)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer'unconstrained) -> m (Raw ('Mut s) (Which Type'anyPointer'unconstrained)) Source #
type ReprFor Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'anyPointer'unconstrained = 'Ptr ('Just 'Struct)
data Parsed Type'anyPointer'unconstrained Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'anyPointer'unconstrained = Int
type AllocHint Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'anyPointer'unconstrained = ()
data Which Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Type'anyPointer'unconstrained
data RawWhich mut_ Type'anyPointer'unconstrained Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Type'anyPointer'unconstrained)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'anyPointer'unconstrained) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'anyPointer'parameter Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'anyPointer'parameter)) Source #
Allocate Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'anyPointer'parameter Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw ('Mut s) Type'anyPointer'parameter) Source #
HasVariant "parameter" 'Group Type'anyPointer Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'parameter Source #
HasField "parameterIndex" 'Slot Type'anyPointer'parameter Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'anyPointer'parameter Word16 Source #
HasField "scopeId" 'Slot Type'anyPointer'parameter Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'anyPointer'parameter Word64 Source #
EstimateListAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'anyPointer'parameter) -> AllocHint (List Type'anyPointer'parameter) Source #
Marshal Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'anyPointer'parameter -> Parsed Type'anyPointer'parameter -> m () Source #
EstimateAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'anyPointer'parameter -> AllocHint Type'anyPointer'parameter Source #
Parse Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'anyPointer'parameter -> m (Parsed Type'anyPointer'parameter) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'parameter -> m (Raw ('Mut s) Type'anyPointer'parameter) Source #
Eq (Parsed Type'anyPointer'parameter) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'anyPointer'parameter = 'Ptr ('Just 'Struct)
data Parsed Type'anyPointer'parameter Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'anyPointer'parameter = Int
type AllocHint Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'anyPointer'parameter = ()
type Rep (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'anyPointer'parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Type'anyPointer'implicitMethodParameter Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer'implicitMethodParameter -> Message ('Mut s) -> m (Raw ('Mut s) (List Type'anyPointer'implicitMethodParameter)) Source #
Allocate Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Type'anyPointer'implicitMethodParameter Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer'implicitMethodParameter -> Message ('Mut s) -> m (Raw ('Mut s) Type'anyPointer'implicitMethodParameter) Source #
HasVariant "implicitMethodParameter" 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'implicitMethodParameter Source #
HasField "parameterIndex" 'Slot Type'anyPointer'implicitMethodParameter Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'anyPointer'implicitMethodParameter Word16 Source #
EstimateListAlloc Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Type'anyPointer'implicitMethodParameter) -> AllocHint (List Type'anyPointer'implicitMethodParameter) Source #
Marshal Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Type'anyPointer'implicitMethodParameter -> Parsed Type'anyPointer'implicitMethodParameter -> m () Source #
EstimateAlloc Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Type'anyPointer'implicitMethodParameter -> AllocHint Type'anyPointer'implicitMethodParameter Source #
Parse Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Type'anyPointer'implicitMethodParameter -> m (Parsed Type'anyPointer'implicitMethodParameter) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'implicitMethodParameter -> m (Raw ('Mut s) Type'anyPointer'implicitMethodParameter) Source #
Eq (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Type'anyPointer'implicitMethodParameter = 'Ptr ('Just 'Struct)
data Parsed Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Type'anyPointer'implicitMethodParameter = Type'anyPointer'implicitMethodParameter' { parameterIndex :: Parsed Word16 }
type ListAllocHint Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Type'anyPointer'implicitMethodParameter = Int
type AllocHint Type'anyPointer'implicitMethodParameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Type'anyPointer'implicitMethodParameter = ()
type Rep (Parsed Type'anyPointer'implicitMethodParameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Type'anyPointer'implicitMethodParameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Type'anyPointer'implicitMethodParameter'" 'PrefixI 'True) (S1 ('MetaSel ('Just "parameterIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))))

data Brand Source #

Instances

Instances details

TypedStruct Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Brand Source # Methods newList :: RWCtx m s => ListAllocHint Brand -> Message ('Mut s) -> m (Raw ('Mut s) (List Brand)) Source #
Allocate Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Brand Source # Methods new :: RWCtx m s => AllocHint Brand -> Message ('Mut s) -> m (Raw ('Mut s) Brand) Source #
HasField "brand" 'Slot Annotation Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Annotation Brand Source #
HasField "brand" 'Slot Type'interface Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'interface Brand Source #
HasField "brand" 'Slot Type'struct Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'struct Brand Source #
HasField "brand" 'Slot Type'enum Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Type'enum Brand Source #
HasField "brand" 'Slot Superclass Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Superclass Brand Source #
HasField "paramBrand" 'Slot Method Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Brand Source #
HasField "resultBrand" 'Slot Method Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method Brand Source #
HasField "scopes" 'Slot Brand (List Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Brand (List Brand'Scope) Source #
EstimateListAlloc Brand (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Brand) -> AllocHint (List Brand) Source #
Marshal Brand (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Brand -> Parsed Brand -> m () Source #
EstimateAlloc Brand (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Brand -> AllocHint Brand Source #
Parse Brand (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Brand -> m (Parsed Brand) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand -> m (Raw ('Mut s) Brand) Source #
Eq (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Brand -> Parsed Brand -> Bool # (/=) :: Parsed Brand -> Parsed Brand -> Bool #
Show (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed Brand -> ShowS # show :: Parsed Brand -> String # showList :: [Parsed Brand] -> ShowS #
Generic (Parsed Brand) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Brand = 'Ptr ('Just 'Struct)
data Parsed Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Brand = Brand { scopes :: Parsed (List Brand'Scope) }
type ListAllocHint Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Brand = Int
type AllocHint Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Brand = ()
type Rep (Parsed Brand) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Brand) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Brand" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Brand'Scope)))))

data Brand'Scope Source #

Instances

Instances details

TypedStruct Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Brand'Scope Source # Methods newList :: RWCtx m s => ListAllocHint Brand'Scope -> Message ('Mut s) -> m (Raw ('Mut s) (List Brand'Scope)) Source #
Allocate Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Brand'Scope Source # Methods new :: RWCtx m s => AllocHint Brand'Scope -> Message ('Mut s) -> m (Raw ('Mut s) Brand'Scope) Source #
HasUnion Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Brand'Scope Source # data RawWhich mut Brand'Scope Source # Methods unionField :: Field 'Slot Brand'Scope Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Brand'Scope -> m (RawWhich mut Brand'Scope) Source #
HasVariant "inherit" 'Slot Brand'Scope () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Scope () Source #
HasField "scopeId" 'Slot Brand'Scope Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Brand'Scope Word64 Source #
HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding) Source #
HasField "scopes" 'Slot Brand (List Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Brand (List Brand'Scope) Source #
EstimateListAlloc Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Brand'Scope) -> AllocHint (List Brand'Scope) Source #
Marshal Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Brand'Scope -> Parsed Brand'Scope -> m () Source #
EstimateAlloc Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Brand'Scope -> AllocHint Brand'Scope Source #
Parse Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Brand'Scope -> m (Parsed Brand'Scope) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Scope -> m (Raw ('Mut s) Brand'Scope) Source #
Eq (Parsed (Which Brand'Scope)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Brand'Scope) -> Parsed (Which Brand'Scope) -> m () Source #
Parse (Which Brand'Scope) (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Brand'Scope) -> m (Parsed (Which Brand'Scope)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Scope) -> m (Raw ('Mut s) (Which Brand'Scope)) Source #
type ReprFor Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Brand'Scope = 'Ptr ('Just 'Struct)
data Parsed Brand'Scope Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Brand'Scope = Int
type AllocHint Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Brand'Scope = ()
data Which Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Brand'Scope
data RawWhich mut_ Brand'Scope Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Brand'Scope)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Brand'Scope) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Brand'Binding Source # Methods newList :: RWCtx m s => ListAllocHint Brand'Binding -> Message ('Mut s) -> m (Raw ('Mut s) (List Brand'Binding)) Source #
Allocate Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Brand'Binding Source # Methods new :: RWCtx m s => AllocHint Brand'Binding -> Message ('Mut s) -> m (Raw ('Mut s) Brand'Binding) Source #
HasUnion Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Brand'Binding Source # data RawWhich mut Brand'Binding Source # Methods unionField :: Field 'Slot Brand'Binding Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Brand'Binding -> m (RawWhich mut Brand'Binding) Source #
HasVariant "type_" 'Slot Brand'Binding Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Binding Type Source #
HasVariant "unbound" 'Slot Brand'Binding () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Binding () Source #
HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding) Source #
EstimateListAlloc Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Brand'Binding) -> AllocHint (List Brand'Binding) Source #
Marshal Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Brand'Binding -> Parsed Brand'Binding -> m () Source #
EstimateAlloc Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Brand'Binding -> AllocHint Brand'Binding Source #
Parse Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Brand'Binding -> m (Parsed Brand'Binding) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Binding -> m (Raw ('Mut s) Brand'Binding) Source #
Eq (Parsed (Which Brand'Binding)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Brand'Binding) -> Parsed (Which Brand'Binding) -> m () Source #
Parse (Which Brand'Binding) (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Brand'Binding) -> m (Parsed (Which Brand'Binding)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Binding) -> m (Raw ('Mut s) (Which Brand'Binding)) Source #
type ReprFor Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Brand'Binding = 'Ptr ('Just 'Struct)
data Parsed Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Brand'Binding = Brand'Binding { union' :: Parsed (Which Brand'Binding) }
type ListAllocHint Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Brand'Binding = Int
type AllocHint Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Brand'Binding = ()
data Which Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Brand'Binding
data RawWhich mut_ Brand'Binding Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Brand'Binding)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Brand'Binding) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Brand'Binding" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Brand'Binding)))))
data Parsed (Which Brand'Binding) Source #
Instance details 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 Source #

Instances

Instances details

TypedStruct Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Value Source # Methods newList :: RWCtx m s => ListAllocHint Value -> Message ('Mut s) -> m (Raw ('Mut s) (List Value)) Source #
Allocate Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Value Source # Methods new :: RWCtx m s => AllocHint Value -> Message ('Mut s) -> m (Raw ('Mut s) Value) Source #
HasUnion Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types data Which Value Source # data RawWhich mut Value Source # Methods unionField :: Field 'Slot Value Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw mut Value -> m (RawWhich mut Value) Source #
HasVariant "bool" 'Slot Value Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Bool Source #
HasVariant "data_" 'Slot Value Data Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Data Source #
HasVariant "enum" 'Slot Value Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Word16 Source #
HasVariant "float32" 'Slot Value Float Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Float Source #
HasVariant "float64" 'Slot Value Double Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Double Source #
HasVariant "int16" 'Slot Value Int16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Int16 Source #
HasVariant "int32" 'Slot Value Int32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Int32 Source #
HasVariant "int64" 'Slot Value Int64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Int64 Source #
HasVariant "int8" 'Slot Value Int8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Int8 Source #
HasVariant "interface" 'Slot Value () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value () Source #
HasVariant "text" 'Slot Value Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Text Source #
HasVariant "uint16" 'Slot Value Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Word16 Source #
HasVariant "uint32" 'Slot Value Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Word32 Source #
HasVariant "uint64" 'Slot Value Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Word64 Source #
HasVariant "uint8" 'Slot Value Word8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value Word8 Source #
HasVariant "void" 'Slot Value () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value () Source #
HasField "defaultValue" 'Slot Field'slot Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Field'slot Value Source #
HasField "value" 'Slot Annotation Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Annotation Value Source #
HasField "value" 'Slot Node'const Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'const Value Source #
HasVariant "anyPointer" 'Slot Value (Maybe AnyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #
HasVariant "list" 'Slot Value (Maybe AnyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #
HasVariant "struct" 'Slot Value (Maybe AnyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #
EstimateListAlloc Value (Parsed Value) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Value) -> AllocHint (List Value) Source #
Marshal Value (Parsed Value) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Value -> Parsed Value -> m () Source #
EstimateAlloc Value (Parsed Value) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Value -> AllocHint Value Source #
Parse Value (Parsed Value) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Value -> m (Parsed Value) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Value -> m (Raw ('Mut s) Value) Source #
Eq (Parsed (Which Value)) Source #
Instance details 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) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Value -> Parsed Value -> Bool # (/=) :: Parsed Value -> Parsed Value -> Bool #
Show (Parsed (Which Value)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details 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) Source #
Instance details 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)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) (Which Value) -> Parsed (Which Value) -> m () Source #
Parse (Which Value) (Parsed (Which Value)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const (Which Value) -> m (Parsed (Which Value)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Value) -> m (Raw ('Mut s) (Which Value)) Source #
type ReprFor Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Value = 'Ptr ('Just 'Struct)
data Parsed Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Value = Value { union' :: Parsed (Which Value) }
type ListAllocHint Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Value = Int
type AllocHint Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Value = ()
data Which Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Which Value
data RawWhich mut_ Value Source #
Instance details 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_ (Maybe AnyPointer)) \| RW_Value'enum (Raw mut_ Word16) \| RW_Value'struct (Raw mut_ (Maybe AnyPointer)) \| RW_Value'interface (Raw mut_ ()) \| RW_Value'anyPointer (Raw mut_ (Maybe AnyPointer)) \| RW_Value'unknown' Word16
type Rep (Parsed (Which Value)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed (Which Value)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) ((((C1 ('MetaCons "Value'void" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Value'bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :+: (C1 ('MetaCons "Value'int8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int8))) :+: (C1 ('MetaCons "Value'int16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int16))) :+: C1 ('MetaCons "Value'int32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int32)))))) :+: ((C1 ('MetaCons "Value'int64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Int64))) :+: C1 ('MetaCons "Value'uint8" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)))) :+: (C1 ('MetaCons "Value'uint16" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: (C1 ('MetaCons "Value'uint32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32))) :+: C1 ('MetaCons "Value'uint64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))))) :+: (((C1 ('MetaCons "Value'float32" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Float))) :+: C1 ('MetaCons "Value'float64" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Double)))) :+: (C1 ('MetaCons "Value'text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))) :+: (C1 ('MetaCons "Value'data_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Data))) :+: C1 ('MetaCons "Value'list" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))))) :+: ((C1 ('MetaCons "Value'enum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: C1 ('MetaCons "Value'struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer))))) :+: (C1 ('MetaCons "Value'interface" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Value'anyPointer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Maybe AnyPointer)))) :+: C1 ('MetaCons "Value'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))))
type Rep (Parsed Value) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Value) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" 'False) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Value)))))
data Parsed (Which Value) Source #
Instance details 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 (Maybe AnyPointer)) \| Value'enum (Parsed Word16) \| Value'struct (Parsed (Maybe AnyPointer)) \| Value'interface \| Value'anyPointer (Parsed (Maybe AnyPointer)) \| Value'unknown' Word16

data Annotation Source #

Instances

Instances details

TypedStruct Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint Annotation Source # Methods newList :: RWCtx m s => ListAllocHint Annotation -> Message ('Mut s) -> m (Raw ('Mut s) (List Annotation)) Source #
Allocate Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint Annotation Source # Methods new :: RWCtx m s => AllocHint Annotation -> Message ('Mut s) -> m (Raw ('Mut s) Annotation) Source #
HasField "brand" 'Slot Annotation Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Annotation Brand Source #
HasField "id" 'Slot Annotation Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Annotation Word64 Source #
HasField "value" 'Slot Annotation Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Annotation Value Source #
HasField "annotations" 'Slot Method (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Method (List Annotation) Source #
HasField "annotations" 'Slot Enumerant (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Enumerant (List Annotation) Source #
HasField "annotations" 'Slot Field (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field0 'Slot Field (List Annotation) Source #
HasField "annotations" 'Slot Node (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node (List Annotation) Source #
EstimateListAlloc Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed Annotation) -> AllocHint (List Annotation) Source #
Marshal Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) Annotation -> Parsed Annotation -> m () Source #
EstimateAlloc Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed Annotation -> AllocHint Annotation Source #
Parse Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const Annotation -> m (Parsed Annotation) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Annotation -> m (Raw ('Mut s) Annotation) Source #
Eq (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed Annotation -> Parsed Annotation -> Bool # (/=) :: Parsed Annotation -> Parsed Annotation -> Bool #
Show (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed Annotation -> ShowS # show :: Parsed Annotation -> String # showList :: [Parsed Annotation] -> ShowS #
Generic (Parsed Annotation) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor Annotation = 'Ptr ('Just 'Struct)
data Parsed Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed Annotation = Annotation { id :: Parsed Word64 value :: Parsed Value brand :: Parsed Brand }
type ListAllocHint Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint Annotation = Int
type AllocHint Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint Annotation = ()
type Rep (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed Annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Constructors

ElementSize'empty
ElementSize'bit
ElementSize'byte
ElementSize'twoBytes
ElementSize'fourBytes
ElementSize'eightBytes
ElementSize'pointer
ElementSize'inlineComposite
ElementSize'unknown' Word16

Instances

Instances details

Enum ElementSize Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: ElementSize -> ElementSize -> Bool # (/=) :: ElementSize -> ElementSize -> Bool #
Show ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> ElementSize -> ShowS # show :: ElementSize -> String # showList :: [ElementSize] -> ShowS #
IsWord ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fromWord :: Word64 -> ElementSize Source # toWord :: ElementSize -> Word64 Source #
HasTypeId ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint ElementSize Source # Methods newList :: RWCtx m s => ListAllocHint ElementSize -> Message ('Mut s) -> m (Raw ('Mut s) (List ElementSize)) Source #
EstimateListAlloc ElementSize ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector ElementSize -> AllocHint (List ElementSize) Source #
Parse ElementSize ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const ElementSize -> m ElementSize Source # encode :: RWCtx m s => Message ('Mut s) -> ElementSize -> m (Raw ('Mut s) ElementSize) Source #
HasField "preferredListEncoding" 'Slot Node'struct ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot Node'struct ElementSize Source #
type ReprFor ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor ElementSize = 'Data 'Sz16
type ListAllocHint ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint ElementSize = Int

data CapnpVersion Source #

Instances

Instances details

TypedStruct CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint CapnpVersion Source # Methods newList :: RWCtx m s => ListAllocHint CapnpVersion -> Message ('Mut s) -> m (Raw ('Mut s) (List CapnpVersion)) Source #
Allocate CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint CapnpVersion Source # Methods new :: RWCtx m s => AllocHint CapnpVersion -> Message ('Mut s) -> m (Raw ('Mut s) CapnpVersion) Source #
HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion Source #
HasField "major" 'Slot CapnpVersion Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CapnpVersion Word16 Source #
HasField "micro" 'Slot CapnpVersion Word8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CapnpVersion Word8 Source #
HasField "minor" 'Slot CapnpVersion Word8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CapnpVersion Word8 Source #
EstimateListAlloc CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed CapnpVersion) -> AllocHint (List CapnpVersion) Source #
Marshal CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) CapnpVersion -> Parsed CapnpVersion -> m () Source #
EstimateAlloc CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed CapnpVersion -> AllocHint CapnpVersion Source #
Parse CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const CapnpVersion -> m (Parsed CapnpVersion) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CapnpVersion -> m (Raw ('Mut s) CapnpVersion) Source #
Eq (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool # (/=) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool #
Show (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed CapnpVersion -> ShowS # show :: Parsed CapnpVersion -> String # showList :: [Parsed CapnpVersion] -> ShowS #
Generic (Parsed CapnpVersion) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor CapnpVersion = 'Ptr ('Just 'Struct)
data Parsed CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New data Parsed CapnpVersion = CapnpVersion { major :: Parsed Word16 minor :: Parsed Word8 micro :: Parsed Word8 }
type ListAllocHint CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint CapnpVersion = Int
type AllocHint CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint CapnpVersion = ()
type Rep (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed CapnpVersion) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint CodeGeneratorRequest Source # Methods newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest -> Message ('Mut s) -> m (Raw ('Mut s) (List CodeGeneratorRequest)) Source #
Allocate CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint CodeGeneratorRequest Source # Methods new :: RWCtx m s => AllocHint CodeGeneratorRequest -> Message ('Mut s) -> m (Raw ('Mut s) CodeGeneratorRequest) Source #
HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion Source #
HasField "nodes" 'Slot CodeGeneratorRequest (List Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node) Source #
HasField "requestedFiles" 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile) Source #
HasField "sourceInfo" 'Slot CodeGeneratorRequest (List Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node'SourceInfo) Source #
EstimateListAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed CodeGeneratorRequest) -> AllocHint (List CodeGeneratorRequest) Source #
Marshal CodeGeneratorRequest (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) CodeGeneratorRequest -> Parsed CodeGeneratorRequest -> m () Source #
EstimateAlloc CodeGeneratorRequest (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed CodeGeneratorRequest -> AllocHint CodeGeneratorRequest Source #
Parse CodeGeneratorRequest (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const CodeGeneratorRequest -> m (Parsed CodeGeneratorRequest) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest -> m (Raw ('Mut s) CodeGeneratorRequest) Source #
Eq (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods (==) :: Parsed CodeGeneratorRequest -> Parsed CodeGeneratorRequest -> Bool # (/=) :: Parsed CodeGeneratorRequest -> Parsed CodeGeneratorRequest -> Bool #
Show (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods showsPrec :: Int -> Parsed CodeGeneratorRequest -> ShowS # show :: Parsed CodeGeneratorRequest -> String # showList :: [Parsed CodeGeneratorRequest] -> ShowS #
Generic (Parsed CodeGeneratorRequest) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor CodeGeneratorRequest = 'Ptr ('Just 'Struct)
data Parsed CodeGeneratorRequest Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint CodeGeneratorRequest = Int
type AllocHint CodeGeneratorRequest Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint CodeGeneratorRequest = ()
type Rep (Parsed CodeGeneratorRequest) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed CodeGeneratorRequest) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint CodeGeneratorRequest'RequestedFile Source # Methods newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw ('Mut s) (List CodeGeneratorRequest'RequestedFile)) Source #
Allocate CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint CodeGeneratorRequest'RequestedFile Source # Methods new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw ('Mut s) CodeGeneratorRequest'RequestedFile) Source #
HasField "filename" 'Slot CodeGeneratorRequest'RequestedFile Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Text Source #
HasField "id" 'Slot CodeGeneratorRequest'RequestedFile Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Word64 Source #
HasField "imports" 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import) Source #
HasField "requestedFiles" 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile) Source #
EstimateListAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed CodeGeneratorRequest'RequestedFile) -> AllocHint (List CodeGeneratorRequest'RequestedFile) Source #
Marshal CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) CodeGeneratorRequest'RequestedFile -> Parsed CodeGeneratorRequest'RequestedFile -> m () Source #
EstimateAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile -> AllocHint CodeGeneratorRequest'RequestedFile Source #
Parse CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const CodeGeneratorRequest'RequestedFile -> m (Parsed CodeGeneratorRequest'RequestedFile) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile -> m (Raw ('Mut s) CodeGeneratorRequest'RequestedFile) Source #
Eq (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor CodeGeneratorRequest'RequestedFile = 'Ptr ('Just 'Struct)
data Parsed CodeGeneratorRequest'RequestedFile Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint CodeGeneratorRequest'RequestedFile = Int
type AllocHint CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint CodeGeneratorRequest'RequestedFile = ()
type Rep (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed CodeGeneratorRequest'RequestedFile) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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 Source #

Instances

Instances details

TypedStruct CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasTypeId CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods typeId :: Word64 Source #
AllocateList CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type ListAllocHint CodeGeneratorRequest'RequestedFile'Import Source # Methods newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw ('Mut s) (List CodeGeneratorRequest'RequestedFile'Import)) Source #
Allocate CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Associated Types type AllocHint CodeGeneratorRequest'RequestedFile'Import Source # Methods new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw ('Mut s) CodeGeneratorRequest'RequestedFile'Import) Source #
HasField "id" 'Slot CodeGeneratorRequest'RequestedFile'Import Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Word64 Source #
HasField "name" 'Slot CodeGeneratorRequest'RequestedFile'Import Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile'Import Text Source #
HasField "imports" 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import) Source #
EstimateListAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateListAlloc :: Vector (Parsed CodeGeneratorRequest'RequestedFile'Import) -> AllocHint (List CodeGeneratorRequest'RequestedFile'Import) Source #
Marshal CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods marshalInto :: RWCtx m s => Raw ('Mut s) CodeGeneratorRequest'RequestedFile'Import -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m () Source #
EstimateAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile'Import -> AllocHint CodeGeneratorRequest'RequestedFile'Import Source #
Parse CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New Methods parse :: ReadCtx m 'Const => Raw 'Const CodeGeneratorRequest'RequestedFile'Import -> m (Parsed CodeGeneratorRequest'RequestedFile'Import) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m (Raw ('Mut s) CodeGeneratorRequest'RequestedFile'Import) Source #
Eq (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ReprFor CodeGeneratorRequest'RequestedFile'Import = 'Ptr ('Just 'Struct)
data Parsed CodeGeneratorRequest'RequestedFile'Import Source #
Instance details 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 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type ListAllocHint CodeGeneratorRequest'RequestedFile'Import = Int
type AllocHint CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type AllocHint CodeGeneratorRequest'RequestedFile'Import = ()
type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema.New type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema.New" "capnp-0.12.0.0-9jnlPOdOYzy7ssULfTgYnR" '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))))