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

Safe HaskellSafe
LanguageHaskell2010

TypeFun.Data.Eq

Documentation

type family Equal a b :: Bool Source

Equations

Equal a a = True 
Equal a b = False