Capnp.Basics.Pure

Analogous to Basics in the low-level API, this module deals with capnproto's Text and Data types. These are simply aliases for ByteString and the text package's Text; mostly this module provides helper functions and type class instances.

Unlike with the low-level API, typed lists do not require special treatment -- they're just Vectors.

Documentation

type Data = ByteString

A capnproto Data value. This is just an alias for ByteString.

type Text = Text

A capnproto Text. This is just an alias for the text package's Text.

Orphan instances

Cerialize Text

Methods

cerialize :: RWCtx m s => MutMsg s -> Text -> m (Cerial (MutMsg s) Text)

Cerialize Data

Methods

cerialize :: RWCtx m s => MutMsg s -> Data -> m (Cerial (MutMsg s) Data)

Marshal Text

Methods

marshalInto :: RWCtx m s => Cerial (MutMsg s) Text -> Text -> m ()

Marshal Data

Methods

marshalInto :: RWCtx m s => Cerial (MutMsg s) Data -> Data -> m ()

Decerialize Text

Associated Types

type Cerial msg Text :: Type

Methods

decerialize :: ReadCtx m ConstMsg => Cerial ConstMsg Text -> m Text

Decerialize Data

Associated Types

type Cerial msg Data :: Type

Methods

decerialize :: ReadCtx m ConstMsg => Cerial ConstMsg Data -> m Data

Cerialize (Vector (Vector (Vector (Vector (Vector Text)))))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector (Vector Text)))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector (Vector Text))))))

Cerialize (Vector (Vector (Vector (Vector (Vector Data)))))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector (Vector Data)))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector (Vector Data))))))

Cerialize (Vector (Vector (Vector (Vector Text))))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector Text))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Text)))))

Cerialize (Vector (Vector (Vector (Vector Data))))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector (Vector Data))) -> m (Cerial (MutMsg s) (Vector (Vector (Vector (Vector Data)))))

Cerialize (Vector (Vector (Vector Text)))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector Text)) -> m (Cerial (MutMsg s) (Vector (Vector (Vector Text))))

Cerialize (Vector (Vector (Vector Data)))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector (Vector Data)) -> m (Cerial (MutMsg s) (Vector (Vector (Vector Data))))

Cerialize (Vector (Vector Text))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector Text) -> m (Cerial (MutMsg s) (Vector (Vector Text)))

Cerialize (Vector (Vector Data))

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector (Vector Data) -> m (Cerial (MutMsg s) (Vector (Vector Data)))

Cerialize (Vector Text)

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector Text -> m (Cerial (MutMsg s) (Vector Text))

Cerialize (Vector Data)

Methods

cerialize :: RWCtx m s => MutMsg s -> Vector Data -> m (Cerial (MutMsg s) (Vector Data))