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)

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)

Methods

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

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

Ord (Periodic n)

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)

Methods

showsPrec :: Int -> Periodic n -> ShowS

show :: Periodic n -> String

showList :: [Periodic n] -> ShowS

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

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)

Methods

mempty :: Periodic n

mappend :: Periodic n -> Periodic n -> Periodic n

mconcat :: [Periodic n] -> Periodic n

KnownNat n => ToJSON (Periodic n)

Methods

toJSON :: Periodic n -> Value

toEncoding :: Periodic n -> Encoding

toJSONList :: [Periodic n] -> Value

toEncodingList :: [Periodic n] -> Encoding

KnownNat n => ToJSONKey (Periodic n)

Methods

toJSONKey :: ToJSONKeyFunction (Periodic n)

toJSONKeyList :: ToJSONKeyFunction [Periodic n]

KnownNat n => FromJSON (Periodic n)

Methods

parseJSON :: Value -> Parser (Periodic n)

parseJSONList :: Value -> Parser [Periodic n]

KnownNat n => FromJSONKey (Periodic n)

Methods

fromJSONKey :: FromJSONKeyFunction (Periodic n)

fromJSONKeyList :: FromJSONKeyFunction [Periodic n]

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

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)

Associated Types

type Diff (Periodic n) :: *

Methods

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

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

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

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)

Associated Types

type CoordSized (Periodic n) :: Nat

Methods

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

zeroPosition :: Periodic n

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

maxCoordSize :: proxy (Periodic n) -> Integer

type Diff (Periodic n)

type Diff (Periodic n) = Integer

type CoordSized (Periodic n)

type CoordSized (Periodic n) = n