RepLib-0.5.4: Generic programming library with representation types

Generics.RepLib

Description

Synopsis

# Generic Utilities and Applications

## Derivable type classes written as generic operations

data (k :~: a) b :: forall k. k -> k -> * where infix 4 #

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: 4.7.0.0

Constructors

 Refl :: (:~:) k a a

Instances