| Copyright | (c) Galois Inc 2014-2020 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Stability | provisional |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
What4.FunctionName
Contents
Description
This provides a basic data type for function names.
Synopsis
- data FunctionName
- functionName :: FunctionName -> Text
- functionNameFromText :: Text -> FunctionName
- startFunctionName :: FunctionName
FunctionName
data FunctionName Source #
For our purposes, a function name is just unicode text. Individual languages may want to further restrict names.
Instances
| IsString FunctionName Source # | |
Defined in What4.FunctionName Methods fromString :: String -> FunctionName | |
| Show FunctionName Source # | |
Defined in What4.FunctionName Methods showsPrec :: Int -> FunctionName -> ShowS show :: FunctionName -> String showList :: [FunctionName] -> ShowS | |
| Eq FunctionName Source # | |
Defined in What4.FunctionName | |
| Ord FunctionName Source # | |
Defined in What4.FunctionName Methods compare :: FunctionName -> FunctionName -> Ordering (<) :: FunctionName -> FunctionName -> Bool (<=) :: FunctionName -> FunctionName -> Bool (>) :: FunctionName -> FunctionName -> Bool (>=) :: FunctionName -> FunctionName -> Bool max :: FunctionName -> FunctionName -> FunctionName min :: FunctionName -> FunctionName -> FunctionName | |
| Hashable FunctionName Source # | |
Defined in What4.FunctionName | |
| Pretty FunctionName Source # | |
Defined in What4.FunctionName | |
functionName :: FunctionName -> Text Source #
functionNameFromText :: Text -> FunctionName Source #
startFunctionName :: FunctionName Source #
Name of function for starting simulator.