type-fun-0.1.3: Collection of widely reimplemented type families
Safe HaskellSafe-Inferred
LanguageHaskell2010

TypeFun.Data.Eq

Documentation

type family Equal (a :: k) (b :: k) :: Bool where ... Source #

Equations

Equal a a = 'True 
Equal a b = 'False