FRP.Reactive.Improving

Improving values -- efficient version

Documentation

data Improving a

An improving value.

Constructors

Imp

Fields

exact :: a

compareI :: a -> Ordering

Instances

(Ord a, Bounded a) => Bounded (Improving a)

Eq a => Eq (Improving a)

Ord a => Ord (Improving a)

Show a => Show (Improving a)

(Ord a, Arbitrary a) => Arbitrary (Improving a)

CoArbitrary a => CoArbitrary (Improving a)

EqProp a => EqProp (Improving a)

Model (Improving a) a

exactly :: Ord a => a -> Improving a

A known improving value (which doesn't really improve)

before :: Ord a => a -> Improving a

A value known to be < x.

after :: Ord a => a -> Improving a

A value known to be > x.

minI :: Ord a => Improving a -> Improving a -> (Improving a, Bool)

Efficient combination of min and '(<=)'

maxI :: Ord a => Improving a -> Improving a -> (Improving a, Bool)

Efficient combination of max and '(>=)'

batch :: TestBatch