{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE DuplicateRecordFields #-} {-# LANGUAGE EmptyDataDeriving #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE UndecidableSuperClasses #-} {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE RecordWildCards #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE ScopedTypeVariables #-} {-# OPTIONS_GHC -Wno-unused-imports #-} {-# OPTIONS_GHC -Wno-dodgy-exports #-} {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-orphans #-} {-# OPTIONS_GHC -Wno-unticked-promoted-constructors #-} {-# OPTIONS_GHC -Wno-name-shadowing #-} module Capnp.Gen.Capnp.Compat.Json.New where import qualified Capnp.Repr as R import qualified Capnp.Repr.Parsed as RP import qualified Capnp.New.Basics as Basics import qualified GHC.OverloadedLabels as OL import qualified Capnp.GenHelpers.New as GH import qualified Capnp.New.Classes as C import qualified GHC.Generics as Generics import qualified Prelude as Std_ import qualified Data.Word as Std_ import qualified Data.Int as Std_ import Prelude ((<$>), (<*>), (>>=)) data Value type instance (R.ReprFor Value) = (R.Ptr (Std_.Just R.Struct)) instance (C.HasTypeId Value) where typeId :: Word64 typeId = Word64 11815888814287216003 instance (C.TypedStruct Value) where numStructWords :: Word16 numStructWords = Word16 2 numStructPtrs :: Word16 numStructPtrs = Word16 1 instance (C.Allocate Value) where type AllocHint Value = () new :: AllocHint Value -> Message ('Mut s) -> m (Raw Value ('Mut s)) new AllocHint Value _ = Message ('Mut s) -> m (Raw Value ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Message ('Mut s) -> m (Raw a ('Mut s)) C.newTypedStruct instance (C.EstimateAlloc Value (C.Parsed Value)) instance (C.AllocateList Value) where type ListAllocHint Value = Std_.Int newList :: ListAllocHint Value -> Message ('Mut s) -> m (Raw (List Value) ('Mut s)) newList = ListAllocHint Value -> Message ('Mut s) -> m (Raw (List Value) ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Int -> Message ('Mut s) -> m (Raw (List a) ('Mut s)) C.newTypedStructList instance (C.EstimateListAlloc Value (C.Parsed Value)) data instance C.Parsed Value = Value {Parsed Value -> Parsed (Which Value) union' :: (C.Parsed (GH.Which Value))} deriving((forall x. Parsed Value -> Rep (Parsed Value) x) -> (forall x. Rep (Parsed Value) x -> Parsed Value) -> Generic (Parsed Value) forall x. Rep (Parsed Value) x -> Parsed Value forall x. Parsed Value -> Rep (Parsed Value) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed Value) x -> Parsed Value $cfrom :: forall x. Parsed Value -> Rep (Parsed Value) x Generics.Generic) deriving instance (Std_.Show (C.Parsed Value)) deriving instance (Std_.Eq (C.Parsed Value)) instance (C.Parse Value (C.Parsed Value)) where parse :: Raw Value 'Const -> m (Parsed Value) parse Raw Value 'Const raw_ = (Parsed (Which Value) -> Parsed Value Value (Parsed (Which Value) -> Parsed Value) -> m (Parsed (Which Value)) -> m (Parsed Value) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw (Which Value) 'Const -> m (Parsed (Which Value)) forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse (Raw Value 'Const -> Raw (Which Value) 'Const forall a (mut :: Mutability). HasUnion a => Raw a mut -> Raw (Which a) mut GH.structUnion Raw Value 'Const raw_))) instance (C.Marshal Value (C.Parsed Value)) where marshalInto :: Raw Value ('Mut s) -> Parsed Value -> m () marshalInto Raw Value ('Mut s) raw_ Value{..} = (do (Raw (Which Value) ('Mut s) -> Parsed (Which Value) -> m () forall t p (m :: * -> *) s. (Marshal t p, RWCtx m s) => Raw t ('Mut s) -> p -> m () C.marshalInto (Raw Value ('Mut s) -> Raw (Which Value) ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw a mut -> Raw (Which a) mut GH.structUnion Raw Value ('Mut s) raw_) Parsed (Which Value) union') ) instance (GH.HasUnion Value) where unionField :: Field 'Slot Value Word16 unionField = (BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot Value Word16 forall b a (sz :: DataSz). (ReprFor b ~ 'Data sz, IsWord (UntypedData sz)) => BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot a b GH.dataField BitCount 0 Word16 0 BitCount 16 Word64 0) data RawWhich Value mut_ = RW_Value'null (R.Raw () mut_) | RW_Value'boolean (R.Raw Std_.Bool mut_) | RW_Value'number (R.Raw Std_.Double mut_) | RW_Value'string (R.Raw Basics.Text mut_) | RW_Value'array (R.Raw (R.List Value) mut_) | RW_Value'object (R.Raw (R.List Value'Field) mut_) | RW_Value'call (R.Raw Value'Call mut_) | RW_Value'unknown' Std_.Word16 internalWhich :: Word16 -> Raw Value mut -> m (RawWhich Value mut) internalWhich Word16 tag_ Raw Value mut struct_ = case Word16 tag_ of Word16 0 -> (Raw () mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw () mut_ -> RawWhich Value mut_ RW_Value'null (Raw () mut -> RawWhich Value mut) -> m (Raw () mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value () -> Raw Value mut -> m (Raw () mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "null" (Variant 'Slot Value ()) Variant 'Slot Value () #null Raw Value mut struct_)) Word16 1 -> (Raw Bool mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw Bool mut_ -> RawWhich Value mut_ RW_Value'boolean (Raw Bool mut -> RawWhich Value mut) -> m (Raw Bool mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value Bool -> Raw Value mut -> m (Raw Bool mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "boolean" (Variant 'Slot Value Bool) Variant 'Slot Value Bool #boolean Raw Value mut struct_)) Word16 2 -> (Raw Double mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw Double mut_ -> RawWhich Value mut_ RW_Value'number (Raw Double mut -> RawWhich Value mut) -> m (Raw Double mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value Double -> Raw Value mut -> m (Raw Double mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "number" (Variant 'Slot Value Double) Variant 'Slot Value Double #number Raw Value mut struct_)) Word16 3 -> (Raw Text mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw Text mut_ -> RawWhich Value mut_ RW_Value'string (Raw Text mut -> RawWhich Value mut) -> m (Raw Text mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value Text -> Raw Value mut -> m (Raw Text mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "string" (Variant 'Slot Value Text) Variant 'Slot Value Text #string Raw Value mut struct_)) Word16 4 -> (Raw (List Value) mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw (List Value) mut_ -> RawWhich Value mut_ RW_Value'array (Raw (List Value) mut -> RawWhich Value mut) -> m (Raw (List Value) mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value (List Value) -> Raw Value mut -> m (Raw (List Value) mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "array" (Variant 'Slot Value (List Value)) Variant 'Slot Value (List Value) #array Raw Value mut struct_)) Word16 5 -> (Raw (List Value'Field) mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw (List Value'Field) mut_ -> RawWhich Value mut_ RW_Value'object (Raw (List Value'Field) mut -> RawWhich Value mut) -> m (Raw (List Value'Field) mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value (List Value'Field) -> Raw Value mut -> m (Raw (List Value'Field) mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "object" (Variant 'Slot Value (List Value'Field)) Variant 'Slot Value (List Value'Field) #object Raw Value mut struct_)) Word16 6 -> (Raw Value'Call mut -> RawWhich Value mut forall (mut_ :: Mutability). Raw Value'Call mut_ -> RawWhich Value mut_ RW_Value'call (Raw Value'Call mut -> RawWhich Value mut) -> m (Raw Value'Call mut) -> m (RawWhich Value mut) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Variant 'Slot Value Value'Call -> Raw Value mut -> m (Raw Value'Call mut) forall (k :: FieldKind) a b (mut :: Mutability) (m :: * -> *). (IsStruct a, ReadCtx m mut) => Variant k a b -> Raw a mut -> m (Raw b mut) GH.readVariant IsLabel "call" (Variant 'Slot Value Value'Call) Variant 'Slot Value Value'Call #call Raw Value mut struct_)) Word16 _ -> (RawWhich Value mut -> m (RawWhich Value mut) forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure (Word16 -> RawWhich Value mut forall (mut_ :: Mutability). Word16 -> RawWhich Value mut_ RW_Value'unknown' Word16 tag_)) data Which Value instance (GH.HasVariant "null" GH.Slot Value ()) where variantByLabel :: Variant 'Slot Value () variantByLabel = (Field 'Slot Value () -> Word16 -> Variant 'Slot Value () forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant Field 'Slot Value () forall b a. (ReprFor b ~ 'Data 'Sz0) => Field 'Slot a b GH.voidField Word16 0) instance (GH.HasVariant "boolean" GH.Slot Value Std_.Bool) where variantByLabel :: Variant 'Slot Value Bool variantByLabel = (Field 'Slot Value Bool -> Word16 -> Variant 'Slot Value Bool forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot Value Bool forall b a (sz :: DataSz). (ReprFor b ~ 'Data sz, IsWord (UntypedData sz)) => BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot a b GH.dataField BitCount 16 Word16 0 BitCount 1 Word64 0) Word16 1) instance (GH.HasVariant "number" GH.Slot Value Std_.Double) where variantByLabel :: Variant 'Slot Value Double variantByLabel = (Field 'Slot Value Double -> Word16 -> Variant 'Slot Value Double forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot Value Double forall b a (sz :: DataSz). (ReprFor b ~ 'Data sz, IsWord (UntypedData sz)) => BitCount -> Word16 -> BitCount -> Word64 -> Field 'Slot a b GH.dataField BitCount 0 Word16 1 BitCount 64 Word64 0) Word16 2) instance (GH.HasVariant "string" GH.Slot Value Basics.Text) where variantByLabel :: Variant 'Slot Value Text variantByLabel = (Field 'Slot Value Text -> Word16 -> Variant 'Slot Value Text forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (Word16 -> Field 'Slot Value Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) Word16 3) instance (GH.HasVariant "array" GH.Slot Value (R.List Value)) where variantByLabel :: Variant 'Slot Value (List Value) variantByLabel = (Field 'Slot Value (List Value) -> Word16 -> Variant 'Slot Value (List Value) forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (Word16 -> Field 'Slot Value (List Value) forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) Word16 4) instance (GH.HasVariant "object" GH.Slot Value (R.List Value'Field)) where variantByLabel :: Variant 'Slot Value (List Value'Field) variantByLabel = (Field 'Slot Value (List Value'Field) -> Word16 -> Variant 'Slot Value (List Value'Field) forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (Word16 -> Field 'Slot Value (List Value'Field) forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) Word16 5) instance (GH.HasVariant "call" GH.Slot Value Value'Call) where variantByLabel :: Variant 'Slot Value Value'Call variantByLabel = (Field 'Slot Value Value'Call -> Word16 -> Variant 'Slot Value Value'Call forall (k :: FieldKind) a b. Field k a b -> Word16 -> Variant k a b GH.Variant (Word16 -> Field 'Slot Value Value'Call forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) Word16 6) data instance C.Parsed (GH.Which Value) = Value'null | Value'boolean (RP.Parsed Std_.Bool) | Value'number (RP.Parsed Std_.Double) | Value'string (RP.Parsed Basics.Text) | Value'array (RP.Parsed (R.List Value)) | Value'object (RP.Parsed (R.List Value'Field)) | Value'call (RP.Parsed Value'Call) | Value'unknown' Std_.Word16 deriving((forall x. Parsed (Which Value) -> Rep (Parsed (Which Value)) x) -> (forall x. Rep (Parsed (Which Value)) x -> Parsed (Which Value)) -> Generic (Parsed (Which Value)) forall x. Rep (Parsed (Which Value)) x -> Parsed (Which Value) forall x. Parsed (Which Value) -> Rep (Parsed (Which Value)) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed (Which Value)) x -> Parsed (Which Value) $cfrom :: forall x. Parsed (Which Value) -> Rep (Parsed (Which Value)) x Generics.Generic) deriving instance (Std_.Show (C.Parsed (GH.Which Value))) deriving instance (Std_.Eq (C.Parsed (GH.Which Value))) instance (C.Parse (GH.Which Value) (C.Parsed (GH.Which Value))) where parse :: Raw (Which Value) 'Const -> m (Parsed (Which Value)) parse Raw (Which Value) 'Const raw_ = (do RawWhich Value 'Const rawWhich_ <- (Raw (Which Value) 'Const -> m (RawWhich Value 'Const) forall a (mut :: Mutability) (m :: * -> *). (ReadCtx m mut, HasUnion a) => Raw (Which a) mut -> m (RawWhich a mut) GH.unionWhich Raw (Which Value) 'Const raw_) case RawWhich Value 'Const rawWhich_ of (RW_Value'null _) -> (Parsed (Which Value) -> m (Parsed (Which Value)) forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure Parsed (Which Value) Value'null) (RW_Value'boolean rawArg_) -> (Bool -> Parsed (Which Value) Parsed Bool -> Parsed (Which Value) Value'boolean (Bool -> Parsed (Which Value)) -> m Bool -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw Bool 'Const -> m Bool forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw Bool 'Const rawArg_)) (RW_Value'number rawArg_) -> (Double -> Parsed (Which Value) Parsed Double -> Parsed (Which Value) Value'number (Double -> Parsed (Which Value)) -> m Double -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw Double 'Const -> m Double forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw Double 'Const rawArg_)) (RW_Value'string rawArg_) -> (Text -> Parsed (Which Value) Parsed Text -> Parsed (Which Value) Value'string (Text -> Parsed (Which Value)) -> m Text -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw Text 'Const -> m Text forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw Text 'Const rawArg_)) (RW_Value'array rawArg_) -> (Vector (Parsed Value) -> Parsed (Which Value) Parsed (List Value) -> Parsed (Which Value) Value'array (Vector (Parsed Value) -> Parsed (Which Value)) -> m (Vector (Parsed Value)) -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw (List Value) 'Const -> m (Vector (Parsed Value)) forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw (List Value) 'Const rawArg_)) (RW_Value'object rawArg_) -> (Vector (Parsed Value'Field) -> Parsed (Which Value) Parsed (List Value'Field) -> Parsed (Which Value) Value'object (Vector (Parsed Value'Field) -> Parsed (Which Value)) -> m (Vector (Parsed Value'Field)) -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw (List Value'Field) 'Const -> m (Vector (Parsed Value'Field)) forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw (List Value'Field) 'Const rawArg_)) (RW_Value'call rawArg_) -> (Parsed Value'Call -> Parsed (Which Value) Parsed Value'Call -> Parsed (Which Value) Value'call (Parsed Value'Call -> Parsed (Which Value)) -> m (Parsed Value'Call) -> m (Parsed (Which Value)) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Raw Value'Call 'Const -> m (Parsed Value'Call) forall t p (m :: * -> *). (Parse t p, ReadCtx m 'Const) => Raw t 'Const -> m p C.parse Raw Value'Call 'Const rawArg_)) (RW_Value'unknown' tag_) -> (Parsed (Which Value) -> m (Parsed (Which Value)) forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure (Word16 -> Parsed (Which Value) Value'unknown' Word16 tag_)) ) instance (C.Marshal (GH.Which Value) (C.Parsed (GH.Which Value))) where marshalInto :: Raw (Which Value) ('Mut s) -> Parsed (Which Value) -> m () marshalInto Raw (Which Value) ('Mut s) raw_ Parsed (Which Value) parsed_ = case Parsed (Which Value) parsed_ of (Parsed (Which Value) Value'null) -> (Variant 'Slot Value () -> () -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "null" (Variant 'Slot Value ()) Variant 'Slot Value () #null () (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'boolean arg_) -> (Variant 'Slot Value Bool -> Bool -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "boolean" (Variant 'Slot Value Bool) Variant 'Slot Value Bool #boolean Bool Parsed Bool arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'number arg_) -> (Variant 'Slot Value Double -> Double -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "number" (Variant 'Slot Value Double) Variant 'Slot Value Double #number Double Parsed Double arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'string arg_) -> (Variant 'Slot Value Text -> Text -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "string" (Variant 'Slot Value Text) Variant 'Slot Value Text #string Text Parsed Text arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'array arg_) -> (Variant 'Slot Value (List Value) -> Vector (Parsed Value) -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "array" (Variant 'Slot Value (List Value)) Variant 'Slot Value (List Value) #array Vector (Parsed Value) Parsed (List Value) arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'object arg_) -> (Variant 'Slot Value (List Value'Field) -> Vector (Parsed Value'Field) -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "object" (Variant 'Slot Value (List Value'Field)) Variant 'Slot Value (List Value'Field) #object Vector (Parsed Value'Field) Parsed (List Value'Field) arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'call arg_) -> (Variant 'Slot Value Value'Call -> Parsed Value'Call -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (HasUnion a, Parse b bp, RWCtx m s) => Variant 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeVariant IsLabel "call" (Variant 'Slot Value Value'Call) Variant 'Slot Value Value'Call #call Parsed Value'Call Parsed Value'Call arg_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) (Value'unknown' tag_) -> (Field 'Slot Value Word16 -> Word16 -> Raw Value ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField Field 'Slot Value Word16 forall a. HasUnion a => Field 'Slot a Word16 GH.unionField Word16 tag_ (Raw (Which Value) ('Mut s) -> Raw Value ('Mut s) forall a (mut :: Mutability). HasUnion a => Raw (Which a) mut -> Raw a mut GH.unionStruct Raw (Which Value) ('Mut s) raw_)) data Value'Field type instance (R.ReprFor Value'Field) = (R.Ptr (Std_.Just R.Struct)) instance (C.HasTypeId Value'Field) where typeId :: Word64 typeId = Word64 16361620220719570399 instance (C.TypedStruct Value'Field) where numStructWords :: Word16 numStructWords = Word16 0 numStructPtrs :: Word16 numStructPtrs = Word16 2 instance (C.Allocate Value'Field) where type AllocHint Value'Field = () new :: AllocHint Value'Field -> Message ('Mut s) -> m (Raw Value'Field ('Mut s)) new AllocHint Value'Field _ = Message ('Mut s) -> m (Raw Value'Field ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Message ('Mut s) -> m (Raw a ('Mut s)) C.newTypedStruct instance (C.EstimateAlloc Value'Field (C.Parsed Value'Field)) instance (C.AllocateList Value'Field) where type ListAllocHint Value'Field = Std_.Int newList :: ListAllocHint Value'Field -> Message ('Mut s) -> m (Raw (List Value'Field) ('Mut s)) newList = ListAllocHint Value'Field -> Message ('Mut s) -> m (Raw (List Value'Field) ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Int -> Message ('Mut s) -> m (Raw (List a) ('Mut s)) C.newTypedStructList instance (C.EstimateListAlloc Value'Field (C.Parsed Value'Field)) data instance C.Parsed Value'Field = Value'Field {Parsed Value'Field -> Parsed Text name :: (RP.Parsed Basics.Text) ,Parsed Value'Field -> Parsed Value value :: (RP.Parsed Value)} deriving((forall x. Parsed Value'Field -> Rep (Parsed Value'Field) x) -> (forall x. Rep (Parsed Value'Field) x -> Parsed Value'Field) -> Generic (Parsed Value'Field) forall x. Rep (Parsed Value'Field) x -> Parsed Value'Field forall x. Parsed Value'Field -> Rep (Parsed Value'Field) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed Value'Field) x -> Parsed Value'Field $cfrom :: forall x. Parsed Value'Field -> Rep (Parsed Value'Field) x Generics.Generic) deriving instance (Std_.Show (C.Parsed Value'Field)) deriving instance (Std_.Eq (C.Parsed Value'Field)) instance (C.Parse Value'Field (C.Parsed Value'Field)) where parse :: Raw Value'Field 'Const -> m (Parsed Value'Field) parse Raw Value'Field 'Const raw_ = (Text -> Parsed Value -> Parsed Value'Field Parsed Text -> Parsed Value -> Parsed Value'Field Value'Field (Text -> Parsed Value -> Parsed Value'Field) -> m Text -> m (Parsed Value -> Parsed Value'Field) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Field 'Slot Value'Field Text -> Raw Value'Field 'Const -> m Text forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "name" (Field 'Slot Value'Field Text) Field 'Slot Value'Field Text #name Raw Value'Field 'Const raw_) m (Parsed Value -> Parsed Value'Field) -> m (Parsed Value) -> m (Parsed Value'Field) forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b <*> (Field 'Slot Value'Field Value -> Raw Value'Field 'Const -> m (Parsed Value) forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "value" (Field 'Slot Value'Field Value) Field 'Slot Value'Field Value #value Raw Value'Field 'Const raw_)) instance (C.Marshal Value'Field (C.Parsed Value'Field)) where marshalInto :: Raw Value'Field ('Mut s) -> Parsed Value'Field -> m () marshalInto Raw Value'Field ('Mut s) raw_ Value'Field{..} = (do (Field 'Slot Value'Field Text -> Text -> Raw Value'Field ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "name" (Field 'Slot Value'Field Text) Field 'Slot Value'Field Text #name Text Parsed Text name Raw Value'Field ('Mut s) raw_) (Field 'Slot Value'Field Value -> Parsed Value -> Raw Value'Field ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "value" (Field 'Slot Value'Field Value) Field 'Slot Value'Field Value #value Parsed Value Parsed Value value Raw Value'Field ('Mut s) raw_) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance (GH.HasField "name" GH.Slot Value'Field Basics.Text) where fieldByLabel :: Field 'Slot Value'Field Text fieldByLabel = (Word16 -> Field 'Slot Value'Field Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) instance (GH.HasField "value" GH.Slot Value'Field Value) where fieldByLabel :: Field 'Slot Value'Field Value fieldByLabel = (Word16 -> Field 'Slot Value'Field Value forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 1) data Value'Call type instance (R.ReprFor Value'Call) = (R.Ptr (Std_.Just R.Struct)) instance (C.HasTypeId Value'Call) where typeId :: Word64 typeId = Word64 11590566612201717064 instance (C.TypedStruct Value'Call) where numStructWords :: Word16 numStructWords = Word16 0 numStructPtrs :: Word16 numStructPtrs = Word16 2 instance (C.Allocate Value'Call) where type AllocHint Value'Call = () new :: AllocHint Value'Call -> Message ('Mut s) -> m (Raw Value'Call ('Mut s)) new AllocHint Value'Call _ = Message ('Mut s) -> m (Raw Value'Call ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Message ('Mut s) -> m (Raw a ('Mut s)) C.newTypedStruct instance (C.EstimateAlloc Value'Call (C.Parsed Value'Call)) instance (C.AllocateList Value'Call) where type ListAllocHint Value'Call = Std_.Int newList :: ListAllocHint Value'Call -> Message ('Mut s) -> m (Raw (List Value'Call) ('Mut s)) newList = ListAllocHint Value'Call -> Message ('Mut s) -> m (Raw (List Value'Call) ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Int -> Message ('Mut s) -> m (Raw (List a) ('Mut s)) C.newTypedStructList instance (C.EstimateListAlloc Value'Call (C.Parsed Value'Call)) data instance C.Parsed Value'Call = Value'Call {Parsed Value'Call -> Parsed Text function :: (RP.Parsed Basics.Text) ,Parsed Value'Call -> Parsed (List Value) params :: (RP.Parsed (R.List Value))} deriving((forall x. Parsed Value'Call -> Rep (Parsed Value'Call) x) -> (forall x. Rep (Parsed Value'Call) x -> Parsed Value'Call) -> Generic (Parsed Value'Call) forall x. Rep (Parsed Value'Call) x -> Parsed Value'Call forall x. Parsed Value'Call -> Rep (Parsed Value'Call) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed Value'Call) x -> Parsed Value'Call $cfrom :: forall x. Parsed Value'Call -> Rep (Parsed Value'Call) x Generics.Generic) deriving instance (Std_.Show (C.Parsed Value'Call)) deriving instance (Std_.Eq (C.Parsed Value'Call)) instance (C.Parse Value'Call (C.Parsed Value'Call)) where parse :: Raw Value'Call 'Const -> m (Parsed Value'Call) parse Raw Value'Call 'Const raw_ = (Text -> Vector (Parsed Value) -> Parsed Value'Call Parsed Text -> Parsed (List Value) -> Parsed Value'Call Value'Call (Text -> Vector (Parsed Value) -> Parsed Value'Call) -> m Text -> m (Vector (Parsed Value) -> Parsed Value'Call) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Field 'Slot Value'Call Text -> Raw Value'Call 'Const -> m Text forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "function" (Field 'Slot Value'Call Text) Field 'Slot Value'Call Text #function Raw Value'Call 'Const raw_) m (Vector (Parsed Value) -> Parsed Value'Call) -> m (Vector (Parsed Value)) -> m (Parsed Value'Call) forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b <*> (Field 'Slot Value'Call (List Value) -> Raw Value'Call 'Const -> m (Vector (Parsed Value)) forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "params" (Field 'Slot Value'Call (List Value)) Field 'Slot Value'Call (List Value) #params Raw Value'Call 'Const raw_)) instance (C.Marshal Value'Call (C.Parsed Value'Call)) where marshalInto :: Raw Value'Call ('Mut s) -> Parsed Value'Call -> m () marshalInto Raw Value'Call ('Mut s) raw_ Value'Call{..} = (do (Field 'Slot Value'Call Text -> Text -> Raw Value'Call ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "function" (Field 'Slot Value'Call Text) Field 'Slot Value'Call Text #function Text Parsed Text function Raw Value'Call ('Mut s) raw_) (Field 'Slot Value'Call (List Value) -> Vector (Parsed Value) -> Raw Value'Call ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "params" (Field 'Slot Value'Call (List Value)) Field 'Slot Value'Call (List Value) #params Vector (Parsed Value) Parsed (List Value) params Raw Value'Call ('Mut s) raw_) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance (GH.HasField "function" GH.Slot Value'Call Basics.Text) where fieldByLabel :: Field 'Slot Value'Call Text fieldByLabel = (Word16 -> Field 'Slot Value'Call Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) instance (GH.HasField "params" GH.Slot Value'Call (R.List Value)) where fieldByLabel :: Field 'Slot Value'Call (List Value) fieldByLabel = (Word16 -> Field 'Slot Value'Call (List Value) forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 1) data FlattenOptions type instance (R.ReprFor FlattenOptions) = (R.Ptr (Std_.Just R.Struct)) instance (C.HasTypeId FlattenOptions) where typeId :: Word64 typeId = Word64 14186078402951440993 instance (C.TypedStruct FlattenOptions) where numStructWords :: Word16 numStructWords = Word16 0 numStructPtrs :: Word16 numStructPtrs = Word16 1 instance (C.Allocate FlattenOptions) where type AllocHint FlattenOptions = () new :: AllocHint FlattenOptions -> Message ('Mut s) -> m (Raw FlattenOptions ('Mut s)) new AllocHint FlattenOptions _ = Message ('Mut s) -> m (Raw FlattenOptions ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Message ('Mut s) -> m (Raw a ('Mut s)) C.newTypedStruct instance (C.EstimateAlloc FlattenOptions (C.Parsed FlattenOptions)) instance (C.AllocateList FlattenOptions) where type ListAllocHint FlattenOptions = Std_.Int newList :: ListAllocHint FlattenOptions -> Message ('Mut s) -> m (Raw (List FlattenOptions) ('Mut s)) newList = ListAllocHint FlattenOptions -> Message ('Mut s) -> m (Raw (List FlattenOptions) ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Int -> Message ('Mut s) -> m (Raw (List a) ('Mut s)) C.newTypedStructList instance (C.EstimateListAlloc FlattenOptions (C.Parsed FlattenOptions)) data instance C.Parsed FlattenOptions = FlattenOptions {Parsed FlattenOptions -> Parsed Text prefix :: (RP.Parsed Basics.Text)} deriving((forall x. Parsed FlattenOptions -> Rep (Parsed FlattenOptions) x) -> (forall x. Rep (Parsed FlattenOptions) x -> Parsed FlattenOptions) -> Generic (Parsed FlattenOptions) forall x. Rep (Parsed FlattenOptions) x -> Parsed FlattenOptions forall x. Parsed FlattenOptions -> Rep (Parsed FlattenOptions) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed FlattenOptions) x -> Parsed FlattenOptions $cfrom :: forall x. Parsed FlattenOptions -> Rep (Parsed FlattenOptions) x Generics.Generic) deriving instance (Std_.Show (C.Parsed FlattenOptions)) deriving instance (Std_.Eq (C.Parsed FlattenOptions)) instance (C.Parse FlattenOptions (C.Parsed FlattenOptions)) where parse :: Raw FlattenOptions 'Const -> m (Parsed FlattenOptions) parse Raw FlattenOptions 'Const raw_ = (Text -> Parsed FlattenOptions Parsed Text -> Parsed FlattenOptions FlattenOptions (Text -> Parsed FlattenOptions) -> m Text -> m (Parsed FlattenOptions) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Field 'Slot FlattenOptions Text -> Raw FlattenOptions 'Const -> m Text forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "prefix" (Field 'Slot FlattenOptions Text) Field 'Slot FlattenOptions Text #prefix Raw FlattenOptions 'Const raw_)) instance (C.Marshal FlattenOptions (C.Parsed FlattenOptions)) where marshalInto :: Raw FlattenOptions ('Mut s) -> Parsed FlattenOptions -> m () marshalInto Raw FlattenOptions ('Mut s) raw_ FlattenOptions{..} = (do (Field 'Slot FlattenOptions Text -> Text -> Raw FlattenOptions ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "prefix" (Field 'Slot FlattenOptions Text) Field 'Slot FlattenOptions Text #prefix Text Parsed Text prefix Raw FlattenOptions ('Mut s) raw_) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance (GH.HasField "prefix" GH.Slot FlattenOptions Basics.Text) where fieldByLabel :: Field 'Slot FlattenOptions Text fieldByLabel = (Word16 -> Field 'Slot FlattenOptions Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) data DiscriminatorOptions type instance (R.ReprFor DiscriminatorOptions) = (R.Ptr (Std_.Just R.Struct)) instance (C.HasTypeId DiscriminatorOptions) where typeId :: Word64 typeId = Word64 14049192395069608729 instance (C.TypedStruct DiscriminatorOptions) where numStructWords :: Word16 numStructWords = Word16 0 numStructPtrs :: Word16 numStructPtrs = Word16 2 instance (C.Allocate DiscriminatorOptions) where type AllocHint DiscriminatorOptions = () new :: AllocHint DiscriminatorOptions -> Message ('Mut s) -> m (Raw DiscriminatorOptions ('Mut s)) new AllocHint DiscriminatorOptions _ = Message ('Mut s) -> m (Raw DiscriminatorOptions ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Message ('Mut s) -> m (Raw a ('Mut s)) C.newTypedStruct instance (C.EstimateAlloc DiscriminatorOptions (C.Parsed DiscriminatorOptions)) instance (C.AllocateList DiscriminatorOptions) where type ListAllocHint DiscriminatorOptions = Std_.Int newList :: ListAllocHint DiscriminatorOptions -> Message ('Mut s) -> m (Raw (List DiscriminatorOptions) ('Mut s)) newList = ListAllocHint DiscriminatorOptions -> Message ('Mut s) -> m (Raw (List DiscriminatorOptions) ('Mut s)) forall a (m :: * -> *) s. (TypedStruct a, RWCtx m s) => Int -> Message ('Mut s) -> m (Raw (List a) ('Mut s)) C.newTypedStructList instance (C.EstimateListAlloc DiscriminatorOptions (C.Parsed DiscriminatorOptions)) data instance C.Parsed DiscriminatorOptions = DiscriminatorOptions {Parsed DiscriminatorOptions -> Parsed Text name :: (RP.Parsed Basics.Text) ,Parsed DiscriminatorOptions -> Parsed Text valueName :: (RP.Parsed Basics.Text)} deriving((forall x. Parsed DiscriminatorOptions -> Rep (Parsed DiscriminatorOptions) x) -> (forall x. Rep (Parsed DiscriminatorOptions) x -> Parsed DiscriminatorOptions) -> Generic (Parsed DiscriminatorOptions) forall x. Rep (Parsed DiscriminatorOptions) x -> Parsed DiscriminatorOptions forall x. Parsed DiscriminatorOptions -> Rep (Parsed DiscriminatorOptions) x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep (Parsed DiscriminatorOptions) x -> Parsed DiscriminatorOptions $cfrom :: forall x. Parsed DiscriminatorOptions -> Rep (Parsed DiscriminatorOptions) x Generics.Generic) deriving instance (Std_.Show (C.Parsed DiscriminatorOptions)) deriving instance (Std_.Eq (C.Parsed DiscriminatorOptions)) instance (C.Parse DiscriminatorOptions (C.Parsed DiscriminatorOptions)) where parse :: Raw DiscriminatorOptions 'Const -> m (Parsed DiscriminatorOptions) parse Raw DiscriminatorOptions 'Const raw_ = (Text -> Text -> Parsed DiscriminatorOptions Parsed Text -> Parsed Text -> Parsed DiscriminatorOptions DiscriminatorOptions (Text -> Text -> Parsed DiscriminatorOptions) -> m Text -> m (Text -> Parsed DiscriminatorOptions) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b <$> (Field 'Slot DiscriminatorOptions Text -> Raw DiscriminatorOptions 'Const -> m Text forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "name" (Field 'Slot DiscriminatorOptions Text) Field 'Slot DiscriminatorOptions Text #name Raw DiscriminatorOptions 'Const raw_) m (Text -> Parsed DiscriminatorOptions) -> m Text -> m (Parsed DiscriminatorOptions) forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b <*> (Field 'Slot DiscriminatorOptions Text -> Raw DiscriminatorOptions 'Const -> m Text forall a b bp (m :: * -> *) (k :: FieldKind). (IsStruct a, Parse b bp, ReadCtx m 'Const) => Field k a b -> Raw a 'Const -> m bp GH.parseField IsLabel "valueName" (Field 'Slot DiscriminatorOptions Text) Field 'Slot DiscriminatorOptions Text #valueName Raw DiscriminatorOptions 'Const raw_)) instance (C.Marshal DiscriminatorOptions (C.Parsed DiscriminatorOptions)) where marshalInto :: Raw DiscriminatorOptions ('Mut s) -> Parsed DiscriminatorOptions -> m () marshalInto Raw DiscriminatorOptions ('Mut s) raw_ DiscriminatorOptions{..} = (do (Field 'Slot DiscriminatorOptions Text -> Text -> Raw DiscriminatorOptions ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "name" (Field 'Slot DiscriminatorOptions Text) Field 'Slot DiscriminatorOptions Text #name Text Parsed Text name Raw DiscriminatorOptions ('Mut s) raw_) (Field 'Slot DiscriminatorOptions Text -> Text -> Raw DiscriminatorOptions ('Mut s) -> m () forall a b (m :: * -> *) s bp. (IsStruct a, Parse b bp, RWCtx m s) => Field 'Slot a b -> bp -> Raw a ('Mut s) -> m () GH.encodeField IsLabel "valueName" (Field 'Slot DiscriminatorOptions Text) Field 'Slot DiscriminatorOptions Text #valueName Text Parsed Text valueName Raw DiscriminatorOptions ('Mut s) raw_) (() -> m () forall (f :: * -> *) a. Applicative f => a -> f a Std_.pure ()) ) instance (GH.HasField "name" GH.Slot DiscriminatorOptions Basics.Text) where fieldByLabel :: Field 'Slot DiscriminatorOptions Text fieldByLabel = (Word16 -> Field 'Slot DiscriminatorOptions Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 0) instance (GH.HasField "valueName" GH.Slot DiscriminatorOptions Basics.Text) where fieldByLabel :: Field 'Slot DiscriminatorOptions Text fieldByLabel = (Word16 -> Field 'Slot DiscriminatorOptions Text forall a b. IsPtr b => Word16 -> Field 'Slot a b GH.ptrField Word16 1)