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

FunctionName

For our purposes, a function name is just unicode text. Individual languages may want to further restrict names.

Instances

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 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 #
Show FunctionName Source #
Instance details Defined in What4.FunctionName Methods showsPrec :: Int -> FunctionName -> ShowS # show :: FunctionName -> String # showList :: [FunctionName] -> ShowS #
IsString FunctionName Source #
Instance details Defined in What4.FunctionName Methods fromString :: String -> FunctionName #
Pretty FunctionName Source #
Instance details Defined in What4.FunctionName Methods pretty :: FunctionName -> Doc # prettyList :: [FunctionName] -> Doc #
Hashable FunctionName Source #
Instance details Defined in What4.FunctionName Methods hashWithSalt :: Int -> FunctionName -> Int # hash :: FunctionName -> Int #

Name of function for starting simulator.