Math.SetCover.Cuboid

Documentation

data Coords a

Constructors

Coords a a a

Instances

Functor Coords

Applicative Coords

Foldable Coords

Traversable Coords

Eq a => Eq (Coords a)

Ord a => Ord (Coords a)

Show a => Show (Coords a)

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

Ord PackedCoords

Show PackedCoords

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

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

dy :: 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]]