type-fun-0.1.3: Collection of widely reimplemented type families
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
TypeFun.Data.Eq
Documentation
type family
Equal
(a :: k) (b :: k) ::
Bool
where ...
Source
#
Equations
Equal
a a = '
True
Equal
a b = '
False