Text.Puzzles.Util

Documentation

class FromChar a where

Methods

parseChar :: Char -> Parser a

Instances

FromChar Char

FromChar Int

FromChar PrimeDiag

FromChar JapVal

FromChar SlalomDiag

FromChar MasyuPearl

FromChar Ref

FromChar Tight

FromChar HalfDirs

FromChar Shaded

FromChar PlainNode

FromChar Empty

FromChar Blank'

FromChar Blank

FromChar Space

FromChar Alpha

FromChar a => FromChar (Maybe a)

(FromChar a, FromChar b) => FromChar (Either a b)

class FromString a where

Methods

parseString :: String -> Parser a

Instances

FromString Int

FromString Blank

FromChar a => FromString (Tightfit a)

(FromString a, FromString b) => FromString (Either a b)

parseLine :: FromChar a => String -> Parser [a]

newtype Alpha

Constructors

Alpha

Fields

unAlpha :: Char

Instances

Eq Alpha

Ord Alpha

Show Alpha

FromChar Alpha

data Rect a

A rectangle. Each row has length w.

Constructors

Rect !Int !Int [[a]]

Instances

Functor Rect

Show a => Show (Rect a)

FromChar a => FromJSON (Rect a)

data Border a

Constructors

Border [a] [a] [a] [a]

Instances

Functor Border

Foldable Border

This instance might be a lie.

Traversable Border

Show a => Show (Border a)

data BorderedRect a b

Constructors

BorderedRect !Int !Int [[a]] (Border b)

Instances

(Show a, Show b) => Show (BorderedRect a b)

(FromChar a, FromChar b) => FromJSON (BorderedRect a b)

newtype SpacedRect a

Constructors

SpacedRect

Fields

unSpaced :: Rect a

Instances

FromString a => FromJSON (SpacedRect a)

data Space

Constructors

Space

Instances

FromChar Space

data Blank

Constructors

Blank

Instances

FromString Blank

FromChar Blank

data Blank'

Constructors

Blank'

Instances

FromChar Blank'

data Empty

Constructors

Empty

Instances

FromChar Empty

data PlainNode

Constructors

PlainNode

Instances

FromChar PlainNode

listListToMap :: [[a]] -> Map (Cell Square) a

rectToSGrid :: Rect a -> SGrid a

blankToMaybe :: Either Blank a -> Maybe a

blankToMaybe' :: Either Blank' a -> Maybe a

rectToClueGrid :: Rect (Either Blank a) -> SGrid (Clue a)

rectToClueGrid' :: Rect (Either Blank' a) -> SGrid (Clue a)

rectToIrregGrid :: Rect (Either Empty a) -> SGrid a

newtype Shaded

Constructors

Shaded

Fields

unShaded :: Bool

Instances

FromChar Shaded

parseShadedGrid :: Value -> Parser (SGrid Bool)

parseGrid :: FromChar a => Value -> Parser (SGrid a)

parseClueGrid :: FromChar a => Value -> Parser (SGrid (Clue a))

parseClueGrid' :: FromChar a => Value -> Parser (SGrid (Clue a))

parseIrregGrid :: FromChar a => Value -> Parser (SGrid a)

parseSpacedClueGrid :: FromString a => Value -> Parser (SGrid (Clue a))

parsePlainEdges :: Value -> Parser [Edge]

readEdges :: SGrid Char -> [Edge]

parseGridChars :: FromChar a => SGrid Char -> Parser (SGrid a)

parseEdgeGrid :: (FromChar a, FromChar b) => Value -> Parser (SGrid a, SGrid b, [Edge])

Parse a grid with edges and values at nodes and in cells.

E.g. o-*-*-o |1|2 3 *-o to a grid of masyu pearls, a grid of integers, and some edges.

parseNodeEdges :: FromChar a => Value -> Parser (SGrid a, [Edge])

Parse a grid of edges with values at the nodes.

E.g. o-*-*-o | | *-o to a grid of masyu pearls and some edges.

parseCellEdges :: FromChar a => Value -> Parser (SGrid a, [Edge])

data HalfDirs

Constructors

HalfDirs

Fields

unHalfDirs :: [Dir]

Instances

FromChar HalfDirs

parseEdges :: Value -> Parser [Edge]

type ThermoRect = Rect (Either Blank (Either Int Alpha))

partitionEithers :: Ord k => Map k (Either a b) -> (Map k a, Map k b)

parseThermos :: SGrid Alpha -> Parser [Thermometer]

parseThermoGrid :: ThermoRect -> Parser (SGrid Int, [Thermometer])

newtype Tight

Constructors

Tight

Fields

unTight :: Tightfit ()

Instances

FromChar Tight

parseTightOutside :: Value -> Parser (OutsideClues (Maybe Int), SGrid (Tightfit ()))

parseTightIntGrid :: Value -> Parser (SGrid (Tightfit Int))

newtype PMarkedWord

Constructors

PMW

Fields

unPMW :: MarkedWord

Instances

FromJSON PMarkedWord

parseNWords :: Int -> String -> Parser [String]

newtype PCompassC

Constructors

PCC

Fields

unPCC :: CompassC

Instances

FromJSON PCompassC

newtype RefGrid a

Constructors

RefGrid

Fields

unRG :: SGrid a

Instances

FromJSON a => FromJSON (RefGrid a)

data Ref

Constructors

Ref

Fields

unRef :: Char

Instances

Show Ref

FromChar Ref

hashmaptomap :: (Eq a, Hashable a, Ord a) => HashMap a b -> Map a b

compose :: (Ord a, Ord b) => Map a b -> Map b c -> Maybe (Map a c)

parseAfternoonGrid :: Value -> Parser (SGrid Shade)

newtype ParseTapaClue

Constructors

ParseTapaClue

Fields

unParseTapaClue :: TapaClue

Instances

FromJSON ParseTapaClue

reorientOutside :: OutsideClues a -> OutsideClues a

parseCharOutside :: FromChar a => Value -> Parser (OutsideClues a)

parseMultiOutsideClues :: FromJSON a => Value -> Parser (OutsideClues [a])