Copyright | (c) 2015-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
- 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
- preludeExtrasName :: ModName
- interactiveName :: ModName
Documentation
unpackModName :: ModName -> [String] Source #
packModName :: [String] -> ModName 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.
unpackIdent :: Ident -> String Source #
isInfixIdent :: Ident -> Bool Source #