EnvM

Plain source file: base/lib/Monads/EnvM.hs (2002-09-05)

EnvM is imported by: ScopeModule, ScopeNames, ScopeNamesBaseStruct, BaseStruct2Alfa, PfeAlfaCmds, Prop2Alfa, LitTxt, MyDoc, ScopeNamesPropStruct.

module EnvM (module IxEnvM, F.HasEnv, getEnv, inEnv, inModEnv) where

import IxEnvM hiding (HasEnv(..))
import qualified MT as F 

getEnv    :: F.HasEnv m F.Z e => m e
inEnv     :: F.HasEnv m F.Z e => e -> m a -> m a
inModEnv  :: F.HasEnv m F.Z e => (e -> e) -> m a -> m a

getEnv    = F.getEnv F.this 
inEnv     = F.inEnv F.this 
inModEnv  = F.inModEnv F.this 






Index

(HTML for this module was generated on 2006-08-12. About the conversion tool.)