Data.Puzzles.Pyramid

Data types and parsing for pyramid puzzles.

Documentation

data Row

Constructors

R

Fields

• entries :: [Maybe Int]
• shaded :: Bool

Instances

Show Row

Methods

showsPrec :: Int -> Row -> ShowS

show :: Row -> String

showList :: [Row] -> ShowS

newtype Pyramid

Constructors

Pyr

Fields

• unPyr :: [Row]

Instances

Show Pyramid

Methods

showsPrec :: Int -> Pyramid -> ShowS

show :: Pyramid -> String

showList :: [Pyramid] -> ShowS

FromJSON Pyramid

Methods

parseJSON :: Value -> Parser Pyramid

parseJSONList :: Value -> Parser [Pyramid]

newtype PyramidSol

Constructors

PyramidSol [[Int]]

Instances

Show PyramidSol

Methods

showsPrec :: Int -> PyramidSol -> ShowS

show :: PyramidSol -> String

showList :: [PyramidSol] -> ShowS

FromJSON PyramidSol

Methods

parseJSON :: Value -> Parser PyramidSol

parseJSONList :: Value -> Parser [PyramidSol]

data KropkiRow

Constructors

KR

Fields

• entriesk :: [Maybe Int]
• shadedk :: Bool
• dotsk :: [KropkiDot]

Instances

Show KropkiRow

Methods

showsPrec :: Int -> KropkiRow -> ShowS

show :: KropkiRow -> String

showList :: [KropkiRow] -> ShowS

newtype RowKropkiPyramid

Constructors

KP

Fields

• unKP :: [KropkiRow]

Instances

Show RowKropkiPyramid

Methods

showsPrec :: Int -> RowKropkiPyramid -> ShowS

show :: RowKropkiPyramid -> String

showList :: [RowKropkiPyramid] -> ShowS

FromJSON RowKropkiPyramid

Methods

parseJSON :: Value -> Parser RowKropkiPyramid

parseJSONList :: Value -> Parser [RowKropkiPyramid]

mergepyramidsol :: Pyramid -> PyramidSol -> Pyramid

Merge a solution into a pyramid.

mergekpyramidsol :: RowKropkiPyramid -> PyramidSol -> RowKropkiPyramid

Merge a solution into a kropki pyramid.

plainpyramid :: RowKropkiPyramid -> Pyramid

Forget the kropki dots.

psize :: Pyramid -> Int

The size (number of rows) of a pyramid.