 | multirec-0.4: Generic programming for families of recursive datatypes | Source code | Contents | Index |
| Generics.MultiRec.TEq |
|
| data :=: where | Source |
| Constructors | ||
|
| cast :: (a :=: b) -> a -> b | Source |
| ||||||||
| ||||||||
| Description | ||||||||
| Type-level equality. This module is currently provided by the multirec library, even though it is more general and does not really belong here. | ||||||||
| Documentation | ||||||||
| ||||||||
| ||||||||
| ||||||||
| Produced by Haddock version 2.4.2 |