Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Defines a suitable type for its polymorphic namesake.
- This qualifies the topics offered by teachers, & in this context defines the level at which they are taught.
CAVEAT
- Exporting nothing but the type-constructor forces this to be used only as an interface, & therefore to be easily replaced; though a data-constructor is also exported for testing.
Types
Data-types
Define a concrete type for the level of a topic.