Mu.Schema.Examples

Look at the source code of this module.

Documentation

data Person

Constructors

Person

Fields

• firstName :: Text
• lastName :: Text
• age :: Maybe Int
• gender :: Maybe Gender
• address :: Address

Instances

Eq Person

Defined in Mu.Schema.Examples

Methods

(==) :: Person -> Person -> Bool

(/=) :: Person -> Person -> Bool

Show Person

Defined in Mu.Schema.Examples

Methods

showsPrec :: Int -> Person -> ShowS

show :: Person -> String

showList :: [Person] -> ShowS

Generic Person

Defined in Mu.Schema.Examples

Associated Types

type Rep Person :: Type -> Type

Methods

from :: Person -> Rep Person x

to :: Rep Person x -> Person

ToJSON Person

Defined in Mu.Schema.Examples

Methods

toJSON :: Person -> Value

toEncoding :: Person -> Encoding

toJSONList :: [Person] -> Value

toEncodingList :: [Person] -> Encoding

FromJSON Person

Defined in Mu.Schema.Examples

Methods

parseJSON :: Value -> Parser Person

parseJSONList :: Value -> Parser [Person]

FromSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "person") -> Person

ToSchema Identity ExampleSchema "person" Person

Defined in Mu.Schema.Examples

Methods

toSchema :: Person -> Term Identity ExampleSchema (ExampleSchema :/: "person")

type Rep Person

Defined in Mu.Schema.Examples

type Rep Person = D1 ('MetaData "Person" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Person" 'PrefixI 'True) ((S1 ('MetaSel ('Just "firstName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "lastName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "age") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: (S1 ('MetaSel ('Just "gender") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Gender)) :*: S1 ('MetaSel ('Just "address") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address)))))

data Address

Constructors

Address

Fields

• postcode :: Text
• country :: Text

Instances

Eq Address

Defined in Mu.Schema.Examples

Methods

(==) :: Address -> Address -> Bool

(/=) :: Address -> Address -> Bool

Show Address

Defined in Mu.Schema.Examples

Methods

showsPrec :: Int -> Address -> ShowS

show :: Address -> String

showList :: [Address] -> ShowS

Generic Address

Defined in Mu.Schema.Examples

Associated Types

type Rep Address :: Type -> Type

Methods

from :: Address -> Rep Address x

to :: Rep Address x -> Address

ToJSON Address

Defined in Mu.Schema.Examples

Methods

toJSON :: Address -> Value

toEncoding :: Address -> Encoding

toJSONList :: [Address] -> Value

toEncodingList :: [Address] -> Encoding

FromJSON Address

Defined in Mu.Schema.Examples

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "address") -> Address

ToSchema Identity ExampleSchema "address" Address

Defined in Mu.Schema.Examples

Methods

toSchema :: Address -> Term Identity ExampleSchema (ExampleSchema :/: "address")

type Rep Address

Defined in Mu.Schema.Examples

type Rep Address = D1 ('MetaData "Address" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "postcode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "country") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

type GenderFieldMapping = '["Male" :-> "male", "Female" :-> "female", "NonBinary" :-> "nb"]

data Gender

Constructors

Male

Female

NonBinary

Instances

Eq Gender

Defined in Mu.Schema.Examples

Methods

(==) :: Gender -> Gender -> Bool

(/=) :: Gender -> Gender -> Bool

Show Gender

Defined in Mu.Schema.Examples

Methods

showsPrec :: Int -> Gender -> ShowS

show :: Gender -> String

showList :: [Gender] -> ShowS

Generic Gender

Defined in Mu.Schema.Examples

Associated Types

type Rep Gender :: Type -> Type

Methods

from :: Gender -> Rep Gender x

to :: Rep Gender x -> Gender

ToJSON Gender

Defined in Mu.Schema.Examples

Methods

toJSON :: Gender -> Value

toEncoding :: Gender -> Encoding

toJSONList :: [Gender] -> Value

toEncodingList :: [Gender] -> Encoding

FromJSON Gender

Defined in Mu.Schema.Examples

Methods

parseJSON :: Value -> Parser Gender

parseJSONList :: Value -> Parser [Gender]

FromSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

fromSchema :: Term f ExampleSchema (ExampleSchema :/: "gender") -> Gender

ToSchema f ExampleSchema "gender" Gender

Defined in Mu.Schema.Examples

Methods

toSchema :: Gender -> Term f ExampleSchema (ExampleSchema :/: "gender")

type Rep Gender

Defined in Mu.Schema.Examples

type Rep Gender = D1 ('MetaData "Gender" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Male" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Female" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonBinary" 'PrefixI 'False) (U1 :: Type -> Type)))

type ExampleSchema = '['DEnum "gender" '['ChoiceDef "male", 'ChoiceDef "female", 'ChoiceDef "nb"], 'DRecord "address" '['FieldDef "postcode" ('TPrimitive Text), 'FieldDef "country" ('TPrimitive Text)], 'DRecord "person" '['FieldDef "firstName" ('TPrimitive Text), 'FieldDef "lastName" ('TPrimitive Text), 'FieldDef "age" ('TOption ('TPrimitive Int)), 'FieldDef "gender" ('TOption ('TSchematic "gender")), 'FieldDef "address" ('TSchematic "address")]]

data GenderMsg f

Constructors

GenderMsgMale

GenderMsgFemale

GenderMsgNb

Instances

Eq (GenderMsg f)

Defined in Mu.Schema.Examples

Methods

(==) :: GenderMsg f -> GenderMsg f -> Bool

(/=) :: GenderMsg f -> GenderMsg f -> Bool

Ord (GenderMsg f)

Defined in Mu.Schema.Examples

Methods

compare :: GenderMsg f -> GenderMsg f -> Ordering

(<) :: GenderMsg f -> GenderMsg f -> Bool

(<=) :: GenderMsg f -> GenderMsg f -> Bool

(>) :: GenderMsg f -> GenderMsg f -> Bool

(>=) :: GenderMsg f -> GenderMsg f -> Bool

max :: GenderMsg f -> GenderMsg f -> GenderMsg f

min :: GenderMsg f -> GenderMsg f -> GenderMsg f

Show (GenderMsg f)

Defined in Mu.Schema.Examples

Methods

showsPrec :: Int -> GenderMsg f -> ShowS

show :: GenderMsg f -> String

showList :: [GenderMsg f] -> ShowS

Generic (GenderMsg f)

Defined in Mu.Schema.Examples

Associated Types

type Rep (GenderMsg f) :: Type -> Type

Methods

from :: GenderMsg f -> Rep (GenderMsg f) x

to :: Rep (GenderMsg f) x -> GenderMsg f

type Rep (GenderMsg f)

Defined in Mu.Schema.Examples

type Rep (GenderMsg f) = D1 ('MetaData "GenderMsg" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "GenderMsgMale" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GenderMsgFemale" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GenderMsgNb" 'PrefixI 'False) (U1 :: Type -> Type)))

data AddressMsg f

Constructors

AddressMsg

Fields

• addressMsgPostcode :: (f Text)
• addressMsgCountry :: (f Text)

Instances

Generic (AddressMsg f)

Defined in Mu.Schema.Examples

Associated Types

type Rep (AddressMsg f) :: Type -> Type

Methods

from :: AddressMsg f -> Rep (AddressMsg f) x

to :: Rep (AddressMsg f) x -> AddressMsg f

type Rep (AddressMsg f)

Defined in Mu.Schema.Examples

type Rep (AddressMsg f) = D1 ('MetaData "AddressMsg" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "AddressMsg" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressMsgPostcode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text)) :*: S1 ('MetaSel ('Just "addressMsgCountry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text))))

data PersonMsg f

Constructors

PersonMsg

Fields

• personMsgFirstName :: (f Text)
• personMsgLastName :: (f Text)
• personMsgAge :: (f (Maybe Int))
• personMsgGender :: (f (Maybe (GenderMsg f)))
• personMsgAddress :: (f (AddressMsg f))

Instances

Generic (PersonMsg f)

Defined in Mu.Schema.Examples

Associated Types

type Rep (PersonMsg f) :: Type -> Type

Methods

from :: PersonMsg f -> Rep (PersonMsg f) x

to :: Rep (PersonMsg f) x -> PersonMsg f

type Rep (PersonMsg f)

Defined in Mu.Schema.Examples

type Rep (PersonMsg f) = D1 ('MetaData "PersonMsg" "Mu.Schema.Examples" "mu-schema-0.2.0.0-inplace" 'False) (C1 ('MetaCons "PersonMsg" 'PrefixI 'True) ((S1 ('MetaSel ('Just "personMsgFirstName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text)) :*: S1 ('MetaSel ('Just "personMsgLastName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f Text))) :*: (S1 ('MetaSel ('Just "personMsgAge") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Maybe Int))) :*: (S1 ('MetaSel ('Just "personMsgGender") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (Maybe (GenderMsg f)))) :*: S1 ('MetaSel ('Just "personMsgAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (AddressMsg f)))))))

type ExampleSchema2 = '['DEnum "gender" '['ChoiceDef "Male", 'ChoiceDef "Female", 'ChoiceDef "NonBinary"], 'DRecord "address" '['FieldDef "postcode" ('TPrimitive Text), 'FieldDef "country" ('TPrimitive Text)], 'DRecord "person" '['FieldDef "firstName" ('TPrimitive Text), 'FieldDef "lastName" ('TPrimitive Text), 'FieldDef "age" ('TOption ('TPrimitive Int)), 'FieldDef "gender" ('TOption ('TSchematic "gender")), 'FieldDef "address" ('TSchematic "address")]]

type ExampleRegistry = '[2 :-> ExampleSchema2, 1 :-> ExampleSchema]