what4-1.5.1: Solver-agnostic symbolic values support for issuing queries
Copyright(c) Galois Inc 2014-2020
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellSafe-Inferred
LanguageHaskell2010

What4.FunctionName

Contents

Description

This provides a basic data type for function names.

Synopsis

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

Show FunctionName Source # 
Instance details

Defined in What4.FunctionName

Methods

showsPrec :: Int -> FunctionName -> ShowS

show :: FunctionName -> String

showList :: [FunctionName] -> ShowS

Eq FunctionName Source # 
Instance details

Defined in What4.FunctionName

Methods

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

(/=) :: FunctionName -> FunctionName -> Bool

Ord FunctionName Source # 
Instance details

Defined in What4.FunctionName

Hashable FunctionName Source # 
Instance details

Defined in What4.FunctionName

Methods

hashWithSalt :: Int -> FunctionName -> Int

hash :: FunctionName -> Int

Pretty FunctionName Source # 
Instance details

Defined in What4.FunctionName

Methods

pretty :: FunctionName -> Doc ann

prettyList :: [FunctionName] -> Doc ann

startFunctionName :: FunctionName Source #

Name of function for starting simulator.