CSPM.DataStructures.Names

Documentation

data Name

Constructors

Name String

InternalName String

Instances

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 -> Bool

mkInternalName :: String -> Name

data QualifiedName

Constructors

UnQual Name

Instances

Eq QualifiedName

Show QualifiedName

PrettyPrintable QualifiedName