Game.Mastermind.CodeSet.Tree

Documentation

data T a

Products [(a,b),(c,d)] expresses a x b union c x d, where x denotes the set product.

Instances

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

(Enum a, Show a) => Show (T a)

Defined in Game.Mastermind.CodeSet.Tree

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

null :: T a -> Bool

member :: Enum a => [a] -> T a -> Bool

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

size :: T a -> Integer

propIntersections :: Enum a => T [] (T a) -> Bool