Control.Auto.Core

Auto

Type

data Auto m a b

type Auto'

autoConstr

toArb

purifyAuto

Running

stepAuto

stepAuto'

evalAuto

evalAuto'

execAuto

execAuto'

Serializing

encodeAuto

decodeAuto

saveAuto

resumeAuto

unserialize

Underlying monad

hoistA

generalizeA

Special modifiers

interceptO

Auto constructors

Lifting values and functions

mkConst

mkConstM

mkFunc

mkFuncM

from State transformers

mkState

mkState_

mkStateM

mkStateM_

mkState'

mkStateM'

from Accumulators

Result-first

accum

accum_

accumM

accumM_

Initial accumulator-first

accumD

accumD_

accumMD

accumMD_

Arbitrary Autos

mkAuto

mkAuto_

mkAutoM

mkAutoM_

Strictness

forceSerial

forcer

seqer