Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module contains phantom types for built-in Cap'n Proto types, analogous to the phantom types generated for structs by the code generator. It also defines applicable type class instances.
Synopsis
- data Text
- data Data
- data AnyPointer
- data AnyList
- data AnyStruct
- data Capability
- type ParsedList a = Vector a
Documentation
The Cap'n Proto Text
type.
Instances
The Cap'n Proto Data
type.
Instances
AllocateList Data Source # | |
Allocate Data Source # | |
EstimateListAlloc Data ByteString Source # | |
Defined in Capnp.New.Basics estimateListAlloc :: Vector ByteString -> AllocHint (List Data) Source # | |
Marshal Data ByteString Source # | |
Defined in Capnp.New.Basics marshalInto :: RWCtx m s => Raw ('Mut s) Data -> ByteString -> m () Source # | |
EstimateAlloc Data ByteString Source # | |
Defined in Capnp.New.Basics estimateAlloc :: ByteString -> AllocHint Data Source # | |
Parse Data ByteString Source # | |
HasVariant "data_" 'Slot Value Data Source # | |
Defined in Capnp.Gen.Capnp.Schema.New | |
type ReprFor Data Source # | |
type ListAllocHint Data Source # | |
Defined in Capnp.New.Basics | |
type AllocHint Data Source # | |
Defined in Capnp.New.Basics |
data AnyPointer Source #
A Cap'n Proto AnyPointer
, i.e. an arbitrary pointer with unknown schema.
Instances
A Cap'n Proto List
with unknown element type.
Instances
Parse AnyList (Parsed AnyList) Source # | |
Eq (Parsed AnyList) Source # | |
Show (Parsed AnyList) Source # | |
type ReprFor AnyList Source # | |
data Parsed AnyList Source # | |
Defined in Capnp.New.Basics data Parsed AnyList
|
A Cap'n Proto struct of unknown type.
Instances
AllocateList AnyStruct Source # | |
Allocate AnyStruct Source # | |
EstimateListAlloc AnyStruct (Parsed AnyStruct) Source # | |
Defined in Capnp.New.Basics | |
Marshal AnyStruct (Parsed AnyStruct) Source # | |
Defined in Capnp.New.Basics | |
EstimateAlloc AnyStruct (Parsed AnyStruct) Source # | |
Defined in Capnp.New.Basics | |
Parse AnyStruct (Parsed AnyStruct) Source # | |
Eq (Parsed AnyStruct) Source # | |
Show (Parsed AnyStruct) Source # | |
type ReprFor AnyStruct Source # | |
data Parsed AnyStruct Source # | |
Defined in Capnp.New.Basics | |
type ListAllocHint AnyStruct Source # | |
Defined in Capnp.New.Basics | |
type AllocHint AnyStruct Source # | |
Defined in Capnp.New.Basics |
data Capability Source #
A Cap'n Proto capability with unknown interfaces.
Instances
Parse Capability Client Source # | |
type ReprFor Capability Source # | |
Defined in Capnp.New.Basics |
type ParsedList a = Vector a Source #