Copyright | (C) 2014 Jan Stolarek |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Promotion.Prelude.Eq
Description
Provided promoted definitions related to type-level equality.
- class PEq a where
- data (:==$) (l :: TyFun a6989586621679257339 (TyFun a6989586621679257339 Bool -> Type))
- data (l :: a6989586621679257339) :==$$ (l :: TyFun a6989586621679257339 Bool)
- type (:==$$$) (t :: a6989586621679257339) (t :: a6989586621679257339) = (:==) t t
- data (:/=$) (l :: TyFun a6989586621679257339 (TyFun a6989586621679257339 Bool -> Type))
- data (l :: a6989586621679257339) :/=$$ (l :: TyFun a6989586621679257339 Bool)
- type (:/=$$$) (t :: a6989586621679257339) (t :: a6989586621679257339) = (:/=) t t
Documentation
The promoted analogue of Eq
. If you supply no definition for '(:==)',
then it defaults to a use of '(==)', from Data.Type.Equality
.