Module Curry.Ident

Summary of exported operations:

qIdentLength :: QualIdent -> Int  Deterministic 
mIdentLength :: ModuleIdent -> Int  Deterministic 
identLength :: Ident -> Int  Deterministic 
unqualify :: QualIdent -> Ident  Deterministic 
idName :: Ident -> String  Deterministic 
midQualifiers :: ModuleIdent -> [String]  Deterministic 

Exported datatypes:


ModuleIdent

Constructors:

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

Ident

Constructors:

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

QualIdent

Constructors:


Exported operations:

qIdentLength :: QualIdent -> Int  Deterministic 

mIdentLength :: ModuleIdent -> Int  Deterministic 

identLength :: Ident -> Int  Deterministic 

unqualify :: QualIdent -> Ident  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

idName :: Ident -> String  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

midQualifiers :: ModuleIdent -> [String]  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions