Copyright | (c) 2010, Universiteit Utrecht |
---|---|
License | BSD3 |
Maintainer | generics@haskell.org |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell98 |
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 k k c p p a) |
empty :: (Representable a, Empty (Rep a)) => a Source