Control.Auto.Effects

Running effects

Continually

arrM

effect

From inputs

effects

On Blips

arrMB

effectB

execB

One-time effects

cache

execOnce

cache_

execOnce_

Manipulating underlying monads

"Sealing off" monadic Autos

sealState

sealState_

sealReader

sealReader_

Unrolling/"reifying" monadic Autos

runStateA

runReaderA

runWriterA

runTraversableA

Hoists

hoistA

generalizeA

Working with IO

catchA

Constructing monadic Autos from other monads

fromState

fromState_