Game.Mastermind.CodeSet

Documentation

class C set where

Methods

empty :: set a

union :: Enum a => set a -> set a -> set a

intersection :: Enum a => set a -> set a -> set a

unit :: set a

leftNonEmptyProduct :: T a -> set a -> set a

flatten :: Enum a => set a -> [[a]]

symbols :: Enum a => set a -> EnumSet a

null :: set a -> Bool

size :: set a -> Integer

select :: Enum a => set a -> Integer -> [a]

representationSize :: set a -> Int

compress :: Enum a => set a -> set a

simplify set representation by combining set products where possible

Instances

C T

Defined in Game.Mastermind.CodeSet.Union

Methods

empty :: T a

union :: Enum a => T a -> T a -> T a

intersection :: Enum a => T a -> T a -> T a

unit :: T a

leftNonEmptyProduct :: T0 a -> T a -> T a

flatten :: Enum a => T a -> [[a]]

symbols :: Enum a => T a -> EnumSet a

null :: T a -> Bool

size :: T a -> Integer

select :: Enum a => T a -> Integer -> [a]

representationSize :: T a -> Int

compress :: Enum a => T a -> T a

C T

Defined in Game.Mastermind.CodeSet.Tree

Methods

empty :: T a

union :: Enum a => T a -> T a -> T a

intersection :: Enum a => T a -> T a -> T a

unit :: T a

leftNonEmptyProduct :: T0 a -> T a -> T a

flatten :: Enum a => T a -> [[a]]

symbols :: Enum a => T a -> EnumSet a

null :: T a -> Bool

size :: T a -> Integer

select :: Enum a => T a -> Integer -> [a]

representationSize :: T a -> Int

compress :: Enum a => T a -> T a

cube :: C set => T a -> Int -> set a

unions :: (C set, Enum a) => [set a] -> set a

intersections :: (C set, Enum a) => T [] (set a) -> set a

intersectionsPQ :: (C set, Enum a) => T [] (set a) -> set a

(*&) :: (C set, Enum a) => EnumSet a -> set a -> set a infixr 5

Like leftNonEmptyProduct but the left operand can be empty.

(#*&) :: (C set, Enum a) => a -> set a -> set a infixr 5