Cryptol.ModuleSystem.Names

Documentation

data Names

A non-empty collection of names used by the renamer.

Constructors

One Name

Ambig (Set Name)

Non-empty

Instances

Semigroup Names

Defined in Cryptol.ModuleSystem.Names

Methods

(<>) :: Names -> Names -> Names

sconcat :: NonEmpty Names -> Names

stimes :: Integral b => b -> Names -> Names

Generic Names

Defined in Cryptol.ModuleSystem.Names

Associated Types

type Rep Names :: Type -> Type

Methods

from :: Names -> Rep Names x

to :: Rep Names x -> Names

Show Names

Defined in Cryptol.ModuleSystem.Names

Methods

showsPrec :: Int -> Names -> ShowS

show :: Names -> String

showList :: [Names] -> ShowS

NFData Names

Defined in Cryptol.ModuleSystem.Names

Methods

rnf :: Names -> ()

type Rep Names

Defined in Cryptol.ModuleSystem.Names

type Rep Names = D1 ('MetaData "Names" "Cryptol.ModuleSystem.Names" "cryptol-3.2.0-35bDsq0QUVdvBXha47jji" 'False) (C1 ('MetaCons "One" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "Ambig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Name))))

namesToList :: Names -> [Name]

The returned list of names will be non-empty.

anyOne :: Names -> Name

namesFromSet

Arguments

:: Set Name

Non-empty

-> Names

unionManyNames :: [Names] -> Maybe Names

mapNames :: (Name -> Name) -> Names -> Names

filterNames :: (Name -> Bool) -> Names -> Maybe Names

travNames :: Applicative f => (Name -> f Name) -> Names -> f Names

diffNames :: Names -> Names -> Maybe Names