Safe Haskell	None
Language	Haskell2010

Capnp.Gen.Capnp.Compat.Json

Documentation

newtype Value msg Source #

Constructors

Value'newtype_ (Struct msg)

Instances

Instances details

ToStruct msg (Value msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toStruct :: Value msg -> Struct msg Source #
FromStruct msg (Value msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (Value msg) Source #
ToPtr s (Value ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toPtr :: WriteCtx m s => Message ('Mut s) -> Value ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #
FromPtr msg (Value msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value msg) Source #
Allocate s (Value ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods new :: WriteCtx m s => Message ('Mut s) -> m (Value ('Mut s)) Source #
MutListElem s (Value ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods setIndex :: RWCtx m s => Value ('Mut s) -> Int -> List ('Mut s) (Value ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value ('Mut s))) Source #
ListElem mut (Value mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Associated Types data List mut (Value mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value mut)) Source # toUntypedList :: List mut (Value mut) -> List mut Source # length :: List mut (Value mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (Value mut) -> m (Value mut) Source #
MessageDefault (Value mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods messageDefault :: ReadCtx m mut => Message mut -> m (Value mut) Source #
HasMessage (Value mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods message :: Value mut -> Message mut Source #
newtype List mut (Value mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json newtype List mut (Value mut) = Value'List_ (ListOf mut (Struct mut))

data Value' (mut :: Mutability) Source #

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

Instances details

FromStruct mut (Value' mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m mut => Struct mut -> m (Value' mut) Source #

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

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

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

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

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

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

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 () Source #

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

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

newtype Value'Field msg Source #

Constructors

Value'Field'newtype_ (Struct msg)

Instances

Instances details

ToStruct msg (Value'Field msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toStruct :: Value'Field msg -> Struct msg Source #
FromStruct msg (Value'Field msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (Value'Field msg) Source #
ToPtr s (Value'Field ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toPtr :: WriteCtx m s => Message ('Mut s) -> Value'Field ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #
FromPtr msg (Value'Field msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value'Field msg) Source #
Allocate s (Value'Field ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods new :: WriteCtx m s => Message ('Mut s) -> m (Value'Field ('Mut s)) Source #
MutListElem s (Value'Field ('Mut s)) Source #
Instance details 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 () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value'Field ('Mut s))) Source #
ListElem mut (Value'Field mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Associated Types data List mut (Value'Field mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value'Field mut)) Source # toUntypedList :: List mut (Value'Field mut) -> List mut Source # length :: List mut (Value'Field mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (Value'Field mut) -> m (Value'Field mut) Source #
MessageDefault (Value'Field mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods messageDefault :: ReadCtx m mut => Message mut -> m (Value'Field mut) Source #
HasMessage (Value'Field mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods message :: Value'Field mut -> Message mut Source #
newtype List mut (Value'Field mut) Source #
Instance details 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) Source #

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

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

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

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

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

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

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

newtype Value'Call msg Source #

Constructors

Value'Call'newtype_ (Struct msg)

Instances

Instances details

ToStruct msg (Value'Call msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toStruct :: Value'Call msg -> Struct msg Source #
FromStruct msg (Value'Call msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (Value'Call msg) Source #
ToPtr s (Value'Call ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toPtr :: WriteCtx m s => Message ('Mut s) -> Value'Call ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #
FromPtr msg (Value'Call msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (Value'Call msg) Source #
Allocate s (Value'Call ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods new :: WriteCtx m s => Message ('Mut s) -> m (Value'Call ('Mut s)) Source #
MutListElem s (Value'Call ('Mut s)) Source #
Instance details 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 () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (Value'Call ('Mut s))) Source #
ListElem mut (Value'Call mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Associated Types data List mut (Value'Call mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (Value'Call mut)) Source # toUntypedList :: List mut (Value'Call mut) -> List mut Source # length :: List mut (Value'Call mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (Value'Call mut) -> m (Value'Call mut) Source #
MessageDefault (Value'Call mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods messageDefault :: ReadCtx m mut => Message mut -> m (Value'Call mut) Source #
HasMessage (Value'Call mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods message :: Value'Call mut -> Message mut Source #
newtype List mut (Value'Call mut) Source #
Instance details 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) Source #

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

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

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

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

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 () Source #

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

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

newtype FlattenOptions msg Source #

Constructors

FlattenOptions'newtype_ (Struct msg)

Instances

Instances details

ToStruct msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toStruct :: FlattenOptions msg -> Struct msg Source #
FromStruct msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (FlattenOptions msg) Source #
ToPtr s (FlattenOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toPtr :: WriteCtx m s => Message ('Mut s) -> FlattenOptions ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #
FromPtr msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (FlattenOptions msg) Source #
Allocate s (FlattenOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods new :: WriteCtx m s => Message ('Mut s) -> m (FlattenOptions ('Mut s)) Source #
MutListElem s (FlattenOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods setIndex :: RWCtx m s => FlattenOptions ('Mut s) -> Int -> List ('Mut s) (FlattenOptions ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (FlattenOptions ('Mut s))) Source #
ListElem mut (FlattenOptions mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Associated Types data List mut (FlattenOptions mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (FlattenOptions mut)) Source # toUntypedList :: List mut (FlattenOptions mut) -> List mut Source # length :: List mut (FlattenOptions mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (FlattenOptions mut) -> m (FlattenOptions mut) Source #
MessageDefault (FlattenOptions mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods messageDefault :: ReadCtx m mut => Message mut -> m (FlattenOptions mut) Source #
HasMessage (FlattenOptions mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods message :: FlattenOptions mut -> Message mut Source #
newtype List mut (FlattenOptions mut) Source #
Instance details 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) Source #

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

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

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

newtype DiscriminatorOptions msg Source #

Constructors

DiscriminatorOptions'newtype_ (Struct msg)

Instances

Instances details

ToStruct msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toStruct :: DiscriminatorOptions msg -> Struct msg Source #
FromStruct msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (DiscriminatorOptions msg) Source #
ToPtr s (DiscriminatorOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods toPtr :: WriteCtx m s => Message ('Mut s) -> DiscriminatorOptions ('Mut s) -> m (Maybe (Ptr ('Mut s))) Source #
FromPtr msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods fromPtr :: ReadCtx m msg => Message msg -> Maybe (Ptr msg) -> m (DiscriminatorOptions msg) Source #
Allocate s (DiscriminatorOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods new :: WriteCtx m s => Message ('Mut s) -> m (DiscriminatorOptions ('Mut s)) Source #
MutListElem s (DiscriminatorOptions ('Mut s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods setIndex :: RWCtx m s => DiscriminatorOptions ('Mut s) -> Int -> List ('Mut s) (DiscriminatorOptions ('Mut s)) -> m () Source # newList :: WriteCtx m s => Message ('Mut s) -> Int -> m (List ('Mut s) (DiscriminatorOptions ('Mut s))) Source #
ListElem mut (DiscriminatorOptions mut) Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Associated Types data List mut (DiscriminatorOptions mut) Source # Methods listFromPtr :: ReadCtx m mut => Message mut -> Maybe (Ptr mut) -> m (List mut (DiscriminatorOptions mut)) Source # toUntypedList :: List mut (DiscriminatorOptions mut) -> List mut Source # length :: List mut (DiscriminatorOptions mut) -> Int Source # index :: ReadCtx m mut => Int -> List mut (DiscriminatorOptions mut) -> m (DiscriminatorOptions mut) Source #
MessageDefault (DiscriminatorOptions mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods messageDefault :: ReadCtx m mut => Message mut -> m (DiscriminatorOptions mut) Source #
HasMessage (DiscriminatorOptions mut) mut Source #
Instance details Defined in Capnp.Gen.Capnp.Compat.Json Methods message :: DiscriminatorOptions mut -> Message mut Source #
newtype List mut (DiscriminatorOptions mut) Source #
Instance details 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) Source #

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

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

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

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

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

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

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