Safe Haskell	Safe-Inferred
Language	Haskell2010

DomainDriven.Internal.NamedFields

Documentation

data NF1 (name :: Symbol) (f1 :: Symbol) ty Source #

Constructors

NF1 ty

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1) => FromJSON (NF1 name f1 a1) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF1 name f1 a1) # parseJSONList :: Value -> Parser [NF1 name f1 a1] #
(KnownSymbol f1, ToJSON a1) => ToJSON (NF1 name f1 a1) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF1 name f1 a1 -> Value # toEncoding :: NF1 name f1 a1 -> Encoding # toJSONList :: [NF1 name f1 a1] -> Value # toEncodingList :: [NF1 name f1 a1] -> Encoding #
Generic (NF1 name f1 ty) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF1 name f1 ty) :: Type -> Type # Methods from :: NF1 name f1 ty -> Rep (NF1 name f1 ty) x # to :: Rep (NF1 name f1 ty) x -> NF1 name f1 ty #
Show ty => Show (NF1 name f1 ty) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF1 name f1 ty -> ShowS # show :: NF1 name f1 ty -> String # showList :: [NF1 name f1 ty] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1) => ToSchema (NF1 name f1 a1) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF1 name f1 a1) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF1 name f1 ty) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF1 name f1 ty) = D1 ('MetaData "NF1" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ty)))

data NF2 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 Source #

Constructors

NF2 a1 a2

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2) => FromJSON (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF2 name f1 a1 f2 a2) # parseJSONList :: Value -> Parser [NF2 name f1 a1 f2 a2] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2) => ToJSON (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF2 name f1 a1 f2 a2 -> Value # toEncoding :: NF2 name f1 a1 f2 a2 -> Encoding # toJSONList :: [NF2 name f1 a1 f2 a2] -> Value # toEncodingList :: [NF2 name f1 a1 f2 a2] -> Encoding #
Generic (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF2 name f1 a1 f2 a2) :: Type -> Type # Methods from :: NF2 name f1 a1 f2 a2 -> Rep (NF2 name f1 a1 f2 a2) x # to :: Rep (NF2 name f1 a1 f2 a2) x -> NF2 name f1 a1 f2 a2 #
(Show a1, Show a2) => Show (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF2 name f1 a1 f2 a2 -> ShowS # show :: NF2 name f1 a1 f2 a2 -> String # showList :: [NF2 name f1 a1 f2 a2] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2) => ToSchema (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF2 name f1 a1 f2 a2) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF2 name f1 a1 f2 a2) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF2 name f1 a1 f2 a2) = D1 ('MetaData "NF2" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2)))

data NF3 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 Source #

Constructors

NF3 a1 a2 a3

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3) => FromJSON (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF3 name f1 a1 f2 a2 f3 a3) # parseJSONList :: Value -> Parser [NF3 name f1 a1 f2 a2 f3 a3] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3) => ToJSON (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF3 name f1 a1 f2 a2 f3 a3 -> Value # toEncoding :: NF3 name f1 a1 f2 a2 f3 a3 -> Encoding # toJSONList :: [NF3 name f1 a1 f2 a2 f3 a3] -> Value # toEncodingList :: [NF3 name f1 a1 f2 a2 f3 a3] -> Encoding #
Generic (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF3 name f1 a1 f2 a2 f3 a3) :: Type -> Type # Methods from :: NF3 name f1 a1 f2 a2 f3 a3 -> Rep (NF3 name f1 a1 f2 a2 f3 a3) x # to :: Rep (NF3 name f1 a1 f2 a2 f3 a3) x -> NF3 name f1 a1 f2 a2 f3 a3 #
(Show a1, Show a2, Show a3) => Show (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF3 name f1 a1 f2 a2 f3 a3 -> ShowS # show :: NF3 name f1 a1 f2 a2 f3 a3 -> String # showList :: [NF3 name f1 a1 f2 a2 f3 a3] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3) => ToSchema (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF3 name f1 a1 f2 a2 f3 a3) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF3 name f1 a1 f2 a2 f3 a3) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF3 name f1 a1 f2 a2 f3 a3) = D1 ('MetaData "NF3" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3))))

data NF4 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 Source #

Constructors

NF4 a1 a2 a3 a4

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4) => FromJSON (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) # parseJSONList :: Value -> Parser [NF4 name f1 a1 f2 a2 f3 a3 f4 a4] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4) => ToJSON (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF4 name f1 a1 f2 a2 f3 a3 f4 a4 -> Value # toEncoding :: NF4 name f1 a1 f2 a2 f3 a3 f4 a4 -> Encoding # toJSONList :: [NF4 name f1 a1 f2 a2 f3 a3 f4 a4] -> Value # toEncodingList :: [NF4 name f1 a1 f2 a2 f3 a3 f4 a4] -> Encoding #
Generic (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) :: Type -> Type # Methods from :: NF4 name f1 a1 f2 a2 f3 a3 f4 a4 -> Rep (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) x # to :: Rep (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) x -> NF4 name f1 a1 f2 a2 f3 a3 f4 a4 #
(Show a1, Show a2, Show a3, Show a4) => Show (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF4 name f1 a1 f2 a2 f3 a3 f4 a4 -> ShowS # show :: NF4 name f1 a1 f2 a2 f3 a3 f4 a4 -> String # showList :: [NF4 name f1 a1 f2 a2 f3 a3 f4 a4] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4) => ToSchema (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF4 name f1 a1 f2 a2 f3 a3 f4 a4) = D1 ('MetaData "NF4" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4))))

data NF5 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 (f5 :: Symbol) a5 Source #

Constructors

NF5 a1 a2 a3 a4 a5

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4, KnownSymbol f5, FromJSON a5) => FromJSON (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) # parseJSONList :: Value -> Parser [NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4, KnownSymbol f5, ToJSON a5) => ToJSON (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 -> Value # toEncoding :: NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 -> Encoding # toJSONList :: [NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5] -> Value # toEncodingList :: [NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5] -> Encoding #
Generic (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) :: Type -> Type # Methods from :: NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 -> Rep (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) x # to :: Rep (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) x -> NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 #
(Show a1, Show a2, Show a3, Show a4, Show a5) => Show (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 -> ShowS # show :: NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 -> String # showList :: [NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4, KnownSymbol f5, ToSchema a5) => ToSchema (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF5 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5) = D1 ('MetaData "NF5" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF5" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a5)))))

data NF6 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 (f5 :: Symbol) a5 (f6 :: Symbol) a6 Source #

Constructors

NF6 a1 a2 a3 a4 a5 a6

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4, KnownSymbol f5, FromJSON a5, KnownSymbol f6, FromJSON a6) => FromJSON (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) # parseJSONList :: Value -> Parser [NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4, KnownSymbol f5, ToJSON a5, KnownSymbol f6, ToJSON a6) => ToJSON (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 -> Value # toEncoding :: NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 -> Encoding # toJSONList :: [NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6] -> Value # toEncodingList :: [NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6] -> Encoding #
Generic (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) :: Type -> Type # Methods from :: NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 -> Rep (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) x # to :: Rep (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) x -> NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 #
(Show a1, Show a2, Show a3, Show a4, Show a5, Show a6) => Show (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 -> ShowS # show :: NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 -> String # showList :: [NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4, KnownSymbol f5, ToSchema a5, KnownSymbol f6, ToSchema a6) => ToSchema (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF6 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6) = D1 ('MetaData "NF6" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF6" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a5) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a6)))))

data NF7 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 (f5 :: Symbol) a5 (f6 :: Symbol) a6 (f7 :: Symbol) a7 Source #

Constructors

NF7 a1 a2 a3 a4 a5 a6 a7

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4, KnownSymbol f5, FromJSON a5, KnownSymbol f6, FromJSON a6, KnownSymbol f7, FromJSON a7) => FromJSON (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) # parseJSONList :: Value -> Parser [NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4, KnownSymbol f5, ToJSON a5, KnownSymbol f6, ToJSON a6, KnownSymbol f7, ToJSON a7) => ToJSON (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 -> Value # toEncoding :: NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 -> Encoding # toJSONList :: [NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7] -> Value # toEncodingList :: [NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7] -> Encoding #
Generic (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) :: Type -> Type # Methods from :: NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 -> Rep (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) x # to :: Rep (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) x -> NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 #
(Show a1, Show a2, Show a3, Show a4, Show a5, Show a6, Show a7) => Show (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 -> ShowS # show :: NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 -> String # showList :: [NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4, KnownSymbol f5, ToSchema a5, KnownSymbol f6, ToSchema a6, KnownSymbol f7, ToSchema a7) => ToSchema (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF7 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7) = D1 ('MetaData "NF7" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF7" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3))) :: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a5)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a6) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a7)))))

data NF8 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 (f5 :: Symbol) a5 (f6 :: Symbol) a6 (f7 :: Symbol) a7 (f8 :: Symbol) a8 Source #

Constructors

NF8 a1 a2 a3 a4 a5 a6 a7 a8

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4, KnownSymbol f5, FromJSON a5, KnownSymbol f6, FromJSON a6, KnownSymbol f7, FromJSON a7, KnownSymbol f8, FromJSON a8) => FromJSON (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) # parseJSONList :: Value -> Parser [NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4, KnownSymbol f5, ToJSON a5, KnownSymbol f6, ToJSON a6, KnownSymbol f7, ToJSON a7, KnownSymbol f8, ToJSON a8) => ToJSON (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 -> Value # toEncoding :: NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 -> Encoding # toJSONList :: [NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8] -> Value # toEncodingList :: [NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8] -> Encoding #
Generic (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) :: Type -> Type # Methods from :: NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 -> Rep (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) x # to :: Rep (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) x -> NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 #
(Show a1, Show a2, Show a3, Show a4, Show a5, Show a6, Show a7, Show a8) => Show (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 -> ShowS # show :: NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 -> String # showList :: [NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4, KnownSymbol f5, ToSchema a5, KnownSymbol f6, ToSchema a6, KnownSymbol f7, ToSchema a7, KnownSymbol f8, ToSchema a8) => ToSchema (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF8 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8) = D1 ('MetaData "NF8" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF8" 'PrefixI 'False) (((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4))) :: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a5) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a6)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a7) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a8)))))

data NF9 (name :: Symbol) (f1 :: Symbol) a1 (f2 :: Symbol) a2 (f3 :: Symbol) a3 (f4 :: Symbol) a4 (f5 :: Symbol) a5 (f6 :: Symbol) a6 (f7 :: Symbol) a7 (f8 :: Symbol) a8 (f9 :: Symbol) a9 Source #

Constructors

NF9 a1 a2 a3 a4 a5 a6 a7 a8 a9

Instances

Instances details

(KnownSymbol name, KnownSymbol f1, FromJSON a1, KnownSymbol f2, FromJSON a2, KnownSymbol f3, FromJSON a3, KnownSymbol f4, FromJSON a4, KnownSymbol f5, FromJSON a5, KnownSymbol f6, FromJSON a6, KnownSymbol f7, FromJSON a7, KnownSymbol f8, FromJSON a8, KnownSymbol f9, FromJSON a9) => FromJSON (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods parseJSON :: Value -> Parser (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) # parseJSONList :: Value -> Parser [NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9] #
(KnownSymbol f1, ToJSON a1, KnownSymbol f2, ToJSON a2, KnownSymbol f3, ToJSON a3, KnownSymbol f4, ToJSON a4, KnownSymbol f5, ToJSON a5, KnownSymbol f6, ToJSON a6, KnownSymbol f7, ToJSON a7, KnownSymbol f8, ToJSON a8, KnownSymbol f9, ToJSON a9) => ToJSON (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods toJSON :: NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 -> Value # toEncoding :: NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 -> Encoding # toJSONList :: [NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9] -> Value # toEncodingList :: [NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9] -> Encoding #
Generic (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Associated Types type Rep (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) :: Type -> Type # Methods from :: NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 -> Rep (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) x # to :: Rep (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) x -> NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 #
(Show a1, Show a2, Show a3, Show a4, Show a5, Show a6, Show a7, Show a8, Show a9) => Show (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods showsPrec :: Int -> NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 -> ShowS # show :: NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9 -> String # showList :: [NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9] -> ShowS #
(KnownSymbol name, KnownSymbol f1, ToSchema a1, KnownSymbol f2, ToSchema a2, KnownSymbol f3, ToSchema a3, KnownSymbol f4, ToSchema a4, KnownSymbol f5, ToSchema a5, KnownSymbol f6, ToSchema a6, KnownSymbol f7, ToSchema a7, KnownSymbol f8, ToSchema a8, KnownSymbol f9, ToSchema a9) => ToSchema (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields Methods declareNamedSchema :: Proxy (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) -> Declare (Definitions Schema) NamedSchema #
type Rep (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) Source #
Instance details Defined in DomainDriven.Internal.NamedFields type Rep (NF9 name f1 a1 f2 a2 f3 a3 f4 a4 f5 a5 f6 a6 f7 a7 f8 a8 f9 a9) = D1 ('MetaData "NF9" "DomainDriven.Internal.NamedFields" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "NF9" 'PrefixI 'False) (((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a1) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a2)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a3) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a4))) :: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a5) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a6)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a7) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a8) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a9))))))