type-fun-0.1.1: Collection of widely reimplemented type families

Safe HaskellSafe
LanguageHaskell2010

TypeFun.Data.Eq

Documentation

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

Equations

Equal a a = True 
Equal a b = False