DomainDriven.Internal.NamedJsonFields

Documentation

packed :: Getting r String Text

newtype NamedJsonFields a

Constructors

NamedJsonFields a

Instances

(GNamedFromJSON (Rep a), Generic a) => FromJSON (NamedJsonFields a)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

parseJSON :: Value -> Parser (NamedJsonFields a)

parseJSONList :: Value -> Parser [NamedJsonFields a]

(GNamedToJSON (Rep a), Generic a) => ToJSON (NamedJsonFields a)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

toJSON :: NamedJsonFields a -> Value

toEncoding :: NamedJsonFields a -> Encoding

toJSONList :: [NamedJsonFields a] -> Value

toEncodingList :: [NamedJsonFields a] -> Encoding

(Typeable a, GNamedToSchema (Rep a)) => ToSchema (NamedJsonFields a)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

declareNamedSchema :: Proxy (NamedJsonFields a) -> Declare (Definitions Schema) NamedSchema

gNamedToJson :: (GNamedToJSON (Rep a), Generic a) => NamedJsonOptions -> a -> Value

gNamedParseJson :: (GNamedFromJSON (Rep a), Generic a) => NamedJsonOptions -> Value -> Parser a

gNamedDeclareNamedSchema :: forall a. GNamedToSchema (Rep a) => NamedJsonOptions -> Proxy a -> Declare (Definitions Schema) NamedSchema

data NamedJsonOptions

Constructors

NamedJsonOptions

Fields

• constructorTagModifier :: String -> String
• tagFieldName :: String
• skipTagField :: Bool
• datatypeNameModifier :: String -> String

Instances

Generic NamedJsonOptions

Defined in DomainDriven.Internal.NamedJsonFields

Associated Types

type Rep NamedJsonOptions :: Type -> Type

Methods

from :: NamedJsonOptions -> Rep NamedJsonOptions x

to :: Rep NamedJsonOptions x -> NamedJsonOptions

type Rep NamedJsonOptions

Defined in DomainDriven.Internal.NamedJsonFields

type Rep NamedJsonOptions = D1 ('MetaData "NamedJsonOptions" "DomainDriven.Internal.NamedJsonFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NamedJsonOptions" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constructorTagModifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String -> String)) :*: S1 ('MetaSel ('Just "tagFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "skipTagField") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "datatypeNameModifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String -> String)))))

defaultNamedJsonOptions :: NamedJsonOptions

data Proxy3 a b c

Constructors

Proxy3

class GNamedToSchema (f :: Type -> Type) where

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy f -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

Instances

GNamedToSchema (U1 :: Type -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy U1 -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(GNamedToSchema f, GNamedToSchema g) => GNamedToSchema (f :*: g)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (f :*: g) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(GNamedToSchema f, GNamedToSchema g) => GNamedToSchema (f :+: g)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (f :+: g) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(GNamedToSchema f, Constructor c) => GNamedToSchema (C1 c f)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (C1 c f) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(Datatype d, GNamedToSchema f) => GNamedToSchema (D1 d f)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (D1 d f) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(ToSchema f, HasFieldName f) => GNamedToSchema (S1 s (Rec0 (Maybe f)))

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (S1 s (Rec0 (Maybe f))) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

(ToSchema f, HasFieldName f) => GNamedToSchema (S1 s (Rec0 f))

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gDeclareNamedSchema :: NamedJsonOptions -> Proxy (S1 s (Rec0 f)) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema

type UsedName = Key

class GNamedToJSON a where

Methods

gToTupleList :: NamedJsonOptions -> a x -> State [UsedName] [(Key, Value)]

Instances

GNamedToJSON (U1 :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> U1 x -> State [UsedName] [(Key, Value)]

(GNamedToJSON a, GNamedToJSON b) => GNamedToJSON (a :*: b :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> (a :*: b) x -> State [UsedName] [(Key, Value)]

(GNamedToJSON a, GNamedToJSON b) => GNamedToJSON (a :+: b :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> (a :+: b) x -> State [UsedName] [(Key, Value)]

(GNamedToJSON f, Constructor c) => GNamedToJSON (M1 C c f :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 C c f x -> State [UsedName] [(Key, Value)]

GNamedToJSON f => GNamedToJSON (M1 D d f :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 D d f x -> State [UsedName] [(Key, Value)]

(ToJSON t, HasFieldName t) => GNamedToJSON (M1 S c (Rec0 t) :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 S c (Rec0 t) x -> State [UsedName] [(Key, Value)]

actualFieldName :: [UsedName] -> Key -> Key

lookupKey :: Key -> Value -> StateT [UsedName] Parser Value

class GNamedFromJSON a where

Methods

gNamedFromJSON :: NamedJsonOptions -> Value -> StateT [UsedName] Parser (a x)

Instances

GNamedFromJSON (U1 :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (U1 x)

(GNamedFromJSON a, GNamedFromJSON b) => GNamedFromJSON (a :*: b :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser ((a :*: b) x)

(GNamedFromJSON a, GNamedFromJSON b) => GNamedFromJSON (a :+: b :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser ((a :+: b) x)

(Constructor f, GNamedFromJSON p) => GNamedFromJSON (M1 C f p :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 C f p x)

GNamedFromJSON p => GNamedFromJSON (M1 D f p :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 D f p x)

(FromJSON t, HasFieldName t) => GNamedFromJSON (M1 S c (Rec0 t) :: k -> Type)

Defined in DomainDriven.Internal.NamedJsonFields

Methods

gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 S c (Rec0 t) x)