Safe Haskell	None
Language	Haskell2010

Capnp.Gen.Capnp.Json

Documentation

newtype Value msg Source #

Constructors

Value'newtype_ (Struct msg)

Instances

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

data Value' msg Source #

Constructors

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 #
Instance details Defined in Capnp.Gen.Capnp.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (Value' msg) Source #

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

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

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

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

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

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

set_Value'object :: RWCtx m s => Value (MutMsg s) -> List (MutMsg s) (Value'Field (MutMsg s)) -> m () Source #

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

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

newtype Value'Field msg Source #

Constructors

Value'Field'newtype_ (Struct msg)

Instances

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

get_Value'Field'name :: ReadCtx m msg => Value'Field msg -> m (Text msg) Source #

set_Value'Field'name :: RWCtx m 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 => Value'Field msg -> m (Value msg) Source #

set_Value'Field'value :: RWCtx m 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 #

Constructors

Value'Call'newtype_ (Struct msg)

Instances

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

get_Value'Call'function :: ReadCtx m msg => Value'Call msg -> m (Text msg) Source #

set_Value'Call'function :: RWCtx m 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 => Value'Call msg -> m (List msg (Value msg)) Source #

set_Value'Call'params :: RWCtx m 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 #

Constructors

FlattenOptions'newtype_ (Struct msg)

Instances

TraverseMsg FlattenOptions Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods tMsg :: Applicative m => (msgA -> m msgB) -> FlattenOptions msgA -> m (FlattenOptions msgB) Source #
ToStruct msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods toStruct :: FlattenOptions msg -> Struct msg Source #
FromStruct msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (FlattenOptions msg) Source #
ToPtr s (FlattenOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods toPtr :: WriteCtx m s => MutMsg s -> FlattenOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #
FromPtr msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (FlattenOptions msg) Source #
Allocate s (FlattenOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods new :: WriteCtx m s => MutMsg s -> m (FlattenOptions (MutMsg s)) Source #
MutListElem s (FlattenOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods setIndex :: RWCtx m s => FlattenOptions (MutMsg s) -> Int -> List (MutMsg s) (FlattenOptions (MutMsg s)) -> m () Source # newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (FlattenOptions (MutMsg s))) Source #
ListElem msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Associated Types data List msg (FlattenOptions msg) :: Type Source # Methods listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (FlattenOptions msg)) Source # toUntypedList :: List msg (FlattenOptions msg) -> List msg Source # length :: List msg (FlattenOptions msg) -> Int Source # index :: ReadCtx m msg => Int -> List msg (FlattenOptions msg) -> m (FlattenOptions msg) Source #
MessageDefault (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods messageDefault :: InMessage (FlattenOptions msg) -> FlattenOptions msg Source #
HasMessage (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Associated Types type InMessage (FlattenOptions msg) :: Type Source # Methods message :: FlattenOptions msg -> InMessage (FlattenOptions msg) Source #
newtype List msg (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json newtype List msg (FlattenOptions msg) = FlattenOptions'List_ (ListOf msg (Struct msg))
type InMessage (FlattenOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json type InMessage (FlattenOptions msg) = msg

get_FlattenOptions'prefix :: ReadCtx m msg => FlattenOptions msg -> m (Text msg) Source #

set_FlattenOptions'prefix :: RWCtx m 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 #

Constructors

DiscriminatorOptions'newtype_ (Struct msg)

Instances

TraverseMsg DiscriminatorOptions Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods tMsg :: Applicative m => (msgA -> m msgB) -> DiscriminatorOptions msgA -> m (DiscriminatorOptions msgB) Source #
ToStruct msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods toStruct :: DiscriminatorOptions msg -> Struct msg Source #
FromStruct msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods fromStruct :: ReadCtx m msg => Struct msg -> m (DiscriminatorOptions msg) Source #
ToPtr s (DiscriminatorOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods toPtr :: WriteCtx m s => MutMsg s -> DiscriminatorOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s))) Source #
FromPtr msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods fromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (DiscriminatorOptions msg) Source #
Allocate s (DiscriminatorOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods new :: WriteCtx m s => MutMsg s -> m (DiscriminatorOptions (MutMsg s)) Source #
MutListElem s (DiscriminatorOptions (MutMsg s)) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods setIndex :: RWCtx m s => DiscriminatorOptions (MutMsg s) -> Int -> List (MutMsg s) (DiscriminatorOptions (MutMsg s)) -> m () Source # newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (DiscriminatorOptions (MutMsg s))) Source #
ListElem msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Associated Types data List msg (DiscriminatorOptions msg) :: Type Source # Methods listFromPtr :: ReadCtx m msg => msg -> Maybe (Ptr msg) -> m (List msg (DiscriminatorOptions msg)) Source # toUntypedList :: List msg (DiscriminatorOptions msg) -> List msg Source # length :: List msg (DiscriminatorOptions msg) -> Int Source # index :: ReadCtx m msg => Int -> List msg (DiscriminatorOptions msg) -> m (DiscriminatorOptions msg) Source #
MessageDefault (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Methods messageDefault :: InMessage (DiscriminatorOptions msg) -> DiscriminatorOptions msg Source #
HasMessage (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json Associated Types type InMessage (DiscriminatorOptions msg) :: Type Source # Methods message :: DiscriminatorOptions msg -> InMessage (DiscriminatorOptions msg) Source #
newtype List msg (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json newtype List msg (DiscriminatorOptions msg) = DiscriminatorOptions'List_ (ListOf msg (Struct msg))
type InMessage (DiscriminatorOptions msg) Source #
Instance details Defined in Capnp.Gen.Capnp.Json type InMessage (DiscriminatorOptions msg) = msg

get_DiscriminatorOptions'name :: ReadCtx m msg => DiscriminatorOptions msg -> m (Text msg) Source #

set_DiscriminatorOptions'name :: RWCtx m 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 => DiscriminatorOptions msg -> m (Text msg) Source #

set_DiscriminatorOptions'valueName :: RWCtx m 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 #