RnMonad

Documentation

data RnM a

Instances

Monad RnM

runRnM :: TypeEnv -> TagEnv -> SourceEnv -> IfaceEnv -> RnM a -> (a, IsoEnv, IfaceNukeEnv)

lookupTypeId :: Name -> RnM (Maybe (Maybe String, Type))

lookupIface :: Name -> RnM (Maybe Decl)

lookupTag :: Name -> RnM (Maybe (Maybe String, String))

getMethOffset :: RnM (Maybe Int)

setMethOffset :: Maybe Int -> RnM a -> RnM a

incMethOffset :: RnM ()

withNewVarIdEnv :: RnM a -> RnM a

inNewModule :: RnM a -> RnM a

isSourceIface :: Name -> RnM Bool

lookupVarIdAndAddEnv :: String -> (String -> RnM a) -> RnM a

lookupTypeIdAndAddEnv :: String -> (String -> RnM a) -> RnM a

lookupTyConAndAddEnv :: String -> (String -> RnM a) -> RnM a

lookupModIdAndAddEnv :: String -> (String -> RnM a) -> RnM a

lookupClassIdAndAddEnv :: String -> (String -> RnM a) -> RnM a

lookupTyConEnv :: String -> (String -> RnM a) -> RnM a

lookupTypeIdEnv :: String -> (String -> RnM a) -> RnM a

lookupVarIdEnv :: String -> (String -> RnM a) -> RnM a

varIdInScope :: String -> RnM Bool

addIface :: String -> Decl -> RnM ()

addNukeIface :: String -> Id -> RnM ()

addMethod :: String -> (Maybe Int, Result, [Param]) -> RnM ()

addIsoMethod :: String -> (Result, [Param]) -> RnM ()

lookupMethod :: String -> RnM (Maybe [(Maybe Int, Result, [Param])])

setIfaceName :: String -> RnM a -> RnM a

setModuleName :: String -> RnM a -> RnM a

withDependers :: [String] -> RnM a -> RnM a

getIfaceName :: (String -> RnM a) -> RnM a

getModuleName :: (String -> RnM a) -> RnM a

getDependers :: ([String] -> RnM a) -> RnM a

type IsoEnv = Env String [(Result, [Param])]

type IfaceNukeEnv = Env String (Maybe Id)