Safe Haskell	None
Language	Haskell2010

SizedGrid.Coord.Periodic

Synopsis

newtype Periodic (n :: Nat) = Periodic {
- unPeriodic :: Ordinal n
}

Documentation

newtype Periodic (n :: Nat) Source #

A coordinate with periodic boundaries, as if on a taurus

Constructors

Periodic
Fields unPeriodic :: Ordinal n

Instances

(1 <= n, KnownNat n) => Enum (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods succ :: Periodic n -> Periodic n # pred :: Periodic n -> Periodic n # toEnum :: Int -> Periodic n # fromEnum :: Periodic n -> Int # enumFrom :: Periodic n -> [Periodic n] # enumFromThen :: Periodic n -> Periodic n -> [Periodic n] # enumFromTo :: Periodic n -> Periodic n -> [Periodic n] # enumFromThenTo :: Periodic n -> Periodic n -> Periodic n -> [Periodic n] #
Eq (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods (==) :: Periodic n -> Periodic n -> Bool # (/=) :: Periodic n -> Periodic n -> Bool #
Ord (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods compare :: Periodic n -> Periodic n -> Ordering # (<) :: Periodic n -> Periodic n -> Bool # (<=) :: Periodic n -> Periodic n -> Bool # (>) :: Periodic n -> Periodic n -> Bool # (>=) :: Periodic n -> Periodic n -> Bool # max :: Periodic n -> Periodic n -> Periodic n # min :: Periodic n -> Periodic n -> Periodic n #
Show (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods showsPrec :: Int -> Periodic n -> ShowS # show :: Periodic n -> String # showList :: [Periodic n] -> ShowS #
(1 <= n, KnownNat n) => Semigroup (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods (<>) :: Periodic n -> Periodic n -> Periodic n # sconcat :: NonEmpty (Periodic n) -> Periodic n # stimes :: Integral b => b -> Periodic n -> Periodic n #
(1 <= n, KnownNat n) => Monoid (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods mempty :: Periodic n # mappend :: Periodic n -> Periodic n -> Periodic n # mconcat :: [Periodic n] -> Periodic n #
KnownNat n => ToJSON (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods toJSON :: Periodic n -> Value # toEncoding :: Periodic n -> Encoding # toJSONList :: [Periodic n] -> Value # toEncodingList :: [Periodic n] -> Encoding #
KnownNat n => ToJSONKey (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods toJSONKey :: ToJSONKeyFunction (Periodic n) # toJSONKeyList :: ToJSONKeyFunction [Periodic n] #
KnownNat n => FromJSON (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods parseJSON :: Value -> Parser (Periodic n) # parseJSONList :: Value -> Parser [Periodic n] #
KnownNat n => FromJSONKey (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods fromJSONKey :: FromJSONKeyFunction (Periodic n) # fromJSONKeyList :: FromJSONKeyFunction [Periodic n] #
(1 <= n, KnownNat n) => Random (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods randomR :: RandomGen g => (Periodic n, Periodic n) -> g -> (Periodic n, g) # random :: RandomGen g => g -> (Periodic n, g) # randomRs :: RandomGen g => (Periodic n, Periodic n) -> g -> [Periodic n] # randoms :: RandomGen g => g -> [Periodic n] # randomRIO :: (Periodic n, Periodic n) -> IO (Periodic n) # randomIO :: IO (Periodic n) #
(1 <= n, KnownNat n) => AffineSpace (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Associated Types type Diff (Periodic n) :: Type # Methods (.-.) :: Periodic n -> Periodic n -> Diff (Periodic n) # (.+^) :: Periodic n -> Diff (Periodic n) -> Periodic n #
(1 <= n, KnownNat n) => AdditiveGroup (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Methods zeroV :: Periodic n # (^+^) :: Periodic n -> Periodic n -> Periodic n # negateV :: Periodic n -> Periodic n # (^-^) :: Periodic n -> Periodic n -> Periodic n #
(1 <= n, KnownNat n) => IsCoord (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic Associated Types type CoordSized (Periodic n) :: Nat Source # type CoordFromNat (Periodic n) :: Nat -> Type Source # Methods asOrdinal :: Iso' (Periodic n) (Ordinal (CoordSized (Periodic n))) Source # zeroPosition :: Periodic n Source # sCoordSized :: proxy (Periodic n) -> Proxy (CoordSized (Periodic n)) Source # maxCoordSize :: proxy (Periodic n) -> Integer Source # maxCoord :: Periodic n Source # asSizeProxy :: Periodic n -> (forall (n0 :: Nat). (KnownNat n0, (n0 + 1) <= CoordSized (Periodic n)) => Proxy n0 -> x) -> x Source # weakenIsCoord :: IsCoord (CoordFromNat (Periodic n) n0) => Periodic n -> Maybe (CoordFromNat (Periodic n) n0) Source # strengthenIsCoord :: (IsCoord (CoordFromNat (Periodic n) n0), CoordSized (Periodic n) <= CoordSized (CoordFromNat (Periodic n) n0)) => Periodic n -> CoordFromNat (Periodic n) n0 Source #
type Diff (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic type Diff (Periodic n) = Integer
type CoordSized (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic type CoordSized (Periodic n) = n
type CoordFromNat (Periodic n) Source #
Instance details Defined in SizedGrid.Coord.Periodic type CoordFromNat (Periodic n) = Periodic