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.