Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- An interface for data which can only have a fixed number of well-defined members.
- Typically for sum-types with exclusively nullary constructors; it *could* be implemented for product-types, but the membership grows exponentially.
Synopsis
- class FixedMembership a where
- members :: [a]
Type-classes
class FixedMembership a where Source #
An interface for data which can only have a fixed number of well-defined members.