sbv

Copyright	(c) Joel Burget
License	BSD3
Maintainer	[email protected]
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Documentation.SBV.Examples.Strings.RegexCrossword

Description

This example solves regex crosswords from http://regexcrossword.com

Synopsis

solveCrossword :: [RegExp] -> [RegExp] -> IO [String]
puzzle1 :: IO [String]
puzzle2 :: IO [String]
puzzle3 :: IO [String]

Documentation

solveCrossword :: [RegExp] -> [RegExp] -> IO [String] Source #

Solve a given crossword, returning the corresponding rows

puzzle1 :: IO [String] Source #

Solve http://regexcrossword.com/challenges/intermediate/puzzles/1

>>> puzzle1
["ATO","WEL"]

puzzle2 :: IO [String] Source #

Solve http://regexcrossword.com/challenges/intermediate/puzzles/2

>>> puzzle2
["WA","LK","ER"]

puzzle3 :: IO [String] Source #

Solve http://regexcrossword.com/challenges/palindromeda/puzzles/3

>>> puzzle3
["RATS","ABUT","TUBA","STAR"]