Changeset 8207 for src/Pugs/Monads.hs

Timestamp:

12/13/05 11:24:11 (3 years ago)

Author:

gaal

Message:

* minor refactoring: type PadMutator? = (Pad -> Pad)

Files:

• src/Pugs/Monads.hs (modified) (4 diffs)

src/Pugs/Monads.hs

@@ -54 +54 @@
 (Subsequent chained 'Eval's do /not/ see this new scope.)
 -}
-enterLex :: [Pad -> Pad] -- ^ Transformations on current 'Pad' to produce the
+enterLex :: [PadMutator] -- ^ Transformations on current 'Pad' to produce the
                          --     new 'Pad'.
          -> Eval a       -- ^ Evaluation to be performed in the new scope
@@ -167 +167 @@
                                     --     (must have leading @&@ sigil)
            -> ([Val] -> Eval Val)   -- ^ The actual primitive to wrap
-           -> ((Pad -> Pad) -> m t) -- ^ A (lambda) function that the 'Pad'
+           -> (PadMutator -> m t)   -- ^ A (lambda) function that the 'Pad'
                                     --     transformer is given to
            -> m t -- ^ Result of passing the pad-transformer to the \'action\'
@@ -188 +188 @@
 -}
 genSymCC :: String -- ^ Name of the primitive in the symbol table ('Pad').
-         -> ((Pad -> Pad) -> Eval Val) -- ^ An \'action\' function that will
+         -> (PadMutator -> Eval Val)   -- ^ An \'action\' function that will
                                        --     take the pad-transformer and use
                                        --     it to perform some evaluation 
@@ -263 +263 @@
         }
 
-genSubs :: t -> Var -> (t -> VCode) -> Eval [Pad -> Pad]
+genSubs :: t -> Var -> (t -> VCode) -> Eval [PadMutator]
 genSubs env name gen = sequence
     [ genMultiSym name (codeRef $ gen env)