Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Value'newtype_ (Struct msg) |
Instances
ToStruct msg (Value msg) Source # | |
FromStruct msg (Value msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json | |
ToPtr s (Value (MutMsg s)) Source # | |
FromPtr msg (Value msg) Source # | |
Allocate s (Value (MutMsg s)) Source # | |
MutListElem s (Value (MutMsg s)) Source # | |
ListElem msg (Value msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json | |
MessageDefault (Value msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json | |
HasMessage (Value msg) Source # | |
newtype List msg (Value msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json | |
type InMessage (Value msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json |
Value'null | |
Value'boolean Bool | |
Value'number Double | |
Value'string (Text msg) | |
Value'array (List msg (Value msg)) | |
Value'object (List msg (Value'Field msg)) | |
Value'call (Value'Call msg) | |
Value'unknown' Word16 |
Instances
FromStruct msg (Value' msg) Source # | |
Defined in Capnp.Gen.Capnp.Compat.Json |
get_Value' :: (ReadCtx m msg, FromStruct msg (Value' msg)) => Value msg -> m (Value' msg) Source #
set_Value'string :: (RWCtx m s, ToPtr s (Text (MutMsg s))) => Value (MutMsg s) -> Text (MutMsg s) -> m () Source #
set_Value'array :: (RWCtx m s, ToPtr s (List (MutMsg s) (Value (MutMsg s)))) => Value (MutMsg s) -> List (MutMsg s) (Value (MutMsg s)) -> m () Source #
set_Value'object :: (RWCtx m s, ToPtr s (List (MutMsg s) (Value'Field (MutMsg s)))) => Value (MutMsg s) -> List (MutMsg s) (Value'Field (MutMsg s)) -> m () Source #
set_Value'call :: (RWCtx m s, ToPtr s (Value'Call (MutMsg s))) => Value (MutMsg s) -> Value'Call (MutMsg s) -> m () Source #
newtype Value'Field msg Source #
Value'Field'newtype_ (Struct msg) |
Instances
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 (MutMsg s))) => Value'Field (MutMsg s) -> Text (MutMsg 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 (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s))) => Value'Field (MutMsg s) -> Value (MutMsg 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 (MutMsg s) -> m (Value (MutMsg s)) Source #
newtype Value'Call msg Source #
Value'Call'newtype_ (Struct msg) |
Instances
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 (MutMsg s))) => Value'Call (MutMsg s) -> Text (MutMsg 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 (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s) (Value (MutMsg s)))) => Value'Call (MutMsg s) -> List (MutMsg s) (Value (MutMsg 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 (MutMsg s) -> m (List (MutMsg s) (Value (MutMsg s))) Source #
newtype FlattenOptions msg Source #
Instances
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 (MutMsg s))) => FlattenOptions (MutMsg s) -> Text (MutMsg s) -> m () Source #
has_FlattenOptions'prefix :: ReadCtx m msg => FlattenOptions msg -> m Bool Source #
new_FlattenOptions'prefix :: RWCtx m s => Int -> FlattenOptions (MutMsg s) -> m (Text (MutMsg s)) Source #
newtype DiscriminatorOptions msg Source #
Instances
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 (MutMsg s))) => DiscriminatorOptions (MutMsg s) -> Text (MutMsg s) -> m () Source #
has_DiscriminatorOptions'name :: ReadCtx m msg => DiscriminatorOptions msg -> m Bool Source #
new_DiscriminatorOptions'name :: RWCtx m s => Int -> DiscriminatorOptions (MutMsg s) -> m (Text (MutMsg 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 (MutMsg s))) => DiscriminatorOptions (MutMsg s) -> Text (MutMsg s) -> m () Source #
has_DiscriminatorOptions'valueName :: ReadCtx m msg => DiscriminatorOptions msg -> m Bool Source #
new_DiscriminatorOptions'valueName :: RWCtx m s => Int -> DiscriminatorOptions (MutMsg s) -> m (Text (MutMsg s)) Source #