HaRe-0.8.4.1: the Haskell Refactorer.

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Refact.Utils.Monad

Contents

Synopsis

Documentation

type ParseResult = TypecheckedModule Source #

Result of parsing a Haskell source file. It is simply the TypeCheckedModule produced by GHC.

data RefactState Source #

State for refactoring a single file. Holds/hides the ghc-exactprint annotations, which get updated transparently at key points.

Constructors

RefSt 

Fields

data RefactModule Source #

Constructors

RefMod 

Fields

data RefactFlags Source #

Constructors

RefFlags 

Fields

  • rsDone :: !Bool

    Current traversal has already made a change

data StateStorage Source #

Provide some temporary storage while the refactoring is taking place

newtype RefactGhc a Source #

Constructors

RefactGhc 

Instances

Monad RefactGhc Source # 

Methods

(>>=) :: RefactGhc a -> (a -> RefactGhc b) -> RefactGhc b #

(>>) :: RefactGhc a -> RefactGhc b -> RefactGhc b #

return :: a -> RefactGhc a #

fail :: String -> RefactGhc a #

Functor RefactGhc Source # 

Methods

fmap :: (a -> b) -> RefactGhc a -> RefactGhc b #

(<$) :: a -> RefactGhc b -> RefactGhc a #

Applicative RefactGhc Source # 

Methods

pure :: a -> RefactGhc a #

(<*>) :: RefactGhc (a -> b) -> RefactGhc a -> RefactGhc b #

(*>) :: RefactGhc a -> RefactGhc b -> RefactGhc b #

(<*) :: RefactGhc a -> RefactGhc b -> RefactGhc a #

MonadPlus RefactGhc Source # 

Methods

mzero :: RefactGhc a #

mplus :: RefactGhc a -> RefactGhc a -> RefactGhc a #

MonadIO RefactGhc Source # 

Methods

liftIO :: IO a -> RefactGhc a #

Alternative RefactGhc Source # 

Methods

empty :: RefactGhc a #

(<|>) :: RefactGhc a -> RefactGhc a -> RefactGhc a #

some :: RefactGhc a -> RefactGhc [a] #

many :: RefactGhc a -> RefactGhc [a] #

GhcMonad RefactGhc Source # 
HasDynFlags RefactGhc Source # 
ExceptionMonad RefactGhc Source # 

Methods

gcatch :: Exception e => RefactGhc a -> (e -> RefactGhc a) -> RefactGhc a #

gmask :: ((RefactGhc a -> RefactGhc a) -> RefactGhc b) -> RefactGhc b #

gbracket :: RefactGhc a -> (a -> RefactGhc b) -> (a -> RefactGhc c) -> RefactGhc c #

gfinally :: RefactGhc a -> RefactGhc b -> RefactGhc a #

GmOut RefactGhc Source # 
GmEnv RefactGhc Source # 
MonadIO RefactGhc Source # 

Methods

liftIO :: IO a -> RefactGhc a #

MonadState RefactState RefactGhc Source # 

Orphan instances