SizedGrid.Coord.HardWrap

Documentation

newtype HardWrap (n :: Nat)

A coordinate that clamps its numbers

Constructors

HardWrap

Fields

• unHardWrap :: Ordinal n

Instances

(KnownNat n, 1 <= n) => Bounded (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

minBound :: HardWrap n

maxBound :: HardWrap n

(KnownNat n, 1 <= n) => Enum (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

succ :: HardWrap n -> HardWrap n

pred :: HardWrap n -> HardWrap n

toEnum :: Int -> HardWrap n

fromEnum :: HardWrap n -> Int

enumFrom :: HardWrap n -> [HardWrap n]

enumFromThen :: HardWrap n -> HardWrap n -> [HardWrap n]

enumFromTo :: HardWrap n -> HardWrap n -> [HardWrap n]

enumFromThenTo :: HardWrap n -> HardWrap n -> HardWrap n -> [HardWrap n]

Eq (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

(==) :: HardWrap n -> HardWrap n -> Bool

(/=) :: HardWrap n -> HardWrap n -> Bool

Ord (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

compare :: HardWrap n -> HardWrap n -> Ordering

(<) :: HardWrap n -> HardWrap n -> Bool

(<=) :: HardWrap n -> HardWrap n -> Bool

(>) :: HardWrap n -> HardWrap n -> Bool

(>=) :: HardWrap n -> HardWrap n -> Bool

max :: HardWrap n -> HardWrap n -> HardWrap n

min :: HardWrap n -> HardWrap n -> HardWrap n

Show (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

showsPrec :: Int -> HardWrap n -> ShowS

show :: HardWrap n -> String

showList :: [HardWrap n] -> ShowS

(1 <= n, KnownNat n) => Semigroup (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

(<>) :: HardWrap n -> HardWrap n -> HardWrap n

sconcat :: NonEmpty (HardWrap n) -> HardWrap n

stimes :: Integral b => b -> HardWrap n -> HardWrap n

(KnownNat n, 1 <= n) => Monoid (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

mempty :: HardWrap n

mappend :: HardWrap n -> HardWrap n -> HardWrap n

mconcat :: [HardWrap n] -> HardWrap n

KnownNat n => ToJSON (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

toJSON :: HardWrap n -> Value

toEncoding :: HardWrap n -> Encoding

toJSONList :: [HardWrap n] -> Value

toEncodingList :: [HardWrap n] -> Encoding

KnownNat n => ToJSONKey (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

toJSONKey :: ToJSONKeyFunction (HardWrap n)

toJSONKeyList :: ToJSONKeyFunction [HardWrap n]

KnownNat n => FromJSON (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

parseJSON :: Value -> Parser (HardWrap n)

parseJSONList :: Value -> Parser [HardWrap n]

KnownNat n => FromJSONKey (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

fromJSONKey :: FromJSONKeyFunction (HardWrap n)

fromJSONKeyList :: FromJSONKeyFunction [HardWrap n]

(KnownNat n, 1 <= n) => Random (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Methods

randomR :: RandomGen g => (HardWrap n, HardWrap n) -> g -> (HardWrap n, g)

random :: RandomGen g => g -> (HardWrap n, g)

randomRs :: RandomGen g => (HardWrap n, HardWrap n) -> g -> [HardWrap n]

randoms :: RandomGen g => g -> [HardWrap n]

randomRIO :: (HardWrap n, HardWrap n) -> IO (HardWrap n)

randomIO :: IO (HardWrap n)

(1 <= n, KnownNat n) => AffineSpace (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Associated Types

type Diff (HardWrap n) :: Type

Methods

(.-.) :: HardWrap n -> HardWrap n -> Diff (HardWrap n)

(.+^) :: HardWrap n -> Diff (HardWrap n) -> HardWrap n

(1 <= n, KnownNat n) => IsCoord (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

Associated Types

type CoordSized (HardWrap n) :: Nat

type CoordFromNat (HardWrap n) :: Nat -> Type

Methods

asOrdinal :: Iso' (HardWrap n) (Ordinal (CoordSized (HardWrap n)))

zeroPosition :: HardWrap n

sCoordSized :: proxy (HardWrap n) -> Proxy (CoordSized (HardWrap n))

maxCoordSize :: proxy (HardWrap n) -> Integer

maxCoord :: HardWrap n

asSizeProxy :: HardWrap n -> (forall (n0 :: Nat). (KnownNat n0, (n0 + 1) <= CoordSized (HardWrap n)) => Proxy n0 -> x) -> x

weakenIsCoord :: IsCoord (CoordFromNat (HardWrap n) n0) => HardWrap n -> Maybe (CoordFromNat (HardWrap n) n0)

strengthenIsCoord :: (IsCoord (CoordFromNat (HardWrap n) n0), CoordSized (HardWrap n) <= CoordSized (CoordFromNat (HardWrap n) n0)) => HardWrap n -> CoordFromNat (HardWrap n) n0

type Diff (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

type Diff (HardWrap n) = Integer

type CoordSized (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

type CoordSized (HardWrap n) = n

type CoordFromNat (HardWrap n)

Defined in SizedGrid.Coord.HardWrap

type CoordFromNat (HardWrap n) = HardWrap