leancheck-0.3.0: Cholesterol-free property-based testing

Safe HaskellSafe
LanguageHaskell2010

Test.Check.Function.Periodic

Description

Periodic function enumeration. This is just a sketch.

Documentation

functions :: Eq b => [a] -> [[b]] -> [[[(a, b)]]] Source

functionsz :: Eq b => [[a]] -> [[b]] -> [[[(a, b)]]] Source

lsPeriodsOf :: Eq a => [[a]] -> [[[a]]] Source

lsPeriodsOfLimit :: Eq a => [b] -> [[a]] -> [[[a]]] Source

isPeriod :: Eq a => [a] -> Bool Source

isPeriodOf :: Eq a => [a] -> [a] -> Bool Source

tiersOfLimit :: [b] -> [[a]] -> [[[a]]] Source

pairsToFunction :: Eq a => [(a, b)] -> a -> b Source