Helium.StaticAnalysis.Miscellaneous.UHA_Source

Documentation

data UHA_Source

Constructors

UHA_Expr Expression

UHA_Pat Pattern

UHA_Stat Statement

UHA_Qual Qualifier

UHA_FB FunctionBinding

UHA_RHS RightHandSide

UHA_Decl Declaration

UHA_Decls Declarations

UHA_Def Name

Instances

Show UHA_Source

rangeOfSource :: UHA_Source -> Range

oneLinerSource :: UHA_Source -> OneLineTree

descriptionOfSource :: UHA_Source -> String

nameToUHA_Expr :: Name -> UHA_Source

nameToUHA_Pat :: Name -> UHA_Source

nameToUHA_Def :: Name -> UHA_Source

convertSources :: (UHA_Source, Maybe UHA_Source) -> [(String, UHA_Source)]