capnp-0.11.0.0: Cap'n Proto for Haskell
Safe HaskellNone
LanguageHaskell2010

Capnp.New.Basics

Description

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

Documentation

data Text Source #

The Cap'n Proto Text type.

Instances

Instances details
AllocateList Text Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type ListAllocHint Text Source #

Methods

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

Allocate Text Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type AllocHint Text Source #

Methods

new :: RWCtx m s => AllocHint Text -> Message ('Mut s) -> m (Raw ('Mut s) Text) Source #

EstimateListAlloc Text Text Source # 
Instance details

Defined in Capnp.New.Basics

Parse Text Text Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const Text -> m Text0 Source #

encode :: RWCtx m s => Message ('Mut s) -> Text0 -> m (Raw ('Mut s) Text) Source #

HasVariant "string" 'Slot Value Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

HasVariant "text" 'Slot Value Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "displayName" 'Slot Node Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "docComment" 'Slot Node'SourceInfo'Member Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "docComment" 'Slot Node'SourceInfo Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "filename" 'Slot CodeGeneratorRequest'RequestedFile Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "function" 'Slot Value'Call Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

HasField "name" 'Slot CodeGeneratorRequest'RequestedFile'Import Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot Method Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot Enumerant Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot Field Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot Node'NestedNode Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot Node'Parameter Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasField "name" 'Slot DiscriminatorOptions Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

HasField "name" 'Slot Value'Field Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

HasField "prefix" 'Slot FlattenOptions Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

HasField "reason" 'Slot Exception Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "valueName" 'Slot DiscriminatorOptions Text Source # 
Instance details

Defined in Capnp.Gen.Capnp.Compat.Json.New

type ReprFor Text Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint Text Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint Text Source # 
Instance details

Defined in Capnp.New.Basics

data Data Source #

The Cap'n Proto Data type.

Instances

Instances details
AllocateList Data Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type ListAllocHint Data Source #

Methods

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

Allocate Data Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type AllocHint Data Source #

Methods

new :: RWCtx m s => AllocHint Data -> Message ('Mut s) -> m (Raw ('Mut s) Data) Source #

EstimateListAlloc Data ByteString Source # 
Instance details

Defined in Capnp.New.Basics

Marshal Data ByteString Source # 
Instance details

Defined in Capnp.New.Basics

Methods

marshalInto :: RWCtx m s => Raw ('Mut s) Data -> ByteString -> m () Source #

EstimateAlloc Data ByteString Source # 
Instance details

Defined in Capnp.New.Basics

Parse Data ByteString Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const Data -> m ByteString Source #

encode :: RWCtx m s => Message ('Mut s) -> ByteString -> m (Raw ('Mut s) Data) Source #

HasVariant "data_" 'Slot Value Data Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

type ReprFor Data Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint Data Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint Data Source # 
Instance details

Defined in Capnp.New.Basics

data AnyPointer Source #

A Cap'n Proto AnyPointer, i.e. an arbitrary pointer with unknown schema.

Instances

Instances details
AllocateList AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type ListAllocHint AnyPointer Source #

Methods

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

HasVariant "acceptFromThirdParty" 'Slot Return AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasVariant "anyPointer" 'Slot Value AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasVariant "list" 'Slot Value AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasVariant "obsoleteDelete" 'Slot Message AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasVariant "obsoleteSave" 'Slot Message AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasVariant "struct" 'Slot Value AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

HasVariant "thirdParty" 'Slot Call'sendResultsTo AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "cap" 'Slot JoinResult AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

HasField "content" 'Slot Payload AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "deprecatedObjectId" 'Slot Bootstrap AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "id" 'Slot ThirdPartyCapDescriptor AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "keyPart" 'Slot Join AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "provision" 'Slot Accept AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

HasField "recipient" 'Slot Provide AnyPointer Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

EstimateListAlloc AnyPointer (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Parse AnyPointer (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Eq (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Show (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

data Parsed AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

data AnyList Source #

A Cap'n Proto List with unknown element type.

data AnyStruct Source #

A Cap'n Proto struct of unknown type.

Instances

Instances details
AllocateList AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type ListAllocHint AnyStruct Source #

Methods

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

Allocate AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type AllocHint AnyStruct Source #

Methods

new :: RWCtx m s => AllocHint AnyStruct -> Message ('Mut s) -> m (Raw ('Mut s) AnyStruct) Source #

EstimateListAlloc AnyStruct (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Marshal AnyStruct (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

marshalInto :: RWCtx m s => Raw ('Mut s) AnyStruct -> Parsed AnyStruct -> m () Source #

EstimateAlloc AnyStruct (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Parse AnyStruct (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Eq (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Show (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

data Parsed AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

data Capability Source #

A Cap'n Proto capability with unknown interfaces.

Instances

Instances details
Parse Capability Client Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const Capability -> m Client Source #

encode :: RWCtx m s => Message ('Mut s) -> Client -> m (Raw ('Mut s) Capability) Source #

type ReprFor Capability Source # 
Instance details

Defined in Capnp.New.Basics

Orphan instances

Parse Capability Client Source # 
Instance details

Methods

parse :: ReadCtx m 'Const => Raw 'Const Capability -> m Client Source #

encode :: RWCtx m s => Message ('Mut s) -> Client -> m (Raw ('Mut s) Capability) Source #

Parse Data ByteString Source # 
Instance details

Methods

parse :: ReadCtx m 'Const => Raw 'Const Data -> m ByteString Source #

encode :: RWCtx m s => Message ('Mut s) -> ByteString -> m (Raw ('Mut s) Data) Source #

Parse Text Text Source # 
Instance details

Methods

parse :: ReadCtx m 'Const => Raw 'Const Text -> m Text0 Source #

encode :: RWCtx m s => Message ('Mut s) -> Text0 -> m (Raw ('Mut s) Text) Source #