Control.Auto.Core
data Auto m a b
type Auto'
autoConstr
toArb
purifyAuto
stepAuto
stepAuto'
evalAuto
evalAuto'
execAuto
execAuto'
encodeAuto
decodeAuto
saveAuto
resumeAuto
unserialize
hoistA
generalizeA
interceptO
mkConst
mkConstM
mkFunc
mkFuncM
mkState
mkState_
mkStateM
mkStateM_
mkState'
mkStateM'
accum
accum_
accumM
accumM_
accumD
accumD_
accumMD
accumMD_
mkAuto
mkAuto_
mkAutoM
mkAutoM_
forceSerial
forcer
seqer