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

Decerialize Text

Associated Types

type Cerial mut Text

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Text -> m Text

Decerialize Data

Associated Types

type Cerial mut Data

Methods

decerialize :: ReadCtx m 'Const => Cerial 'Const Data -> m Data

Cerialize s Text

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Text -> m (Cerial ('Mut s) Text)

Cerialize s Data

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Data -> m (Cerial ('Mut s) Data)

Marshal s Text

Methods

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

Marshal s Data

Methods

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

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Data)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Data))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector (Vector Text)))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector (Vector Text))))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Data))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Data)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector (Vector Text))) -> m (Cerial ('Mut s) (Vector (Vector (Vector (Vector Text)))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Data)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Data))))

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

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector (Vector Text)) -> m (Cerial ('Mut s) (Vector (Vector (Vector Text))))

Cerialize s (Vector (Vector Data))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Data) -> m (Cerial ('Mut s) (Vector (Vector Data)))

Cerialize s (Vector (Vector Text))

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector (Vector Text) -> m (Cerial ('Mut s) (Vector (Vector Text)))

Cerialize s (Vector Data)

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Data -> m (Cerial ('Mut s) (Vector Data))

Cerialize s (Vector Text)

Methods

cerialize :: RWCtx m s => Message ('Mut s) -> Vector Text -> m (Cerial ('Mut s) (Vector Text))