Control.Varying.Core

Types and Typeclasses

type Var a b

data VarT m a b

Creating streams

done

var

arr

varM

mkState

Composing streams

(<<<)

(>>>)

Adjusting and accumulating

delay

accumulate

Sampling streams (running and other entry points)

scanVar

stepMany

Debugging and tracing streams in flight

vtrace

vstrace

vftrace

testVarOver

Proofs of the Applicative laws