úÎK ¬      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-Inferred Reified 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.  +,-./012      +,-./0123          !"#$%&'()*+,-./0123minioperational-0.3Control.Monad.Operational.Class$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.Mini Operational singletonReifiedProgramTLift:>>=ReturnProgramT unProgram interpret fromReifiedTReifiedProgramProgram cloneProgram fromReified$fOperationalfErrorT$fOperationalfListT$fOperationalfIdentityT$fOperationalfMaybeT$fOperationalfRWST$fOperationalfRWST0$fOperationalfWriterT$fOperationalfWriterT0$fOperationalfContT$fOperationalfStateT$fOperationalfStateT0$fOperationalfReaderT$fMonadTransReifiedProgramT$fOperationaltReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT$fOperationaltProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramTbaseGHC.BaseMonad$fOperationaltReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram$fOperationaltProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram