Control.Termination

Documentation

data TestResult a

Constructors

Stop

Continue (History a)

test :: History a -> a -> TestResult a

data TTest a

Instances

Contravariant TTest

initHistory :: TTest a -> History a

alwaysT :: TTest a

class Eq a => Finite a

Instances

Finite Bool

Finite ()

Finite a => Finite (Maybe a)

(Finite a, Finite b) => Finite (Either a b)

(Finite a, Finite b) => Finite (a, b)

finiteT :: Finite a => TTest a

boolT :: TTest Bool

unitT :: TTest ()

class Ord a => WellOrdered a

Instances

WellOrdered Int

intT :: TTest Int

eitherT :: TTest a -> TTest b -> TTest (Either a b)

pairT :: TTest a -> TTest b -> TTest (a, b)

finiteMapT :: (Ord k, Finite k) => TTest v -> TTest (Map k v)

newtype Fix f

Constructors

Roll

Fields

unroll :: f (Fix f)

fixT :: Functor t => (forall rec. t rec -> [rec]) -> (forall rec. t rec -> t rec) -> (forall rec. TTest rec -> TTest (t rec)) -> TTest (Fix t)

gfixT :: Traversable t => (forall rec. TTest rec -> TTest (t rec)) -> TTest (Fix t)