| 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.
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.
Instances
| 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)) |