leancheck-0.6.2: Cholesterol-free property-based testing

Copyright(c) 2015-2017 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone
LanguageHaskell2010

Test.LeanCheck.Function.Periodic

Contents

Description

This module is part of LeanCheck, a simple enumerative property-based testing library.

This module exports a Listable instance for enumeration of periodic functions.

This module barely works and 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 #

Orphan instances

(Eq a, Eq b, Listable a, Listable b) => Listable (a -> b) Source # 

Methods

tiers :: [[a -> b]] Source #

list :: [a -> b] Source #