Haskell 98: Specification of Derived Instances
Abstract
10.1 Derived Instances of Eq and Ord 140 10.2 Derived Instances of Enum 140 10.3 Derived Instances of Bounded 141 10.4 Derived Instances of Read and Show 142 10.5 An Example 143
Related papers
- RepLib: a library for derivable type classes Haskell 2006
- A generic deriving mechanism for Haskell Haskell 2010
- Haskell 98 Libraries: Indexing Operations JFP 2003
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis CAV 2022
- Type families with class, type classes with family Haskell 2015
- Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs Haskell 2015
- Certifying derivation of state machines from coroutines POPL 2022
- A library writer's guide to shortcut fusion Haskell 2011