Show
Ignore:
Timestamp:
12/13/05 11:24:11 (3 years ago)
Author:
gaal
Message:

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

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/AST/Internals.hs

    r8161 r8207  
    1313    EvalT(..), ContT(..), 
    1414 
    15     Pad(..), -- uses Var, TVar, VRef 
     15    Pad(..), PadMutator, -- uses Var, TVar, VRef 
    1616    Param(..), -- uses Cxt, Exp 
    1717    Params, -- uses Param 
     
    11591159listToPad = MkPad . Map.fromList 
    11601160 
     1161-- | type for a function introducing a change to a Pad 
     1162type PadMutator = (Pad -> Pad) 
     1163 
    11611164{- Eval Monad -} 
    11621165-- type Eval x = EvalT (ContT Val (ReaderT Env SIO)) x