multirec-0.7.7: Generic programming for families of recursive datatypes

Copyright(c) 2008--2010 Universiteit Utrecht
LicenseBSD3
Maintainergenerics@haskell.org
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Generics.MultiRec.TEq

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

data (:=:) :: * -> * -> * where infix 4 Source

Constructors

Refl :: a :=: a 

cast :: (a :=: b) -> a -> b Source