type-fun-0.0.1: 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