úÎ ÿ      non-portable  experimental (Fumiaki Kinsohita <fumiexcel@gmail.com>  Safe-Inferred:Construct an operational action from a single imperative.   RankNTypes  experimental (Fumiaki Kinoshita <fumiexcel@gmail.com>  Safe-Inferred Interpret a Program! using the given transformation.  RankNTypes  experimental (Fumiaki Kinoshita <fumiexcel@gmail.com>  Safe-InferredReified version of  . It is useful for testing. Program t is a  , that represents a sequence of imperatives.  To construct imperatives, use  :: t a -> Program t a.  Interpret a  ! using the given transformation.  !"#$%&'(      !"#$%&'()       !"#$%&'()*+minioperational-0.2Control.Monad.Operational.Class$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.Mini Operational singletonProgramT unProgram interpretReifiedProgram:>>=ReturnProgram cloneProgram fromReified$fOperationalfErrorT$fOperationalfListT$fOperationalfIdentityT$fOperationalfMaybeT$fOperationalfRWST$fOperationalfRWST0$fOperationalfWriterT$fOperationalfWriterT0$fOperationalfContT$fOperationalfStateT$fOperationalfStateT0$fOperationalfReaderT$fMonadTransProgramT$fOperationaltProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramTbaseGHC.BaseMonad$fOperationaltReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram$fOperationaltProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram