set-cover-0.0.7: Solve exact set cover problems like Sudoku, 8 Queens, Soma Cube, Tetris Cube

Safe Haskell	Safe
Language	Haskell98

Math.SetCover.Cuboid

Synopsis

Documentation

data Coords a Source

Constructors

Coords a a a

Instances

Functor Coords Source
Applicative Coords Source
Foldable Coords Source
Traversable Coords Source
Eq a => Eq (Coords a) Source
Ord a => Ord (Coords a) Source
Show a => Show (Coords a) Source

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

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

numberOf2LayerAtoms :: [[String]] -> Int Source

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

newtype PackedCoords Source

Constructors

PackedCoords Int

Instances

Eq PackedCoords Source
Ord PackedCoords Source
Show PackedCoords Source

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

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

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

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

type Size = Coords Int Source

unpackCoords :: Size -> PackedCoords -> Coords Int Source

packCoords :: Size -> Coords Int -> PackedCoords Source

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

size :: [Coords Int] -> Coords Int Source

Object must be in normalForm.

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

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

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