QuipperLib.FPReal

Fixed-precision real arithmetic: the FPReal family

data FPRealX x

type FPReal

type FPRealQ

type FPRealC

Primitive combinators on FPReal

Constructors

fprealx

fpreal_of_double

Destructor

fprealx_case

Other low-level operations

fprealx_expt

fprealx_num

fprealx_length

fprealx_set_expt

fprealx_maybe_expt

fpreal_case

fprealx_equals

Shape parameters

fprealq_shape

fprealc_shape

Circuit type class instances

fpreal_promote

Classical arithmetic on FPReal

double_of_fpreal

fpreal_common_shape

fpreal_binop

fpreal_unop

Shape/precision control

fpreal_pad

fpreal_unpad

intm_fix_length_auto

fpreal_fix_shape_auto

Quantum operations: FPRealQ

Shape/precision control

fprealq_pad

fprealq_unpad

fprealq_shift

Quantum arithmetic

fprealq_add_in_place

fprealq_sub_in_place

fprealq_sub_param_in_place

fprealq_add_param_in_place

fprealq_mult_param_het

fprealq_ge_param

fprealq_add_het

fprealq_logBase_internal

fprealq_log

fprealq_logBase

fprealq_log_with_shape

fprealq_logBase_with_shape