Safe Haskell	Safe-Inferred
Language	Haskell2010

Capnp.Gen.Capnp.Schema

Documentation

data Node Source #

Instances

Instances details

Allocate Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node Source # Methods new :: RWCtx m s => AllocHint Node -> Message ('Mut s) -> m (Raw Node ('Mut s)) Source #
AllocateList Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node Source # Methods newList :: RWCtx m s => ListAllocHint Node -> Message ('Mut s) -> m (Raw (List Node) ('Mut s)) Source #
HasTypeId Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Node Source # data RawWhich Node mut Source # Methods unionField :: Field 'Slot Node Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Node mut -> m (RawWhich Node mut) Source #
HasField "displayName" 'Slot Node Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node Text Source #
HasField "displayNamePrefixLength" 'Slot Node Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node Word32 Source #
HasField "id" 'Slot Node Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node Word64 Source #
HasField "isGeneric" 'Slot Node Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node Bool Source #
HasField "scopeId" 'Slot Node Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node Word64 Source #
HasVariant "annotation" 'Group Node Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'annotation Source #
HasVariant "const" 'Group Node Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'const Source #
HasVariant "enum" 'Group Node Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'enum Source #
HasVariant "file" 'Slot Node () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Node () Source #
HasVariant "interface" 'Group Node Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'interface Source #
HasVariant "struct" 'Group Node Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'struct Source #
HasField "annotations" 'Slot Node (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node (List Annotation) Source #
HasField "nestedNodes" 'Slot Node (List Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node (List Node'NestedNode) Source #
HasField "nodes" 'Slot CodeGeneratorRequest (List Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node) Source #
HasField "parameters" 'Slot Node (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node (List Node'Parameter) Source #
EstimateAlloc Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node -> AllocHint Node Source #
EstimateListAlloc Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed Node) -> AllocHint (List Node) Source #
Marshal Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw Node ('Mut s) -> Parsed Node -> m () Source #
Parse Node (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node 'Const -> m (Parsed Node) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node -> m (Raw Node ('Mut s)) Source #
Generic (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Node)) :: Type -> Type # Methods from :: Parsed (Which Node) -> Rep (Parsed (Which Node)) x # to :: Rep (Parsed (Which Node)) x -> Parsed (Which Node) #
Generic (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node) :: Type -> Type # Methods from :: Parsed Node -> Rep (Parsed Node) x # to :: Rep (Parsed Node) x -> Parsed Node #
Show (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Node) -> ShowS # show :: Parsed (Which Node) -> String # showList :: [Parsed (Which Node)] -> ShowS #
Show (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node -> ShowS # show :: Parsed Node -> String # showList :: [Parsed Node] -> ShowS #
Eq (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods (==) :: Parsed Node -> Parsed Node -> Bool # (/=) :: Parsed Node -> Parsed Node -> Bool #
Marshal (Which Node) (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Node) ('Mut s) -> Parsed (Which Node) -> m () Source #
Parse (Which Node) (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Node) 'Const -> m (Parsed (Which Node)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Node) -> m (Raw (Which Node) ('Mut s)) Source #
type AllocHint Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node = ()
type ListAllocHint Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node = Int
data Parsed Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node = Node { id :: Parsed Word64 displayName :: Parsed Text displayNamePrefixLength :: Parsed Word32 scopeId :: Parsed Word64 nestedNodes :: Parsed (List Node'NestedNode) annotations :: Parsed (List Annotation) parameters :: Parsed (List Node'Parameter) isGeneric :: Parsed Bool union' :: Parsed (Which Node) }
data RawWhich Node mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Node mut_ = RW_Node'file (Raw () mut_) \| RW_Node'struct (Raw Node'struct mut_) \| RW_Node'enum (Raw Node'enum mut_) \| RW_Node'interface (Raw Node'interface mut_) \| RW_Node'const (Raw Node'const mut_) \| RW_Node'annotation (Raw Node'annotation mut_) \| RW_Node'unknown' Word16
data Which Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Node
type ReprFor Node Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Node)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Node)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Node'file" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Node'struct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'struct))) :+: C1 ('MetaCons "Node'enum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'enum))))) :+: ((C1 ('MetaCons "Node'interface" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'interface))) :+: C1 ('MetaCons "Node'const" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'const)))) :+: (C1 ('MetaCons "Node'annotation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Node'annotation))) :+: C1 ('MetaCons "Node'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))
type Rep (Parsed Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) (((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :: S1 ('MetaSel ('Just "displayName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))) :: (S1 ('MetaSel ('Just "displayNamePrefixLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :: S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)))) :: ((S1 ('MetaSel ('Just "nestedNodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'NestedNode))) :: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation)))) :: (S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'Parameter))) :: (S1 ('MetaSel ('Just "isGeneric") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Node))))))))
data Parsed (Which Node) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Node) = Node'file \| Node'struct (Parsed Node'struct) \| Node'enum (Parsed Node'enum) \| Node'interface (Parsed Node'interface) \| Node'const (Parsed Node'const) \| Node'annotation (Parsed Node'annotation) \| Node'unknown' Word16

data Node'struct Source #

Instances

Instances details

Allocate Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'struct Source # Methods new :: RWCtx m s => AllocHint Node'struct -> Message ('Mut s) -> m (Raw Node'struct ('Mut s)) Source #
AllocateList Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'struct Source # Methods newList :: RWCtx m s => ListAllocHint Node'struct -> Message ('Mut s) -> m (Raw (List Node'struct) ('Mut s)) Source #
HasTypeId Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "dataWordCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "discriminantCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "discriminantOffset" 'Slot Node'struct Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct Word32 Source #
HasField "isGroup" 'Slot Node'struct Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct Bool Source #
HasField "pointerCount" 'Slot Node'struct Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct Word16 Source #
HasField "preferredListEncoding" 'Slot Node'struct ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct ElementSize Source #
HasVariant "struct" 'Group Node Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'struct Source #
HasField "fields" 'Slot Node'struct (List Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Node'struct (List Field) Source #
EstimateAlloc Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'struct -> AllocHint Node'struct Source #
EstimateListAlloc Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'struct ('Mut s) -> Parsed Node'struct -> m () Source #
Parse Node'struct (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'struct 'Const -> m (Parsed Node'struct) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'struct -> m (Raw Node'struct ('Mut s)) Source #
Generic (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'struct) :: Type -> Type # Methods from :: Parsed Node'struct -> Rep (Parsed Node'struct) x # to :: Rep (Parsed Node'struct) x -> Parsed Node'struct #
Show (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'struct -> ShowS # show :: Parsed Node'struct -> String # showList :: [Parsed Node'struct] -> ShowS #
Eq (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'struct -> Parsed Node'struct -> Bool # (/=) :: Parsed Node'struct -> Parsed Node'struct -> Bool #
type AllocHint Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'struct = ()
type ListAllocHint Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'struct = Int
data Parsed Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'struct = Node'struct' { dataWordCount :: Parsed Word16 pointerCount :: Parsed Word16 preferredListEncoding :: Parsed ElementSize isGroup :: Parsed Bool discriminantCount :: Parsed Word16 discriminantOffset :: Parsed Word32 fields :: Parsed (List Field) }
type ReprFor Node'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'struct = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'struct'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataWordCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: (S1 ('MetaSel ('Just "pointerCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: S1 ('MetaSel ('Just "preferredListEncoding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed ElementSize)))) :: ((S1 ('MetaSel ('Just "isGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "discriminantCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :: (S1 ('MetaSel ('Just "discriminantOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :: S1 ('MetaSel ('Just "fields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Field)))))))

data Node'enum Source #

Instances

Instances details

Allocate Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'enum Source # Methods new :: RWCtx m s => AllocHint Node'enum -> Message ('Mut s) -> m (Raw Node'enum ('Mut s)) Source #
AllocateList Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'enum Source # Methods newList :: RWCtx m s => ListAllocHint Node'enum -> Message ('Mut s) -> m (Raw (List Node'enum) ('Mut s)) Source #
HasTypeId Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasVariant "enum" 'Group Node Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'enum Source #
HasField "enumerants" 'Slot Node'enum (List Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'enum (List Enumerant) Source #
EstimateAlloc Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'enum -> AllocHint Node'enum Source #
EstimateListAlloc Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'enum ('Mut s) -> Parsed Node'enum -> m () Source #
Parse Node'enum (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'enum 'Const -> m (Parsed Node'enum) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'enum -> m (Raw Node'enum ('Mut s)) Source #
Generic (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'enum) :: Type -> Type # Methods from :: Parsed Node'enum -> Rep (Parsed Node'enum) x # to :: Rep (Parsed Node'enum) x -> Parsed Node'enum #
Show (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'enum -> ShowS # show :: Parsed Node'enum -> String # showList :: [Parsed Node'enum] -> ShowS #
Eq (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'enum -> Parsed Node'enum -> Bool # (/=) :: Parsed Node'enum -> Parsed Node'enum -> Bool #
type AllocHint Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'enum = ()
type ListAllocHint Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'enum = Int
data Parsed Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'enum = Node'enum' { enumerants :: Parsed (List Enumerant) }
type ReprFor Node'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'enum = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'enum'" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumerants") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Enumerant)))))

data Node'interface Source #

Instances

Instances details

Allocate Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'interface Source # Methods new :: RWCtx m s => AllocHint Node'interface -> Message ('Mut s) -> m (Raw Node'interface ('Mut s)) Source #
AllocateList Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'interface Source # Methods newList :: RWCtx m s => ListAllocHint Node'interface -> Message ('Mut s) -> m (Raw (List Node'interface) ('Mut s)) Source #
HasTypeId Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasVariant "interface" 'Group Node Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'interface Source #
HasField "methods" 'Slot Node'interface (List Method) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods fieldByLabel :: Field 'Slot Node'interface (List Superclass) Source #
EstimateAlloc Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'interface -> AllocHint Node'interface Source #
EstimateListAlloc Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'interface ('Mut s) -> Parsed Node'interface -> m () Source #
Parse Node'interface (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'interface 'Const -> m (Parsed Node'interface) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'interface -> m (Raw Node'interface ('Mut s)) Source #
Generic (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'interface) :: Type -> Type # Methods from :: Parsed Node'interface -> Rep (Parsed Node'interface) x # to :: Rep (Parsed Node'interface) x -> Parsed Node'interface #
Show (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'interface -> ShowS # show :: Parsed Node'interface -> String # showList :: [Parsed Node'interface] -> ShowS #
Eq (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'interface -> Parsed Node'interface -> Bool # (/=) :: Parsed Node'interface -> Parsed Node'interface -> Bool #
type AllocHint Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'interface = ()
type ListAllocHint Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'interface = Int
data Parsed Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'interface = Node'interface' { methods :: Parsed (List Method) superclasses :: Parsed (List Superclass) }
type ReprFor Node'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'interface = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'interface'" 'PrefixI 'True) (S1 ('MetaSel ('Just "methods") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Method))) :*: S1 ('MetaSel ('Just "superclasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Superclass)))))

data Node'const Source #

Instances

Instances details

Allocate Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'const Source # Methods new :: RWCtx m s => AllocHint Node'const -> Message ('Mut s) -> m (Raw Node'const ('Mut s)) Source #
AllocateList Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'const Source # Methods newList :: RWCtx m s => ListAllocHint Node'const -> Message ('Mut s) -> m (Raw (List Node'const) ('Mut s)) Source #
HasTypeId Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "type_" 'Slot Node'const Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'const Type Source #
HasField "value" 'Slot Node'const Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'const Value Source #
HasVariant "const" 'Group Node Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'const Source #
EstimateAlloc Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'const -> AllocHint Node'const Source #
EstimateListAlloc Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'const ('Mut s) -> Parsed Node'const -> m () Source #
Parse Node'const (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'const 'Const -> m (Parsed Node'const) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'const -> m (Raw Node'const ('Mut s)) Source #
Generic (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'const) :: Type -> Type # Methods from :: Parsed Node'const -> Rep (Parsed Node'const) x # to :: Rep (Parsed Node'const) x -> Parsed Node'const #
Show (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'const -> ShowS # show :: Parsed Node'const -> String # showList :: [Parsed Node'const] -> ShowS #
Eq (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'const -> Parsed Node'const -> Bool # (/=) :: Parsed Node'const -> Parsed Node'const -> Bool #
type AllocHint Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'const = ()
type ListAllocHint Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'const = Int
data Parsed Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'const = Node'const' { type_ :: Parsed Type value :: Parsed Value }
type ReprFor Node'const Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'const = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'const) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'const) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'const'" 'PrefixI 'True) (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type)) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value))))

data Node'annotation Source #

Instances

Instances details

Allocate Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'annotation Source # Methods new :: RWCtx m s => AllocHint Node'annotation -> Message ('Mut s) -> m (Raw Node'annotation ('Mut s)) Source #
AllocateList Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'annotation Source # Methods newList :: RWCtx m s => ListAllocHint Node'annotation -> Message ('Mut s) -> m (Raw (List Node'annotation) ('Mut s)) Source #
HasTypeId Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "targetsAnnotation" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsConst" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsEnum" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsEnumerant" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsField" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsFile" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsGroup" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsInterface" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsMethod" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsParam" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsStruct" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "targetsUnion" 'Slot Node'annotation Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Bool Source #
HasField "type_" 'Slot Node'annotation Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'annotation Type Source #
HasVariant "annotation" 'Group Node Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Node Node'annotation Source #
EstimateAlloc Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'annotation -> AllocHint Node'annotation Source #
EstimateListAlloc Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'annotation ('Mut s) -> Parsed Node'annotation -> m () Source #
Parse Node'annotation (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'annotation 'Const -> m (Parsed Node'annotation) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'annotation -> m (Raw Node'annotation ('Mut s)) Source #
Generic (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'annotation) :: Type -> Type # Methods from :: Parsed Node'annotation -> Rep (Parsed Node'annotation) x # to :: Rep (Parsed Node'annotation) x -> Parsed Node'annotation #
Show (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'annotation -> ShowS # show :: Parsed Node'annotation -> String # showList :: [Parsed Node'annotation] -> ShowS #
Eq (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'annotation -> Parsed Node'annotation -> Bool # (/=) :: Parsed Node'annotation -> Parsed Node'annotation -> Bool #
type AllocHint Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'annotation = ()
type ListAllocHint Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'annotation = Int
data Parsed Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'annotation = Node'annotation' { type_ :: Parsed Type targetsFile :: Parsed Bool targetsConst :: Parsed Bool targetsEnum :: Parsed Bool targetsEnumerant :: Parsed Bool targetsStruct :: Parsed Bool targetsField :: Parsed Bool targetsUnion :: Parsed Bool targetsGroup :: Parsed Bool targetsInterface :: Parsed Bool targetsMethod :: Parsed Bool targetsParam :: Parsed Bool targetsAnnotation :: Parsed Bool }
type ReprFor Node'annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'annotation = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'annotation'" 'PrefixI 'True) (((S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type)) :: (S1 ('MetaSel ('Just "targetsFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "targetsConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :: (S1 ('MetaSel ('Just "targetsEnum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: (S1 ('MetaSel ('Just "targetsEnumerant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "targetsStruct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))))) :: ((S1 ('MetaSel ('Just "targetsField") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: (S1 ('MetaSel ('Just "targetsUnion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "targetsGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))) :: ((S1 ('MetaSel ('Just "targetsInterface") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "targetsMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool))) :: (S1 ('MetaSel ('Just "targetsParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)) :: S1 ('MetaSel ('Just "targetsAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))))))

data Node'Parameter Source #

Instances

Instances details

Allocate Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'Parameter Source # Methods new :: RWCtx m s => AllocHint Node'Parameter -> Message ('Mut s) -> m (Raw Node'Parameter ('Mut s)) Source #
AllocateList Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'Parameter Source # Methods newList :: RWCtx m s => ListAllocHint Node'Parameter -> Message ('Mut s) -> m (Raw (List Node'Parameter) ('Mut s)) Source #
HasTypeId Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "name" 'Slot Node'Parameter Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'Parameter Text Source #
HasField "implicitParameters" 'Slot Method (List Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods fieldByLabel :: Field 'Slot Node (List Node'Parameter) Source #
EstimateAlloc Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'Parameter -> AllocHint Node'Parameter Source #
EstimateListAlloc Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'Parameter ('Mut s) -> Parsed Node'Parameter -> m () Source #
Parse Node'Parameter (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'Parameter 'Const -> m (Parsed Node'Parameter) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'Parameter -> m (Raw Node'Parameter ('Mut s)) Source #
Generic (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'Parameter) :: Type -> Type # Methods from :: Parsed Node'Parameter -> Rep (Parsed Node'Parameter) x # to :: Rep (Parsed Node'Parameter) x -> Parsed Node'Parameter #
Show (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'Parameter -> ShowS # show :: Parsed Node'Parameter -> String # showList :: [Parsed Node'Parameter] -> ShowS #
Eq (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'Parameter -> Parsed Node'Parameter -> Bool # (/=) :: Parsed Node'Parameter -> Parsed Node'Parameter -> Bool #
type AllocHint Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'Parameter = ()
type ListAllocHint Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'Parameter = Int
data Parsed Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'Parameter = Node'Parameter { name :: Parsed Text }
type ReprFor Node'Parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'Parameter = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'Parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'Parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'Parameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Node'NestedNode Source #

Instances

Instances details

Allocate Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'NestedNode Source # Methods new :: RWCtx m s => AllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw Node'NestedNode ('Mut s)) Source #
AllocateList Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'NestedNode Source # Methods newList :: RWCtx m s => ListAllocHint Node'NestedNode -> Message ('Mut s) -> m (Raw (List Node'NestedNode) ('Mut s)) Source #
HasTypeId Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "id" 'Slot Node'NestedNode Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'NestedNode Word64 Source #
HasField "name" 'Slot Node'NestedNode Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'NestedNode Text Source #
HasField "nestedNodes" 'Slot Node (List Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node (List Node'NestedNode) Source #
EstimateAlloc Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'NestedNode -> AllocHint Node'NestedNode Source #
EstimateListAlloc Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'NestedNode ('Mut s) -> Parsed Node'NestedNode -> m () Source #
Parse Node'NestedNode (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'NestedNode 'Const -> m (Parsed Node'NestedNode) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'NestedNode -> m (Raw Node'NestedNode ('Mut s)) Source #
Generic (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'NestedNode) :: Type -> Type # Methods from :: Parsed Node'NestedNode -> Rep (Parsed Node'NestedNode) x # to :: Rep (Parsed Node'NestedNode) x -> Parsed Node'NestedNode #
Show (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'NestedNode -> ShowS # show :: Parsed Node'NestedNode -> String # showList :: [Parsed Node'NestedNode] -> ShowS #
Eq (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'NestedNode -> Parsed Node'NestedNode -> Bool # (/=) :: Parsed Node'NestedNode -> Parsed Node'NestedNode -> Bool #
type AllocHint Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'NestedNode = ()
type ListAllocHint Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'NestedNode = Int
data Parsed Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'NestedNode = Node'NestedNode { name :: Parsed Text id :: Parsed Word64 }
type ReprFor Node'NestedNode Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'NestedNode = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'NestedNode) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'NestedNode) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'NestedNode" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :*: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))

data Node'SourceInfo Source #

Instances

Instances details

Allocate Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'SourceInfo Source # Methods new :: RWCtx m s => AllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw Node'SourceInfo ('Mut s)) Source #
AllocateList Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'SourceInfo Source # Methods newList :: RWCtx m s => ListAllocHint Node'SourceInfo -> Message ('Mut s) -> m (Raw (List Node'SourceInfo) ('Mut s)) Source #
HasTypeId Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "docComment" 'Slot Node'SourceInfo Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'SourceInfo Text Source #
HasField "id" 'Slot Node'SourceInfo Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 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 Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List Node'SourceInfo) Source #
EstimateAlloc Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'SourceInfo -> AllocHint Node'SourceInfo Source #
EstimateListAlloc Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'SourceInfo ('Mut s) -> Parsed Node'SourceInfo -> m () Source #
Parse Node'SourceInfo (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'SourceInfo 'Const -> m (Parsed Node'SourceInfo) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo -> m (Raw Node'SourceInfo ('Mut s)) Source #
Generic (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'SourceInfo) :: Type -> Type # Methods from :: Parsed Node'SourceInfo -> Rep (Parsed Node'SourceInfo) x # to :: Rep (Parsed Node'SourceInfo) x -> Parsed Node'SourceInfo #
Show (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'SourceInfo -> ShowS # show :: Parsed Node'SourceInfo -> String # showList :: [Parsed Node'SourceInfo] -> ShowS #
Eq (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'SourceInfo -> Parsed Node'SourceInfo -> Bool # (/=) :: Parsed Node'SourceInfo -> Parsed Node'SourceInfo -> Bool #
type AllocHint Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'SourceInfo = ()
type ListAllocHint Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'SourceInfo = Int
data Parsed Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'SourceInfo = Node'SourceInfo { id :: Parsed Word64 docComment :: Parsed Text members :: Parsed (List Node'SourceInfo'Member) }
type ReprFor Node'SourceInfo Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'SourceInfo = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'SourceInfo) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'SourceInfo) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'SourceInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :: (S1 ('MetaSel ('Just "docComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :: S1 ('MetaSel ('Just "members") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Node'SourceInfo'Member))))))

data Node'SourceInfo'Member Source #

Instances

Instances details

Allocate Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Node'SourceInfo'Member Source # Methods new :: RWCtx m s => AllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw Node'SourceInfo'Member ('Mut s)) Source #
AllocateList Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Node'SourceInfo'Member Source # Methods newList :: RWCtx m s => ListAllocHint Node'SourceInfo'Member -> Message ('Mut s) -> m (Raw (List Node'SourceInfo'Member) ('Mut s)) Source #
HasTypeId Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "docComment" 'Slot Node'SourceInfo'Member Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods fieldByLabel :: Field 'Slot Node'SourceInfo (List Node'SourceInfo'Member) Source #
EstimateAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Node'SourceInfo'Member -> AllocHint Node'SourceInfo'Member Source #
EstimateListAlloc Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Node'SourceInfo'Member ('Mut s) -> Parsed Node'SourceInfo'Member -> m () Source #
Parse Node'SourceInfo'Member (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Node'SourceInfo'Member 'Const -> m (Parsed Node'SourceInfo'Member) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Node'SourceInfo'Member -> m (Raw Node'SourceInfo'Member ('Mut s)) Source #
Generic (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Node'SourceInfo'Member) :: Type -> Type # Methods from :: Parsed Node'SourceInfo'Member -> Rep (Parsed Node'SourceInfo'Member) x # to :: Rep (Parsed Node'SourceInfo'Member) x -> Parsed Node'SourceInfo'Member #
Show (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Node'SourceInfo'Member -> ShowS # show :: Parsed Node'SourceInfo'Member -> String # showList :: [Parsed Node'SourceInfo'Member] -> ShowS #
Eq (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Node'SourceInfo'Member -> Parsed Node'SourceInfo'Member -> Bool # (/=) :: Parsed Node'SourceInfo'Member -> Parsed Node'SourceInfo'Member -> Bool #
type AllocHint Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Node'SourceInfo'Member = ()
type ListAllocHint Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Node'SourceInfo'Member = Int
data Parsed Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Node'SourceInfo'Member = Node'SourceInfo'Member { docComment :: Parsed Text }
type ReprFor Node'SourceInfo'Member Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Node'SourceInfo'Member = 'Ptr ('Just 'Struct)
type Rep (Parsed Node'SourceInfo'Member) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Node'SourceInfo'Member) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Node'SourceInfo'Member" 'PrefixI 'True) (S1 ('MetaSel ('Just "docComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))

data Field Source #

Instances

Instances details

Allocate Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Field Source # Methods new :: RWCtx m s => AllocHint Field -> Message ('Mut s) -> m (Raw Field ('Mut s)) Source #
AllocateList Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Field Source # Methods newList :: RWCtx m s => ListAllocHint Field -> Message ('Mut s) -> m (Raw (List Field) ('Mut s)) Source #
HasTypeId Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Field Source # data RawWhich Field mut Source # Methods unionField :: Field0 'Slot Field Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Field mut -> m (RawWhich Field mut) Source #
HasField "codeOrder" 'Slot Field Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Field Word16 Source #
HasField "discriminantValue" 'Slot Field Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Field Word16 Source #
HasField "name" 'Slot Field Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Field Text Source #
HasField "ordinal" 'Group Field Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Group Field Field'ordinal Source #
HasVariant "group" 'Group Field Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Field Field'group Source #
HasVariant "slot" 'Group Field Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Field Field'slot Source #
HasField "annotations" 'Slot Field (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Field (List Annotation) Source #
HasField "fields" 'Slot Node'struct (List Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Node'struct (List Field) Source #
EstimateAlloc Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Field -> AllocHint Field Source #
EstimateListAlloc Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed Field) -> AllocHint (List Field) Source #
Marshal Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw Field ('Mut s) -> Parsed Field -> m () Source #
Parse Field (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Field 'Const -> m (Parsed Field) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field -> m (Raw Field ('Mut s)) Source #
Generic (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Field)) :: Type -> Type # Methods from :: Parsed (Which Field) -> Rep (Parsed (Which Field)) x # to :: Rep (Parsed (Which Field)) x -> Parsed (Which Field) #
Generic (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Field) :: Type -> Type # Methods from :: Parsed Field -> Rep (Parsed Field) x # to :: Rep (Parsed Field) x -> Parsed Field #
Show (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Field) -> ShowS # show :: Parsed (Which Field) -> String # showList :: [Parsed (Which Field)] -> ShowS #
Show (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Field -> ShowS # show :: Parsed Field -> String # showList :: [Parsed Field] -> ShowS #
Eq (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods (==) :: Parsed Field -> Parsed Field -> Bool # (/=) :: Parsed Field -> Parsed Field -> Bool #
Marshal (Which Field) (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Field) ('Mut s) -> Parsed (Which Field) -> m () Source #
Parse (Which Field) (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Field) 'Const -> m (Parsed (Which Field)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field) -> m (Raw (Which Field) ('Mut s)) Source #
type AllocHint Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Field = ()
type ListAllocHint Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Field = Int
data Parsed Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Field = Field { name :: Parsed Text codeOrder :: Parsed Word16 annotations :: Parsed (List Annotation) discriminantValue :: Parsed Word16 ordinal :: Parsed Field'ordinal union' :: Parsed (Which Field) }
data RawWhich Field mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Field mut_ = RW_Field'slot (Raw Field'slot mut_) \| RW_Field'group (Raw Field'group mut_) \| RW_Field'unknown' Word16
data Which Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Field
type ReprFor Field Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Field = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Field)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Field)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'slot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'slot))) :+: (C1 ('MetaCons "Field'group" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'group))) :+: C1 ('MetaCons "Field'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type Rep (Parsed Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Field) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :: (S1 ('MetaSel ('Just "codeOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation))))) :: (S1 ('MetaSel ('Just "discriminantValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: (S1 ('MetaSel ('Just "ordinal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Field'ordinal)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Field)))))))
data Parsed (Which Field) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Field) = Field'slot (Parsed Field'slot) \| Field'group (Parsed Field'group) \| Field'unknown' Word16

data Field'slot Source #

Instances

Instances details

Allocate Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Field'slot Source # Methods new :: RWCtx m s => AllocHint Field'slot -> Message ('Mut s) -> m (Raw Field'slot ('Mut s)) Source #
AllocateList Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Field'slot Source # Methods newList :: RWCtx m s => ListAllocHint Field'slot -> Message ('Mut s) -> m (Raw (List Field'slot) ('Mut s)) Source #
HasTypeId Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "defaultValue" 'Slot Field'slot Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Field'slot Value Source #
HasField "hadExplicitDefault" 'Slot Field'slot Bool Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Field'slot Bool Source #
HasField "offset" 'Slot Field'slot Word32 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Field'slot Word32 Source #
HasField "type_" 'Slot Field'slot Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Field'slot Type Source #
HasVariant "slot" 'Group Field Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Field Field'slot Source #
EstimateAlloc Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Field'slot -> AllocHint Field'slot Source #
EstimateListAlloc Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Field'slot ('Mut s) -> Parsed Field'slot -> m () Source #
Parse Field'slot (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Field'slot 'Const -> m (Parsed Field'slot) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'slot -> m (Raw Field'slot ('Mut s)) Source #
Generic (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Field'slot) :: Type -> Type # Methods from :: Parsed Field'slot -> Rep (Parsed Field'slot) x # to :: Rep (Parsed Field'slot) x -> Parsed Field'slot #
Show (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Field'slot -> ShowS # show :: Parsed Field'slot -> String # showList :: [Parsed Field'slot] -> ShowS #
Eq (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Field'slot -> Parsed Field'slot -> Bool # (/=) :: Parsed Field'slot -> Parsed Field'slot -> Bool #
type AllocHint Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Field'slot = ()
type ListAllocHint Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Field'slot = Int
data Parsed Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Field'slot = Field'slot' { offset :: Parsed Word32 type_ :: Parsed Type defaultValue :: Parsed Value hadExplicitDefault :: Parsed Bool }
type ReprFor Field'slot Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Field'slot = 'Ptr ('Just 'Struct)
type Rep (Parsed Field'slot) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Field'slot) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'slot'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "offset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word32)) :: S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))) :: (S1 ('MetaSel ('Just "defaultValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value)) :*: S1 ('MetaSel ('Just "hadExplicitDefault") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Bool)))))

data Field'group Source #

Instances

Instances details

Allocate Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Field'group Source # Methods new :: RWCtx m s => AllocHint Field'group -> Message ('Mut s) -> m (Raw Field'group ('Mut s)) Source #
AllocateList Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Field'group Source # Methods newList :: RWCtx m s => ListAllocHint Field'group -> Message ('Mut s) -> m (Raw (List Field'group) ('Mut s)) Source #
HasTypeId Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "typeId" 'Slot Field'group Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Field'group Word64 Source #
HasVariant "group" 'Group Field Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Field Field'group Source #
EstimateAlloc Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Field'group -> AllocHint Field'group Source #
EstimateListAlloc Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Field'group ('Mut s) -> Parsed Field'group -> m () Source #
Parse Field'group (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Field'group 'Const -> m (Parsed Field'group) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'group -> m (Raw Field'group ('Mut s)) Source #
Generic (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Field'group) :: Type -> Type # Methods from :: Parsed Field'group -> Rep (Parsed Field'group) x # to :: Rep (Parsed Field'group) x -> Parsed Field'group #
Show (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Field'group -> ShowS # show :: Parsed Field'group -> String # showList :: [Parsed Field'group] -> ShowS #
Eq (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Field'group -> Parsed Field'group -> Bool # (/=) :: Parsed Field'group -> Parsed Field'group -> Bool #
type AllocHint Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Field'group = ()
type ListAllocHint Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Field'group = Int
data Parsed Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Field'group = Field'group' { typeId :: Parsed Word64 }
type ReprFor Field'group Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Field'group = 'Ptr ('Just 'Struct)
type Rep (Parsed Field'group) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Field'group) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'group'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64))))

data Field'ordinal Source #

Instances

Instances details

Allocate Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Field'ordinal Source # Methods new :: RWCtx m s => AllocHint Field'ordinal -> Message ('Mut s) -> m (Raw Field'ordinal ('Mut s)) Source #
AllocateList Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Field'ordinal Source # Methods newList :: RWCtx m s => ListAllocHint Field'ordinal -> Message ('Mut s) -> m (Raw (List Field'ordinal) ('Mut s)) Source #
HasTypeId Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Field'ordinal Source # data RawWhich Field'ordinal mut Source # Methods unionField :: Field 'Slot Field'ordinal Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Field'ordinal mut -> m (RawWhich Field'ordinal mut) Source #
HasField "ordinal" 'Group Field Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Group Field Field'ordinal Source #
HasVariant "explicit" 'Slot Field'ordinal Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Field'ordinal Word16 Source #
HasVariant "implicit" 'Slot Field'ordinal () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Field'ordinal () Source #
EstimateAlloc Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Field'ordinal -> AllocHint Field'ordinal Source #
EstimateListAlloc Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Field'ordinal ('Mut s) -> Parsed Field'ordinal -> m () Source #
Parse Field'ordinal (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Field'ordinal 'Const -> m (Parsed Field'ordinal) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Field'ordinal -> m (Raw Field'ordinal ('Mut s)) Source #
Generic (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Field'ordinal)) :: Type -> Type # Methods from :: Parsed (Which Field'ordinal) -> Rep (Parsed (Which Field'ordinal)) x # to :: Rep (Parsed (Which Field'ordinal)) x -> Parsed (Which Field'ordinal) #
Generic (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Field'ordinal) :: Type -> Type # Methods from :: Parsed Field'ordinal -> Rep (Parsed Field'ordinal) x # to :: Rep (Parsed Field'ordinal) x -> Parsed Field'ordinal #
Show (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Field'ordinal) -> ShowS # show :: Parsed (Which Field'ordinal) -> String # showList :: [Parsed (Which Field'ordinal)] -> ShowS #
Show (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Field'ordinal -> ShowS # show :: Parsed Field'ordinal -> String # showList :: [Parsed Field'ordinal] -> ShowS #
Eq (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed (Which Field'ordinal) -> Parsed (Which Field'ordinal) -> Bool # (/=) :: Parsed (Which Field'ordinal) -> Parsed (Which Field'ordinal) -> Bool #
Eq (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Field'ordinal -> Parsed Field'ordinal -> Bool # (/=) :: Parsed Field'ordinal -> Parsed Field'ordinal -> Bool #
Marshal (Which Field'ordinal) (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Field'ordinal) ('Mut s) -> Parsed (Which Field'ordinal) -> m () Source #
Parse (Which Field'ordinal) (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Field'ordinal) 'Const -> m (Parsed (Which Field'ordinal)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Field'ordinal) -> m (Raw (Which Field'ordinal) ('Mut s)) Source #
type AllocHint Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Field'ordinal = ()
type ListAllocHint Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Field'ordinal = Int
data Parsed Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Field'ordinal = Field'ordinal' { union' :: Parsed (Which Field'ordinal) }
data RawWhich Field'ordinal mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Field'ordinal mut_ = RW_Field'ordinal'implicit (Raw () mut_) \| RW_Field'ordinal'explicit (Raw Word16 mut_) \| RW_Field'ordinal'unknown' Word16
data Which Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Field'ordinal
type ReprFor Field'ordinal Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Field'ordinal = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Field'ordinal)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Field'ordinal)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'ordinal'implicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Field'ordinal'explicit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))) :+: C1 ('MetaCons "Field'ordinal'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type Rep (Parsed Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Field'ordinal) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Field'ordinal'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Field'ordinal)))))
data Parsed (Which Field'ordinal) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Field'ordinal) = Field'ordinal'implicit \| Field'ordinal'explicit (Parsed Word16) \| Field'ordinal'unknown' Word16

field'noDiscriminant :: Word16 Source #

data Enumerant Source #

Instances

Instances details

Allocate Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Enumerant Source # Methods new :: RWCtx m s => AllocHint Enumerant -> Message ('Mut s) -> m (Raw Enumerant ('Mut s)) Source #
AllocateList Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Enumerant Source # Methods newList :: RWCtx m s => ListAllocHint Enumerant -> Message ('Mut s) -> m (Raw (List Enumerant) ('Mut s)) Source #
HasTypeId Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "codeOrder" 'Slot Enumerant Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Enumerant Word16 Source #
HasField "name" 'Slot Enumerant Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Enumerant Text Source #
HasField "annotations" 'Slot Enumerant (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Enumerant (List Annotation) Source #
HasField "enumerants" 'Slot Node'enum (List Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'enum (List Enumerant) Source #
EstimateAlloc Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Enumerant -> AllocHint Enumerant Source #
EstimateListAlloc Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed Enumerant) -> AllocHint (List Enumerant) Source #
Marshal Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw Enumerant ('Mut s) -> Parsed Enumerant -> m () Source #
Parse Enumerant (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Enumerant 'Const -> m (Parsed Enumerant) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Enumerant -> m (Raw Enumerant ('Mut s)) Source #
Generic (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Enumerant) :: Type -> Type # Methods from :: Parsed Enumerant -> Rep (Parsed Enumerant) x # to :: Rep (Parsed Enumerant) x -> Parsed Enumerant #
Show (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Enumerant -> ShowS # show :: Parsed Enumerant -> String # showList :: [Parsed Enumerant] -> ShowS #
Eq (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Enumerant -> Parsed Enumerant -> Bool # (/=) :: Parsed Enumerant -> Parsed Enumerant -> Bool #
type AllocHint Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Enumerant = ()
type ListAllocHint Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Enumerant = Int
data Parsed Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Enumerant = Enumerant { name :: Parsed Text codeOrder :: Parsed Word16 annotations :: Parsed (List Annotation) }
type ReprFor Enumerant Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Enumerant = 'Ptr ('Just 'Struct)
type Rep (Parsed Enumerant) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Enumerant) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Enumerant" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :: (S1 ('MetaSel ('Just "codeOrder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Annotation))))))

data Superclass Source #

Instances

Instances details

Allocate Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Superclass Source # Methods new :: RWCtx m s => AllocHint Superclass -> Message ('Mut s) -> m (Raw Superclass ('Mut s)) Source #
AllocateList Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Superclass Source # Methods newList :: RWCtx m s => ListAllocHint Superclass -> Message ('Mut s) -> m (Raw (List Superclass) ('Mut s)) Source #
HasTypeId Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "brand" 'Slot Superclass Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Superclass Brand Source #
HasField "id" 'Slot Superclass Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Superclass Word64 Source #
HasField "superclasses" 'Slot Node'interface (List Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'interface (List Superclass) Source #
EstimateAlloc Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Superclass -> AllocHint Superclass Source #
EstimateListAlloc Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed Superclass) -> AllocHint (List Superclass) Source #
Marshal Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw Superclass ('Mut s) -> Parsed Superclass -> m () Source #
Parse Superclass (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Superclass 'Const -> m (Parsed Superclass) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Superclass -> m (Raw Superclass ('Mut s)) Source #
Generic (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Superclass) :: Type -> Type # Methods from :: Parsed Superclass -> Rep (Parsed Superclass) x # to :: Rep (Parsed Superclass) x -> Parsed Superclass #
Show (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Superclass -> ShowS # show :: Parsed Superclass -> String # showList :: [Parsed Superclass] -> ShowS #
Eq (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Superclass -> Parsed Superclass -> Bool # (/=) :: Parsed Superclass -> Parsed Superclass -> Bool #
type AllocHint Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Superclass = ()
type ListAllocHint Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Superclass = Int
data Parsed Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Superclass = Superclass { id :: Parsed Word64 brand :: Parsed Brand }
type ReprFor Superclass Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Superclass = 'Ptr ('Just 'Struct)
type Rep (Parsed Superclass) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Superclass) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Superclass" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Method Source #

Instances

Instances details

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

data Type Source #

Instances

Instances details

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

data Type'list Source #

Instances

Instances details

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

data Type'enum Source #

Instances

Instances details

Allocate Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'enum Source # Methods new :: RWCtx m s => AllocHint Type'enum -> Message ('Mut s) -> m (Raw Type'enum ('Mut s)) Source #
AllocateList Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'enum Source # Methods newList :: RWCtx m s => ListAllocHint Type'enum -> Message ('Mut s) -> m (Raw (List Type'enum) ('Mut s)) Source #
HasTypeId Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "brand" 'Slot Type'enum Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'enum Brand Source #
HasField "typeId" 'Slot Type'enum Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'enum Word64 Source #
HasVariant "enum" 'Group Type Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Type Type'enum Source #
EstimateAlloc Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'enum -> AllocHint Type'enum Source #
EstimateListAlloc Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'enum ('Mut s) -> Parsed Type'enum -> m () Source #
Parse Type'enum (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'enum 'Const -> m (Parsed Type'enum) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'enum -> m (Raw Type'enum ('Mut s)) Source #
Generic (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'enum) :: Type -> Type # Methods from :: Parsed Type'enum -> Rep (Parsed Type'enum) x # to :: Rep (Parsed Type'enum) x -> Parsed Type'enum #
Show (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'enum -> ShowS # show :: Parsed Type'enum -> String # showList :: [Parsed Type'enum] -> ShowS #
Eq (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'enum -> Parsed Type'enum -> Bool # (/=) :: Parsed Type'enum -> Parsed Type'enum -> Bool #
type AllocHint Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'enum = ()
type ListAllocHint Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'enum = Int
data Parsed Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'enum = Type'enum' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ReprFor Type'enum Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'enum = 'Ptr ('Just 'Struct)
type Rep (Parsed Type'enum) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'enum) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'enum'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'struct Source #

Instances

Instances details

Allocate Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'struct Source # Methods new :: RWCtx m s => AllocHint Type'struct -> Message ('Mut s) -> m (Raw Type'struct ('Mut s)) Source #
AllocateList Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'struct Source # Methods newList :: RWCtx m s => ListAllocHint Type'struct -> Message ('Mut s) -> m (Raw (List Type'struct) ('Mut s)) Source #
HasTypeId Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "brand" 'Slot Type'struct Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'struct Brand Source #
HasField "typeId" 'Slot Type'struct Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'struct Word64 Source #
HasVariant "struct" 'Group Type Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Type Type'struct Source #
EstimateAlloc Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'struct -> AllocHint Type'struct Source #
EstimateListAlloc Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'struct ('Mut s) -> Parsed Type'struct -> m () Source #
Parse Type'struct (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'struct 'Const -> m (Parsed Type'struct) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'struct -> m (Raw Type'struct ('Mut s)) Source #
Generic (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'struct) :: Type -> Type # Methods from :: Parsed Type'struct -> Rep (Parsed Type'struct) x # to :: Rep (Parsed Type'struct) x -> Parsed Type'struct #
Show (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'struct -> ShowS # show :: Parsed Type'struct -> String # showList :: [Parsed Type'struct] -> ShowS #
Eq (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'struct -> Parsed Type'struct -> Bool # (/=) :: Parsed Type'struct -> Parsed Type'struct -> Bool #
type AllocHint Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'struct = ()
type ListAllocHint Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'struct = Int
data Parsed Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'struct = Type'struct' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ReprFor Type'struct Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'struct = 'Ptr ('Just 'Struct)
type Rep (Parsed Type'struct) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'struct) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'struct'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'interface Source #

Instances

Instances details

Allocate Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'interface Source # Methods new :: RWCtx m s => AllocHint Type'interface -> Message ('Mut s) -> m (Raw Type'interface ('Mut s)) Source #
AllocateList Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'interface Source # Methods newList :: RWCtx m s => ListAllocHint Type'interface -> Message ('Mut s) -> m (Raw (List Type'interface) ('Mut s)) Source #
HasTypeId Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "brand" 'Slot Type'interface Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'interface Brand Source #
HasField "typeId" 'Slot Type'interface Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Type'interface Word64 Source #
HasVariant "interface" 'Group Type Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Type Type'interface Source #
EstimateAlloc Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'interface -> AllocHint Type'interface Source #
EstimateListAlloc Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'interface ('Mut s) -> Parsed Type'interface -> m () Source #
Parse Type'interface (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'interface 'Const -> m (Parsed Type'interface) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'interface -> m (Raw Type'interface ('Mut s)) Source #
Generic (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'interface) :: Type -> Type # Methods from :: Parsed Type'interface -> Rep (Parsed Type'interface) x # to :: Rep (Parsed Type'interface) x -> Parsed Type'interface #
Show (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'interface -> ShowS # show :: Parsed Type'interface -> String # showList :: [Parsed Type'interface] -> ShowS #
Eq (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'interface -> Parsed Type'interface -> Bool # (/=) :: Parsed Type'interface -> Parsed Type'interface -> Bool #
type AllocHint Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'interface = ()
type ListAllocHint Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'interface = Int
data Parsed Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'interface = Type'interface' { typeId :: Parsed Word64 brand :: Parsed Brand }
type ReprFor Type'interface Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'interface = 'Ptr ('Just 'Struct)
type Rep (Parsed Type'interface) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'interface) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'interface'" 'PrefixI 'True) (S1 ('MetaSel ('Just "typeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand))))

data Type'anyPointer Source #

Instances

Instances details

Allocate Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'anyPointer Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw Type'anyPointer ('Mut s)) Source #
AllocateList Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'anyPointer Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer -> Message ('Mut s) -> m (Raw (List Type'anyPointer) ('Mut s)) Source #
HasTypeId Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Type'anyPointer Source # data RawWhich Type'anyPointer mut Source # Methods unionField :: Field 'Slot Type'anyPointer Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Type'anyPointer mut -> m (RawWhich Type'anyPointer mut) Source #
HasVariant "anyPointer" 'Group Type Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 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 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 Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
EstimateAlloc Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'anyPointer -> AllocHint Type'anyPointer Source #
EstimateListAlloc Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'anyPointer ('Mut s) -> Parsed Type'anyPointer -> m () Source #
Parse Type'anyPointer (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'anyPointer 'Const -> m (Parsed Type'anyPointer) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer -> m (Raw Type'anyPointer ('Mut s)) Source #
Generic (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Type'anyPointer)) :: Type -> Type # Methods from :: Parsed (Which Type'anyPointer) -> Rep (Parsed (Which Type'anyPointer)) x # to :: Rep (Parsed (Which Type'anyPointer)) x -> Parsed (Which Type'anyPointer) #
Generic (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'anyPointer) :: Type -> Type # Methods from :: Parsed Type'anyPointer -> Rep (Parsed Type'anyPointer) x # to :: Rep (Parsed Type'anyPointer) x -> Parsed Type'anyPointer #
Show (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Type'anyPointer) -> ShowS # show :: Parsed (Which Type'anyPointer) -> String # showList :: [Parsed (Which Type'anyPointer)] -> ShowS #
Show (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'anyPointer -> ShowS # show :: Parsed Type'anyPointer -> String # showList :: [Parsed Type'anyPointer] -> ShowS #
Eq (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed (Which Type'anyPointer) -> Parsed (Which Type'anyPointer) -> Bool # (/=) :: Parsed (Which Type'anyPointer) -> Parsed (Which Type'anyPointer) -> Bool #
Eq (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'anyPointer -> Parsed Type'anyPointer -> Bool # (/=) :: Parsed Type'anyPointer -> Parsed Type'anyPointer -> Bool #
Marshal (Which Type'anyPointer) (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Type'anyPointer) ('Mut s) -> Parsed (Which Type'anyPointer) -> m () Source #
Parse (Which Type'anyPointer) (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Type'anyPointer) 'Const -> m (Parsed (Which Type'anyPointer)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer) -> m (Raw (Which Type'anyPointer) ('Mut s)) Source #
type AllocHint Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'anyPointer = ()
type ListAllocHint Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'anyPointer = Int
data Parsed Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'anyPointer = Type'anyPointer' { union' :: Parsed (Which Type'anyPointer) }
data RawWhich Type'anyPointer mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Type'anyPointer mut_ = RW_Type'anyPointer'unconstrained (Raw Type'anyPointer'unconstrained mut_) \| RW_Type'anyPointer'parameter (Raw Type'anyPointer'parameter mut_) \| RW_Type'anyPointer'implicitMethodParameter (Raw Type'anyPointer'implicitMethodParameter mut_) \| RW_Type'anyPointer'unknown' Word16
data Which Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Type'anyPointer
type ReprFor Type'anyPointer Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'anyPointer = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Type'anyPointer)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Type'anyPointer)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Type'anyPointer'unconstrained" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'unconstrained))) :+: C1 ('MetaCons "Type'anyPointer'parameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'parameter)))) :+: (C1 ('MetaCons "Type'anyPointer'implicitMethodParameter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type'anyPointer'implicitMethodParameter))) :+: C1 ('MetaCons "Type'anyPointer'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type Rep (Parsed Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'anyPointer) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type'anyPointer)))))
data Parsed (Which Type'anyPointer) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Type'anyPointer) = Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) \| Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) \| Type'anyPointer'implicitMethodParameter (Parsed Type'anyPointer'implicitMethodParameter) \| Type'anyPointer'unknown' Word16

data Type'anyPointer'unconstrained Source #

Instances

Instances details

Allocate Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'anyPointer'unconstrained Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw Type'anyPointer'unconstrained ('Mut s)) Source #
AllocateList Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'anyPointer'unconstrained Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer'unconstrained -> Message ('Mut s) -> m (Raw (List Type'anyPointer'unconstrained) ('Mut s)) Source #
HasTypeId Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Type'anyPointer'unconstrained Source # data RawWhich Type'anyPointer'unconstrained mut Source # Methods unionField :: Field 'Slot Type'anyPointer'unconstrained Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Type'anyPointer'unconstrained mut -> m (RawWhich Type'anyPointer'unconstrained mut) Source #
HasVariant "anyKind" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "capability" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "list" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Type'anyPointer'unconstrained () Source #
HasVariant "struct" 'Slot Type'anyPointer'unconstrained () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'unconstrained Source #
EstimateAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'anyPointer'unconstrained -> AllocHint Type'anyPointer'unconstrained Source #
EstimateListAlloc Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'anyPointer'unconstrained ('Mut s) -> Parsed Type'anyPointer'unconstrained -> m () Source #
Parse Type'anyPointer'unconstrained (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'anyPointer'unconstrained 'Const -> m (Parsed Type'anyPointer'unconstrained) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'unconstrained -> m (Raw Type'anyPointer'unconstrained ('Mut s)) Source #
Generic (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Type'anyPointer'unconstrained)) :: Type -> Type # Methods from :: Parsed (Which Type'anyPointer'unconstrained) -> Rep (Parsed (Which Type'anyPointer'unconstrained)) x # to :: Rep (Parsed (Which Type'anyPointer'unconstrained)) x -> Parsed (Which Type'anyPointer'unconstrained) #
Generic (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'anyPointer'unconstrained) :: Type -> Type # Methods from :: Parsed Type'anyPointer'unconstrained -> Rep (Parsed Type'anyPointer'unconstrained) x # to :: Rep (Parsed Type'anyPointer'unconstrained) x -> Parsed Type'anyPointer'unconstrained #
Show (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Type'anyPointer'unconstrained) -> ShowS # show :: Parsed (Which Type'anyPointer'unconstrained) -> String # showList :: [Parsed (Which Type'anyPointer'unconstrained)] -> ShowS #
Show (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'anyPointer'unconstrained -> ShowS # show :: Parsed Type'anyPointer'unconstrained -> String # showList :: [Parsed Type'anyPointer'unconstrained] -> ShowS #
Eq (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed (Which Type'anyPointer'unconstrained) -> Parsed (Which Type'anyPointer'unconstrained) -> Bool # (/=) :: Parsed (Which Type'anyPointer'unconstrained) -> Parsed (Which Type'anyPointer'unconstrained) -> Bool #
Eq (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'anyPointer'unconstrained -> Parsed Type'anyPointer'unconstrained -> Bool # (/=) :: Parsed Type'anyPointer'unconstrained -> Parsed Type'anyPointer'unconstrained -> Bool #
Marshal (Which Type'anyPointer'unconstrained) (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Type'anyPointer'unconstrained) ('Mut s) -> 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 Methods parse :: ReadCtx m 'Const => Raw (Which Type'anyPointer'unconstrained) 'Const -> m (Parsed (Which Type'anyPointer'unconstrained)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Type'anyPointer'unconstrained) -> m (Raw (Which Type'anyPointer'unconstrained) ('Mut s)) Source #
type AllocHint Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'anyPointer'unconstrained = ()
type ListAllocHint Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'anyPointer'unconstrained = Int
data Parsed Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'anyPointer'unconstrained = Type'anyPointer'unconstrained' { union' :: Parsed (Which Type'anyPointer'unconstrained) }
data RawWhich Type'anyPointer'unconstrained mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Type'anyPointer'unconstrained mut_ = RW_Type'anyPointer'unconstrained'anyKind (Raw () mut_) \| RW_Type'anyPointer'unconstrained'struct (Raw () mut_) \| RW_Type'anyPointer'unconstrained'list (Raw () mut_) \| RW_Type'anyPointer'unconstrained'capability (Raw () mut_) \| RW_Type'anyPointer'unconstrained'unknown' Word16
data Which Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Type'anyPointer'unconstrained
type ReprFor Type'anyPointer'unconstrained Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'anyPointer'unconstrained = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Type'anyPointer'unconstrained)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Type'anyPointer'unconstrained)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) ((C1 ('MetaCons "Type'anyPointer'unconstrained'anyKind" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'anyPointer'unconstrained'struct" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Type'anyPointer'unconstrained'list" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Type'anyPointer'unconstrained'capability" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Type'anyPointer'unconstrained'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))))
type Rep (Parsed Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'anyPointer'unconstrained) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'unconstrained'" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Type'anyPointer'unconstrained)))))
data Parsed (Which Type'anyPointer'unconstrained) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Type'anyPointer'unconstrained) = Type'anyPointer'unconstrained'anyKind \| Type'anyPointer'unconstrained'struct \| Type'anyPointer'unconstrained'list \| Type'anyPointer'unconstrained'capability \| Type'anyPointer'unconstrained'unknown' Word16

data Type'anyPointer'parameter Source #

Instances

Instances details

Allocate Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Type'anyPointer'parameter Source # Methods new :: RWCtx m s => AllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw Type'anyPointer'parameter ('Mut s)) Source #
AllocateList Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Type'anyPointer'parameter Source # Methods newList :: RWCtx m s => ListAllocHint Type'anyPointer'parameter -> Message ('Mut s) -> m (Raw (List Type'anyPointer'parameter) ('Mut s)) Source #
HasTypeId Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "parameterIndex" 'Slot Type'anyPointer'parameter Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods fieldByLabel :: Field 'Slot Type'anyPointer'parameter Word64 Source #
HasVariant "parameter" 'Group Type'anyPointer Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Group Type'anyPointer Type'anyPointer'parameter Source #
EstimateAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Type'anyPointer'parameter -> AllocHint Type'anyPointer'parameter Source #
EstimateListAlloc Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Type'anyPointer'parameter ('Mut s) -> Parsed Type'anyPointer'parameter -> m () Source #
Parse Type'anyPointer'parameter (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Type'anyPointer'parameter 'Const -> m (Parsed Type'anyPointer'parameter) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Type'anyPointer'parameter -> m (Raw Type'anyPointer'parameter ('Mut s)) Source #
Generic (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Type'anyPointer'parameter) :: Type -> Type # Methods from :: Parsed Type'anyPointer'parameter -> Rep (Parsed Type'anyPointer'parameter) x # to :: Rep (Parsed Type'anyPointer'parameter) x -> Parsed Type'anyPointer'parameter #
Show (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Type'anyPointer'parameter -> ShowS # show :: Parsed Type'anyPointer'parameter -> String # showList :: [Parsed Type'anyPointer'parameter] -> ShowS #
Eq (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Type'anyPointer'parameter -> Parsed Type'anyPointer'parameter -> Bool # (/=) :: Parsed Type'anyPointer'parameter -> Parsed Type'anyPointer'parameter -> Bool #
type AllocHint Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Type'anyPointer'parameter = ()
type ListAllocHint Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Type'anyPointer'parameter = Int
data Parsed Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Type'anyPointer'parameter = Type'anyPointer'parameter' { scopeId :: Parsed Word64 parameterIndex :: Parsed Word16 }
type ReprFor Type'anyPointer'parameter Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Type'anyPointer'parameter = 'Ptr ('Just 'Struct)
type Rep (Parsed Type'anyPointer'parameter) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Type'anyPointer'parameter) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Type'anyPointer'parameter'" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "parameterIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16))))

data Type'anyPointer'implicitMethodParameter Source #

Instances

Instances details

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

data Brand Source #

Instances

Instances details

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

data Brand'Scope Source #

Instances

Instances details

Allocate Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Brand'Scope Source # Methods new :: RWCtx m s => AllocHint Brand'Scope -> Message ('Mut s) -> m (Raw Brand'Scope ('Mut s)) Source #
AllocateList Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Brand'Scope Source # Methods newList :: RWCtx m s => ListAllocHint Brand'Scope -> Message ('Mut s) -> m (Raw (List Brand'Scope) ('Mut s)) Source #
HasTypeId Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Brand'Scope Source # data RawWhich Brand'Scope mut Source # Methods unionField :: Field 'Slot Brand'Scope Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Brand'Scope mut -> m (RawWhich Brand'Scope mut) Source #
HasField "scopeId" 'Slot Brand'Scope Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Brand'Scope Word64 Source #
HasVariant "inherit" 'Slot Brand'Scope () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Brand'Scope () Source #
HasField "scopes" 'Slot Brand (List Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Brand (List Brand'Scope) Source #
HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding) Source #
EstimateAlloc Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Brand'Scope -> AllocHint Brand'Scope Source #
EstimateListAlloc Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Brand'Scope ('Mut s) -> Parsed Brand'Scope -> m () Source #
Parse Brand'Scope (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Brand'Scope 'Const -> m (Parsed Brand'Scope) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Scope -> m (Raw Brand'Scope ('Mut s)) Source #
Generic (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Brand'Scope)) :: Type -> Type # Methods from :: Parsed (Which Brand'Scope) -> Rep (Parsed (Which Brand'Scope)) x # to :: Rep (Parsed (Which Brand'Scope)) x -> Parsed (Which Brand'Scope) #
Generic (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Brand'Scope) :: Type -> Type # Methods from :: Parsed Brand'Scope -> Rep (Parsed Brand'Scope) x # to :: Rep (Parsed Brand'Scope) x -> Parsed Brand'Scope #
Show (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Brand'Scope) -> ShowS # show :: Parsed (Which Brand'Scope) -> String # showList :: [Parsed (Which Brand'Scope)] -> ShowS #
Show (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Brand'Scope -> ShowS # show :: Parsed Brand'Scope -> String # showList :: [Parsed Brand'Scope] -> ShowS #
Eq (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed (Which Brand'Scope) -> Parsed (Which Brand'Scope) -> Bool # (/=) :: Parsed (Which Brand'Scope) -> Parsed (Which Brand'Scope) -> Bool #
Eq (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Brand'Scope -> Parsed Brand'Scope -> Bool # (/=) :: Parsed Brand'Scope -> Parsed Brand'Scope -> Bool #
Marshal (Which Brand'Scope) (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Brand'Scope) ('Mut s) -> Parsed (Which Brand'Scope) -> m () Source #
Parse (Which Brand'Scope) (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Brand'Scope) 'Const -> m (Parsed (Which Brand'Scope)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Scope) -> m (Raw (Which Brand'Scope) ('Mut s)) Source #
type AllocHint Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Brand'Scope = ()
type ListAllocHint Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Brand'Scope = Int
data Parsed Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Brand'Scope = Brand'Scope { scopeId :: Parsed Word64 union' :: Parsed (Which Brand'Scope) }
data RawWhich Brand'Scope mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Brand'Scope mut_ = RW_Brand'Scope'bind (Raw (List Brand'Binding) mut_) \| RW_Brand'Scope'inherit (Raw () mut_) \| RW_Brand'Scope'unknown' Word16
data Which Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Brand'Scope
type ReprFor Brand'Scope Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Brand'Scope = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Brand'Scope)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Brand'Scope)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Scope'bind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List Brand'Binding)))) :+: (C1 ('MetaCons "Brand'Scope'inherit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Brand'Scope'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type Rep (Parsed Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Brand'Scope) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Scope" 'PrefixI 'True) (S1 ('MetaSel ('Just "scopeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Brand'Scope)))))
data Parsed (Which Brand'Scope) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Brand'Scope) = Brand'Scope'bind (Parsed (List Brand'Binding)) \| Brand'Scope'inherit \| Brand'Scope'unknown' Word16

data Brand'Binding Source #

Instances

Instances details

Allocate Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Brand'Binding Source # Methods new :: RWCtx m s => AllocHint Brand'Binding -> Message ('Mut s) -> m (Raw Brand'Binding ('Mut s)) Source #
AllocateList Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Brand'Binding Source # Methods newList :: RWCtx m s => ListAllocHint Brand'Binding -> Message ('Mut s) -> m (Raw (List Brand'Binding) ('Mut s)) Source #
HasTypeId Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasUnion Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types data Which Brand'Binding Source # data RawWhich Brand'Binding mut Source # Methods unionField :: Field 'Slot Brand'Binding Word16 Source # internalWhich :: forall m (mut :: Mutability). ReadCtx m mut => Word16 -> Raw Brand'Binding mut -> m (RawWhich Brand'Binding mut) Source #
HasVariant "type_" 'Slot Brand'Binding Type Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Brand'Binding Type Source #
HasVariant "unbound" 'Slot Brand'Binding () Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Brand'Binding () Source #
HasVariant "bind" 'Slot Brand'Scope (List Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods variantByLabel :: Variant 'Slot Brand'Scope (List Brand'Binding) Source #
EstimateAlloc Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Brand'Binding -> AllocHint Brand'Binding Source #
EstimateListAlloc Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw Brand'Binding ('Mut s) -> Parsed Brand'Binding -> m () Source #
Parse Brand'Binding (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Brand'Binding 'Const -> m (Parsed Brand'Binding) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Brand'Binding -> m (Raw Brand'Binding ('Mut s)) Source #
Generic (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed (Which Brand'Binding)) :: Type -> Type # Methods from :: Parsed (Which Brand'Binding) -> Rep (Parsed (Which Brand'Binding)) x # to :: Rep (Parsed (Which Brand'Binding)) x -> Parsed (Which Brand'Binding) #
Generic (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Brand'Binding) :: Type -> Type # Methods from :: Parsed Brand'Binding -> Rep (Parsed Brand'Binding) x # to :: Rep (Parsed Brand'Binding) x -> Parsed Brand'Binding #
Show (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed (Which Brand'Binding) -> ShowS # show :: Parsed (Which Brand'Binding) -> String # showList :: [Parsed (Which Brand'Binding)] -> ShowS #
Show (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Brand'Binding -> ShowS # show :: Parsed Brand'Binding -> String # showList :: [Parsed Brand'Binding] -> ShowS #
Eq (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed (Which Brand'Binding) -> Parsed (Which Brand'Binding) -> Bool # (/=) :: Parsed (Which Brand'Binding) -> Parsed (Which Brand'Binding) -> Bool #
Eq (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Brand'Binding -> Parsed Brand'Binding -> Bool # (/=) :: Parsed Brand'Binding -> Parsed Brand'Binding -> Bool #
Marshal (Which Brand'Binding) (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw (Which Brand'Binding) ('Mut s) -> Parsed (Which Brand'Binding) -> m () Source #
Parse (Which Brand'Binding) (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw (Which Brand'Binding) 'Const -> m (Parsed (Which Brand'Binding)) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed (Which Brand'Binding) -> m (Raw (Which Brand'Binding) ('Mut s)) Source #
type AllocHint Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Brand'Binding = ()
type ListAllocHint Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Brand'Binding = Int
data Parsed Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Brand'Binding = Brand'Binding { union' :: Parsed (Which Brand'Binding) }
data RawWhich Brand'Binding mut_ Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data RawWhich Brand'Binding mut_ = RW_Brand'Binding'unbound (Raw () mut_) \| RW_Brand'Binding'type_ (Raw Type mut_) \| RW_Brand'Binding'unknown' Word16
data Which Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Which Brand'Binding
type ReprFor Brand'Binding Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Brand'Binding = 'Ptr ('Just 'Struct)
type Rep (Parsed (Which Brand'Binding)) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed (Which Brand'Binding)) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Binding'unbound" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Brand'Binding'type_" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Type))) :+: C1 ('MetaCons "Brand'Binding'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))
type Rep (Parsed Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Brand'Binding) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Brand'Binding" 'PrefixI 'True) (S1 ('MetaSel ('Just "union'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (Which Brand'Binding)))))
data Parsed (Which Brand'Binding) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed (Which Brand'Binding) = Brand'Binding'unbound \| Brand'Binding'type_ (Parsed Type) \| Brand'Binding'unknown' Word16

data Value Source #

Instances

Instances details

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

data Annotation Source #

Instances

Instances details

Allocate Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint Annotation Source # Methods new :: RWCtx m s => AllocHint Annotation -> Message ('Mut s) -> m (Raw Annotation ('Mut s)) Source #
AllocateList Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint Annotation Source # Methods newList :: RWCtx m s => ListAllocHint Annotation -> Message ('Mut s) -> m (Raw (List Annotation) ('Mut s)) Source #
HasTypeId Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "brand" 'Slot Annotation Brand Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Annotation Brand Source #
HasField "id" 'Slot Annotation Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Annotation Word64 Source #
HasField "value" 'Slot Annotation Value Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Annotation Value Source #
HasField "annotations" 'Slot Enumerant (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Enumerant (List Annotation) Source #
HasField "annotations" 'Slot Field (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field0 'Slot Field (List Annotation) Source #
HasField "annotations" 'Slot Method (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Method (List Annotation) Source #
HasField "annotations" 'Slot Node (List Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node (List Annotation) Source #
EstimateAlloc Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed Annotation -> AllocHint Annotation Source #
EstimateListAlloc Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed Annotation) -> AllocHint (List Annotation) Source #
Marshal Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw Annotation ('Mut s) -> Parsed Annotation -> m () Source #
Parse Annotation (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw Annotation 'Const -> m (Parsed Annotation) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed Annotation -> m (Raw Annotation ('Mut s)) Source #
Generic (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed Annotation) :: Type -> Type # Methods from :: Parsed Annotation -> Rep (Parsed Annotation) x # to :: Rep (Parsed Annotation) x -> Parsed Annotation #
Show (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed Annotation -> ShowS # show :: Parsed Annotation -> String # showList :: [Parsed Annotation] -> ShowS #
Eq (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed Annotation -> Parsed Annotation -> Bool # (/=) :: Parsed Annotation -> Parsed Annotation -> Bool #
type AllocHint Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint Annotation = ()
type ListAllocHint Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint Annotation = Int
data Parsed Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed Annotation = Annotation { id :: Parsed Word64 value :: Parsed Value brand :: Parsed Brand }
type ReprFor Annotation Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor Annotation = 'Ptr ('Just 'Struct)
type Rep (Parsed Annotation) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed Annotation) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :: (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Value)) :: S1 ('MetaSel ('Just "brand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Brand)))))

data ElementSize 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 Methods succ :: ElementSize -> ElementSize # pred :: ElementSize -> ElementSize # toEnum :: Int -> ElementSize # fromEnum :: ElementSize -> Int # enumFrom :: ElementSize -> [ElementSize] # enumFromThen :: ElementSize -> ElementSize -> [ElementSize] # enumFromTo :: ElementSize -> ElementSize -> [ElementSize] # enumFromThenTo :: ElementSize -> ElementSize -> ElementSize -> [ElementSize] #
Generic ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep ElementSize :: Type -> Type # Methods from :: ElementSize -> Rep ElementSize x # to :: Rep ElementSize x -> ElementSize #
Show ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> ElementSize -> ShowS # show :: ElementSize -> String # showList :: [ElementSize] -> ShowS #
AllocateList ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint ElementSize Source # Methods newList :: RWCtx m s => ListAllocHint ElementSize -> Message ('Mut s) -> m (Raw (List ElementSize) ('Mut s)) Source #
HasTypeId ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
IsWord ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fromWord :: Word64 -> ElementSize Source # toWord :: ElementSize -> Word64 Source #
Eq ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: ElementSize -> ElementSize -> Bool # (/=) :: ElementSize -> ElementSize -> Bool #
EstimateListAlloc ElementSize ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector ElementSize -> AllocHint (List ElementSize) Source #
Parse ElementSize ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw ElementSize 'Const -> m ElementSize Source # encode :: RWCtx m s => Message ('Mut s) -> ElementSize -> m (Raw ElementSize ('Mut s)) Source #
HasField "preferredListEncoding" 'Slot Node'struct ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot Node'struct ElementSize Source #
type Rep ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep ElementSize = D1 ('MetaData "ElementSize" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (((C1 ('MetaCons "ElementSize'empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'bit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ElementSize'byte" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'twoBytes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ElementSize'fourBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'eightBytes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ElementSize'pointer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ElementSize'inlineComposite" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ElementSize'unknown'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16))))))
type ListAllocHint ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint ElementSize = Int
type ReprFor ElementSize Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor ElementSize = 'Data 'Sz16

data CapnpVersion Source #

Instances

Instances details

Allocate CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint CapnpVersion Source # Methods new :: RWCtx m s => AllocHint CapnpVersion -> Message ('Mut s) -> m (Raw CapnpVersion ('Mut s)) Source #
AllocateList CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint CapnpVersion Source # Methods newList :: RWCtx m s => ListAllocHint CapnpVersion -> Message ('Mut s) -> m (Raw (List CapnpVersion) ('Mut s)) Source #
HasTypeId CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "capnpVersion" 'Slot CodeGeneratorRequest CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest CapnpVersion Source #
HasField "major" 'Slot CapnpVersion Word16 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CapnpVersion Word16 Source #
HasField "micro" 'Slot CapnpVersion Word8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CapnpVersion Word8 Source #
HasField "minor" 'Slot CapnpVersion Word8 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CapnpVersion Word8 Source #
EstimateAlloc CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed CapnpVersion -> AllocHint CapnpVersion Source #
EstimateListAlloc CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateListAlloc :: Vector (Parsed CapnpVersion) -> AllocHint (List CapnpVersion) Source #
Marshal CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods marshalInto :: RWCtx m s => Raw CapnpVersion ('Mut s) -> Parsed CapnpVersion -> m () Source #
Parse CapnpVersion (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw CapnpVersion 'Const -> m (Parsed CapnpVersion) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CapnpVersion -> m (Raw CapnpVersion ('Mut s)) Source #
Generic (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed CapnpVersion) :: Type -> Type # Methods from :: Parsed CapnpVersion -> Rep (Parsed CapnpVersion) x # to :: Rep (Parsed CapnpVersion) x -> Parsed CapnpVersion #
Show (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed CapnpVersion -> ShowS # show :: Parsed CapnpVersion -> String # showList :: [Parsed CapnpVersion] -> ShowS #
Eq (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool # (/=) :: Parsed CapnpVersion -> Parsed CapnpVersion -> Bool #
type AllocHint CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint CapnpVersion = ()
type ListAllocHint CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint CapnpVersion = Int
data Parsed CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed CapnpVersion = CapnpVersion { major :: Parsed Word16 minor :: Parsed Word8 micro :: Parsed Word8 }
type ReprFor CapnpVersion Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor CapnpVersion = 'Ptr ('Just 'Struct)
type Rep (Parsed CapnpVersion) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed CapnpVersion) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CapnpVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "major") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word16)) :: (S1 ('MetaSel ('Just "minor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)) :: S1 ('MetaSel ('Just "micro") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word8)))))

data CodeGeneratorRequest Source #

Instances

Instances details

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

data CodeGeneratorRequest'RequestedFile Source #

Instances

Instances details

Allocate CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint CodeGeneratorRequest'RequestedFile Source # Methods new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw CodeGeneratorRequest'RequestedFile ('Mut s)) Source #
AllocateList CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint CodeGeneratorRequest'RequestedFile Source # Methods newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile -> Message ('Mut s) -> m (Raw (List CodeGeneratorRequest'RequestedFile) ('Mut s)) Source #
HasTypeId CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "filename" 'Slot CodeGeneratorRequest'RequestedFile Text Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Text Source #
HasField "id" 'Slot CodeGeneratorRequest'RequestedFile Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 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 Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest (List CodeGeneratorRequest'RequestedFile) Source #
EstimateAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile -> AllocHint CodeGeneratorRequest'RequestedFile Source #
EstimateListAlloc CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw CodeGeneratorRequest'RequestedFile ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile -> m () Source #
Parse CodeGeneratorRequest'RequestedFile (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw CodeGeneratorRequest'RequestedFile 'Const -> m (Parsed CodeGeneratorRequest'RequestedFile) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile -> m (Raw CodeGeneratorRequest'RequestedFile ('Mut s)) Source #
Generic (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed CodeGeneratorRequest'RequestedFile) :: Type -> Type # Methods from :: Parsed CodeGeneratorRequest'RequestedFile -> Rep (Parsed CodeGeneratorRequest'RequestedFile) x # to :: Rep (Parsed CodeGeneratorRequest'RequestedFile) x -> Parsed CodeGeneratorRequest'RequestedFile #
Show (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed CodeGeneratorRequest'RequestedFile -> ShowS # show :: Parsed CodeGeneratorRequest'RequestedFile -> String # showList :: [Parsed CodeGeneratorRequest'RequestedFile] -> ShowS #
Eq (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed CodeGeneratorRequest'RequestedFile -> Parsed CodeGeneratorRequest'RequestedFile -> Bool # (/=) :: Parsed CodeGeneratorRequest'RequestedFile -> Parsed CodeGeneratorRequest'RequestedFile -> Bool #
type AllocHint CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint CodeGeneratorRequest'RequestedFile = ()
type ListAllocHint CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint CodeGeneratorRequest'RequestedFile = Int
data Parsed CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed CodeGeneratorRequest'RequestedFile = CodeGeneratorRequest'RequestedFile { id :: Parsed Word64 filename :: Parsed Text imports :: Parsed (List CodeGeneratorRequest'RequestedFile'Import) }
type ReprFor CodeGeneratorRequest'RequestedFile Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor CodeGeneratorRequest'RequestedFile = 'Ptr ('Just 'Struct)
type Rep (Parsed CodeGeneratorRequest'RequestedFile) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed CodeGeneratorRequest'RequestedFile) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CodeGeneratorRequest'RequestedFile" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :: (S1 ('MetaSel ('Just "filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text)) :: S1 ('MetaSel ('Just "imports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed (List CodeGeneratorRequest'RequestedFile'Import))))))

data CodeGeneratorRequest'RequestedFile'Import Source #

Instances

Instances details

Allocate CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type AllocHint CodeGeneratorRequest'RequestedFile'Import Source # Methods new :: RWCtx m s => AllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s)) Source #
AllocateList CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type ListAllocHint CodeGeneratorRequest'RequestedFile'Import Source # Methods newList :: RWCtx m s => ListAllocHint CodeGeneratorRequest'RequestedFile'Import -> Message ('Mut s) -> m (Raw (List CodeGeneratorRequest'RequestedFile'Import) ('Mut s)) Source #
HasTypeId CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods typeId :: Word64 Source #
TypedStruct CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods numStructWords :: Word16 Source # numStructPtrs :: Word16 Source #
HasField "id" 'Slot CodeGeneratorRequest'RequestedFile'Import Word64 Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 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 Methods fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile (List CodeGeneratorRequest'RequestedFile'Import) Source #
EstimateAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods estimateAlloc :: Parsed CodeGeneratorRequest'RequestedFile'Import -> AllocHint CodeGeneratorRequest'RequestedFile'Import Source #
EstimateListAlloc CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema 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 Methods marshalInto :: RWCtx m s => Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m () Source #
Parse CodeGeneratorRequest'RequestedFile'Import (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods parse :: ReadCtx m 'Const => Raw CodeGeneratorRequest'RequestedFile'Import 'Const -> m (Parsed CodeGeneratorRequest'RequestedFile'Import) Source # encode :: RWCtx m s => Message ('Mut s) -> Parsed CodeGeneratorRequest'RequestedFile'Import -> m (Raw CodeGeneratorRequest'RequestedFile'Import ('Mut s)) Source #
Generic (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Associated Types type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) :: Type -> Type # Methods from :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) x # to :: Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) x -> Parsed CodeGeneratorRequest'RequestedFile'Import #
Show (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods showsPrec :: Int -> Parsed CodeGeneratorRequest'RequestedFile'Import -> ShowS # show :: Parsed CodeGeneratorRequest'RequestedFile'Import -> String # showList :: [Parsed CodeGeneratorRequest'RequestedFile'Import] -> ShowS #
Eq (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema Methods (==) :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Parsed CodeGeneratorRequest'RequestedFile'Import -> Bool # (/=) :: Parsed CodeGeneratorRequest'RequestedFile'Import -> Parsed CodeGeneratorRequest'RequestedFile'Import -> Bool #
type AllocHint CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type AllocHint CodeGeneratorRequest'RequestedFile'Import = ()
type ListAllocHint CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ListAllocHint CodeGeneratorRequest'RequestedFile'Import = Int
data Parsed CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema data Parsed CodeGeneratorRequest'RequestedFile'Import = CodeGeneratorRequest'RequestedFile'Import { id :: Parsed Word64 name :: Parsed Text }
type ReprFor CodeGeneratorRequest'RequestedFile'Import Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type ReprFor CodeGeneratorRequest'RequestedFile'Import = 'Ptr ('Just 'Struct)
type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) Source #
Instance details Defined in Capnp.Gen.Capnp.Schema type Rep (Parsed CodeGeneratorRequest'RequestedFile'Import) = D1 ('MetaData "Parsed" "Capnp.Gen.Capnp.Schema" "capnp-0.17.0.0-KnW61yXmCDxBdeB4uIxK8L" 'False) (C1 ('MetaCons "CodeGeneratorRequest'RequestedFile'Import" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Word64)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Parsed Text))))