Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.ExtMonad

Documentation

type ExtMonad = ReaderT [Extension] (StateT ExtMap Ghc)

type CheckNode elem = elem -> ExtMonad elem

type CheckUNode uelem = Ann uelem IdDom SrcTemplateStage -> ExtMonad (Ann uelem IdDom SrcTemplateStage)

addOccurence' :: (Ord k, HasRange a) => k -> a -> Map k [SrcSpan] -> Map k [SrcSpan]

addOccurence_ :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m ()

addOccurence :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m node

isTurnedOn :: Extension -> ExtMonad Bool

conditional :: (node -> ExtMonad node) -> Extension -> node -> ExtMonad node

conditionalNot :: (node -> ExtMonad node) -> Extension -> node -> ExtMonad node

conditionalAny :: (node -> ExtMonad node) -> [Extension] -> node -> ExtMonad node

conditionalAdd :: HasRange node => Extension -> node -> ExtMonad node

runExtMonadIO :: ExtMonad a -> IO a

runExtMonadGHC :: ExtMonad a -> Ghc a

module Language.Haskell.Tools.Refactor.Builtin.ExtensionOrganizer.ExtMap

module Language.Haskell.TH.LanguageExtensions

module Control.Monad.State

module Control.Monad.Reader

Orphan instances

Ord Extension

Methods

compare :: Extension -> Extension -> Ordering

(<) :: Extension -> Extension -> Bool

(<=) :: Extension -> Extension -> Bool

(>) :: Extension -> Extension -> Bool

(>=) :: Extension -> Extension -> Bool

max :: Extension -> Extension -> Extension

min :: Extension -> Extension -> Extension

Read Extension

Methods

readsPrec :: Int -> ReadS Extension

readList :: ReadS [Extension]

readPrec :: ReadPrec Extension

readListPrec :: ReadPrec [Extension]