SizedGrid.Coord.Periodic

Documentation

newtype Periodic (n :: Nat)

A coordinate with periodic boundaries, as if on a taurus

Constructors

Periodic

Fields

• unPeriodic :: Ordinal n

Instances

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

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)

Defined in SizedGrid.Coord.Periodic

Methods

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

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

Ord (Periodic n)

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)

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)

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)

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)

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)

Defined in SizedGrid.Coord.Periodic

Methods

toJSONKey :: ToJSONKeyFunction (Periodic n)

toJSONKeyList :: ToJSONKeyFunction [Periodic n]

KnownNat n => FromJSON (Periodic n)

Defined in SizedGrid.Coord.Periodic

Methods

parseJSON :: Value -> Parser (Periodic n)

parseJSONList :: Value -> Parser [Periodic n]

KnownNat n => FromJSONKey (Periodic n)

Defined in SizedGrid.Coord.Periodic

Methods

fromJSONKey :: FromJSONKeyFunction (Periodic n)

fromJSONKeyList :: FromJSONKeyFunction [Periodic n]

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

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)

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)

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)

Defined in SizedGrid.Coord.Periodic

Associated Types

type CoordSized (Periodic n) :: Nat

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

Methods

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

zeroPosition :: Periodic n

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

maxCoordSize :: proxy (Periodic n) -> Integer

maxCoord :: Periodic n

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

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

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

type Diff (Periodic n)

Defined in SizedGrid.Coord.Periodic

type Diff (Periodic n) = Integer

type CoordSized (Periodic n)

Defined in SizedGrid.Coord.Periodic

type CoordSized (Periodic n) = n

type CoordFromNat (Periodic n)

Defined in SizedGrid.Coord.Periodic

type CoordFromNat (Periodic n) = Periodic