úÎ.A     (C) 2012-2013 Fumiaki Kinoshita BSD-style (see the file LICENSE)'Fumiaki Kinsohita <fumiexcel@gmail.com> experimental non-portable Safe-Inferred2468JK9Construct an operational action from a single imperative. !"#  !"#None$%$%(C) 2013 Fumiaki Kinoshita BSD-style (see the file LICENSE)'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental RankNTypesNone !"246=HJKM  Interpret a Program using the given transformation. &'()*+,-./     &'()*+,-./ (C) 2012-2013 Fumiaki Kinoshita !BSD-style (see the file LICENSE) (Fumiaki Kinoshita <fumiexcel@gmail.com>  experimental  RankNTypes None !"246HJKMReified version of . It is useful for testing. Program t is a 0L that represents a sequence of imperatives. To construct imperatives, use  :: t a -> Program t a.  Interpret a ! using the given transformation. 12345678   123456789         !"#$%&'()*+,-./0123456789:minioperational-0.4.4Control.Monad.Operational.ClassControl.Monad.Operational.TH$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.Mini:! singletonmakeSingletonsReifiedProgramTLift:>>=ReturnProgramT unProgramT unProgram interpret fromReifiedT transReifiedT hoistReifiedTReifiedProgramProgram cloneProgram fromReified $f:!tErrorT $f:!tListT$f:!tIdentityT $f:!tMaybeT $f:!tRWST $f:!tRWST0 $f:!tWriterT $f:!tWriterT0 $f:!tContT $f:!tStateT $f:!tStateT0 $f:!tReaderT renameTypetyVars$fMonadTransReifiedProgramT$f:!tReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT $f:!tProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramTbaseGHC.BaseMonad$f:!tReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram $f:!tProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram