Capnp.Gen.Capnp.Json

Documentation

newtype Value msg

Constructors

Value'newtype_ (Struct msg)

Instances

TraverseMsg Value

Defined in Capnp.Gen.Capnp.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value msgA -> m (Value msgB)

ToStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

Methods

toStruct :: Value msg -> Struct msg

FromStruct msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

ToPtr s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> Value (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

Allocate s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (Value (MutMsg s))

MutListElem s (Value (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (Value (MutMsg s)))

ListElem msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (Value msg) :: Type

Methods

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

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

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

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

MessageDefault (Value msg)

Defined in Capnp.Gen.Capnp.Json

Methods

messageDefault :: InMessage (Value msg) -> Value msg

HasMessage (Value msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

type InMessage (Value msg) :: Type

Methods

message :: Value msg -> InMessage (Value msg)

newtype List msg (Value msg)

Defined in Capnp.Gen.Capnp.Json

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

type InMessage (Value msg)

Defined in Capnp.Gen.Capnp.Json

type InMessage (Value msg) = msg

data Value' msg

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)

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

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

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

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

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

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

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

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

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

newtype Value'Field msg

Constructors

Value'Field'newtype_ (Struct msg)

Instances

TraverseMsg Value'Field

Defined in Capnp.Gen.Capnp.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value'Field msgA -> m (Value'Field msgB)

ToStruct msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Methods

toStruct :: Value'Field msg -> Struct msg

FromStruct msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

ToPtr s (Value'Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

FromPtr msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

Allocate s (Value'Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

MutListElem s (Value'Field (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

ListElem msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (Value'Field msg) :: Type

Methods

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

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

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

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

MessageDefault (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Methods

messageDefault :: InMessage (Value'Field msg) -> Value'Field msg

HasMessage (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

type InMessage (Value'Field msg) :: Type

Methods

message :: Value'Field msg -> InMessage (Value'Field msg)

newtype List msg (Value'Field msg)

Defined in Capnp.Gen.Capnp.Json

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

type InMessage (Value'Field msg)

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)

set_Value'Field'name :: RWCtx m s => Value'Field (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

set_Value'Field'value :: RWCtx m s => Value'Field (MutMsg s) -> Value (MutMsg s) -> m ()

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

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

newtype Value'Call msg

Constructors

Value'Call'newtype_ (Struct msg)

Instances

TraverseMsg Value'Call

Defined in Capnp.Gen.Capnp.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> Value'Call msgA -> m (Value'Call msgB)

ToStruct msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Methods

toStruct :: Value'Call msg -> Struct msg

FromStruct msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

ToPtr s (Value'Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

FromPtr msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

Allocate s (Value'Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

MutListElem s (Value'Call (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

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

ListElem msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (Value'Call msg) :: Type

Methods

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

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

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

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

MessageDefault (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Methods

messageDefault :: InMessage (Value'Call msg) -> Value'Call msg

HasMessage (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

type InMessage (Value'Call msg) :: Type

Methods

message :: Value'Call msg -> InMessage (Value'Call msg)

newtype List msg (Value'Call msg)

Defined in Capnp.Gen.Capnp.Json

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

type InMessage (Value'Call msg)

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)

set_Value'Call'function :: RWCtx m s => Value'Call (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

set_Value'Call'params :: RWCtx m s => Value'Call (MutMsg s) -> List (MutMsg s) (Value (MutMsg s)) -> m ()

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

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

newtype FlattenOptions msg

Constructors

FlattenOptions'newtype_ (Struct msg)

Instances

TraverseMsg FlattenOptions

Defined in Capnp.Gen.Capnp.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> FlattenOptions msgA -> m (FlattenOptions msgB)

ToStruct msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

toStruct :: FlattenOptions msg -> Struct msg

FromStruct msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

ToPtr s (FlattenOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> FlattenOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

Allocate s (FlattenOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (FlattenOptions (MutMsg s))

MutListElem s (FlattenOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (FlattenOptions (MutMsg s)))

ListElem msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (FlattenOptions msg) :: Type

Methods

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

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

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

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

MessageDefault (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

messageDefault :: InMessage (FlattenOptions msg) -> FlattenOptions msg

HasMessage (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

type InMessage (FlattenOptions msg) :: Type

Methods

message :: FlattenOptions msg -> InMessage (FlattenOptions msg)

newtype List msg (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

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

type InMessage (FlattenOptions msg)

Defined in Capnp.Gen.Capnp.Json

type InMessage (FlattenOptions msg) = msg

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

set_FlattenOptions'prefix :: RWCtx m s => FlattenOptions (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

newtype DiscriminatorOptions msg

Constructors

DiscriminatorOptions'newtype_ (Struct msg)

Instances

TraverseMsg DiscriminatorOptions

Defined in Capnp.Gen.Capnp.Json

Methods

tMsg :: Applicative m => (msgA -> m msgB) -> DiscriminatorOptions msgA -> m (DiscriminatorOptions msgB)

ToStruct msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

toStruct :: DiscriminatorOptions msg -> Struct msg

FromStruct msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

ToPtr s (DiscriminatorOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

toPtr :: WriteCtx m s => MutMsg s -> DiscriminatorOptions (MutMsg s) -> m (Maybe (Ptr (MutMsg s)))

FromPtr msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

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

Allocate s (DiscriminatorOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

new :: WriteCtx m s => MutMsg s -> m (DiscriminatorOptions (MutMsg s))

MutListElem s (DiscriminatorOptions (MutMsg s))

Defined in Capnp.Gen.Capnp.Json

Methods

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

newList :: WriteCtx m s => MutMsg s -> Int -> m (List (MutMsg s) (DiscriminatorOptions (MutMsg s)))

ListElem msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

data List msg (DiscriminatorOptions msg) :: Type

Methods

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

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

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

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

MessageDefault (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Methods

messageDefault :: InMessage (DiscriminatorOptions msg) -> DiscriminatorOptions msg

HasMessage (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

Associated Types

type InMessage (DiscriminatorOptions msg) :: Type

Methods

message :: DiscriminatorOptions msg -> InMessage (DiscriminatorOptions msg)

newtype List msg (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

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

type InMessage (DiscriminatorOptions msg)

Defined in Capnp.Gen.Capnp.Json

type InMessage (DiscriminatorOptions msg) = msg

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

set_DiscriminatorOptions'name :: RWCtx m s => DiscriminatorOptions (MutMsg s) -> Text (MutMsg s) -> m ()

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

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

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

set_DiscriminatorOptions'valueName :: RWCtx m s => DiscriminatorOptions (MutMsg s) -> Text (MutMsg s) -> m ()

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

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