unpack-funcs 0.3.0 → 0.3.1

raw patch · 3 files changed

+10/−10 lines, 3 files

Files

• Control/Monad/Unpack.hs +0/−0
• Control/Monad/Unpack/TH.hs +9/−9
• unpack-funcs.cabal +1/−1

@@ -73,12 +73,12 @@     u <- getUnique     funcName <- newName $ "UnpackedReaderTCon" ++ show u     mName <- newName "m"-    aName <- newName "a"+    monadArgName <- newName "monadArg"     fName <- newName "func"     let decs = -	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT aName]+	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName] 	    (NormalC funcName [(NotStrict, foldr (\ argTy result -> ArrowT `AppT` argTy `AppT` result)-		  (VarT mName `AppT` VarT aName) conArgs)]) []] ++ pragmas ++ [+		  (VarT mName `AppT` VarT monadArgName) conArgs)]) []] ++ pragmas ++ [ 	    FunD 'runUnpackedReaderT 	      [Clause [ConP funcName [VarP fName], ConP conName (map VarP argNames)] 		(NormalB (foldl AppE (VarE fName) (map VarE argNames))) []],@@ -101,13 +101,13 @@     u <- getUnique     funcName <- newName $ "UnpackedReaderT" ++ show u     mName <- newName "m"-    aName <- newName "a"+    monadArgName <- newName "monadArg"     fName <- newName "func"     let monadStack = foldr (\ argTy stk -> ConT ''UnpackedReaderT `AppT` argTy `AppT` stk) 	  (VarT mName) conArgs     let decs = -	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT aName]-	    (NormalC funcName [(NotStrict, monadStack `AppT` VarT aName)]) []] ++ pragmas ++ [+	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName]+	    (NormalC funcName [(NotStrict, monadStack `AppT` VarT monadArgName)]) []] ++ pragmas ++ [ 	    FunD 'runUnpackedReaderT 	      [Clause [ConP funcName [VarP fName], ConP conName (map VarP argNames)] 		(NormalB (foldl (\ func arg -> InfixE (Just func) (VarE 'runUnpackedReaderT)@@ -134,11 +134,11 @@     u <- getUnique     funcName <- newName $ "UnpackedReaderT" ++ show u     mName <- newName "m"-    aName <- newName "a"+    monadArgName <- newName "monadArg"     fName <- newName "func"     let decs = -	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT aName]-	    (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT aName))]) []] ++ pragmas ++ [+	  [NewtypeInstD [] ''UnpackedReaderT [theTy, VarT mName, VarT monadArgName]+	    (NormalC funcName [(NotStrict, ArrowT `AppT` theTy `AppT` (VarT mName `AppT` VarT monadArgName))]) []] ++ pragmas ++ [ 	    FunD 'runUnpackedReaderT 	      [Clause [ConP funcName [VarP fName], VarP argName] 		(NormalB (VarE fName `AppE` VarE argName)) []],

@@ -1,5 +1,5 @@ name:		     unpack-funcs-version:             0.3.0+version:             0.3.1 cabal-version:       >= 1.6 tested-with:	     GHC category:            Control