Game.Mastermind.CodeSet.Union

Documentation

data T a

Cons [[a,b,c,d], [e,f,g,h]] expresses a x b x c x d union e x f x g x h, where x denotes the set product.

Instances

C T

Defined in Game.Mastermind.CodeSet.Union

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

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

Defined in Game.Mastermind.CodeSet.Union

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

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

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

cube :: Int -> T a -> T a

overlappingPairs :: Ord a => T a -> [([Set a], [Set a])]

for debugging: list all pairs of products, that overlap

overlapping :: Ord a => T a -> [([Set a], [[Set a]])]

for debugging: list all subsets, that are contained in more than one product