| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.NamesUtils
Description
A utility module for unconflicted namespaces and related types/functionality.
Synopsis
- byName :: Defns (BiMultimap terms name) (BiMultimap types name) -> DefnsF (Map name) terms types
- forgetNames :: Defns (BiMultimap terms name) (BiMultimap types name) -> DefnsF Set terms types
- referentsToIds :: DefnsF Set Referent TypeReference -> DefnsF Set TermReferenceId TypeReferenceId
- restrictNames :: (Ord name, Ord terms, Ord types) => DefnsF Set name name -> Defns (BiMultimap terms name) (BiMultimap types name) -> Defns (BiMultimap terms name) (BiMultimap types name)
Documentation
byName :: Defns (BiMultimap terms name) (BiMultimap types name) -> DefnsF (Map name) terms types Source #
O(1). View unconflicted names by name (throwing away ref->name mapping).
forgetNames :: Defns (BiMultimap terms name) (BiMultimap types name) -> DefnsF Set terms types Source #
referentsToIds :: DefnsF Set Referent TypeReference -> DefnsF Set TermReferenceId TypeReferenceId Source #
restrictNames :: (Ord name, Ord terms, Ord types) => DefnsF Set name name -> Defns (BiMultimap terms name) (BiMultimap types name) -> Defns (BiMultimap terms name) (BiMultimap types name) Source #