Safe Haskell	None
Language	Haskell2010

Mu.Schema.Examples

Description

Look at the source code of this module.

Documentation

data Person Source #

Constructors

Person
Fields firstName :: Text lastName :: Text age :: Maybe Int gender :: Maybe Gender address :: Address

Instances

Eq Person Source #
Instance details Defined in Mu.Schema.Examples Methods (==) :: Person -> Person -> Bool # (/=) :: Person -> Person -> Bool #
Show Person Source #
Instance details Defined in Mu.Schema.Examples Methods showsPrec :: Int -> Person -> ShowS # show :: Person -> String # showList :: [Person] -> ShowS #
Generic Person Source #
Instance details 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 Source #
Instance details Defined in Mu.Schema.Examples Methods toJSON :: Person -> Value # toEncoding :: Person -> Encoding # toJSONList :: [Person] -> Value # toEncodingList :: [Person] -> Encoding #
FromJSON Person Source #
Instance details Defined in Mu.Schema.Examples Methods parseJSON :: Value -> Parser Person # parseJSONList :: Value -> Parser [Person] #
FromSchema Identity ExampleSchema "person" Person Source #
Instance details Defined in Mu.Schema.Examples Methods fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "person") -> Person Source #
ToSchema Identity ExampleSchema "person" Person Source #
Instance details Defined in Mu.Schema.Examples Methods toSchema :: Person -> Term Identity ExampleSchema (ExampleSchema :/: "person") Source #
type Rep Person Source #
Instance details Defined in Mu.Schema.Examples type Rep Person = D1 (MetaData "Person" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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 Source #

Constructors

Address
Fields postcode :: Text country :: Text

Instances

Eq Address Source #
Instance details Defined in Mu.Schema.Examples Methods (==) :: Address -> Address -> Bool # (/=) :: Address -> Address -> Bool #
Show Address Source #
Instance details Defined in Mu.Schema.Examples Methods showsPrec :: Int -> Address -> ShowS # show :: Address -> String # showList :: [Address] -> ShowS #
Generic Address Source #
Instance details 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 Source #
Instance details Defined in Mu.Schema.Examples Methods toJSON :: Address -> Value # toEncoding :: Address -> Encoding # toJSONList :: [Address] -> Value # toEncodingList :: [Address] -> Encoding #
FromJSON Address Source #
Instance details Defined in Mu.Schema.Examples Methods parseJSON :: Value -> Parser Address # parseJSONList :: Value -> Parser [Address] #
FromSchema Identity ExampleSchema "address" Address Source #
Instance details Defined in Mu.Schema.Examples Methods fromSchema :: Term Identity ExampleSchema (ExampleSchema :/: "address") -> Address Source #
ToSchema Identity ExampleSchema "address" Address Source #
Instance details Defined in Mu.Schema.Examples Methods toSchema :: Address -> Term Identity ExampleSchema (ExampleSchema :/: "address") Source #
type Rep Address Source #
Instance details Defined in Mu.Schema.Examples type Rep Address = D1 (MetaData "Address" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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"] Source #

data Gender Source #

Constructors

Male
Female
NonBinary

Instances

Eq Gender Source #
Instance details Defined in Mu.Schema.Examples Methods (==) :: Gender -> Gender -> Bool # (/=) :: Gender -> Gender -> Bool #
Show Gender Source #
Instance details Defined in Mu.Schema.Examples Methods showsPrec :: Int -> Gender -> ShowS # show :: Gender -> String # showList :: [Gender] -> ShowS #
Generic Gender Source #
Instance details 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 Source #
Instance details Defined in Mu.Schema.Examples Methods toJSON :: Gender -> Value # toEncoding :: Gender -> Encoding # toJSONList :: [Gender] -> Value # toEncodingList :: [Gender] -> Encoding #
FromJSON Gender Source #
Instance details Defined in Mu.Schema.Examples Methods parseJSON :: Value -> Parser Gender # parseJSONList :: Value -> Parser [Gender] #
FromSchema f ExampleSchema "gender" Gender Source #
Instance details Defined in Mu.Schema.Examples Methods fromSchema :: Term f ExampleSchema (ExampleSchema :/: "gender") -> Gender Source #
ToSchema f ExampleSchema "gender" Gender Source #
Instance details Defined in Mu.Schema.Examples Methods toSchema :: Gender -> Term f ExampleSchema (ExampleSchema :/: "gender") Source #
type Rep Gender Source #
Instance details Defined in Mu.Schema.Examples type Rep Gender = D1 (MetaData "Gender" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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")]] Source #

data GenderMsg f Source #

Constructors

GenderMsgMale

GenderMsgFemale

GenderMsgNb

Instances

Eq (GenderMsg f) Source #
Instance details Defined in Mu.Schema.Examples Methods (==) :: GenderMsg f -> GenderMsg f -> Bool # (/=) :: GenderMsg f -> GenderMsg f -> Bool #
Ord (GenderMsg f) Source #
Instance details 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) Source #
Instance details Defined in Mu.Schema.Examples Methods showsPrec :: Int -> GenderMsg f -> ShowS # show :: GenderMsg f -> String # showList :: [GenderMsg f] -> ShowS #
Generic (GenderMsg f) Source #
Instance details 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) Source #
Instance details Defined in Mu.Schema.Examples type Rep (GenderMsg f) = D1 (MetaData "GenderMsg" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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 Source #

Constructors

AddressMsg
Fields addressMsgPostcode :: (f Text) addressMsgCountry :: (f Text)

Instances

Generic (AddressMsg f) Source #
Instance details 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) Source #
Instance details Defined in Mu.Schema.Examples type Rep (AddressMsg f) = D1 (MetaData "AddressMsg" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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 Source #

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) Source #
Instance details 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) Source #
Instance details Defined in Mu.Schema.Examples type Rep (PersonMsg f) = D1 (MetaData "PersonMsg" "Mu.Schema.Examples" "mu-schema-0.1.0.0-88Kkq9GKBhJERMDfEjMsgx" 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")]] Source #

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