Text.Puzzles.Util

Documentation

type Path = [String]

impossible :: a

field :: Path -> Value -> Parser Value

parseFrom :: Path -> (Value -> Parser b) -> Value -> Parser b

chars :: [Char] -> Char -> Parser Char

char :: Char -> Char -> Parser Char

class FromChar a where

Minimal complete definition

parseChar

Methods

parseChar :: Char -> Parser a

Instances

FromChar Char

Methods

parseChar :: Char -> Parser Char

FromChar Int

Methods

parseChar :: Char -> Parser Int

FromChar ()

Methods

parseChar :: Char -> Parser ()

FromChar Dir'

Methods

parseChar :: Char -> Parser Dir'

FromChar GalaxyCentre

Methods

parseChar :: Char -> Parser GalaxyCentre

FromChar Relation

Methods

parseChar :: Char -> Parser Relation

FromChar PlainNode

Methods

parseChar :: Char -> Parser PlainNode

FromChar MEnd

Methods

parseChar :: Char -> Parser MEnd

FromChar Crossing

Methods

parseChar :: Char -> Parser Crossing

FromChar Star

Methods

parseChar :: Char -> Parser Star

FromChar Fish

Methods

parseChar :: Char -> Parser Fish

FromChar Black

Methods

parseChar :: Char -> Parser Black

FromChar PrimeDiag

Methods

parseChar :: Char -> Parser PrimeDiag

FromChar KropkiDot

Methods

parseChar :: Char -> Parser KropkiDot

FromChar SlalomDiag

Methods

parseChar :: Char -> Parser SlalomDiag

FromChar MasyuPearl

Methods

parseChar :: Char -> Parser MasyuPearl

FromChar Tight

Methods

parseChar :: Char -> Parser Tight

FromChar Dirs'

Methods

parseChar :: Char -> Parser Dirs'

FromChar HalfDirs

Methods

parseChar :: Char -> Parser HalfDirs

FromChar Shaded

Methods

parseChar :: Char -> Parser Shaded

FromChar Empty

Methods

parseChar :: Char -> Parser Empty

FromChar Blank''

Methods

parseChar :: Char -> Parser Blank''

FromChar Blank'

Methods

parseChar :: Char -> Parser Blank'

FromChar Blank

Methods

parseChar :: Char -> Parser Blank

FromChar Space

Methods

parseChar :: Char -> Parser Space

FromChar Alpha

Methods

parseChar :: Char -> Parser Alpha

FromChar a => FromChar (Maybe a)

Methods

parseChar :: Char -> Parser (Maybe a)

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

Methods

parseChar :: Char -> Parser (Either a b)

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

Methods

parseChar :: Char -> Parser (Either' a b)

class FromString a where

Minimal complete definition

parseString

Methods

parseString :: String -> Parser a

Instances

FromString Int

Methods

parseString :: String -> Parser Int

FromString DigitRange

Methods

parseString :: String -> Parser DigitRange

FromString Blank

Methods

parseString :: String -> Parser Blank

FromChar a => FromString (Tightfit a)

Methods

parseString :: String -> Parser (Tightfit a)

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

Methods

parseString :: String -> Parser (Either a b)

parseStringJSON :: FromString a => Value -> Parser a

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

newtype Alpha

Constructors

Alpha

Fields

• unAlpha :: Char

Instances

Eq Alpha

Methods

(==) :: Alpha -> Alpha -> Bool

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

Ord Alpha

Methods

compare :: Alpha -> Alpha -> Ordering

(<) :: Alpha -> Alpha -> Bool

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

(>) :: Alpha -> Alpha -> Bool

(>=) :: Alpha -> Alpha -> Bool

max :: Alpha -> Alpha -> Alpha

min :: Alpha -> Alpha -> Alpha

Show Alpha

Methods

showsPrec :: Int -> Alpha -> ShowS

show :: Alpha -> String

showList :: [Alpha] -> ShowS

FromChar Alpha

Methods

parseChar :: Char -> Parser Alpha

newtype IntString

Helper to parse strings from number-formatted YAML fields. Somewhat dodgy.

Constructors

IntString

Fields

• unIntString :: String

Instances

FromJSON IntString

Methods

parseJSON :: Value -> Parser IntString

parseJSONList :: Value -> Parser [IntString]

data Rect a

A rectangle. Each row has length w.

Constructors

Rect !Int !Int [[a]]

Instances

Functor Rect

Methods

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

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

Show a => Show (Rect a)

Methods

showsPrec :: Int -> Rect a -> ShowS

show :: Rect a -> String

showList :: [Rect a] -> ShowS

FromChar a => FromJSON (Rect a)

Methods

parseJSON :: Value -> Parser (Rect a)

parseJSONList :: Value -> Parser [Rect a]

data Border a

Constructors

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

Instances

Functor Border

Methods

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

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

Foldable Border

This instance might be a lie.

Methods

fold :: Monoid m => Border m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Border a -> a

foldl1 :: (a -> a -> a) -> Border a -> a

toList :: Border a -> [a]

null :: Border a -> Bool

length :: Border a -> Int

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

maximum :: Ord a => Border a -> a

minimum :: Ord a => Border a -> a

sum :: Num a => Border a -> a

product :: Num a => Border a -> a

Traversable Border

Methods

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

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

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

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

Show a => Show (Border a)

Methods

showsPrec :: Int -> Border a -> ShowS

show :: Border a -> String

showList :: [Border a] -> ShowS

data BorderedRect a b

Constructors

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

Instances

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

Methods

showsPrec :: Int -> BorderedRect a b -> ShowS

show :: BorderedRect a b -> String

showList :: [BorderedRect a b] -> ShowS

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

Methods

parseJSON :: Value -> Parser (BorderedRect a b)

parseJSONList :: Value -> Parser [BorderedRect a b]

parseBorderedRect :: (Char -> Parser a) -> (Char -> Parser b) -> Value -> Parser (BorderedRect a b)

newtype SpacedRect a

Constructors

SpacedRect

Fields

• unSpaced :: Rect a

Instances

FromString a => FromJSON (SpacedRect a)

Methods

parseJSON :: Value -> Parser (SpacedRect a)

parseJSONList :: Value -> Parser [SpacedRect a]

data Space

Constructors

Space

Instances

FromChar Space

Methods

parseChar :: Char -> Parser Space

data Blank

Constructors

Blank

Instances

FromJSON Blank

Methods

parseJSON :: Value -> Parser Blank

parseJSONList :: Value -> Parser [Blank]

FromString Blank

Methods

parseString :: String -> Parser Blank

FromChar Blank

Methods

parseChar :: Char -> Parser Blank

data Blank'

Constructors

Blank'

Instances

FromJSON Blank'

Methods

parseJSON :: Value -> Parser Blank'

parseJSONList :: Value -> Parser [Blank']

FromChar Blank'

Methods

parseChar :: Char -> Parser Blank'

data Blank''

Constructors

Blank''

Instances

FromChar Blank''

Methods

parseChar :: Char -> Parser Blank''

data Empty

Constructors

Empty

Instances

FromChar Empty

Methods

parseChar :: Char -> Parser Empty

parseCharJSON :: FromChar a => Value -> Parser a

newtype Either' a b

Constructors

Either'

Fields

• unEither' :: Either a b

Instances

(FromJSON a, FromJSON b) => FromJSON (Either' a b)

Methods

parseJSON :: Value -> Parser (Either' a b)

parseJSONList :: Value -> Parser [Either' a b]

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

Methods

parseChar :: Char -> Parser (Either' a b)

listListToMap :: [[a]] -> Grid Coord a

rectToCoordGrid :: Rect a -> Grid Coord a

blankToMaybe :: Either Blank a -> Maybe a

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

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

rectToIrregGrid :: Rect (Either Empty a) -> Grid Coord a

newtype Shaded

Constructors

Shaded

Fields

• unShaded :: Bool

Instances

FromChar Shaded

Methods

parseChar :: Char -> Parser Shaded

parseShadedGrid :: Key k => Value -> Parser (Grid k Bool)

parseCoordGrid :: FromChar a => Value -> Parser (Grid Coord a)

parseGrid :: (Key k, FromChar a) => Value -> Parser (Grid k a)

parseGridWith :: Key k => (Char -> Parser a) -> Value -> Parser (Grid k a)

parseWithReplacement :: FromChar a => (Char -> Maybe a) -> Char -> Parser a

parseSpacedGrid :: (Key k, FromString a) => Value -> Parser (Grid k a)

parseCharMap :: FromJSON a => Value -> Parser (Map Char a)

parseExtGrid' :: (Key k, FromJSON a, FromChar b) => (a -> b) -> Value -> Parser (Grid k b)

parseExtGrid :: (Key k, FromChar a, FromJSON a) => Value -> Parser (Grid k a)

parseExtClueGrid :: (Key k, FromChar a, FromJSON a) => Value -> Parser (Grid k (Maybe a))

fromCoordGrid :: Key k => Grid Coord a -> Grid k a

fromCoordEdge :: Key k => Edge Coord -> Edge k

fromCoordEdges :: Key k => [Edge Coord] -> [Edge k]

parseClueGrid :: (FromChar a, Key k) => Value -> Parser (Grid k (Maybe a))

parseClueGrid' :: (FromChar a, Key k) => Value -> Parser (Grid k (Maybe a))

parseSpacedClueGrid :: (Key k, FromString a) => Value -> Parser (Grid k (Maybe a))

parseIrregGrid :: (Key k, FromChar a) => Value -> Parser (Grid k a)

parsePlainEdges :: Key k => Value -> Parser [Edge k]

filterPlainEdges :: Map (Edge k) Char -> [Edge k]

parseAnnotatedEdges :: (Key k, FromChar a) => Value -> Parser (Map (Edge k) a)

readEdges :: Grid Coord Char -> Map (Edge Coord) Char

parseGridChars :: FromChar a => Grid k Char -> Parser (Grid k a)

parseEdgeGrid :: (FromChar a, FromChar b, FromChar c) => Value -> Parser (Grid N a, Grid C b, Map (Edge N) c)

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 annotated edges.

parsePlainEdgeGrid :: (FromChar a, FromChar b) => Value -> Parser (Grid N a, Grid C b, [Edge N])

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

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 (Grid C a, [Edge N])

data HalfDirs

Constructors

HalfDirs

Fields

• unHalfDirs :: [Dir]

Instances

FromChar HalfDirs

Methods

parseChar :: Char -> Parser HalfDirs

parseEdges :: Key k => Value -> Parser [Edge k]

newtype Dirs'

Constructors

Dirs'

Fields

• unDirs' :: [Dir']

Instances

FromChar Dirs'

Methods

parseChar :: Char -> Parser Dirs'

parseEdgesFull :: Key k => Value -> Parser [Edge k]

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

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

parseThermos :: Grid C Alpha -> Parser [Thermometer]

parseThermoGrid :: ThermoRect -> Parser (Grid C (Maybe Int), [Thermometer])

parseOutsideGrid :: Key k => (Char -> Parser a) -> (Char -> Parser b) -> Value -> Parser (OutsideClues k b, Grid k a)

parseOutsideGridMap :: (Key k, FromChar a, FromChar b) => (a -> c) -> (b -> d) -> Value -> Parser (OutsideClues k d, Grid k c)

newtype Tight

Constructors

Tight

Fields

• unTight :: Tightfit ()

Instances

FromChar Tight

Methods

parseChar :: Char -> Parser Tight

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

newtype PMarkedWord

Constructors

PMW

Fields

• unPMW :: MarkedWord

Instances

FromJSON PMarkedWord

Methods

parseJSON :: Value -> Parser PMarkedWord

parseJSONList :: Value -> Parser [PMarkedWord]

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

parseDoublePair :: FromString a => Value -> Parser ((a, a), (a, a))

parseMarkedLine :: FromCoord a => Value -> Parser (MarkedLine a)

newtype PMarkedLine a

Constructors

PML

Fields

• unPML :: MarkedLine a

Instances

FromCoord a => FromJSON (PMarkedLine a)

Methods

parseJSON :: Value -> Parser (PMarkedLine a)

parseJSONList :: Value -> Parser [PMarkedLine a]

newtype PCompassC

Constructors

PCC

Fields

• unPCC :: CompassC

Instances

FromJSON PCompassC

Methods

parseJSON :: Value -> Parser PCompassC

parseJSONList :: Value -> Parser [PCompassC]

newtype PSlovakClue

Constructors

PSlovakClue

Fields

• unPSlovakClue :: SlovakClue

Instances

FromJSON PSlovakClue

Methods

parseJSON :: Value -> Parser PSlovakClue

parseJSONList :: Value -> Parser [PSlovakClue]

newtype RefGrid k a

Constructors

RefGrid

Fields

• unRG :: Grid k (Maybe a)

Instances

(Key k, FromJSON a) => FromJSON (RefGrid k a)

Methods

parseJSON :: Value -> Parser (RefGrid k a)

parseJSONList :: Value -> Parser [RefGrid k a]

hashmaptomap :: Ord a => HashMap a b -> Map a b

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

newtype MaybeMap k a

Constructors

MM

Fields

• unMaybeMap :: Map k (Maybe a)

Instances

Functor (MaybeMap k)

Methods

fmap :: (a -> b) -> MaybeMap k a -> MaybeMap k b

(<$) :: a -> MaybeMap k b -> MaybeMap k a

Foldable (MaybeMap k)

Methods

fold :: Monoid m => MaybeMap k m -> m

foldMap :: Monoid m => (a -> m) -> MaybeMap k a -> m

foldr :: (a -> b -> b) -> b -> MaybeMap k a -> b

foldr' :: (a -> b -> b) -> b -> MaybeMap k a -> b

foldl :: (b -> a -> b) -> b -> MaybeMap k a -> b

foldl' :: (b -> a -> b) -> b -> MaybeMap k a -> b

foldr1 :: (a -> a -> a) -> MaybeMap k a -> a

foldl1 :: (a -> a -> a) -> MaybeMap k a -> a

toList :: MaybeMap k a -> [a]

null :: MaybeMap k a -> Bool

length :: MaybeMap k a -> Int

elem :: Eq a => a -> MaybeMap k a -> Bool

maximum :: Ord a => MaybeMap k a -> a

minimum :: Ord a => MaybeMap k a -> a

sum :: Num a => MaybeMap k a -> a

product :: Num a => MaybeMap k a -> a

Traversable (MaybeMap k)

Methods

traverse :: Applicative f => (a -> f b) -> MaybeMap k a -> f (MaybeMap k b)

sequenceA :: Applicative f => MaybeMap k (f a) -> f (MaybeMap k a)

mapM :: Monad m => (a -> m b) -> MaybeMap k a -> m (MaybeMap k b)

sequence :: Monad m => MaybeMap k (m a) -> m (MaybeMap k a)

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

parseAfternoonGrid :: Value -> Parser (Grid C Shade)

newtype ParseTapaClue

Constructors

ParseTapaClue

Fields

• unParseTapaClue :: TapaClue

Instances

FromJSON ParseTapaClue

Methods

parseJSON :: Value -> Parser ParseTapaClue

parseJSONList :: Value -> Parser [ParseTapaClue]

reorientOutside :: OutsideClues k a -> OutsideClues k a

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

parseOutside :: FromJSON a => Value -> Parser (OutsideClues k a)

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

parseCoordLoop :: Value -> Parser VertexLoop

newtype PFraction

Constructors

PFraction

Fields

• unPFraction :: Fraction

Instances

FromJSON PFraction

Methods

parseJSON :: Value -> Parser PFraction

parseJSONList :: Value -> Parser [PFraction]

parseGreaterClues :: Value -> Parser [GreaterClue]

parseGreaterClue :: [Char] -> Parser GreaterClue