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.7.0-6VD9sMh08R1JPrYSq7DH8b" 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

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.7.0-6VD9sMh08R1JPrYSq7DH8b" 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