Safe Haskell	Safe-Inferred
Language	Haskell2010

Generics.Eot.Datatype

Contents

datatype
constructors
fields

Synopsis

data Datatype = Datatype {
- datatypeName :: String
- constructors :: [Constructor]
}
data Constructor = Constructor {
- constructorName :: String
- fields :: Fields
}
data Fields
- = Selectors [String]
- | NoSelectors Int
- | NoFields
class GenericDatatype (a :: * -> *) where
- datatypeC :: Proxy a -> Datatype
class GenericConstructors (a :: * -> *) where
- getConstructors :: Proxy a -> [Constructor]
getFields :: GenericFields a => Proxy a -> Fields
class GenericFields (a :: * -> *) where
- getFieldsC :: Proxy a -> [Maybe String]
getField :: forall c f. Selector c => Proxy (S1 c (Rec0 f)) -> Maybe String

Documentation

data Datatype Source #

Type for meta information about ADTs.

Constructors

Datatype
Fields datatypeName :: String unqualified name of the type constructors :: [Constructor]

Instances

Instances details

Show Datatype Source #
Instance details Defined in Generics.Eot.Datatype Methods showsPrec :: Int -> Datatype -> ShowS # show :: Datatype -> String # showList :: [Datatype] -> ShowS #
Eq Datatype Source #
Instance details Defined in Generics.Eot.Datatype Methods (==) :: Datatype -> Datatype -> Bool # (/=) :: Datatype -> Datatype -> Bool #

data Constructor Source #

Constructors

Constructor
Fields constructorName :: String fields :: Fields

Instances

Instances details

Show Constructor Source #
Instance details Defined in Generics.Eot.Datatype Methods showsPrec :: Int -> Constructor -> ShowS # show :: Constructor -> String # showList :: [Constructor] -> ShowS #
Eq Constructor Source #
Instance details Defined in Generics.Eot.Datatype Methods (==) :: Constructor -> Constructor -> Bool # (/=) :: Constructor -> Constructor -> Bool #

data Fields Source #

Type that represents meta information about fields of one constructor.

Constructors

Selectors [String]	Record constructor, containing the list of the selector names.
NoSelectors Int	Constructor with fields, but without selector names. The argument gives the number of fields.
NoFields	Constructor without fields.

Instances

Instances details

Show Fields Source #
Instance details Defined in Generics.Eot.Datatype Methods showsPrec :: Int -> Fields -> ShowS # show :: Fields -> String # showList :: [Fields] -> ShowS #
Eq Fields Source #
Instance details Defined in Generics.Eot.Datatype Methods (==) :: Fields -> Fields -> Bool # (/=) :: Fields -> Fields -> Bool #

datatype

class GenericDatatype (a :: * -> *) where Source #

Methods

datatypeC :: Proxy a -> Datatype Source #

Instances

Instances details

(Datatype c, GenericConstructors f) => GenericDatatype (D1 c f) Source #
Instance details Defined in Generics.Eot.Datatype Methods datatypeC :: Proxy (D1 c f) -> Datatype Source #

constructors

class GenericConstructors (a :: * -> *) where Source #

Methods

getConstructors :: Proxy a -> [Constructor] Source #

Instances

Instances details

GenericConstructors (V1 :: Type -> Type) Source #
Instance details Defined in Generics.Eot.Datatype Methods getConstructors :: Proxy V1 -> [Constructor] Source #
(GenericConstructors a, GenericConstructors b) => GenericConstructors (a :+: b) Source #
Instance details Defined in Generics.Eot.Datatype Methods getConstructors :: Proxy (a :+: b) -> [Constructor] Source #
(Constructor c, GenericFields f) => GenericConstructors (C1 c f) Source #
Instance details Defined in Generics.Eot.Datatype Methods getConstructors :: Proxy (C1 c f) -> [Constructor] Source #

fields

getFields :: GenericFields a => Proxy a -> Fields Source #

class GenericFields (a :: * -> *) where Source #

Methods

getFieldsC :: Proxy a -> [Maybe String] Source #

Instances

Instances details

GenericFields (U1 :: Type -> Type) Source #
Instance details Defined in Generics.Eot.Datatype Methods getFieldsC :: Proxy U1 -> [Maybe String] Source #
(GenericFields a, GenericFields b) => GenericFields (a :*: b) Source #
Instance details Defined in Generics.Eot.Datatype Methods getFieldsC :: Proxy (a :*: b) -> [Maybe String] Source #
Selector c => GenericFields (S1 c (Rec0 f)) Source #
Instance details Defined in Generics.Eot.Datatype Methods getFieldsC :: Proxy (S1 c (Rec0 f)) -> [Maybe String] Source #

getField :: forall c f. Selector c => Proxy (S1 c (Rec0 f)) -> Maybe String Source #