Cryptol.Utils.Ident

Module names

data ModName

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 -> ()

PP ModName

Defined in Cryptol.Utils.PP

Methods

ppPrec :: Int -> ModName -> Doc

type Rep ModName

Defined in Cryptol.Utils.Ident

type Rep ModName = D1 ('MetaData "ModName" "Cryptol.Utils.Ident" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" '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

type Rep Ident

Defined in Cryptol.Utils.Ident

type Rep Ident = D1 ('MetaData "Ident" "Cryptol.Utils.Ident" "cryptol-2.10.0-Bsi6VMfJ6GCFlOdda30jWW" '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

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.10.0-Bsi6VMfJ6GCFlOdda30jWW" '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