Generics.Eot.Datatype

Documentation

data Datatype

Type for meta information about ADTs.

Constructors

Datatype

Fields

• datatypeName :: String

  unqualified name of the type

• constructors :: [Constructor]

Instances

Eq Datatype

Defined in Generics.Eot.Datatype

Methods

(==) :: Datatype -> Datatype -> Bool

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

Show Datatype

Defined in Generics.Eot.Datatype

Methods

showsPrec :: Int -> Datatype -> ShowS

show :: Datatype -> String

showList :: [Datatype] -> ShowS

data Constructor

Constructors

Constructor

Fields

• constructorName :: String
• fields :: Fields

Instances

Eq Constructor

Defined in Generics.Eot.Datatype

Methods

(==) :: Constructor -> Constructor -> Bool

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

Show Constructor

Defined in Generics.Eot.Datatype

Methods

showsPrec :: Int -> Constructor -> ShowS

show :: Constructor -> String

showList :: [Constructor] -> ShowS

data Fields

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

Eq Fields

Defined in Generics.Eot.Datatype

Methods

(==) :: Fields -> Fields -> Bool

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

Show Fields

Defined in Generics.Eot.Datatype

Methods

showsPrec :: Int -> Fields -> ShowS

show :: Fields -> String

showList :: [Fields] -> ShowS

datatype

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

Methods

datatypeC :: Proxy a -> Datatype

Instances

(Datatype c, GenericConstructors f) => GenericDatatype (D1 c f)

Defined in Generics.Eot.Datatype

Methods

datatypeC :: Proxy (D1 c f) -> Datatype

constructors

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

Methods

getConstructors :: Proxy a -> [Constructor]

Instances

GenericConstructors (V1 :: Type -> Type)

Defined in Generics.Eot.Datatype

Methods

getConstructors :: Proxy V1 -> [Constructor]

(GenericConstructors a, GenericConstructors b) => GenericConstructors (a :+: b)

Defined in Generics.Eot.Datatype

Methods

getConstructors :: Proxy (a :+: b) -> [Constructor]

(Constructor c, GenericFields f) => GenericConstructors (C1 c f)

Defined in Generics.Eot.Datatype

Methods

getConstructors :: Proxy (C1 c f) -> [Constructor]

fields

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

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

Methods

getFieldsC :: Proxy a -> [Maybe String]

Instances

GenericFields (U1 :: Type -> Type)

Defined in Generics.Eot.Datatype

Methods

getFieldsC :: Proxy U1 -> [Maybe String]

(GenericFields a, GenericFields b) => GenericFields (a :*: b)

Defined in Generics.Eot.Datatype

Methods

getFieldsC :: Proxy (a :*: b) -> [Maybe String]

Selector c => GenericFields (S1 c (Rec0 f))

Defined in Generics.Eot.Datatype

Methods

getFieldsC :: Proxy (S1 c (Rec0 f)) -> [Maybe String]

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