sized-grid-0.1.1.5: Multidimensional grids with sized specified at compile time

Safe HaskellNone
LanguageHaskell2010

SizedGrid.Coord.Periodic

Synopsis

Documentation

newtype Periodic (n :: Nat) Source #

A coordinate with periodic boundaries, as if on a taurus

Constructors

Periodic 

Fields

Instances
(1 <= n, KnownNat n) => Enum (Periodic n) Source # 
Instance details

Defined in SizedGrid.Coord.Periodic

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

KnownNat n => ToJSONKey (Periodic n) Source # 
Instance details

Defined in SizedGrid.Coord.Periodic

KnownNat n => FromJSON (Periodic n) Source # 
Instance details

Defined in SizedGrid.Coord.Periodic

KnownNat n => FromJSONKey (Periodic n) Source # 
Instance details

Defined in SizedGrid.Coord.Periodic

(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

(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 #

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