Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Generically produce a single finite value of a datatype.
Documentation
Empty Bool | |
Empty Char | |
Empty Double | |
Empty Float | |
Empty Int | |
Empty Integer | |
Empty U | |
Empty a => Empty [a] | |
Empty a => Empty (Maybe a) | |
Empty a => Empty (Rec a) | |
Empty a => Empty (Var a) | |
(Empty a, Empty b) => Empty (a, b) | |
(Empty a, Empty b) => Empty (:*: a b) | |
(HasRec a, Empty a, Empty b) => Empty (:+: a b) | |
Empty a => Empty (CEq c p p a) |
empty :: (Representable a, Empty (Rep a)) => aSource