úΣE     None (C) 2012-2013 Fumiaki Kinoshita !BSD-style (see the file LICENSE) (Fumiaki Kinsohita <fumiexcel@gmail.com>  experimental  non-portable None &23468JK(C) 2013 Fumiaki Kinoshita BSD-style (see the file LICENSE)'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental RankNTypesNone!"&(2346=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!"&(2346=HJKMReified version of . It is useful for testing. Program t is a %L that represents a sequence of imperatives. To construct imperatives, use  :: t a -> Program t a.  Interpret a ! using the given transformation. &'()*+,-   &'()*+,-.         !"#$%&'()*+,-./minioperational-0.4.7Control.Monad.Operational.THControl.Monad.Operational.Class$Control.Monad.Trans.Operational.MiniControl.Monad.Operational.MinimakeSingletons:! singletonReifiedProgramTLift:>>=ReturnProgramT unProgramT cloneProgramT unProgram interpret fromReifiedT transReifiedT hoistReifiedTReifiedProgramProgram cloneProgram fromReified renameTypetyVars$fMonadTransReifiedProgramT$fTowerReifiedProgramT$fMonadReifiedProgramT$fApplicativeReifiedProgramT$fFunctorReifiedProgramT$fMonadTransProgramT$fTowerProgramT$fMonadProgramT$fApplicativeProgramT$fFunctorProgramTbaseGHC.BaseMonad$fTowerReifiedProgram$fMonadReifiedProgram$fApplicativeReifiedProgram$fFunctorReifiedProgram$fTowerProgram$fMonadProgram$fApplicativeProgram$fFunctorProgram