(ApplySemaChange (SemaInfoClassify e), SemanticTraversal e) => SemanticTraversal (Ann e)
Methods semaTraverse :: Monad f => SemaTrf f dom1 dom2 -> Ann e dom1 st -> f (Ann e dom2 st) #
SourceInfoTraversal e => SourceInfoTraversal (Ann e)
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Ann e dom st1 -> f (Ann e dom st2) # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Ann e dom st1 -> f (Ann e dom st2) # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Ann e dom st1 -> f (Ann e dom st2) #
SourceInfo src => Eq (Ann elem dom src)
Methods (==) :: Ann elem dom src -> Ann elem dom src -> Bool # (/=) :: Ann elem dom src -> Ann elem dom src -> Bool #
HasNameInfo dom => HasNameInfo' (Ann UName dom st)
Methods semanticsName :: Ann UName dom st -> Maybe Name #
HasNameInfo dom => HasNameInfo' (Ann UQualifiedName dom st)
Methods semanticsName :: Ann UQualifiedName dom st -> Maybe Name #
HasLiteralInfo dom => HasLiteralInfo' (Ann ULiteral dom st)
Methods semanticsLiteralType :: Ann ULiteral dom st -> Type #
HasIdInfo dom => HasIdInfo' (Ann UName dom st)
Methods semanticsId :: Ann UName dom st -> Id #
HasIdInfo dom => HasIdInfo' (Ann UQualifiedName dom st)
Methods semanticsId :: Ann UQualifiedName dom st -> Id #
HasFixityInfo dom => HasFixityInfo' (Ann UQualifiedName dom st)
Methods semanticsFixity :: Ann UQualifiedName dom st -> Maybe Fixity #
HasScopeInfo dom => HasScopeInfo' (Ann UQualifiedName dom st)
Methods semanticsScope :: Ann UQualifiedName dom st -> Scope #
HasScopeInfo dom => HasScopeInfo' (Ann UExpr dom st)
Methods semanticsScope :: Ann UExpr dom st -> Scope #
HasDefiningInfo dom => HasDefiningInfo' (Ann UQualifiedName dom st)
Methods semanticsDefining :: Ann UQualifiedName dom st -> Bool #
HasModuleInfo dom => HasModuleInfo' (Ann UModule dom st)
Methods semanticsModule :: Ann UModule dom st -> Module # semanticsDynFlags :: Ann UModule dom st -> DynFlags # isBootModule :: Ann UModule dom st -> Bool # semanticsImplicitImports :: Ann UModule dom st -> [Name] # semanticsPrelTransMods :: Ann UModule dom st -> [Module] #
HasImportInfo dom => HasImportInfo' (Ann UImportDecl dom st)
Methods semanticsImportedModule :: Ann UImportDecl dom st -> Module # semanticsAvailable :: Ann UImportDecl dom st -> [Name] # semanticsImported :: Ann UImportDecl dom st -> [Name] # semanticsTransMods :: Ann UImportDecl dom st -> [Module] #
HasImplicitFieldsInfo dom => HasImplicitFieldsInfo' (Ann UFieldWildcard dom st)
Methods semanticsImplicitFlds :: Ann UFieldWildcard dom st -> [(Name, Name)] #
HasSourceInfo (Ann elem dom stage)
Associated Types type SourceInfoType (Ann elem dom stage) :: * # Methods srcInfo :: Simple Lens (Ann elem dom stage) (SourceInfoType (Ann elem dom stage)) #
SourceInfo stage => HasRange (Ann elem dom stage)
Methods getRange :: Ann elem dom stage -> SrcSpan # setRange :: SrcSpan -> Ann elem dom stage -> Ann elem dom stage #
type Rep (Ann e dom stage)
type Rep (Ann e dom stage) = D1 * (MetaData "Ann" "Language.Haskell.Tools.AST.Ann" "haskell-tools-ast-1.0.1.1-CHm5EkQXa6DBsvSfe3HZSm" False) (C1 * (MetaCons "Ann" PrefixI True) ((::) (S1 * (MetaSel (Just Symbol "_annotation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (NodeInfo (SemanticInfo dom e) (SpanInfo stage)))) (S1 * (MetaSel (Just Symbol "_element") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (e dom stage)))))
type IgnoredFields (Ann elem dom stage)
type IgnoredFields (Ann elem dom stage) = (:) (Either (Symbol, Nat) Symbol) (Right (Symbol, Nat) Symbol "_annotation") ([] (Either (Symbol, Nat) Symbol))
type SourceInfoType (Ann elem dom stage)
type SourceInfoType (Ann elem dom stage) = SpanInfo stage

class HasSourceInfo e where #

Minimal complete definition

srcInfo

Associated Types

type SourceInfoType e :: * #

Methods

srcInfo :: Simple Lens e (SourceInfoType e) #

Instances

HasSourceInfo (AnnMaybeG elem dom stage)
Associated Types type SourceInfoType (AnnMaybeG elem dom stage) :: * # Methods srcInfo :: Simple Lens (AnnMaybeG elem dom stage) (SourceInfoType (AnnMaybeG elem dom stage)) #
HasSourceInfo (AnnListG elem dom stage)
Associated Types type SourceInfoType (AnnListG elem dom stage) :: * # Methods srcInfo :: Simple Lens (AnnListG elem dom stage) (SourceInfoType (AnnListG elem dom stage)) #
HasSourceInfo (Ann elem dom stage)
Associated Types type SourceInfoType (Ann elem dom stage) :: * # Methods srcInfo :: Simple Lens (Ann elem dom stage) (SourceInfoType (Ann elem dom stage)) #

class HasRange a where #

Extracts or modifies the concrete range corresponding to a given source info. In case of lists and optional elements, it may not contain the elements inside.

Minimal complete definition

getRange, setRange

Methods

getRange :: a -> SrcSpan #

setRange :: SrcSpan -> a -> a #

Instances

HasRange (OptionalInfo RangeStage)
Methods getRange :: OptionalInfo RangeStage -> SrcSpan # setRange :: SrcSpan -> OptionalInfo RangeStage -> OptionalInfo RangeStage #
HasRange (OptionalInfo NormRangeStage)
Methods getRange :: OptionalInfo NormRangeStage -> SrcSpan # setRange :: SrcSpan -> OptionalInfo NormRangeStage -> OptionalInfo NormRangeStage #
HasRange (ListInfo RangeStage)
Methods getRange :: ListInfo RangeStage -> SrcSpan # setRange :: SrcSpan -> ListInfo RangeStage -> ListInfo RangeStage #
HasRange (ListInfo NormRangeStage)
Methods getRange :: ListInfo NormRangeStage -> SrcSpan # setRange :: SrcSpan -> ListInfo NormRangeStage -> ListInfo NormRangeStage #
HasRange (SpanInfo RangeStage)
Methods getRange :: SpanInfo RangeStage -> SrcSpan # setRange :: SrcSpan -> SpanInfo RangeStage -> SpanInfo RangeStage #
HasRange (SpanInfo NormRangeStage)
Methods getRange :: SpanInfo NormRangeStage -> SrcSpan # setRange :: SrcSpan -> SpanInfo NormRangeStage -> SpanInfo NormRangeStage #
SourceInfo stage => HasRange (AnnMaybeG elem dom stage)
Methods getRange :: AnnMaybeG elem dom stage -> SrcSpan # setRange :: SrcSpan -> AnnMaybeG elem dom stage -> AnnMaybeG elem dom stage #
SourceInfo stage => HasRange (AnnListG elem dom stage)
Methods getRange :: AnnListG elem dom stage -> SrcSpan # setRange :: SrcSpan -> AnnListG elem dom stage -> AnnListG elem dom stage #
SourceInfo stage => HasRange (Ann elem dom stage)
Methods getRange :: Ann elem dom stage -> SrcSpan # setRange :: SrcSpan -> Ann elem dom stage -> Ann elem dom stage #

annListElems :: RefMonads w r => Reference w r MU MU (AnnListG elem dom stage) (AnnListG elem dom stage) [Ann elem dom stage] [Ann elem dom stage] #

annListAnnot :: RefMonads w r => Reference w r MU MU (AnnListG elem dom stage) (AnnListG elem dom stage) (NodeInfo (SemanticInfo dom (AnnListG elem)) (ListInfo stage)) (NodeInfo (SemanticInfo dom (AnnListG elem)) (ListInfo stage)) #

annList :: (RefMonads w r, MonadPlus r, Morph Maybe r, Morph [] r) => Reference w r MU MU (AnnListG e d s) (AnnListG e d s) (Ann e d s) (Ann e d s) #

annJust :: (Functor w, Applicative w, Monad w, Functor r, Applicative r, MonadPlus r, Morph Maybe r) => Reference w r MU MU (AnnMaybeG e d s) (AnnMaybeG e d s) (Ann e d s) (Ann e d s) #

annMaybe :: RefMonads w r => Reference w r MU MU (AnnMaybeG elem dom stage) (AnnMaybeG elem dom stage) (Maybe (Ann elem dom stage)) (Maybe (Ann elem dom stage)) #

isAnnNothing :: AnnMaybeG e d s -> Bool #

type Domain d = (Typeable * d, Data d, (~) * (SemanticInfo' d SemaInfoDefaultCls) NoSemanticInfo, Data (SemanticInfo' d SemaInfoNameCls), Data (SemanticInfo' d SemaInfoLitCls), Data (SemanticInfo' d SemaInfoExprCls), Data (SemanticInfo' d SemaInfoImportCls), Data (SemanticInfo' d SemaInfoModuleCls), Data (SemanticInfo' d SemaInfoWildcardCls)) #

A semantic domain for the AST. The semantic domain maps semantic information for the different types of nodes in the AST. The kind of semantic domain for an AST depends on which stages of the compilation it passed. However after transforming the GHC representation to our AST, the domain stays the same. The domain is not applied to the AST elements that are generated while refactoring.

data Dom name :: * -> * #

With this domain, semantic information can be parameterized. In practice it is only used if the compilation cannot proceed past the type checking phase.

Instances

(Data name, Typeable * name) => Data (Dom name)
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dom name -> c (Dom name) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Dom name) # toConstr :: Dom name -> Constr # dataTypeOf :: Dom name -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Dom name)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Dom name)) # gmapT :: (forall b. Data b => b -> b) -> Dom name -> Dom name # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dom name -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dom name -> r # gmapQ :: (forall d. Data d => d -> u) -> Dom name -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Dom name -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dom name -> m (Dom name) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dom name -> m (Dom name) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dom name -> m (Dom name) #
type SemanticInfo' (Dom n) SemaInfoDefaultCls
type SemanticInfo' (Dom n) SemaInfoDefaultCls = NoSemanticInfo
type SemanticInfo' (Dom n) SemaInfoWildcardCls
type SemanticInfo' (Dom n) SemaInfoWildcardCls = ImplicitFieldInfo
type SemanticInfo' (Dom n) SemaInfoModuleCls
type SemanticInfo' (Dom n) SemaInfoModuleCls = ModuleInfo Name
type SemanticInfo' (Dom n) SemaInfoImportCls
type SemanticInfo' (Dom n) SemaInfoImportCls = ImportInfo n
type SemanticInfo' (Dom n) SemaInfoExprCls
type SemanticInfo' (Dom n) SemaInfoExprCls = ScopeInfo
type SemanticInfo' (Dom n) SemaInfoLitCls
type SemanticInfo' (Dom n) SemaInfoLitCls = PreLiteralInfo
type SemanticInfo' (Dom n) SemaInfoNameCls
type SemanticInfo' (Dom n) SemaInfoNameCls = NameInfo n

data IdDom :: * #

Instances

Data IdDom
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IdDom -> c IdDom # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IdDom # toConstr :: IdDom -> Constr # dataTypeOf :: IdDom -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c IdDom) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IdDom) # gmapT :: (forall b. Data b => b -> b) -> IdDom -> IdDom # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IdDom -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IdDom -> r # gmapQ :: (forall d. Data d => d -> u) -> IdDom -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IdDom -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IdDom -> m IdDom # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IdDom -> m IdDom # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IdDom -> m IdDom #
type SemanticInfo' IdDom SemaInfoNameCls
type SemanticInfo' IdDom SemaInfoNameCls = CNameInfo
type SemanticInfo' IdDom SemaInfoLitCls
type SemanticInfo' IdDom SemaInfoLitCls = LiteralInfo
type SemanticInfo' IdDom SemaInfoExprCls
type SemanticInfo' IdDom SemaInfoExprCls = ScopeInfo
type SemanticInfo' IdDom SemaInfoImportCls
type SemanticInfo' IdDom SemaInfoImportCls = ImportInfo Id
type SemanticInfo' IdDom SemaInfoModuleCls
type SemanticInfo' IdDom SemaInfoModuleCls = ModuleInfo Id
type SemanticInfo' IdDom SemaInfoDefaultCls
type SemanticInfo' IdDom SemaInfoDefaultCls = NoSemanticInfo
type SemanticInfo' IdDom SemaInfoWildcardCls
type SemanticInfo' IdDom SemaInfoWildcardCls = ImplicitFieldInfo

shortShowSpan :: SrcSpan -> String #

A short form of showing a range, without file name, for debugging purposes.

shortShowSpanWithFile :: SrcSpan -> String #

data SrcTemplateStage :: * #

A stage where the annotation controls how the original source code can be retrieved from the AST. A source template is assigned to each node. It has holes where the content of an other node should be printed and ranges for the source code of the node.

Instances

Data SrcTemplateStage
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcTemplateStage -> c SrcTemplateStage # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcTemplateStage # toConstr :: SrcTemplateStage -> Constr # dataTypeOf :: SrcTemplateStage -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SrcTemplateStage) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcTemplateStage) # gmapT :: (forall b. Data b => b -> b) -> SrcTemplateStage -> SrcTemplateStage # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcTemplateStage -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcTemplateStage -> r # gmapQ :: (forall d. Data d => d -> u) -> SrcTemplateStage -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcTemplateStage -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcTemplateStage -> m SrcTemplateStage # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcTemplateStage -> m SrcTemplateStage # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcTemplateStage -> m SrcTemplateStage #
AfterBefore (OptionalInfo SrcTemplateStage)
Methods after :: String -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage # followedBy :: String -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage #
AfterBefore (ListInfo SrcTemplateStage)
Methods after :: String -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage # followedBy :: String -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage #
RelativeIndent (OptionalInfo SrcTemplateStage)
Methods relativeIndented :: Int -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage #
RelativeIndent (ListInfo SrcTemplateStage)
Methods relativeIndented :: Int -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage #
RelativeIndent (SpanInfo SrcTemplateStage)
Methods relativeIndented :: Int -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage #
MinimumIndent (OptionalInfo SrcTemplateStage)
Methods minimumIndented :: Int -> OptionalInfo SrcTemplateStage -> OptionalInfo SrcTemplateStage #
MinimumIndent (ListInfo SrcTemplateStage)
Methods minimumIndented :: Int -> ListInfo SrcTemplateStage -> ListInfo SrcTemplateStage #
MinimumIndent (SpanInfo SrcTemplateStage)
Methods minimumIndented :: Int -> SpanInfo SrcTemplateStage -> SpanInfo SrcTemplateStage #
data OptionalInfo SrcTemplateStage
data OptionalInfo SrcTemplateStage = SourceTemplateOpt { _sourceTemplateOptRange :: SrcSpan _srcTmpOptBefore :: String _srcTmpOptAfter :: String _srcTmpOptMinInd :: Int _srcTmpOptRelPos :: Maybe Int }
data ListInfo SrcTemplateStage
data ListInfo SrcTemplateStage = SourceTemplateList { _sourceTemplateListRange :: SrcSpan _srcTmpListBefore :: String _srcTmpListAfter :: String _srcTmpDefaultSeparator :: String _srcTmpIndented :: Maybe [Bool] _srcTmpSeparators :: [([SourceTemplateTextElem], SrcSpan)] _srcTmpListMinInd :: Int _srcTmpListRelPos :: Maybe Int }
data SpanInfo SrcTemplateStage
data SpanInfo SrcTemplateStage = SourceTemplateNode { _sourceTemplateNodeRange :: SrcSpan _sourceTemplateNodeElems :: [SourceTemplateElem] _srcTmpMinInd :: Int _srcTmpRelPos :: Maybe Int }

class SourceInfoTraversal (a :: * -> * -> *) where #

A class for traversing source information in an AST

Minimal complete definition

sourceInfoTraverseUp, sourceInfoTraverseDown, sourceInfoTraverse

Methods

sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> a dom st1 -> f (a dom st2) #

sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> a dom st1 -> f (a dom st2) #

sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> a dom st1 -> f (a dom st2) #

Instances

SourceInfoTraversal e => SourceInfoTraversal (AnnMaybeG e)
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnMaybeG e dom st1 -> f (AnnMaybeG e dom st2) # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnMaybeG e dom st1 -> f (AnnMaybeG e dom st2) # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> AnnMaybeG e dom st1 -> f (AnnMaybeG e dom st2) #
SourceInfoTraversal e => SourceInfoTraversal (AnnListG e)
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnListG e dom st1 -> f (AnnListG e dom st2) # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> AnnListG e dom st1 -> f (AnnListG e dom st2) # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> AnnListG e dom st1 -> f (AnnListG e dom st2) #
SourceInfoTraversal e => SourceInfoTraversal (Ann e)
Methods sourceInfoTraverseUp :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Ann e dom st1 -> f (Ann e dom st2) # sourceInfoTraverseDown :: Monad f => SourceInfoTrf f st1 st2 -> f () -> f () -> Ann e dom st1 -> f (Ann e dom st2) # sourceInfoTraverse :: Monad f => SourceInfoTrf f st1 st2 -> Ann e dom st1 -> f (Ann e dom st2) #

sourceTemplateNodeRange :: Simple Lens (SpanInfo SrcTemplateStage) SrcSpan #

sourceTemplateNodeElems :: Simple Lens (SpanInfo SrcTemplateStage) [SourceTemplateElem] #

sourceTemplateListRange :: Simple Lens (ListInfo SrcTemplateStage) SrcSpan #

srcTmpListBefore :: Simple Lens (ListInfo SrcTemplateStage) String #

srcTmpListAfter :: Simple Lens (ListInfo SrcTemplateStage) String #

srcTmpDefaultSeparator :: Simple Lens (ListInfo SrcTemplateStage) String #

srcTmpIndented :: Simple Lens (ListInfo SrcTemplateStage) (Maybe [Bool]) #

srcTmpSeparators :: Simple Lens (ListInfo SrcTemplateStage) [([SourceTemplateTextElem], SrcSpan)] #

sourceTemplateOptRange :: Simple Lens (OptionalInfo SrcTemplateStage) SrcSpan #

srcTmpOptBefore :: Simple Lens (OptionalInfo SrcTemplateStage) String #

srcTmpOptAfter :: Simple Lens (OptionalInfo SrcTemplateStage) String #

data SourceTemplateTextElem :: * #

Constructors

NormalText
Fields _sourceTemplateText :: String
StayingText
Fields _sourceTemplateText :: String _lineEndings :: String

Instances

Eq SourceTemplateTextElem
Methods (==) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool # (/=) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool #
Data SourceTemplateTextElem
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceTemplateTextElem -> c SourceTemplateTextElem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceTemplateTextElem # toConstr :: SourceTemplateTextElem -> Constr # dataTypeOf :: SourceTemplateTextElem -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c SourceTemplateTextElem) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceTemplateTextElem) # gmapT :: (forall b. Data b => b -> b) -> SourceTemplateTextElem -> SourceTemplateTextElem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceTemplateTextElem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceTemplateTextElem -> r # gmapQ :: (forall d. Data d => d -> u) -> SourceTemplateTextElem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceTemplateTextElem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceTemplateTextElem -> m SourceTemplateTextElem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceTemplateTextElem -> m SourceTemplateTextElem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceTemplateTextElem -> m SourceTemplateTextElem #
Ord SourceTemplateTextElem
Methods compare :: SourceTemplateTextElem -> SourceTemplateTextElem -> Ordering # (<) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool # (<=) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool # (>) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool # (>=) :: SourceTemplateTextElem -> SourceTemplateTextElem -> Bool # max :: SourceTemplateTextElem -> SourceTemplateTextElem -> SourceTemplateTextElem # min :: SourceTemplateTextElem -> SourceTemplateTextElem -> SourceTemplateTextElem #
Show SourceTemplateTextElem
Methods showsPrec :: Int -> SourceTemplateTextElem -> ShowS # show :: SourceTemplateTextElem -> String # showList :: [SourceTemplateTextElem] -> ShowS #

sourceTemplateText :: Lens SourceTemplateTextElem SourceTemplateTextElem String String #

data UnsupportedExtension Source #

Constructors

UnsupportedExtension String

Instances

Show UnsupportedExtension Source #
Methods showsPrec :: Int -> UnsupportedExtension -> ShowS # show :: UnsupportedExtension -> String # showList :: [UnsupportedExtension] -> ShowS #
Exception UnsupportedExtension Source #
Methods toException :: UnsupportedExtension -> SomeException # fromException :: SomeException -> Maybe UnsupportedExtension # displayException :: UnsupportedExtension -> String #

data SpliceInsertionProblem :: * #

Constructors

SpliceInsertionProblem SrcSpan String

Instances

Show SpliceInsertionProblem
Methods showsPrec :: Int -> SpliceInsertionProblem -> ShowS # show :: SpliceInsertionProblem -> String # showList :: [SpliceInsertionProblem] -> ShowS #
Exception SpliceInsertionProblem
Methods toException :: SpliceInsertionProblem -> SomeException # fromException :: SomeException -> Maybe SpliceInsertionProblem # displayException :: SpliceInsertionProblem -> String #

data ConvertionProblem :: * #

Constructors

ConvertionProblem SrcSpan String
UnrootedConvertionProblem String

Instances

Show ConvertionProblem
Methods showsPrec :: Int -> ConvertionProblem -> ShowS # show :: ConvertionProblem -> String # showList :: [ConvertionProblem] -> ShowS #
Exception ConvertionProblem
Methods toException :: ConvertionProblem -> SomeException # fromException :: SomeException -> Maybe ConvertionProblem # displayException :: ConvertionProblem -> String #

data TransformationProblem :: * #

Constructors

TransformationProblem String

Instances

Show TransformationProblem
Methods showsPrec :: Int -> TransformationProblem -> ShowS # show :: TransformationProblem -> String # showList :: [TransformationProblem] -> ShowS #
Exception TransformationProblem
Methods toException :: TransformationProblem -> SomeException # fromException :: SomeException -> Maybe TransformationProblem # displayException :: TransformationProblem -> String #

data BreakUpProblem :: * #

Constructors

BreakUpProblem
Fields bupOuter :: RealSrcSpan bupInner :: SrcSpan bupSiblings :: [SrcSpan]

Instances

Show BreakUpProblem
Methods showsPrec :: Int -> BreakUpProblem -> ShowS # show :: BreakUpProblem -> String # showList :: [BreakUpProblem] -> ShowS #
Exception BreakUpProblem
Methods toException :: BreakUpProblem -> SomeException # fromException :: SomeException -> Maybe BreakUpProblem # displayException :: BreakUpProblem -> String #

data PrettyPrintProblem :: * #

Constructors

PrettyPrintProblem String

Instances

Show PrettyPrintProblem
Methods showsPrec :: Int -> PrettyPrintProblem -> ShowS # show :: PrettyPrintProblem -> String # showList :: [PrettyPrintProblem] -> ShowS #
Exception PrettyPrintProblem
Methods toException :: PrettyPrintProblem -> SomeException # fromException :: SomeException -> Maybe PrettyPrintProblem # displayException :: PrettyPrintProblem -> String #