Cryptol.Utils.Ident

Documentation

type ModName = Text

Module names are just text.

unpackModName :: ModName -> [String]

packModName :: [String] -> ModName

modSep :: Text

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.

Constructors

Ident Bool Text

Instances

Eq Ident

Methods

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

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

Ord 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

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

IsString Ident

Methods

fromString :: String -> Ident

Generic Ident

Associated Types

type Rep Ident :: * -> *

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Methods

rnf :: Ident -> ()

PP Ident

Methods

ppPrec :: Int -> Ident -> Doc

type Rep Ident

type Rep Ident = D1 (MetaData "Ident" "Cryptol.Utils.Ident" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) (C1 (MetaCons "Ident" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Nothing 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

preludeName :: ModName

preludeExtrasName :: ModName

interactiveName :: ModName