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 |
Provided promoted definitions related to type-level equality.
Documentation
class (kproxy ~ KProxy) => PEq kproxy Source
The promoted analogue of Eq
. If you supply no definition for '(:==)' under
GHC 7.8+, then it defaults to a use of '(==)', from Data.Type.Equality
.
PEq Bool (KProxy Bool) | |
PEq Ordering (KProxy Ordering) | |
PEq * (KProxy *) | |
PEq Nat (KProxy Nat) | |
PEq Symbol (KProxy Symbol) | |
PEq () (KProxy ()) | |
PEq [k] (KProxy [k]) | |
PEq (Maybe k) (KProxy (Maybe k)) | |
PEq (Either k k) (KProxy (Either k k)) | |
PEq ((,) k k) (KProxy ((,) k k)) | |
PEq ((,,) k k k) (KProxy ((,,) k k k)) | |
PEq ((,,,) k k k k) (KProxy ((,,,) k k k k)) | |
PEq ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k)) | |
PEq ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k)) | |
PEq ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k)) |