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)

Methods

minBound :: HardWrap n

maxBound :: HardWrap n

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

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)

Methods

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

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

Ord (HardWrap n)

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)

Methods

showsPrec :: Int -> HardWrap n -> ShowS

show :: HardWrap n -> String

showList :: [HardWrap n] -> ShowS

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

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)

Methods

mempty :: HardWrap n

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

mconcat :: [HardWrap n] -> HardWrap n

KnownNat n => ToJSON (HardWrap n)

Methods

toJSON :: HardWrap n -> Value

toEncoding :: HardWrap n -> Encoding

toJSONList :: [HardWrap n] -> Value

toEncodingList :: [HardWrap n] -> Encoding

KnownNat n => ToJSONKey (HardWrap n)

Methods

toJSONKey :: ToJSONKeyFunction (HardWrap n)

toJSONKeyList :: ToJSONKeyFunction [HardWrap n]

KnownNat n => FromJSON (HardWrap n)

Methods

parseJSON :: Value -> Parser (HardWrap n)

parseJSONList :: Value -> Parser [HardWrap n]

KnownNat n => FromJSONKey (HardWrap n)

Methods

fromJSONKey :: FromJSONKeyFunction (HardWrap n)

fromJSONKeyList :: FromJSONKeyFunction [HardWrap n]

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

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)

Associated Types

type Diff (HardWrap n) :: *

Methods

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

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

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

Associated Types

type CoordSized (HardWrap n) :: Nat

Methods

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

zeroPosition :: HardWrap n

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

maxCoordSize :: proxy (HardWrap n) -> Integer

type Diff (HardWrap n)

type Diff (HardWrap n) = Integer

type CoordSized (HardWrap n)

type CoordSized (HardWrap n) = n