Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- An interface for data which can support the concept of being empty.
- N.B.: the empty state of the type must be unique.
- cf.
def
or zero for a numeric type.
Type-classes
An interface which data which can support the concept of being empty, may implement.