| Safe Haskell | None |
|---|
Language.Haskell.Refact.Utils.Monad
- type ParseResult = TypecheckedModule
- data VerboseLevel
- data RefactSettings = RefSet {}
- data RefactState = RefSt {
- rsSettings :: !RefactSettings
- rsUniqState :: !Int
- rsFlags :: !RefactFlags
- rsStorage :: !StateStorage
- rsModule :: !(Maybe RefactModule)
- data RefactModule = RefMod {}
- data RefactStashId = Stash !String
- data RefactFlags = RefFlags {}
- data StateStorage
- = StorageNone
- | StorageBind (LHsBind Name)
- | StorageSig (LSig Name)
- type RefactGhc a = GhcT (StateT RefactState IO) a
- runRefactGhc :: RefactGhc a -> RefactState -> IO (a, RefactState)
- getRefacSettings :: RefactGhc RefactSettings
- defaultSettings :: RefactSettings
- logSettings :: RefactSettings
- initGhcSession :: Cradle -> [FilePath] -> RefactGhc ()
Documentation
type ParseResult = TypecheckedModuleSource
Result of parsing a Haskell source file. It is simply the TypeCheckedModule produced by GHC.
data RefactSettings Source
Constructors
| RefSet | |
Fields
| |
Instances
data RefactState Source
State for refactoring a single file. Holds/hides the token stream, which gets updated transparently at key points.
Constructors
| RefSt | |
Fields
| |
Instances
| MonadState RefactState (GhcT (StateT RefactState IO)) | |
| MonadIO (GhcT (StateT RefactState IO)) | |
| MonadIO (StateT RefactState IO) |
data RefactModule Source
Constructors
| RefMod | |
Fields
| |
data RefactStashId Source
Instances
data RefactFlags Source
data StateStorage Source
Provide some temporary storage while the refactoring is taking place
Constructors
| StorageNone | |
| StorageBind (LHsBind Name) | |
| StorageSig (LSig Name) |
Instances
runRefactGhc :: RefactGhc a -> RefactState -> IO (a, RefactState)Source
initGhcSession :: Cradle -> [FilePath] -> RefactGhc ()Source
Initialise the GHC session, when starting a refactoring. This should never be called directly.