Language.C.Data.Name

Unique Names with fast equality (newtype Int)

Documentation

newtype Name

Name is a unique identifier

Constructors

Name

Fields

nameId :: Int

Instances

Enum Name

Eq Name

Data Name

Ord Name

Read Name

Show Name

Ix Name

Typeable * Name

newNameSupply :: [Name]

return an infinite stream of Names starting with nameId 0

namesStartingFrom :: Int -> [Name]

get the infinite stream of unique names starting from the given integer