Cryptol.Utils.Ident

Module names

data ModPath

Idnetifies a possibly nested module

Constructors

TopModule ModName

Nested ModPath Ident

Instances

Eq ModPath

Defined in Cryptol.Utils.Ident

Methods

(==) :: ModPath -> ModPath -> Bool

(/=) :: ModPath -> ModPath -> Bool

Ord ModPath

Defined in Cryptol.Utils.Ident

Methods

compare :: ModPath -> ModPath -> Ordering

(<) :: ModPath -> ModPath -> Bool

(<=) :: ModPath -> ModPath -> Bool

(>) :: ModPath -> ModPath -> Bool

(>=) :: ModPath -> ModPath -> Bool

max :: ModPath -> ModPath -> ModPath

min :: ModPath -> ModPath -> ModPath

Show ModPath

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> ModPath -> ShowS

show :: ModPath -> String

showList :: [ModPath] -> ShowS

Generic ModPath

Defined in Cryptol.Utils.Ident

Associated Types

type Rep ModPath :: Type -> Type

Methods

from :: ModPath -> Rep ModPath x

to :: Rep ModPath x -> ModPath

NFData ModPath

Defined in Cryptol.Utils.Ident

Methods

rnf :: ModPath -> ()

PP ModPath

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> ModPath -> Doc

type Rep ModPath

Defined in Cryptol.Utils.Ident

type Rep ModPath = D1 ('MetaData "ModPath" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "TopModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModName)) :+: C1 ('MetaCons "Nested" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModPath) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)))

apPathRoot :: (ModName -> ModName) -> ModPath -> ModPath

modPathCommon :: ModPath -> ModPath -> Maybe (ModPath, [Ident], [Ident])

Compute a common prefix between two module paths, if any. This is basically "anti-unification" of the two paths, where we compute the longest common prefix, and the remaining differences for each module.

topModuleFor :: ModPath -> ModName

modPathSplit :: ModPath -> (ModName, [Ident])

data ModName

Top-level Module names are just text.

Instances

Eq ModName

Defined in Cryptol.Utils.Ident

Methods

(==) :: ModName -> ModName -> Bool

(/=) :: ModName -> ModName -> Bool

Ord ModName

Defined in Cryptol.Utils.Ident

Methods

compare :: ModName -> ModName -> Ordering

(<) :: ModName -> ModName -> Bool

(<=) :: ModName -> ModName -> Bool

(>) :: ModName -> ModName -> Bool

(>=) :: ModName -> ModName -> Bool

max :: ModName -> ModName -> ModName

min :: ModName -> ModName -> ModName

Show ModName

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> ModName -> ShowS

show :: ModName -> String

showList :: [ModName] -> ShowS

Generic ModName

Defined in Cryptol.Utils.Ident

Associated Types

type Rep ModName :: Type -> Type

Methods

from :: ModName -> Rep ModName x

to :: Rep ModName x -> ModName

NFData ModName

Defined in Cryptol.Utils.Ident

Methods

rnf :: ModName -> ()

PPName ModName

Defined in Cryptol.Utils.PP

Methods

ppNameFixity :: ModName -> Maybe Fixity

ppPrefixName :: ModName -> Doc

ppInfixName :: ModName -> Doc

PP ModName

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> ModName -> Doc

TVars Module

Defined in Cryptol.TypeCheck.Subst

Methods

apSubst :: Subst -> Module -> Module

BindsNames (Module PName)

The naming environment for a single module. This is the mapping from unqualified names to fully qualified names with uniques.

Defined in Cryptol.ModuleSystem.NamingEnv

Methods

namingEnv :: Module PName -> BuildNamingEnv

type Rep ModName

Defined in Cryptol.Utils.Ident

type Rep ModName = D1 ('MetaData "ModName" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "ModName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

modNameToText :: ModName -> Text

textToModName :: Text -> ModName

modNameChunks :: ModName -> [String]

packModName :: [Text] -> ModName

preludeName :: ModName

preludeReferenceName :: ModName

floatName :: ModName

suiteBName :: ModName

arrayName :: ModName

primeECName :: ModName

interactiveName :: ModName

noModuleName :: ModName

exprModName :: ModName

isParamInstModName :: ModName -> Bool

paramInstModName :: ModName -> ModName

Convert a parameterized module's name to the name of the module containing the same definitions but with explicit parameters on each definition.

notParamInstModName :: ModName -> ModName

Identifiers

data Ident

Identifiers, along with a flag that indicates whether or not they're infix operators. The boolean is present just as cached information from the lexer, and never used during comparisons.

Instances

Eq Ident

Defined in Cryptol.Utils.Ident

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

Ord Ident

Defined in Cryptol.Utils.Ident

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

(<=) :: Ident -> Ident -> Bool

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

IsString Ident

Defined in Cryptol.Utils.Ident

Methods

fromString :: String -> Ident

Generic Ident

Defined in Cryptol.Utils.Ident

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Defined in Cryptol.Utils.Ident

Methods

rnf :: Ident -> ()

PP Ident

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Ident -> Doc

ShowParseable Ident

Defined in Cryptol.TypeCheck.Parseable

Methods

showParseable :: Ident -> Doc Void

type Rep Ident

Defined in Cryptol.Utils.Ident

type Rep Ident = D1 ('MetaData "Ident" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "Ident" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

packIdent :: String -> Ident

packInfix :: String -> Ident

unpackIdent :: Ident -> String

mkIdent :: Text -> Ident

mkInfix :: Text -> Ident

isInfixIdent :: Ident -> Bool

nullIdent :: Ident -> Bool

identText :: Ident -> Text

modParamIdent :: Ident -> Ident

Namespaces

data Namespace

Namespaces for names

Constructors

NSValue

NSType

NSModule

Instances

Bounded Namespace

Defined in Cryptol.Utils.Ident

Methods

minBound :: Namespace

maxBound :: Namespace

Enum Namespace

Defined in Cryptol.Utils.Ident

Methods

succ :: Namespace -> Namespace

pred :: Namespace -> Namespace

toEnum :: Int -> Namespace

fromEnum :: Namespace -> Int

enumFrom :: Namespace -> [Namespace]

enumFromThen :: Namespace -> Namespace -> [Namespace]

enumFromTo :: Namespace -> Namespace -> [Namespace]

enumFromThenTo :: Namespace -> Namespace -> Namespace -> [Namespace]

Eq Namespace

Defined in Cryptol.Utils.Ident

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

Defined in Cryptol.Utils.Ident

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Generic Namespace

Defined in Cryptol.Utils.Ident

Associated Types

type Rep Namespace :: Type -> Type

Methods

from :: Namespace -> Rep Namespace x

to :: Rep Namespace x -> Namespace

NFData Namespace

Defined in Cryptol.Utils.Ident

Methods

rnf :: Namespace -> ()

PP Namespace

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> Namespace -> Doc

type Rep Namespace

Defined in Cryptol.Utils.Ident

type Rep Namespace = D1 ('MetaData "Namespace" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "NSValue" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NSType" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NSModule" 'PrefixI 'False) (U1 :: Type -> Type)))

allNamespaces :: [Namespace]

Original names

data OrigName

Identifies an entitiy

Constructors

OrigName

Fields

• ogNamespace :: Namespace
• ogModule :: ModPath
• ogName :: Ident

Instances

Eq OrigName

Defined in Cryptol.Utils.Ident

Methods

(==) :: OrigName -> OrigName -> Bool

(/=) :: OrigName -> OrigName -> Bool

Ord OrigName

Defined in Cryptol.Utils.Ident

Methods

compare :: OrigName -> OrigName -> Ordering

(<) :: OrigName -> OrigName -> Bool

(<=) :: OrigName -> OrigName -> Bool

(>) :: OrigName -> OrigName -> Bool

(>=) :: OrigName -> OrigName -> Bool

max :: OrigName -> OrigName -> OrigName

min :: OrigName -> OrigName -> OrigName

Show OrigName

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> OrigName -> ShowS

show :: OrigName -> String

showList :: [OrigName] -> ShowS

Generic OrigName

Defined in Cryptol.Utils.Ident

Associated Types

type Rep OrigName :: Type -> Type

Methods

from :: OrigName -> Rep OrigName x

to :: Rep OrigName x -> OrigName

NFData OrigName

Defined in Cryptol.Utils.Ident

Methods

rnf :: OrigName -> ()

PP OrigName

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> OrigName -> Doc

type Rep OrigName

Defined in Cryptol.Utils.Ident

type Rep OrigName = D1 ('MetaData "OrigName" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "OrigName" 'PrefixI 'True) (S1 ('MetaSel ('Just "ogNamespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Namespace) :*: (S1 ('MetaSel ('Just "ogModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModPath) :*: S1 ('MetaSel ('Just "ogName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))))

Identifiers for primitives

data PrimIdent

A way to identify primitives: we used to use just Ident, but this isn't good anymore as now we have primitives in multiple modules. This is used as a key when we need to lookup details about a specific primitive. Also, this is intended to mostly be used internally, so we don't store the fixity flag of the Ident

Constructors

PrimIdent ModName Text

Instances

Eq PrimIdent

Defined in Cryptol.Utils.Ident

Methods

(==) :: PrimIdent -> PrimIdent -> Bool

(/=) :: PrimIdent -> PrimIdent -> Bool

Ord PrimIdent

Defined in Cryptol.Utils.Ident

Methods

compare :: PrimIdent -> PrimIdent -> Ordering

(<) :: PrimIdent -> PrimIdent -> Bool

(<=) :: PrimIdent -> PrimIdent -> Bool

(>) :: PrimIdent -> PrimIdent -> Bool

(>=) :: PrimIdent -> PrimIdent -> Bool

max :: PrimIdent -> PrimIdent -> PrimIdent

min :: PrimIdent -> PrimIdent -> PrimIdent

Show PrimIdent

Defined in Cryptol.Utils.Ident

Methods

showsPrec :: Int -> PrimIdent -> ShowS

show :: PrimIdent -> String

showList :: [PrimIdent] -> ShowS

Generic PrimIdent

Defined in Cryptol.Utils.Ident

Associated Types

type Rep PrimIdent :: Type -> Type

Methods

from :: PrimIdent -> Rep PrimIdent x

to :: Rep PrimIdent x -> PrimIdent

NFData PrimIdent

Defined in Cryptol.Utils.Ident

Methods

rnf :: PrimIdent -> ()

type Rep PrimIdent

Defined in Cryptol.Utils.Ident

type Rep PrimIdent = D1 ('MetaData "PrimIdent" "Cryptol.Utils.Ident" "cryptol-2.13.0-BA7OuzmYZ3M9j8JsJfXs6b" 'False) (C1 ('MetaCons "PrimIdent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

prelPrim :: Text -> PrimIdent

A shortcut to make (non-infix) primitives in the prelude.

floatPrim :: Text -> PrimIdent

arrayPrim :: Text -> PrimIdent

suiteBPrim :: Text -> PrimIdent

primeECPrim :: Text -> PrimIdent