Module Curry.Ident
- Exported Datatypes
- Exported Functions
Imported modules:

Module Curry.Ident

Datatypes for identifiers from the curry-frontend

Author

Kai-Oliver Prott

Version

October 2024

Exported Datatypes:

Ident ModuleIdent QualIdent

Exported Functions:

identLength idName mIdentLength midQualifiers qIdentLength unqualify

Exported Datatypes

data ModuleIdent

Identifier for modules, from the curry-frontend.

Constructors:

ModuleIdent :: SpanInfo -> [String] -> ModuleIdent

Known instances:

Eq ModuleIdent
Ord ModuleIdent
HasSpanInfo ModuleIdent
Show ModuleIdent
Read ModuleIdent

data Ident

Identifier, from the curry-frontend.

Constructors:

Ident :: SpanInfo -> String -> Int -> Ident

Known instances:

data QualIdent

Qualified identifier, from the curry-frontend.

Constructors:

QualIdent :: SpanInfo -> (Maybe ModuleIdent) -> Ident -> QualIdent

Known instances:

Eq QualIdent
Ord QualIdent
HasSpanInfo QualIdent
Show QualIdent
Read QualIdent

Exported Functions

qIdentLength :: QualIdent -> Int

mIdentLength :: ModuleIdent -> Int

identLength :: Ident -> Int

unqualify :: QualIdent -> Ident

Remove the qualification of an QualIdent

Further infos:

solution complete, i.e., able to compute all solutions

idName :: Ident -> String

Further infos:

solution complete, i.e., able to compute all solutions

midQualifiers :: ModuleIdent -> [String]

Further infos:

solution complete, i.e., able to compute all solutions