Safe Haskell	Safe-Inferred
Language	Haskell2010

DomainDriven.Internal.NamedJsonFields

Documentation

packed :: Getting r String Text Source #

newtype NamedJsonFields a Source #

Constructors

NamedJsonFields a

Instances

Instances details

(GNamedFromJSON (Rep a), Generic a) => FromJSON (NamedJsonFields a) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods parseJSON :: Value -> Parser (NamedJsonFields a) # parseJSONList :: Value -> Parser [NamedJsonFields a] #
(GNamedToJSON (Rep a), Generic a) => ToJSON (NamedJsonFields a) Source #
Instance details 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) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods declareNamedSchema :: Proxy (NamedJsonFields a) -> Declare (Definitions Schema) NamedSchema #

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

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

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

data NamedJsonOptions Source #

Constructors

NamedJsonOptions
Fields constructorTagModifier :: String -> String tagFieldName :: String skipTagField :: Bool datatypeNameModifier :: String -> String

Instances

Instances details

Generic NamedJsonOptions Source #
Instance details 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 Source #
Instance details 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 Source #

data Proxy3 a b c Source #

Constructors

Proxy3

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

Methods

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

Instances

Instances details

GNamedToSchema (U1 :: Type -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy U1 -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(GNamedToSchema f, GNamedToSchema g) => GNamedToSchema (f :*: g) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (f :*: g) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(GNamedToSchema f, GNamedToSchema g) => GNamedToSchema (f :+: g) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (f :+: g) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(GNamedToSchema f, Constructor c) => GNamedToSchema (C1 c f) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (C1 c f) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(Datatype d, GNamedToSchema f) => GNamedToSchema (D1 d f) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (D1 d f) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(ToSchema f, HasFieldName f) => GNamedToSchema (S1 s (Rec0 (Maybe f))) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (S1 s (Rec0 (Maybe f))) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #
(ToSchema f, HasFieldName f) => GNamedToSchema (S1 s (Rec0 f)) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gDeclareNamedSchema :: NamedJsonOptions -> Proxy (S1 s (Rec0 f)) -> StateT [UsedName] (Declare (Definitions Schema)) NamedSchema Source #

type UsedName = Key Source #

class GNamedToJSON a where Source #

Methods

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

Instances

Instances details

GNamedToJSON (U1 :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> U1 x -> State [UsedName] [(Key, Value)] Source #
(GNamedToJSON a, GNamedToJSON b) => GNamedToJSON (a :*: b :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> (a :*: b) x -> State [UsedName] [(Key, Value)] Source #
(GNamedToJSON a, GNamedToJSON b) => GNamedToJSON (a :+: b :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> (a :+: b) x -> State [UsedName] [(Key, Value)] Source #
(GNamedToJSON f, Constructor c) => GNamedToJSON (M1 C c f :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 C c f x -> State [UsedName] [(Key, Value)] Source #
GNamedToJSON f => GNamedToJSON (M1 D d f :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 D d f x -> State [UsedName] [(Key, Value)] Source #
(ToJSON t, HasFieldName t) => GNamedToJSON (M1 S c (Rec0 t) :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gToTupleList :: forall (x :: k0). NamedJsonOptions -> M1 S c (Rec0 t) x -> State [UsedName] [(Key, Value)] Source #

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

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

class GNamedFromJSON a where Source #

Methods

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

Instances

Instances details

GNamedFromJSON (U1 :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (U1 x) Source #
(GNamedFromJSON a, GNamedFromJSON b) => GNamedFromJSON (a :*: b :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser ((a :*: b) x) Source #
(GNamedFromJSON a, GNamedFromJSON b) => GNamedFromJSON (a :+: b :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser ((a :+: b) x) Source #
(Constructor f, GNamedFromJSON p) => GNamedFromJSON (M1 C f p :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 C f p x) Source #
GNamedFromJSON p => GNamedFromJSON (M1 D f p :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 D f p x) Source #
(FromJSON t, HasFieldName t) => GNamedFromJSON (M1 S c (Rec0 t) :: k -> Type) Source #
Instance details Defined in DomainDriven.Internal.NamedJsonFields Methods gNamedFromJSON :: forall (x :: k0). NamedJsonOptions -> Value -> StateT [UsedName] Parser (M1 S c (Rec0 t) x) Source #