Safe Haskell | None |
---|---|
Language | Haskell98 |
Avail
Documentation
Records what things are "available", i.e. in scope
Constructors
Avail Name | An ordinary identifier in scope |
AvailTC Name [Name] | A type or class in scope. Parameters: 1) The name of the type or class 2) The available pieces of type or class. The AvailTC Invariant:
* If the type or class is itself
to be in scope, it must be
*first* in this list. Thus,
typically: |
availsToNameSet :: [AvailInfo] -> NameSetSource
availName :: AvailInfo -> NameSource
Just the main name made available, i.e. not the available pieces
of type or class brought into scope by the GenAvailInfo
availNames :: AvailInfo -> [Name]Source
All names made available by the availability information
stableAvailCmp :: AvailInfo -> AvailInfo -> OrderingSource
Compare lexicographically