capnp-0.12.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

Methods

estimateListAlloc :: Vector Text0 -> AllocHint (List Text) Source #

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

Methods

variantByLabel :: Variant 'Slot Value Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'SourceInfo Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot CodeGeneratorRequest'RequestedFile Text Source #

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

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

Methods

fieldByLabel :: Field 'Slot Value'Call Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

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

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Method Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Enumerant Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field0 'Slot Field Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'NestedNode Text Source #

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

Defined in Capnp.Gen.Capnp.Schema.New

Methods

fieldByLabel :: Field 'Slot Node'Parameter Text Source #

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

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

Methods

fieldByLabel :: Field 'Slot DiscriminatorOptions Text Source #

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

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

Methods

fieldByLabel :: Field 'Slot Value'Field Text Source #

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

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

Methods

fieldByLabel :: Field 'Slot FlattenOptions Text Source #

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

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Exception Text Source #

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

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

Methods

fieldByLabel :: Field 'Slot DiscriminatorOptions Text Source #

type ReprFor Text Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor Text = ReprFor (List Word8)
type ListAllocHint Text Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint Text = Int
type AllocHint Text Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint Text = Int

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

Methods

estimateListAlloc :: Vector ByteString -> AllocHint (List Data) Source #

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

Methods

estimateAlloc :: ByteString -> AllocHint Data Source #

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

Methods

variantByLabel :: Variant 'Slot Value Data Source #

type ReprFor Data Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor Data = ReprFor (List Word8)
type ListAllocHint Data Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint Data = Int
type AllocHint Data Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint Data = Int

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 (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

variantByLabel :: Variant 'Slot Return (Maybe AnyPointer) Source #

HasVariant "anyPointer" 'Slot Value (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #

HasVariant "list" 'Slot Value (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #

HasVariant "obsoleteDelete" 'Slot Message (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

variantByLabel :: Variant 'Slot Message (Maybe AnyPointer) Source #

HasVariant "obsoleteSave" 'Slot Message (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

variantByLabel :: Variant 'Slot Message (Maybe AnyPointer) Source #

HasVariant "struct" 'Slot Value (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Schema.New

Methods

variantByLabel :: Variant 'Slot Value (Maybe AnyPointer) Source #

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

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

variantByLabel :: Variant 'Slot Call'sendResultsTo (Maybe AnyPointer) Source #

HasField "cap" 'Slot JoinResult (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.RpcTwoparty.New

Methods

fieldByLabel :: Field 'Slot JoinResult (Maybe AnyPointer) Source #

HasField "content" 'Slot Payload (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Payload (Maybe AnyPointer) Source #

HasField "deprecatedObjectId" 'Slot Bootstrap (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Bootstrap (Maybe AnyPointer) Source #

HasField "id" 'Slot ThirdPartyCapDescriptor (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot ThirdPartyCapDescriptor (Maybe AnyPointer) Source #

HasField "keyPart" 'Slot Join (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Join (Maybe AnyPointer) Source #

HasField "provision" 'Slot Accept (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Accept (Maybe AnyPointer) Source #

HasField "recipient" 'Slot Provide (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.Gen.Capnp.Rpc.New

Methods

fieldByLabel :: Field 'Slot Provide (Maybe AnyPointer) Source #

EstimateListAlloc AnyPointer (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

estimateListAlloc :: Vector (Parsed AnyPointer) -> AllocHint (List AnyPointer) Source #

Parse AnyPointer (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const AnyPointer -> m (Parsed AnyPointer) Source #

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

Eq (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

(==) :: Parsed AnyPointer -> Parsed AnyPointer -> Bool #

(/=) :: Parsed AnyPointer -> Parsed AnyPointer -> Bool #

Show (Parsed AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

showsPrec :: Int -> Parsed AnyPointer -> ShowS #

show :: Parsed AnyPointer -> String #

showList :: [Parsed AnyPointer] -> ShowS #

AllocateList (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

Associated Types

type ListAllocHint (Maybe AnyPointer) Source #

Methods

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

EstimateListAlloc (Maybe AnyPointer) (Maybe (Parsed AnyPointer)) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

estimateListAlloc :: Vector (Maybe (Parsed AnyPointer)) -> AllocHint (List (Maybe AnyPointer)) Source #

Parse (Maybe AnyPointer) (Maybe (Parsed AnyPointer)) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const (Maybe AnyPointer) -> m (Maybe (Parsed AnyPointer)) Source #

encode :: RWCtx m s => Message ('Mut s) -> Maybe (Parsed AnyPointer) -> m (Raw ('Mut s) (Maybe AnyPointer)) Source #

type ReprFor AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor AnyPointer = 'Ptr ('Nothing :: Maybe PtrRepr)
data Parsed AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

data Parsed AnyPointer
type ListAllocHint AnyPointer Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint AnyPointer = Int
type ReprFor (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor (Maybe AnyPointer) = 'Ptr ('Nothing :: Maybe PtrRepr)
type ListAllocHint (Maybe AnyPointer) Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint (Maybe AnyPointer) = Int

data AnyList Source #

A Cap'n Proto List with unknown element type.

Instances

Instances details
Parse AnyList (Parsed AnyList) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const AnyList -> m (Parsed AnyList) Source #

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

Eq (Parsed AnyList) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

(==) :: Parsed AnyList -> Parsed AnyList -> Bool #

(/=) :: Parsed AnyList -> Parsed AnyList -> Bool #

Show (Parsed AnyList) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

showsPrec :: Int -> Parsed AnyList -> ShowS #

show :: Parsed AnyList -> String #

showList :: [Parsed AnyList] -> ShowS #

type ReprFor AnyList Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor AnyList = 'Ptr ('Just ('List ('Nothing :: Maybe ListRepr)))
data Parsed AnyList Source # 
Instance details

Defined in Capnp.New.Basics

data Parsed AnyList

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

Methods

estimateListAlloc :: Vector (Parsed AnyStruct) -> AllocHint (List AnyStruct) Source #

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

Methods

estimateAlloc :: Parsed AnyStruct -> AllocHint AnyStruct Source #

Parse AnyStruct (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

parse :: ReadCtx m 'Const => Raw 'Const AnyStruct -> m (Parsed AnyStruct) Source #

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

Eq (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

(==) :: Parsed AnyStruct -> Parsed AnyStruct -> Bool #

(/=) :: Parsed AnyStruct -> Parsed AnyStruct -> Bool #

Show (Parsed AnyStruct) Source # 
Instance details

Defined in Capnp.New.Basics

Methods

showsPrec :: Int -> Parsed AnyStruct -> ShowS #

show :: Parsed AnyStruct -> String #

showList :: [Parsed AnyStruct] -> ShowS #

type ReprFor AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

type ReprFor AnyStruct = 'Ptr ('Just 'Struct)
data Parsed AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

data Parsed AnyStruct = Struct {}
type ListAllocHint AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

type ListAllocHint AnyStruct = (Int, AllocHint 'Struct)
type AllocHint AnyStruct Source # 
Instance details

Defined in Capnp.New.Basics

type AllocHint AnyStruct = (Word16, Word16)

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

type ReprFor Capability = 'Ptr ('Just 'Cap)

type ParsedList a = Vector a Source #

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 #