Documentation

class Checkable node where Source #

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

type CheckNode elem = elem -> ExtMonad elem Source #

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

addHint' :: (Ord k, HasRange a) => k -> a -> Map k [Occurence SrcSpan] -> Map k [Occurence SrcSpan] Source #

addHint_ :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m () Source #

addHint :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m node Source #

addRelationHint_ :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m () Source #

addRelationHint :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m node Source #

addMI' :: (Ord k, HasRange a) => k -> a -> Map k [Occurence SrcSpan] -> Map k [Occurence SrcSpan] Source #

addMI_ :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m () Source #

addMI :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m node Source #

addRelationMI_ :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m () Source #

addRelationMI :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m node Source #

addEvidence' :: (Ord k, HasRange a) => k -> a -> Map k [Occurence SrcSpan] -> Map k [Occurence SrcSpan] Source #

addEvidence_ :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m () Source #

addEvidence :: (MonadState ExtMap m, HasRange node) => Extension -> node -> m node Source #

addRelation_ :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m () Source #

addRelation :: (MonadState ExtMap m, HasRange node) => LogicalRelation Extension -> node -> m node Source #

addEvidenceLoc' :: Ord k => k -> SrcSpan -> Map k [Occurence SrcSpan] -> Map k [Occurence SrcSpan] Source #

addEvidenceLoc :: MonadState ExtMap m => Extension -> SrcSpan -> m () Source #

addRelationLoc :: MonadState ExtMap m => LogicalRelation Extension -> SrcSpan -> m () Source #

isTurnedOn :: Extension -> ExtMonad Bool Source #

isTurnedOff :: Extension -> ExtMonad Bool Source #

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

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

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

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

runExtMonadIO :: ExtMonad a -> IO a Source #

runExtMonadGHC :: ExtMonad a -> Ghc a Source #

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

module Language.Haskell.Tools.Refactor.Utils.Maybe

module Language.Haskell.TH.LanguageExtensions

module Control.Monad.State

module Control.Monad.Reader