Safe Haskell	None
Language	Haskell2010

Test.TypeSpec.Internal.Equality

Description

Type Equality

Synopsis

Documentation

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

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

Equations

EqExtra ('Left x :: Either ak b1) ('Left y :: Either bk b2) = EqExtra x y
EqExtra ('Right x :: Either a1 ak) ('Right y :: Either a2 bk) = EqExtra x y
EqExtra (a :: bk) (a :: bk) = 'True
EqExtra (a :: k) (b :: k) = a == b
EqExtra (a :: ak) (b :: bk) = 'False