board-games-0.2: Three games for inclusion in a web server

Safe HaskellSafe
LanguageHaskell2010

Game.Mastermind.CodeSet.Tree

Synopsis

Documentation

data T a Source #

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

Instances
C T Source # 
Instance details

Defined in Game.Mastermind.CodeSet.Tree

Methods

empty :: T a Source #

union :: Ord a => T a -> T a -> T a Source #

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

unit :: T a Source #

leftNonEmptyProduct :: T0 a -> T a -> T a Source #

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

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

null :: T a -> Bool Source #

size :: T a -> Integer Source #

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

representationSize :: T a -> Int Source #

compress :: Ord a => T a -> T a Source #

Show a => Show (T a) Source # 
Instance details

Defined in Game.Mastermind.CodeSet.Tree

Methods

showsPrec :: Int -> T a -> ShowS #

show :: T a -> String #

showList :: [T a] -> ShowS #

null :: T a -> Bool Source #

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

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

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