module Data.Elements where
import Data.GridShape
type Clue a = Maybe a
data MasyuPearl = MWhite | MBlack
deriving (Eq, Show)
type MasyuClue = Clue MasyuPearl
type IntClue = Clue Int
data CompassC = CC (Maybe Int) (Maybe Int) (Maybe Int) (Maybe Int)
deriving Show
type CompassClue = Clue CompassC
data SlovakClue = SlovakClue !Int !Int
data Tightfit a = Single a | UR a a | DR a a
instance Show a => Show (Tightfit a) where
show c = "(" ++ show' c ++ ")"
where show' (Single x) = show x
show' (UR x y) = show x ++ "/" ++ show y
show' (DR x y) = show x ++ "\\" ++ show y
data MarkedLine a = MarkedLine a a
data MarkedWord = MW { mwstart :: Coord, mwend :: Coord }
type Loop a = [Edge a]
type VertexLoop = [N]
type Thermometer = [C]
data SlalomDiag = SlalomForward | SlalomBackward
deriving Show
data Shade = Shade Bool Bool
deriving Show
data KropkiDot = KNone | KBlack | KWhite
deriving (Show, Eq, Ord)
newtype TapaClue = TapaClue [Int]
deriving Show
newtype PrimeDiag = PrimeDiag (Bool, Bool)
data Black = Black
deriving Eq
data Fish = Fish
deriving Eq
data Star = Star
deriving Eq
data Crossing = Crossing
deriving Eq
type BahnhofClue = Either Int Crossing
data DigitRange = DigitRange !Int !Int
deriving (Show, Eq)
digitList :: DigitRange -> [Int]
digitList (DigitRange a b) = [a..b]
data MEnd = MEnd
data Fraction =
FComp String String String
| FFrac String String
| FInt String
data PlainNode = PlainNode
type Myopia = [Dir']
data Relation = RGreater | RLess | REqual | RUndetermined
deriving (Show, Eq)
type GreaterClue = [Relation]
data GalaxyCentre = GalaxyCentre
data PlacedTent = Tent Dir'
data Tree = Tree
data Pentomino = Pentomino Char
deriving (Show, Eq)