leancheck-0.9.4: test/diff/tiers-default-Bools-Bools.out
map length (tiers :: [[ [Bool]->[Bool] ]]) = [1,2,8,26,88,...]
length (list :: [ [Bool]->[Bool] ]) = Infinity
allUnique (list :: [ [Bool]->[Bool] ]) = True
ratioRepetitions (list :: [ [Bool]->[Bool] ]) = 0 % 1
tiers :: [[Bool]->[Bool]] =
[ [\_ -> []]
, [ \_ -> [False]
, \_ -> [True]
]
, [ \x -> case x of
[] -> [False]
_ -> []
, \x -> case x of
[] -> [True]
_ -> []
, \x -> case x of
[] -> []
_ -> [False]
, \x -> case x of
[] -> []
_ -> [True]
, \_ -> [False,False]
, \_ -> [False,True]
, \_ -> [True,False]
, \_ -> [True,True]
]
, [ \x -> case x of
[] -> [False,False]
_ -> []
, \x -> case x of
[] -> [False,True]
_ -> []
, \x -> case x of
[] -> [True,False]
_ -> []
, \x -> case x of
[] -> [True,True]
_ -> []
, \x -> case x of
[False] -> [False]
_ -> []
, \x -> case x of
[False] -> [True]
_ -> []
, \x -> case x of
[True] -> [False]
_ -> []
, \x -> case x of
[True] -> [True]
_ -> []
, \x -> case x of
[] -> [True]
_ -> [False]
, \x -> case x of
[False] -> []
_ -> [False]
, \x -> case x of
[True] -> []
_ -> [False]
, \x -> case x of
[] -> [False]
_ -> [True]
, \x -> case x of
[False] -> []
_ -> [True]
, \x -> case x of
[True] -> []
_ -> [True]
, \x -> case x of
[] -> []
_ -> [False,False]
, \x -> case x of
[] -> []
_ -> [False,True]
, \x -> case x of
[] -> []
_ -> [True,False]
, \x -> case x of
[] -> []
_ -> [True,True]
, \_ -> [False,False,False]
, \_ -> [False,False,True]
, \_ -> [False,True,False]
, \_ -> [False,True,True]
, \_ -> [True,False,False]
, \_ -> [True,False,True]
, \_ -> [True,True,False]
, \_ -> [True,True,True]
]
, [ \x -> case x of
[] -> [False,False,False]
_ -> []
, \x -> case x of
[] -> [False,False,True]
_ -> []
, \x -> case x of
[] -> [False,True,False]
_ -> []
, \x -> case x of
[] -> [False,True,True]
_ -> []
, \x -> case x of
[] -> [True,False,False]
_ -> []
, \x -> case x of
[] -> [True,False,True]
_ -> []
, \x -> case x of
[] -> [True,True,False]
_ -> []
, \x -> case x of
[] -> [True,True,True]
_ -> []
, \x -> case x of
[False] -> [False,False]
_ -> []
, \x -> case x of
[False] -> [False,True]
_ -> []
, \x -> case x of
[False] -> [True,False]
_ -> []
, \x -> case x of
[False] -> [True,True]
_ -> []
, \x -> case x of
[True] -> [False,False]
_ -> []
, \x -> case x of
[True] -> [False,True]
_ -> []
, \x -> case x of
[True] -> [True,False]
_ -> []
, \x -> case x of
[True] -> [True,True]
_ -> []
, \x -> case x of
[False,False] -> [False]
_ -> []
, \x -> case x of
[False,False] -> [True]
_ -> []
, \x -> case x of
[False,True] -> [False]
_ -> []
, \x -> case x of
[False,True] -> [True]
_ -> []
, \x -> case x of
[True,False] -> [False]
_ -> []
, \x -> case x of
[True,False] -> [True]
_ -> []
, \x -> case x of
[True,True] -> [False]
_ -> []
, \x -> case x of
[True,True] -> [True]
_ -> []
, \x -> case x of
[] -> [False,False]
_ -> [False]
, \x -> case x of
[] -> [False,True]
_ -> [False]
, \x -> case x of
[] -> [True,False]
_ -> [False]
, \x -> case x of
[] -> [True,True]
_ -> [False]
, \x -> case x of
[False] -> [True]
_ -> [False]
, \x -> case x of
[True] -> [True]
_ -> [False]
, \x -> case x of
[] -> []
[False] -> []
_ -> [False]
, \x -> case x of
[] -> []
[True] -> []
_ -> [False]
, \x -> case x of
[False,False] -> []
_ -> [False]
, \x -> case x of
[False,True] -> []
_ -> [False]
, \x -> case x of
[True,False] -> []
_ -> [False]
, \x -> case x of
[True,True] -> []
_ -> [False]
, \x -> case x of
[] -> [False,False]
_ -> [True]
, \x -> case x of
[] -> [False,True]
_ -> [True]
, \x -> case x of
[] -> [True,False]
_ -> [True]
, \x -> case x of
[] -> [True,True]
_ -> [True]
, \x -> case x of
[False] -> [False]
_ -> [True]
, \x -> case x of
[True] -> [False]
_ -> [True]
, \x -> case x of
[] -> []
[False] -> []
_ -> [True]
, \x -> case x of
[] -> []
[True] -> []
_ -> [True]
, \x -> case x of
[False,False] -> []
_ -> [True]
, \x -> case x of
[False,True] -> []
_ -> [True]
, \x -> case x of
[True,False] -> []
_ -> [True]
, \x -> case x of
[True,True] -> []
_ -> [True]
, \x -> case x of
[] -> [False]
_ -> [False,False]
, \x -> case x of
[] -> [True]
_ -> [False,False]
, \x -> case x of
[False] -> []
_ -> [False,False]
, \x -> case x of
[True] -> []
_ -> [False,False]
, \x -> case x of
[] -> [False]
_ -> [False,True]
, \x -> case x of
[] -> [True]
_ -> [False,True]
, \x -> case x of
[False] -> []
_ -> [False,True]
, \x -> case x of
[True] -> []
_ -> [False,True]
, \x -> case x of
[] -> [False]
_ -> [True,False]
, \x -> case x of
[] -> [True]
_ -> [True,False]
, \x -> case x of
[False] -> []
_ -> [True,False]
, \x -> case x of
[True] -> []
_ -> [True,False]
, \x -> case x of
[] -> [False]
_ -> [True,True]
, \x -> case x of
[] -> [True]
_ -> [True,True]
, \x -> case x of
[False] -> []
_ -> [True,True]
, \x -> case x of
[True] -> []
_ -> [True,True]
, \x -> case x of
[] -> []
_ -> [False,False,False]
, \x -> case x of
[] -> []
_ -> [False,False,True]
, \x -> case x of
[] -> []
_ -> [False,True,False]
, \x -> case x of
[] -> []
_ -> [False,True,True]
, \x -> case x of
[] -> []
_ -> [True,False,False]
, \x -> case x of
[] -> []
_ -> [True,False,True]
, \x -> case x of
[] -> []
_ -> [True,True,False]
, \x -> case x of
[] -> []
_ -> [True,True,True]
, \_ -> [False,False,False,False]
, \_ -> [False,False,False,True]
, \_ -> [False,False,True,False]
, \_ -> [False,False,True,True]
, \_ -> [False,True,False,False]
, \_ -> [False,True,False,True]
, \_ -> [False,True,True,False]
, \_ -> [False,True,True,True]
, \_ -> [True,False,False,False]
, \_ -> [True,False,False,True]
, \_ -> [True,False,True,False]
, \_ -> [True,False,True,True]
, \_ -> [True,True,False,False]
, \_ -> [True,True,False,True]
, \_ -> [True,True,True,False]
, \_ -> [True,True,True,True]
]
, ...
]