Math.SetCover.Cuboid

Documentation

data Coords a

Constructors

Coords a a a

Instances

Functor Coords

Methods

fmap :: (a -> b) -> Coords a -> Coords b

(<$) :: a -> Coords b -> Coords a

Applicative Coords

Methods

pure :: a -> Coords a

(<*>) :: Coords (a -> b) -> Coords a -> Coords b

liftA2 :: (a -> b -> c) -> Coords a -> Coords b -> Coords c

(*>) :: Coords a -> Coords b -> Coords b

(<*) :: Coords a -> Coords b -> Coords a

Foldable Coords

Methods

fold :: Monoid m => Coords m -> m

foldMap :: Monoid m => (a -> m) -> Coords a -> m

foldr :: (a -> b -> b) -> b -> Coords a -> b

foldr' :: (a -> b -> b) -> b -> Coords a -> b

foldl :: (b -> a -> b) -> b -> Coords a -> b

foldl' :: (b -> a -> b) -> b -> Coords a -> b

foldr1 :: (a -> a -> a) -> Coords a -> a

foldl1 :: (a -> a -> a) -> Coords a -> a

toList :: Coords a -> [a]

null :: Coords a -> Bool

length :: Coords a -> Int

elem :: Eq a => a -> Coords a -> Bool

maximum :: Ord a => Coords a -> a

minimum :: Ord a => Coords a -> a

sum :: Num a => Coords a -> a

product :: Num a => Coords a -> a

Traversable Coords

Methods

traverse :: Applicative f => (a -> f b) -> Coords a -> f (Coords b)

sequenceA :: Applicative f => Coords (f a) -> f (Coords a)

mapM :: Monad m => (a -> m b) -> Coords a -> m (Coords b)

sequence :: Monad m => Coords (m a) -> m (Coords a)

Eq a => Eq (Coords a)

Methods

(==) :: Coords a -> Coords a -> Bool

(/=) :: Coords a -> Coords a -> Bool

Ord a => Ord (Coords a)

Methods

compare :: Coords a -> Coords a -> Ordering

(<) :: Coords a -> Coords a -> Bool

(<=) :: Coords a -> Coords a -> Bool

(>) :: Coords a -> Coords a -> Bool

(>=) :: Coords a -> Coords a -> Bool

max :: Coords a -> Coords a -> Coords a

min :: Coords a -> Coords a -> Coords a

Show a => Show (Coords a)

Methods

showsPrec :: Int -> Coords a -> ShowS

show :: Coords a -> String

showList :: [Coords a] -> ShowS

coordsFromString :: [[String]] -> [Coords Int]

coordsFrom2LayerString :: [String] -> [Coords Int]

numberOf2LayerAtoms :: [[String]] -> Int

forNestedCoords :: (Enum a, Num a) => ([z] -> b) -> ([y] -> z) -> ([x] -> y) -> (Coords a -> x) -> Coords a -> b

newtype PackedCoords

Constructors

PackedCoords Int

Instances

Eq PackedCoords

Methods

(==) :: PackedCoords -> PackedCoords -> Bool

(/=) :: PackedCoords -> PackedCoords -> Bool

Ord PackedCoords

Methods

compare :: PackedCoords -> PackedCoords -> Ordering

(<) :: PackedCoords -> PackedCoords -> Bool

(<=) :: PackedCoords -> PackedCoords -> Bool

(>) :: PackedCoords -> PackedCoords -> Bool

(>=) :: PackedCoords -> PackedCoords -> Bool

max :: PackedCoords -> PackedCoords -> PackedCoords

min :: PackedCoords -> PackedCoords -> PackedCoords

Show PackedCoords

Methods

showsPrec :: Int -> PackedCoords -> ShowS

show :: PackedCoords -> String

showList :: [PackedCoords] -> ShowS

dx :: Num a => Coords a -> Coords a

dy :: Num a => Coords a -> Coords a

dz :: Num a => Coords a -> Coords a

rotations :: Num a => [Coords a -> Coords a]

type Size = Coords Int

unpackCoords :: Size -> PackedCoords -> Coords Int

packCoords :: Size -> Coords Int -> PackedCoords

normalForm :: (Ord a, Num a) => [Coords a] -> [Coords a]

size :: [Coords Int] -> Coords Int

Object must be in normalForm.

move :: Coords Int -> [Coords Int] -> [Coords Int]

allPositions :: Size -> [Coords Int] -> [[Coords Int]]

allOrientations :: (Num a, Ord a) => [Coords a] -> [[Coords a]]