cryptol-2.4.0: Cryptol: The Language of Cryptography

Copyright | (c) 2015-2016 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell98

Cryptol.Utils.Ident

Description

Synopsis

- type ModName = Text
- unpackModName :: ModName -> [String]
- packModName :: [String] -> ModName
- modSep :: Text
- data Ident = Ident Bool 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
- interactiveName :: ModName

# Documentation

type ModName = Text Source #

Module names are just text.

unpackModName :: ModName -> [String] Source #

packModName :: [String] -> ModName Source #

modSep :: Text Source #

data Ident Source #

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 Source # |
Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source # |
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 Source # |
Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
IsString Ident Source # |
Methods fromString :: String -> Ident #
Generic Ident Source # |
Associated Types type Rep Ident :: * -> * # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
NFData Ident Source # |
Methods rnf :: Ident -> () #
PP Ident Source # |
Methods ppPrec :: Int -> Ident -> Doc Source #
type Rep Ident Source # |
type Rep Ident = D1 (MetaData "Ident" "Cryptol.Utils.Ident" "cryptol-2.4.0-CN28BMG3PUFD1lr9WvB1U9" 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 Source #

packInfix :: String -> Ident Source #

unpackIdent :: Ident -> String Source #

mkIdent :: Text -> Ident Source #

mkInfix :: Text -> Ident Source #

isInfixIdent :: Ident -> Bool Source #

nullIdent :: Ident -> Bool Source #

identText :: Ident -> Text Source #

preludeName :: ModName Source #

interactiveName :: ModName Source #