Libraries.Synthesis.SymReal

Symbolic real number expressions

data SymReal

Conversion to real number types

class ToReal a

Dynamic conversion to FixedPrec

dynamic_fixedprec

dynamic_fixedprec2

A parser for real number expressions

Grammar specification

integer

float

const_pi

const_e

negative

positive

plus_term

minus_term

times_term

div_term

power_term

unary_fun

unary_op

binary_fun

binary_op

exp6

exp7

exp8

exp10

parenthesized

expression

Top-level parser

parse_SymReal