Documentation
Eq Name | |
Ord Name | |
Show Name | |
Typeable Name | |
PrettyPrintable Name | |
TypeCheckable Decl [(Name, Type)] | |
TypeCheckable PDecl [(Name, Type)] | |
TypeCheckable DataTypeClause (Name, [Type]) | |
TypeCheckable PDataTypeClause (Name, [Type]) | |
Compressable a => Compressable (Annotated (Maybe SymbolTable, PSymbolTable) a) |
isInternal :: Name -> BoolSource
mkInternalName :: String -> NameSource