Control.Varying.Core

data Var m b c

Creating varying values

var

varM

Composing varying values

(<~)

(~>)

Adjusting and accumulating

delay

accumulate

Sampling varying values (running, entry points)

evalVar

execVar

loopVar

loopVar_

whileVar

whileVar_

Testing varying values

testVar

testVar_

testWhile_

vtrace

vstrace

vftrace