Module Curry.Ident

Summary of exported operations:

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

Exported datatypes:


ModuleIdent

Constructors:

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

Ident

Constructors:

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

QualIdent

Constructors:


Exported operations:

qIdentLength :: QualIdent -> Int   

mIdentLength :: ModuleIdent -> Int   

identLength :: Ident -> Int   

unqualify :: QualIdent -> Ident   

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