ImperativeHaskell 1.0.0.0 → 1.0.0.1

raw patch · 2 files changed

+14/−15 lines, 2 filesdep ~template-haskell

Dependency ranges changed: template-haskell

Files

• Control/Monad/Imperative/Operators.hs +11/−12
• ImperativeHaskell.cabal +3/−3

@@ -1,5 +1,4 @@ {-# LANGUAGE
- NoMonomorphismRestriction,
  TemplateHaskell
  #-}
 -----------------------------------------------------------------------------
@@ -7,7 +6,7 @@ -- Module      :  Control.Monad.Imperative.Operators
 -- Maintainer  :  Matthew Mirman <mmirman@andrew.cmu.edu>
 -- Stability   :  experimental
--- Portability :  NoMonomorphismRestriction, TemplateHaskell 
+-- Portability :  TemplateHaskell 
 -- Some predefined operators for the imperative monad.
 -- 
 -----------------------------------------------------------------------------
@@ -16,17 +15,17 @@ import Control.Monad.Imperative.Internals
 import Control.Monad.Imperative.FunctionFactory
 
-(+=:) = modifyOp (+)
-(*=:) = modifyOp (*)
-(-=:) = modifyOp (-)
-(%=:) = modifyOp (mod)
+(+=:) a b = modifyOp (+) a b
+(*=:) a b = modifyOp (*) a b
+(-=:) a b = modifyOp (-) a b
+(%=:) a b = modifyOp mod a b
 
-(<.) = liftOp2 (<)
-(>.) = liftOp2 (>)
-(+.) = liftOp2 (+)
-(*.) = liftOp2 (*)
-(%.) = liftOp2 mod
-(/.) = liftOp2 (/)
+(<.) a b = liftOp2 (<) a b
+(>.) a b = liftOp2 (>) a b
+(+.) a b = liftOp2 (+) a b
+(*.) a b = liftOp2 (*) a b
+(%.) a b = liftOp2 mod a b
+(/.) a b = liftOp2 (/) a b 
 
 -- | @'liftOp2' f@ turns a pure function into one which
 -- gets executes its arguments and returns their value as a 

@@ -1,5 +1,5 @@ Name:                ImperativeHaskell-Version:             1.0.0.0+Version:             1.0.0.1 Description:         A monad that uses GADTs and continuations                      to replicate what it is like to program                      in an imperative language like C or Java@@ -31,11 +31,11 @@      Build-depends:       base >= 4.0 && < 5.0,                         mtl >= 2.0 && < 3.0,-                       template-haskell >= 2.6 && < 3+                       template-haskell >= 2.6 && < 3.0   Exposed-modules:    Control.Monad.Imperative,                       Control.Monad.Imperative.Internals,                       Control.Monad.Imperative.Operators,                       Control.Monad.Imperative.FunctionFactory   -  Extensions: GADTs, EmptyDataDecls, NoMonomorphismRestriction,  GeneralizedNewtypeDeriving,  MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, TemplateHaskell+  Extensions: GADTs, EmptyDataDecls, GeneralizedNewtypeDeriving, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, UndecidableInstances, TemplateHaskell