Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype HardWrap (n :: Nat) = HardWrap {
- unHardWrap :: Ordinal n
Documentation
newtype HardWrap (n :: Nat) Source #
A coordinate that clamps its numbers
HardWrap | |
|
(KnownNat n, (<=) 1 n) => Bounded (HardWrap n) Source # | |
(KnownNat n, (<=) 1 n) => Enum (HardWrap n) Source # | |
Eq (HardWrap n) Source # | |
Ord (HardWrap n) Source # | |
Show (HardWrap n) Source # | |
((<=) 1 n, KnownNat n) => Semigroup (HardWrap n) Source # | |
(KnownNat n, (<=) 1 n) => Monoid (HardWrap n) Source # | |
KnownNat n => ToJSON (HardWrap n) Source # | |
KnownNat n => ToJSONKey (HardWrap n) Source # | |
KnownNat n => FromJSON (HardWrap n) Source # | |
KnownNat n => FromJSONKey (HardWrap n) Source # | |
(KnownNat n, (<=) 1 n) => Random (HardWrap n) Source # | |
((<=) 1 n, KnownNat n) => AffineSpace (HardWrap n) Source # | |
((<=) 1 n, KnownNat n) => IsCoord (HardWrap n) Source # | |
type Diff (HardWrap n) Source # | |
type CoordSized (HardWrap n) Source # | |