leancheck-0.7.0: tests/diff/tiers-funlistable-Bool-MBool.out
tiers :: [Bool->Maybe Bool] =
[ [ \x -> case x of
False -> Nothing
True -> Nothing
]
, [ \x -> case x of
False -> Just False
True -> Nothing
, \x -> case x of
False -> Just True
True -> Nothing
, \x -> case x of
False -> Nothing
True -> Just False
, \x -> case x of
False -> Nothing
True -> Just True
]
, [ \x -> case x of
False -> Just False
True -> Just False
, \x -> case x of
False -> Just True
True -> Just False
, \x -> case x of
False -> Just False
True -> Just True
, \x -> case x of
False -> Just True
True -> Just True
]
]
map length (tiers :: [[ Bool->Maybe Bool ]]) = [1,4,4]
length (list :: [ Bool->Maybe Bool ]) = 9
allUnique (list :: [ Bool->Maybe Bool ]) = True
ratioRepetitions (list :: [ Bool->Maybe Bool ]) = 0 % 1