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 :: Ord a => T a -> T a -> T a

intersection :: Ord a => T a -> T a -> T a

unit :: T a

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

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

symbols :: Ord a => T a -> Set a

null :: T a -> Bool

size :: T a -> Integer

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

representationSize :: T a -> Int

compress :: Ord a => T a -> T 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 :: Ord a => [a] -> T a -> Bool

intersection :: Ord a => T a -> T a -> T a

size :: T a -> Integer

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