module Domain

​

type Letter = |A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z

​

type Location = {x : int; y : int}

​

type PartialLetter = |Letter|None

​

type PlacedPartialLetter = 

    {

    PartialLetter:PartialLetter  

    Location: Location

    }

​

type PartiallyAnsweredWord = 

    {

    PlacedPartialLetters :PlacedPartialLetter list

    Length : int

    WordStartLocation: Location

    }

​

type Direction = |Across|Down

​

type Word = Letter list

​

type WordsFoundInDictionary = Word list

​

type WordsFoundInDictionarySearch = 

    |WordsFoundInDictionary

    |None

​

type NextFoundWord = Word

​

type GetNextWord = WordsFoundInDictionary -> NextFoundWord

​

type Split = (NextFoundWord * WordsFoundInDictionary) -> WordsFoundInDictionary

​

type Dictionary = Word list

​

type FindWordsThatMatch = (PartiallyAnsweredWord * Dictionary) -> WordsFoundInDictionarySearch option

​

type Clue =

    {

    Location : Location

    Direction: Direction

    Length : int

    }

​

type AnsweredClue =

    {

    NextFoundWord: NextFoundWord

    Clue : Clue

    }

​

type UnsolvedCrossword = 

   {

   PartiallyAnsweredClues : PartiallyAnsweredWord list option

   AnsweredClues : AnsweredClue list

   }

​

type SolvedCrossword = AnsweredClue list

​

​

(* Simply add th new word to the Crossword so far and flag if the crossword is done *)

type UpdateSolution() = (UnsolvedCrossword * PartiallyAnsweredWord) -> (UnsolvedCrossword, SolvedCrossword)

​