PAKCS
Exported names: Imported modules:

Module AST.Ident

Summary of exported operations:

globalScope :: Int   
mkIdent :: String -> Ident   
mkSQIdent :: QualIdent -> SymQualIdent   
qualify :: Ident -> QualIdent   
qualifyWith :: ModuleIdent -> Ident -> QualIdent   
tupleId :: Int -> Ident   
nilId :: Ident   
consId :: Ident   
unitId :: Ident   
listId :: Ident   
qUnitId :: QualIdent   
qListId :: QualIdent   
qTupleId :: Int -> QualIdent   
qNilId :: QualIdent   
qConsId :: QualIdent   
qEnumFromId :: QualIdent   
qEnumFromThenId :: QualIdent   
qEnumFromToId :: QualIdent   
qEnumFromThenToId :: QualIdent   
qNegateId :: QualIdent   
qFlip :: QualIdent   
qIfThenElseId :: QualIdent   
preludeMIdent :: ModuleIdent   

Exported datatypes:

Ident

Constructors:

  • Ident :: Span -> String -> Int -> Ident

    Fields:

    • idSpan :: Span
    • idName :: String
    • idUnique :: Int
QualIdent

Constructors:

ModuleIdent

Constructors:

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

    Fields:

    • midSpan :: Span
    • midQualifiers :: [String]
SymIdent

Constructors:

SymQualIdent

Constructors:

Exported operations:

globalScope :: Int   

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

mkIdent :: String -> Ident   

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

mkSQIdent :: QualIdent -> SymQualIdent   

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

qualify :: Ident -> QualIdent   

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

tupleId :: Int -> Ident   

nilId :: Ident   

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

consId :: Ident   

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

unitId :: Ident   

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

listId :: Ident   

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

qUnitId :: QualIdent   

qListId :: QualIdent   

qTupleId :: Int -> QualIdent   

qNilId :: QualIdent   

qConsId :: QualIdent   

qNegateId :: QualIdent   

qFlip :: QualIdent   

preludeMIdent :: ModuleIdent   

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