Safe Haskell	None
Language	Haskell2010

SizedGrid.Coord.HardWrap

Synopsis

newtype HardWrap (n :: Nat) = HardWrap {
- unHardWrap :: Ordinal n
}

Documentation

newtype HardWrap (n :: Nat) Source #

A coordinate that clamps its numbers

Constructors

HardWrap
Fields unHardWrap :: Ordinal n

Instances

(KnownNat n, 1 <= n) => Bounded (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Methods minBound :: HardWrap n # maxBound :: HardWrap n #
(KnownNat n, 1 <= n) => Enum (HardWrap n) Source #
Instance details 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) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Methods (==) :: HardWrap n -> HardWrap n -> Bool # (/=) :: HardWrap n -> HardWrap n -> Bool #
Ord (HardWrap n) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Methods toJSONKey :: ToJSONKeyFunction (HardWrap n) # toJSONKeyList :: ToJSONKeyFunction [HardWrap n] #
KnownNat n => FromJSON (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Methods parseJSON :: Value -> Parser (HardWrap n) # parseJSONList :: Value -> Parser [HardWrap n] #
KnownNat n => FromJSONKey (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Methods fromJSONKey :: FromJSONKeyFunction (HardWrap n) # fromJSONKeyList :: FromJSONKeyFunction [HardWrap n] #
(KnownNat n, 1 <= n) => Random (HardWrap n) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in SizedGrid.Coord.HardWrap Associated Types type CoordSized (HardWrap n) :: Nat Source # type CoordFromNat (HardWrap n) :: Nat -> Type Source # Methods asOrdinal :: Iso' (HardWrap n) (Ordinal (CoordSized (HardWrap n))) Source # zeroPosition :: HardWrap n Source # sCoordSized :: proxy (HardWrap n) -> Proxy (CoordSized (HardWrap n)) Source # maxCoordSize :: proxy (HardWrap n) -> Integer Source # maxCoord :: HardWrap n Source # asSizeProxy :: HardWrap n -> (forall (n0 :: Nat). (KnownNat n0, (n0 + 1) <= CoordSized (HardWrap n)) => Proxy n0 -> x) -> x Source # weakenIsCoord :: IsCoord (CoordFromNat (HardWrap n) n0) => HardWrap n -> Maybe (CoordFromNat (HardWrap n) n0) Source # strengthenIsCoord :: (IsCoord (CoordFromNat (HardWrap n) n0), CoordSized (HardWrap n) <= CoordSized (CoordFromNat (HardWrap n) n0)) => HardWrap n -> CoordFromNat (HardWrap n) n0 Source #
type Diff (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap type Diff (HardWrap n) = Integer
type CoordSized (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap type CoordSized (HardWrap n) = n
type CoordFromNat (HardWrap n) Source #
Instance details Defined in SizedGrid.Coord.HardWrap type CoordFromNat (HardWrap n) = HardWrap