Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Naming Module
- allNames :: Program -> [Name]
- varName :: Var -> Name
- nameOccStr :: Name -> String
- nameInt :: Name -> Int
- freshStr :: Int -> String -> Set String -> String
- freshName :: NameSpace -> [Name] -> Name
- freshSeededName :: Name -> [Name] -> Name
- freshNames :: [NameSpace] -> [Name] -> [Name]
- freshSeededNames :: [Name] -> [Name] -> [Name]
Documentation
freshName :: NameSpace -> [Name] -> Name Source #
Fresh Name
given a list of Name
s that acts as conflicts. The fresh
Name
s generated in this manner are prefixed with "fs?"
, which is not a
valid identifier in Haskell, but okay in SSTG. we also specify the
NameSpace
under which the Name
will be generated. This will generally
be VarNSpace
in actual usage.