helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Messages.Information

Documentation

type Fixity = (Int, Assoc) Source

data InfoItem Source

Constructors

Function Name TpScheme (Maybe Fixity) 
ValueConstructor Name TpScheme (Maybe Fixity) 
TypeSynonym Name Int (Tps -> Tp) 
DataTypeConstructor Name Int [(Name, TpScheme)] 
TypeClass String Class 
NotDefined String 

Instances

showInformation :: Bool -> [Option] -> ImportEnvironment -> IO () Source

itemDescription :: InfoItem -> [String] Source

definedOrImported :: Range -> String Source

showMaybeFixity :: Name -> Maybe Fixity -> MessageBlocks Source

findValueConstructors :: Name -> ImportEnvironment -> [(Name, TpScheme)] Source

lookupWithKey :: Ord key => key -> Map key a -> Maybe (key, a) Source