Curry.Base.Ident

Documentation

Constructors

Ident
Fields positionOfIdent :: Position name :: String uniqueId :: Int

Instances

Eq Ident
Data Ident
Ord Ident
Read Ident
Show Ident
Typeable Ident
SrcRefOf Ident

showIdent :: Ident -> String Source

data QualIdent Source

Constructors

QualIdent
Fields qualidMod :: Maybe ModuleIdent qualidId :: Ident

Instances

Eq QualIdent
Data QualIdent
Ord QualIdent
Read QualIdent
Show QualIdent
Typeable QualIdent
SrcRefOf QualIdent

data ModuleIdent Source

Constructors

ModuleIdent
Fields positionOfModuleIdent :: Position moduleQualifiers :: [String]

Instances

Eq ModuleIdent
Data ModuleIdent
Ord ModuleIdent
Read ModuleIdent
Show ModuleIdent
Typeable ModuleIdent

class SrcRefOf a whereSource

Methods

srcRefsOf :: a -> [SrcRef]Source

srcRefOf :: a -> SrcRef Source

Instances

SrcRefOf Position
SrcRefOf QualIdent
SrcRefOf Ident

mkIdent :: String -> Ident Source

qualName :: QualIdent -> String Source

renameIdent :: Ident -> Int -> Ident Source

unRenameIdent :: Ident -> Ident Source

mkMIdent :: [String] -> ModuleIdent Source

moduleName :: ModuleIdent -> String Source

isInfixOp :: Ident -> Bool Source

isQInfixOp :: QualIdent -> Bool Source

qualify :: Ident -> QualIdent Source

qualifyWith :: ModuleIdent -> Ident -> QualIdent Source

qualQualify :: ModuleIdent -> QualIdent -> QualIdent Source

isQualified :: QualIdent -> Bool Source

unqualify :: QualIdent -> Ident Source

qualUnqualify :: ModuleIdent -> QualIdent -> QualIdent Source

localIdent :: ModuleIdent -> QualIdent -> Maybe Ident Source

emptyMIdent :: ModuleIdent Source

mainMIdent :: ModuleIdent Source

preludeMIdent :: ModuleIdent Source

anonId :: Ident Source

unitId :: Ident Source

boolId :: Ident Source

charId :: Ident Source

intId :: Ident Source

floatId :: Ident Source

listId :: Ident Source

ioId :: Ident Source

successId :: Ident Source

trueId :: Ident Source

falseId :: Ident Source

nilId :: Ident Source

consId :: Ident Source

mainId :: Ident Source

tupleId :: Int -> Ident Source

isTupleId :: Ident -> Bool Source

tupleArity :: Ident -> Int Source

minusId :: Ident Source

fminusId :: Ident Source

updIdentName :: (String -> String) -> Ident -> Ident Source

qUnitId :: QualIdent Source

qBoolId :: QualIdent Source

qCharId :: QualIdent Source

qIntId :: QualIdent Source

qFloatId :: QualIdent Source

qListId :: QualIdent Source

qIOId :: QualIdent Source

qSuccessId :: QualIdent Source

qTrueId :: QualIdent Source

qFalseId :: QualIdent Source

qNilId :: QualIdent Source

qConsId :: QualIdent Source

qTupleId :: Int -> QualIdent Source

isQTupleId :: QualIdent -> Bool Source

qTupleArity :: QualIdent -> Int Source

fpSelectorId :: Int -> Ident Source

isFpSelectorId :: Ident -> Bool Source

isQualFpSelectorId :: QualIdent -> Bool Source

recSelectorId :: QualIdent -> Ident -> Ident Source

qualRecSelectorId :: ModuleIdent -> QualIdent -> Ident -> QualIdent Source

recUpdateId :: QualIdent -> Ident -> Ident Source

qualRecUpdateId :: ModuleIdent -> QualIdent -> Ident -> QualIdent Source

recordExtId :: Ident -> Ident Source

labelExtId :: Ident -> Ident Source

isRecordExtId :: Ident -> Bool Source

isLabelExtId :: Ident -> Bool Source

fromRecordExtId :: Ident -> Ident Source

fromLabelExtId :: Ident -> Ident Source

renameLabel :: Ident -> Ident Source

recordExt :: String Source

labelExt :: String Source

mkLabelIdent :: String -> Ident Source

addPositionIdent :: Position -> Ident -> Ident Source

addPositionModuleIdent :: Position -> ModuleIdent -> ModuleIdent Source

addRef :: SrcRef -> QualIdent -> QualIdent Source

addRefId :: SrcRef -> Ident -> Ident Source

positionOfQualIdent :: QualIdent -> Position Source

updQualIdent :: (ModuleIdent -> ModuleIdent) -> (Ident -> Ident) -> QualIdent -> QualIdent Source