Safe Haskell	None
Language	Haskell2010

SizedGrid.Coord.Periodic

Synopsis

Documentation

newtype Periodic n 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 #
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 #
Methods (==) :: Periodic n -> Periodic n -> Bool # (/=) :: Periodic n -> Periodic n -> Bool #
Ord (Periodic n) Source #
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 #
Methods showsPrec :: Int -> Periodic n -> ShowS # show :: Periodic n -> String # showList :: [Periodic n] -> ShowS #
((<=) 1 n, KnownNat n) => Semigroup (Periodic n) Source #
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 #
Methods mempty :: Periodic n # mappend :: Periodic n -> Periodic n -> Periodic n # mconcat :: [Periodic n] -> Periodic n #
((<=) 1 n, KnownNat n) => Random (Periodic n) Source #
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) #
KnownNat n => ToJSONKey (Periodic n) Source #
Methods toJSONKey :: ToJSONKeyFunction (Periodic n) toJSONKeyList :: ToJSONKeyFunction [Periodic n]
KnownNat n => ToJSON (Periodic n) Source #
Methods toJSON :: Periodic n -> Value toEncoding :: Periodic n -> Encoding toJSONList :: [Periodic n] -> Value toEncodingList :: [Periodic n] -> Encoding
KnownNat n => FromJSONKey (Periodic n) Source #
Methods fromJSONKey :: FromJSONKeyFunction (Periodic n) fromJSONKeyList :: FromJSONKeyFunction [Periodic n]
KnownNat n => FromJSON (Periodic n) Source #
Methods parseJSON :: Value -> Parser (Periodic n) parseJSONList :: Value -> Parser [Periodic n]
((<=) 1 n, KnownNat n) => IsCoord (Periodic n) Source #
Associated Types type CoordSized (Periodic n) :: Nat Source # Methods asOrdinal :: Iso' (Periodic n) (Ordinal (CoordSized (Periodic n))) Source # zeroPosition :: Periodic n Source # sCoordSized :: proxy (Periodic n) -> Proxy Nat (CoordSized (Periodic n)) Source # maxCoordSize :: proxy (Periodic n) -> Integer Source #
((<=) 1 n, KnownNat n) => AdditiveGroup (Periodic n) Source #
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) => AffineSpace (Periodic n) Source #
Associated Types type Diff (Periodic n) :: * Methods (.-.) :: Periodic n -> Periodic n -> Diff (Periodic n) (.+^) :: Periodic n -> Diff (Periodic n) -> Periodic n
type CoordSized (Periodic n) Source #
type CoordSized (Periodic n) = n
type Diff (Periodic n) Source #
type Diff (Periodic n) = Integer