what4-1.6.3: Solver-agnostic symbolic values support for issuing queries

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

What4.FunctionName

Contents

- FunctionName

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

Instances details

IsString FunctionName Source # |
Instance details Defined in What4.FunctionName Methods fromString :: String -> FunctionName Source #
Show FunctionName Source # |
Instance details Defined in What4.FunctionName Methods showsPrec :: Int -> FunctionName -> ShowS Source # show :: FunctionName -> String Source # showList :: [FunctionName] -> ShowS Source #
Eq FunctionName Source # |
Instance details Defined in What4.FunctionName Methods (==) :: FunctionName -> FunctionName -> Bool Source # (/=) :: FunctionName -> FunctionName -> Bool Source #
Ord FunctionName Source # |

Instance details

Defined in What4.FunctionName

Methods

compare :: FunctionName -> FunctionName -> Ordering Source #

(<) :: FunctionName -> FunctionName -> Bool Source #

(<=) :: FunctionName -> FunctionName -> Bool Source #

(>) :: FunctionName -> FunctionName -> Bool Source #

(>=) :: FunctionName -> FunctionName -> Bool Source #

max :: FunctionName -> FunctionName -> FunctionName Source #

min :: FunctionName -> FunctionName -> FunctionName Source #

Hashable FunctionName Source # |
Instance details Defined in What4.FunctionName Methods hashWithSalt :: Int -> FunctionName -> Int Source # hash :: FunctionName -> Int Source #
Pretty FunctionName Source # |
Instance details Defined in What4.FunctionName Methods pretty :: FunctionName -> Doc ann Source # prettyList :: [FunctionName] -> Doc ann Source #

functionName :: FunctionName -> Text Source #

functionNameFromText :: Text -> FunctionName Source #

startFunctionName :: FunctionName Source #

Name of function for starting simulator.