| 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.Bounded
Contents
Description
Defines the promoted version of Bounded, PBounded
- class (kproxy ~ KProxy) => PBounded kproxy where
- type MaxBoundSym0 = MaxBound
- type MinBoundSym0 = MinBound
Documentation
class (kproxy ~ KProxy) => PBounded kproxy Source
Instances
| PBounded Bool (KProxy Bool) | |
| PBounded Ordering (KProxy Ordering) | |
| PBounded () (KProxy ()) | |
| PBounded ((,) k k) (KProxy ((,) k k)) | |
| PBounded ((,,) k k k) (KProxy ((,,) k k k)) | |
| PBounded ((,,,) k k k k) (KProxy ((,,,) k k k k)) | |
| PBounded ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k)) | |
| PBounded ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k)) | |
| PBounded ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k)) |
Defunctionalization symbols
type MaxBoundSym0 = MaxBound Source
type MinBoundSym0 = MinBound Source