Test.TypeSpec.Internal.Equality

Type Equality

Documentation

type family EqExtra (a :: ak) (b :: bk) :: Bool where ...

Operator 'Data.Equality.(==)' expects both arguments to have the same kind.

Equations

EqExtra (Left x) (Left y) = EqExtra x y

EqExtra (Right x) (Right y) = EqExtra x y

EqExtra a a = True

EqExtra (a :: k) (b :: k) = a == b

EqExtra a b = False