Safe Haskell	None
Language	Haskell2010

SizedGrid.Coord.Periodic

Synopsis

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 #
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 #
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 => ToJSONKey (Periodic n) Source #
Methods toJSONKey :: ToJSONKeyFunction (Periodic n) # toJSONKeyList :: ToJSONKeyFunction [Periodic n] #
KnownNat n => FromJSON (Periodic n) Source #
Methods parseJSON :: Value -> Parser (Periodic n) # parseJSONList :: Value -> Parser [Periodic n] #
KnownNat n => FromJSONKey (Periodic n) Source #
Methods fromJSONKey :: FromJSONKeyFunction (Periodic n) # fromJSONKeyList :: FromJSONKeyFunction [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) #
((<=) 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 #
((<=) 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) => 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 #
type Diff (Periodic n) Source #
type Diff (Periodic n) = Integer
type CoordSized (Periodic n) Source #
type CoordSized (Periodic n) = n