Safe Haskell	Safe-Inferred
Language	Haskell2010

Cryptol.ModuleSystem.Names

Synopsis

data Names
- = One Name
- | Ambig (Set Name)
namesToList :: Names -> [Name]
anyOne :: Names -> Name
namesFromSet :: Set Name -> 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

Documentation

data Names Source #

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

Constructors

One Name
Ambig (Set Name)	Non-empty

Instances

Instances details

Semigroup Names Source #

Instance details

Defined in Cryptol.ModuleSystem.Names

Methods

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

sconcat :: NonEmpty Names -> Names #

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

Generic Names Source #

Instance details

Defined in Cryptol.ModuleSystem.Names

Associated Types

type Rep Names

Instance details

Defined in Cryptol.ModuleSystem.Names

type Rep Names = D1 ('MetaData "Names" "Cryptol.ModuleSystem.Names" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" '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))))

Methods

from :: Names -> Rep Names x #

to :: Rep Names x -> Names #

Show Names Source #

Instance details

Defined in Cryptol.ModuleSystem.Names

Methods

showsPrec :: Int -> Names -> ShowS #

show :: Names -> String #

showList :: [Names] -> ShowS #

NFData Names Source #

Instance details

Defined in Cryptol.ModuleSystem.Names

Methods

rnf :: Names -> () #

type Rep Names Source #

Instance details

Defined in Cryptol.ModuleSystem.Names

type Rep Names = D1 ('MetaData "Names" "Cryptol.ModuleSystem.Names" "cryptol-3.5.0-HoSGjqdyafy4TMoEJgOBMg" '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] Source #

The returned list of names will be non-empty.

anyOne :: Names -> Name Source #

Returns a UserName if one is available, otherwise it returns | a SystemName.

namesFromSet Source #

Arguments

:: Set Name	Non-empty
-> Names

unionManyNames :: [Names] -> Maybe Names Source #

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

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

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

diffNames :: Names -> Names -> Maybe Names Source #