cryptol-3.2.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.ModuleSystem.Names

Synopsis

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 :: Type -> Type #

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.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] Source #

The returned list of names will be non-empty.

namesFromSet Source #

Arguments

:: Set Name

Non-empty

-> Names 

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