Control.Auto

Types

Auto

data Auto m a b

type Auto'

Misc

data Blip a

type Interval m a b

type Interval' a b

Working with Auto

Running

stepAuto

stepAuto'

evalAuto

evalAuto'

streamAuto

streamAuto'

stepAutoN

stepAutoN'

Serializing

encodeAuto

decodeAuto

readAuto

writeAuto

unserialize

Strictness

forcer

seqer

Internal monad

hoistA

generalizeA

Auto constructors

arrM

arrD

from Accumulators

Result-first

accum

accum_

accumM

accumM_

Initial accumulator-first

accumD

accumD_

accumMD

accumMD_

from State transformers

mkState

mkStateM

mkState_

mkStateM_

Generators

Effects

effect

Iterators

iterator

iterator_

iteratorM

iteratorM_

Common Autos and combinators

Processes

sumFrom

sumFrom_

sumFromD

sumFromD_

productFrom

productFrom_

mappender

mappender_

mappendFrom

lastVal

lastVal_

delay

delay_

count

Switches

(-->)

(-?>)

Blips

emitJusts

emitOn

fromBlips

fromBlipsWith

holdWith

holdWith_

perBlip

never

immediately

Intervals

onFor

during

off

toOn

fromInterval

Running

interactAuto

interactRS

streamAutoEffects

toEffectStream

Re-exports