Capnp.Gen.Capnp.Compat.Json

Documentation

newtype Value msg

Constructors

Value'newtype_ (Struct msg)

Instances

ToStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toStruct :: Value msg -> Struct msg

FromStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Value msg)

ToPtr s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Value ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Value msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value msg)

Allocate s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Value ('Mut s))

MutListElem s (Value ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value ('Mut s) -> Int -> List ('Mut s) (Value ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value ('Mut s)))

ListElem mut (Value mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value mut))

toUntypedList :: List mut (Value mut) -> List mut

length :: List mut (Value mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Value mut) -> m (Value mut)

MessageDefault (Value mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value mut)

HasMessage (Value mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value mut -> Message mut

newtype List mut (Value mut)

Defined in Capnp.Gen.Capnp.Compat.Json

newtype List mut (Value mut) = Value'List_ (ListOf mut (Struct mut))

data Value' (mut :: Mutability)

Constructors

Value'null

Value'boolean Bool

Value'number Double

Value'string (Text mut)

Value'array (List mut (Value mut))

Value'object (List mut (Value'Field mut))

Value'call (Value'Call mut)

Value'unknown' Word16

Instances

FromStruct mut (Value' mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m mut => Struct mut -> m (Value' mut)

get_Value' :: (ReadCtx m msg, FromStruct msg (Value' msg)) => Value msg -> m (Value' msg)

set_Value'null :: RWCtx m s => Value (Mut s) -> m ()

set_Value'boolean :: RWCtx m s => Value (Mut s) -> Bool -> m ()

set_Value'number :: RWCtx m s => Value (Mut s) -> Double -> m ()

set_Value'string :: (RWCtx m s, ToPtr s (Text (Mut s))) => Value (Mut s) -> Text (Mut s) -> m ()

set_Value'array :: (RWCtx m s, ToPtr s (List (Mut s) (Value (Mut s)))) => Value (Mut s) -> List (Mut s) (Value (Mut s)) -> m ()

set_Value'object :: (RWCtx m s, ToPtr s (List (Mut s) (Value'Field (Mut s)))) => Value (Mut s) -> List (Mut s) (Value'Field (Mut s)) -> m ()

set_Value'call :: (RWCtx m s, ToPtr s (Value'Call (Mut s))) => Value (Mut s) -> Value'Call (Mut s) -> m ()

set_Value'unknown' :: RWCtx m s => Value (Mut s) -> Word16 -> m ()

newtype Value'Field msg

Constructors

Value'Field'newtype_ (Struct msg)

Instances

ToStruct msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toStruct :: Value'Field msg -> Struct msg

FromStruct msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Value'Field msg)

ToPtr s (Value'Field ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Value'Field ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value'Field msg)

Allocate s (Value'Field ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Value'Field ('Mut s))

MutListElem s (Value'Field ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Field ('Mut s) -> Int -> List ('Mut s) (Value'Field ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value'Field ('Mut s)))

ListElem mut (Value'Field mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Field mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value'Field mut))

toUntypedList :: List mut (Value'Field mut) -> List mut

length :: List mut (Value'Field mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Value'Field mut) -> m (Value'Field mut)

MessageDefault (Value'Field mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value'Field mut)

HasMessage (Value'Field mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value'Field mut -> Message mut

newtype List mut (Value'Field mut)

Defined in Capnp.Gen.Capnp.Compat.Json

newtype List mut (Value'Field mut) = Value'Field'List_ (ListOf mut (Struct mut))

get_Value'Field'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => Value'Field msg -> m (Text msg)

set_Value'Field'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => Value'Field (Mut s) -> Text (Mut s) -> m ()

has_Value'Field'name :: ReadCtx m msg => Value'Field msg -> m Bool

new_Value'Field'name :: RWCtx m s => Int -> Value'Field (Mut s) -> m (Text (Mut s))

get_Value'Field'value :: (ReadCtx m msg, FromPtr msg (Value msg)) => Value'Field msg -> m (Value msg)

set_Value'Field'value :: (RWCtx m s, ToPtr s (Value (Mut s))) => Value'Field (Mut s) -> Value (Mut s) -> m ()

has_Value'Field'value :: ReadCtx m msg => Value'Field msg -> m Bool

new_Value'Field'value :: RWCtx m s => Value'Field (Mut s) -> m (Value (Mut s))

newtype Value'Call msg

Constructors

Value'Call'newtype_ (Struct msg)

Instances

ToStruct msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toStruct :: Value'Call msg -> Struct msg

FromStruct msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (Value'Call msg)

ToPtr s (Value'Call ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> Value'Call ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value'Call msg)

Allocate s (Value'Call ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (Value'Call ('Mut s))

MutListElem s (Value'Call ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => Value'Call ('Mut s) -> Int -> List ('Mut s) (Value'Call ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value'Call ('Mut s)))

ListElem mut (Value'Call mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (Value'Call mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value'Call mut))

toUntypedList :: List mut (Value'Call mut) -> List mut

length :: List mut (Value'Call mut) -> Int

index :: ReadCtx m mut => Int -> List mut (Value'Call mut) -> m (Value'Call mut)

MessageDefault (Value'Call mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (Value'Call mut)

HasMessage (Value'Call mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: Value'Call mut -> Message mut

newtype List mut (Value'Call mut)

Defined in Capnp.Gen.Capnp.Compat.Json

newtype List mut (Value'Call mut) = Value'Call'List_ (ListOf mut (Struct mut))

get_Value'Call'function :: (ReadCtx m msg, FromPtr msg (Text msg)) => Value'Call msg -> m (Text msg)

set_Value'Call'function :: (RWCtx m s, ToPtr s (Text (Mut s))) => Value'Call (Mut s) -> Text (Mut s) -> m ()

has_Value'Call'function :: ReadCtx m msg => Value'Call msg -> m Bool

new_Value'Call'function :: RWCtx m s => Int -> Value'Call (Mut s) -> m (Text (Mut s))

get_Value'Call'params :: (ReadCtx m msg, FromPtr msg (List msg (Value msg))) => Value'Call msg -> m (List msg (Value msg))

set_Value'Call'params :: (RWCtx m s, ToPtr s (List (Mut s) (Value (Mut s)))) => Value'Call (Mut s) -> List (Mut s) (Value (Mut s)) -> m ()

has_Value'Call'params :: ReadCtx m msg => Value'Call msg -> m Bool

new_Value'Call'params :: RWCtx m s => Int -> Value'Call (Mut s) -> m (List (Mut s) (Value (Mut s)))

newtype FlattenOptions msg

Constructors

FlattenOptions'newtype_ (Struct msg)

Instances

ToStruct msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toStruct :: FlattenOptions msg -> Struct msg

FromStruct msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (FlattenOptions msg)

ToPtr s (FlattenOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> FlattenOptions ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (FlattenOptions msg)

Allocate s (FlattenOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (FlattenOptions ('Mut s))

MutListElem s (FlattenOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => FlattenOptions ('Mut s) -> Int -> List ('Mut s) (FlattenOptions ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (FlattenOptions ('Mut s)))

ListElem mut (FlattenOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (FlattenOptions mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (FlattenOptions mut))

toUntypedList :: List mut (FlattenOptions mut) -> List mut

length :: List mut (FlattenOptions mut) -> Int

index :: ReadCtx m mut => Int -> List mut (FlattenOptions mut) -> m (FlattenOptions mut)

MessageDefault (FlattenOptions mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (FlattenOptions mut)

HasMessage (FlattenOptions mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: FlattenOptions mut -> Message mut

newtype List mut (FlattenOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

newtype List mut (FlattenOptions mut) = FlattenOptions'List_ (ListOf mut (Struct mut))

get_FlattenOptions'prefix :: (ReadCtx m msg, FromPtr msg (Text msg)) => FlattenOptions msg -> m (Text msg)

set_FlattenOptions'prefix :: (RWCtx m s, ToPtr s (Text (Mut s))) => FlattenOptions (Mut s) -> Text (Mut s) -> m ()

has_FlattenOptions'prefix :: ReadCtx m msg => FlattenOptions msg -> m Bool

new_FlattenOptions'prefix :: RWCtx m s => Int -> FlattenOptions (Mut s) -> m (Text (Mut s))

newtype DiscriminatorOptions msg

Constructors

DiscriminatorOptions'newtype_ (Struct msg)

Instances

ToStruct msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toStruct :: DiscriminatorOptions msg -> Struct msg

FromStruct msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromStruct :: ReadCtx m msg => Struct msg -> m (DiscriminatorOptions msg)

ToPtr s (DiscriminatorOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

toPtr :: WriteCtx m s => Message ('Mut s) -> DiscriminatorOptions ('Mut s) -> m (Maybe (Ptr ('Mut s)))

FromPtr msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (DiscriminatorOptions msg)

Allocate s (DiscriminatorOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

new :: WriteCtx m s => Message ('Mut s) -> m (DiscriminatorOptions ('Mut s))

MutListElem s (DiscriminatorOptions ('Mut s))

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

setIndex :: RWCtx m s => DiscriminatorOptions ('Mut s) -> Int -> List ('Mut s) (DiscriminatorOptions ('Mut s)) -> m ()

newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (DiscriminatorOptions ('Mut s)))

ListElem mut (DiscriminatorOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

Associated Types

data List mut (DiscriminatorOptions mut)

Methods

listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (DiscriminatorOptions mut))

toUntypedList :: List mut (DiscriminatorOptions mut) -> List mut

length :: List mut (DiscriminatorOptions mut) -> Int

index :: ReadCtx m mut => Int -> List mut (DiscriminatorOptions mut) -> m (DiscriminatorOptions mut)

MessageDefault (DiscriminatorOptions mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

messageDefault :: ReadCtx m mut => Message mut -> m (DiscriminatorOptions mut)

HasMessage (DiscriminatorOptions mut) mut

Defined in Capnp.Gen.Capnp.Compat.Json

Methods

message :: DiscriminatorOptions mut -> Message mut

newtype List mut (DiscriminatorOptions mut)

Defined in Capnp.Gen.Capnp.Compat.Json

newtype List mut (DiscriminatorOptions mut) = DiscriminatorOptions'List_ (ListOf mut (Struct mut))

get_DiscriminatorOptions'name :: (ReadCtx m msg, FromPtr msg (Text msg)) => DiscriminatorOptions msg -> m (Text msg)

set_DiscriminatorOptions'name :: (RWCtx m s, ToPtr s (Text (Mut s))) => DiscriminatorOptions (Mut s) -> Text (Mut s) -> m ()

has_DiscriminatorOptions'name :: ReadCtx m msg => DiscriminatorOptions msg -> m Bool

new_DiscriminatorOptions'name :: RWCtx m s => Int -> DiscriminatorOptions (Mut s) -> m (Text (Mut s))

get_DiscriminatorOptions'valueName :: (ReadCtx m msg, FromPtr msg (Text msg)) => DiscriminatorOptions msg -> m (Text msg)

set_DiscriminatorOptions'valueName :: (RWCtx m s, ToPtr s (Text (Mut s))) => DiscriminatorOptions (Mut s) -> Text (Mut s) -> m ()

has_DiscriminatorOptions'valueName :: ReadCtx m msg => DiscriminatorOptions msg -> m Bool

new_DiscriminatorOptions'valueName :: RWCtx m s => Int -> DiscriminatorOptions (Mut s) -> m (Text (Mut s))