Data.Binding.Hobbits.NameSet

Implements sets of Names using Strict. Note that these mappings are strict.

Documentation

data NameSet k

A set of Names whose types all have kind k

data SomeName k

A Name of some unknown type of kind k

Constructors

forall (a :: k). SomeName (Name a)

Instances

NuMatching (SomeName k)

Defined in Data.Binding.Hobbits.NameSet

Methods

nuMatchingProof :: MbTypeRepr (SomeName k)

empty :: NameSet k

The empty NameSet

singleton :: Name (a :: k) -> NameSet k

The singleton NameSet

fromList :: [SomeName k] -> NameSet k

Convert a list of names to a NameSet

toList :: NameSet k -> [SomeName k]

Convert a NameSet to a list

insert :: Name (a :: k) -> NameSet k -> NameSet k

Insert a name into a NameSet

delete :: Name (a :: k) -> NameSet k -> NameSet k

Delete a name from a NameSet

member :: Name (a :: k) -> NameSet k -> Bool

Test if a name is in a NameSet

null :: NameSet k -> Bool

Test if a NameSet is empty

size :: NameSet k -> Int

Compute the cardinality of a NameSet

union :: NameSet k -> NameSet k -> NameSet k

Take the union of two NameSets

unions :: Foldable f => f (NameSet k) -> NameSet k

Take the union of a list of NameSets

difference :: NameSet k -> NameSet k -> NameSet k

Take the set of all elements of the first NameSet not in the second

(\\) :: NameSet k -> NameSet k -> NameSet k

Another name for difference

intersection :: NameSet k -> NameSet k -> NameSet k

Take the intersection of two NameSets

map :: (forall (a :: k). Name a -> Name a) -> NameSet k -> NameSet k

Map a function across all elements of a NameSet

foldr :: (forall (a :: k). Name a -> r -> r) -> r -> NameSet k -> r

Perform a right fold of a function across all elements of a NameSet

foldl :: (forall (a :: k). r -> Name a -> r) -> r -> NameSet k -> r

Perform a left fold of a function across all elements of a NameSet

liftNameSet :: Mb ctx (NameSet (k :: Type)) -> NameSet k

Lift a NameSet out of a name-binding by lifting all names not bound by the name-binding and then forming a NameSet from those lifted names