(KnownNat n, 1 <= n) => Bounded (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(KnownNat n, 1 <= n) => Enum (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
Eq (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
Ord (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
Show (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(1 <= n, KnownNat n) => Semigroup (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(KnownNat n, 1 <= n) => Monoid (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
KnownNat n => ToJSON (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
KnownNat n => ToJSONKey (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
KnownNat n => FromJSON (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
KnownNat n => FromJSONKey (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(KnownNat n, 1 <= n) => Random (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(1 <= n, KnownNat n) => AffineSpace (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
(1 <= n, KnownNat n) => IsCoord (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
type Diff (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
type CoordSized (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |
type CoordFromNat (HardWrap n) Source # | |
Instance detailsDefined in SizedGrid.Coord.HardWrap |