Copyright | (c) Galois Inc 2014-2020 |
---|---|
License | BSD3 |
Maintainer | Joe Hendrix <jhendrix@galois.com> |
Stability | provisional |
Safe Haskell | None |
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.