Data.THGen.Enum

Generate enumeration data types with prefixed constructors but unprefixed Show and Read instances.

enumGenerate $ EnumDesc "Animal" ["Cat", "Dog", "Gopher"]

produces

data Animal = AnimalCat | AnimalDog | AnimalGopher

yet Read and Show parse and print regular values:

show AnimalDog == "Dog"
(read "Cat" :: Animal) == AnimalCat

Documentation

data Exhaustiveness

Constructors

Exhaustive

NonExhaustive

Instances

Eq Exhaustiveness

Methods

(==) :: Exhaustiveness -> Exhaustiveness -> Bool

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

Ord Exhaustiveness

Methods

compare :: Exhaustiveness -> Exhaustiveness -> Ordering

(<) :: Exhaustiveness -> Exhaustiveness -> Bool

(<=) :: Exhaustiveness -> Exhaustiveness -> Bool

(>) :: Exhaustiveness -> Exhaustiveness -> Bool

(>=) :: Exhaustiveness -> Exhaustiveness -> Bool

max :: Exhaustiveness -> Exhaustiveness -> Exhaustiveness

min :: Exhaustiveness -> Exhaustiveness -> Exhaustiveness

Show Exhaustiveness

Methods

showsPrec :: Int -> Exhaustiveness -> ShowS

show :: Exhaustiveness -> String

showList :: [Exhaustiveness] -> ShowS

data EnumDesc

Constructors

EnumDesc Exhaustiveness String [String]

enumGenerate :: EnumDesc -> DecsQ