LLVM.Extra.Arithmetic

arithmetic: generalized and improved type inference

class Zero a => Additive a where

This and the following type classes are intended for arithmetic operations on wrappers around LLVM types. E.g. you might define a fixed point fraction type by

newtype Fixed = Fixed Int32

and then use the same methods for floating point and fixed point arithmetic.

In contrast to the arithmetic methods in the llvm wrapper, in our methods the types of operands and result match. Advantage: Type inference determines most of the types automatically. Disadvantage: You cannot use constant values directly, but you have to convert them all to Value.

Methods

zero :: a

add :: a -> a -> CodeGenFunction r a

sub :: a -> a -> CodeGenFunction r a

neg :: a -> CodeGenFunction r a

Instances

Additive a => Additive (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

zero :: T a

add :: T a -> T a -> CodeGenFunction r (T a)

sub :: T a -> T a -> CodeGenFunction r (T a)

neg :: T a -> CodeGenFunction r (T a)

Additive a => Additive (T a)

Defined in LLVM.Extra.Scalar

Methods

zero :: T a

add :: T a -> T a -> CodeGenFunction r (T a)

sub :: T a -> T a -> CodeGenFunction r (T a)

neg :: T a -> CodeGenFunction r (T a)

IsInteger a => Additive (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Methods

zero :: ConstValue a

add :: ConstValue a -> ConstValue a -> CodeGenFunction r (ConstValue a)

sub :: ConstValue a -> ConstValue a -> CodeGenFunction r (ConstValue a)

neg :: ConstValue a -> CodeGenFunction r (ConstValue a)

IsArithmetic a => Additive (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

zero :: Value a

add :: Value a -> Value a -> CodeGenFunction r (Value a)

sub :: Value a -> Value a -> CodeGenFunction r (Value a)

neg :: Value a -> CodeGenFunction r (Value a)

(Flags flags, Tuple a, Additive a) => Additive (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

zero :: Context flags a

add :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

sub :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

neg :: Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, Additive a) => Additive (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

zero :: T n a

add :: T n a -> T n a -> CodeGenFunction r (T n a)

sub :: T n a -> T n a -> CodeGenFunction r (T n a)

neg :: T n a -> CodeGenFunction r (T n a)

(Additive a, Additive b) => Additive (a, b)

Defined in LLVM.Extra.Arithmetic

Methods

zero :: (a, b)

add :: (a, b) -> (a, b) -> CodeGenFunction r (a, b)

sub :: (a, b) -> (a, b) -> CodeGenFunction r (a, b)

neg :: (a, b) -> CodeGenFunction r (a, b)

(Additive a, Additive b, Additive c) => Additive (a, b, c)

Defined in LLVM.Extra.Arithmetic

Methods

zero :: (a, b, c)

add :: (a, b, c) -> (a, b, c) -> CodeGenFunction r (a, b, c)

sub :: (a, b, c) -> (a, b, c) -> CodeGenFunction r (a, b, c)

neg :: (a, b, c) -> CodeGenFunction r (a, b, c)

one :: IntegerConstant a => a

inc :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)

dec :: (IsArithmetic a, IsConst a, Num a) => Value a -> CodeGenFunction r (Value a)

class Additive a => PseudoRing a where

Methods

mul :: a -> a -> CodeGenFunction r a

Instances

PseudoRing a => PseudoRing (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

mul :: T a -> T a -> CodeGenFunction r (T a)

PseudoRing a => PseudoRing (T a)

Defined in LLVM.Extra.Scalar

Methods

mul :: T a -> T a -> CodeGenFunction r (T a)

IsInteger v => PseudoRing (ConstValue v)

Defined in LLVM.Extra.Arithmetic

Methods

mul :: ConstValue v -> ConstValue v -> CodeGenFunction r (ConstValue v)

IsArithmetic v => PseudoRing (Value v)

Defined in LLVM.Extra.Arithmetic

Methods

mul :: Value v -> Value v -> CodeGenFunction r (Value v)

(Flags flags, PseudoRing a, Tuple a) => PseudoRing (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

mul :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, PseudoRing a) => PseudoRing (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

mul :: T n a -> T n a -> CodeGenFunction r (T n a)

square :: PseudoRing a => a -> CodeGenFunction r a

type family Scalar vector

Instances

type Scalar (T a)

Defined in LLVM.Extra.Multi.Value.Private

type Scalar (T a) = T (Scalar a)

type Scalar (T a)

Defined in LLVM.Extra.Scalar

type Scalar (T a) = T a

type Scalar (ConstValue a)

Defined in LLVM.Extra.Arithmetic

type Scalar (ConstValue a) = ConstValue (Scalar a)

type Scalar (Value a)

Defined in LLVM.Extra.Arithmetic

type Scalar (Value a) = Value (Scalar a)

type Scalar (Context flags a)

Defined in LLVM.Extra.FastMath

type Scalar (Context flags a) = Context flags (Scalar a)

type Scalar (T n a)

Defined in LLVM.Extra.Multi.Vector

type Scalar (T n a) = T n (Scalar a)

class (PseudoRing (Scalar v), Additive v) => PseudoModule v where

Methods

scale :: Scalar v -> v -> CodeGenFunction r v

Instances

PseudoModule a => PseudoModule (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

scale :: Scalar (T a) -> T a -> CodeGenFunction r (T a)

PseudoRing a => PseudoModule (T a)

Defined in LLVM.Extra.Scalar

Methods

scale :: Scalar (T a) -> T a -> CodeGenFunction r (T a)

PseudoModule v => PseudoModule (Value v)

Defined in LLVM.Extra.Arithmetic

Methods

scale :: Scalar (Value v) -> Value v -> CodeGenFunction r (Value v)

(Flags flags, PseudoModule v, Tuple v, Scalar v ~ a, Tuple a) => PseudoModule (Context flags v)

Defined in LLVM.Extra.FastMath

Methods

scale :: Scalar (Context flags v) -> Context flags v -> CodeGenFunction r (Context flags v)

(Positive n, PseudoModule a) => PseudoModule (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

scale :: Scalar (T n a) -> T n a -> CodeGenFunction r (T n a)

class PseudoRing a => Field a where

Methods

fdiv :: a -> a -> CodeGenFunction r a

Instances

Field a => Field (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

fdiv :: T a -> T a -> CodeGenFunction r (T a)

Field a => Field (T a)

Defined in LLVM.Extra.Scalar

Methods

fdiv :: T a -> T a -> CodeGenFunction r (T a)

IsFloating v => Field (Value v)

Defined in LLVM.Extra.Arithmetic

Methods

fdiv :: Value v -> Value v -> CodeGenFunction r (Value v)

(Flags flags, Tuple v, Field v) => Field (Context flags v)

Defined in LLVM.Extra.FastMath

Methods

fdiv :: Context flags v -> Context flags v -> CodeGenFunction r (Context flags v)

(Positive n, Field a) => Field (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

fdiv :: T n a -> T n a -> CodeGenFunction r (T n a)

class IntegerConstant a where

Methods

fromInteger' :: Integer -> a

Instances

IntegerConstant a => IntegerConstant (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

fromInteger' :: Integer -> T a

IntegerConstant a => IntegerConstant (T a)

Defined in LLVM.Extra.Scalar

Methods

fromInteger' :: Integer -> T a

IntegerConstant a => IntegerConstant (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Methods

fromInteger' :: Integer -> ConstValue a

IntegerConstant a => IntegerConstant (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

fromInteger' :: Integer -> Value a

(Flags flags, Tuple a, IntegerConstant a) => IntegerConstant (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fromInteger' :: Integer -> Context flags a

(Positive n, IntegerConstant a) => IntegerConstant (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

fromInteger' :: Integer -> T n a

class IntegerConstant a => RationalConstant a where

Methods

fromRational' :: Rational -> a

Instances

RationalConstant a => RationalConstant (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

fromRational' :: Rational -> T a

RationalConstant a => RationalConstant (T a)

Defined in LLVM.Extra.Scalar

Methods

fromRational' :: Rational -> T a

RationalConstant a => RationalConstant (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Methods

fromRational' :: Rational -> ConstValue a

RationalConstant a => RationalConstant (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

fromRational' :: Rational -> Value a

(Flags flags, Tuple a, RationalConstant a) => RationalConstant (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fromRational' :: Rational -> Context flags a

(Positive n, RationalConstant a) => RationalConstant (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

fromRational' :: Rational -> T n a

idiv :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

In Haskell terms this is a quot.

irem :: IsInteger a => Value a -> Value a -> CodeGenFunction r (Value a)

class Comparison a => FloatingComparison a where

Methods

fcmp :: FPPredicate -> a -> a -> CodeGenFunction r (CmpResult a)

Instances

FloatingComparison a => FloatingComparison (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

fcmp :: FPPredicate -> T a -> T a -> CodeGenFunction r (CmpResult (T a))

(IsFloating a, CmpRet a) => FloatingComparison (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Methods

fcmp :: FPPredicate -> ConstValue a -> ConstValue a -> CodeGenFunction r (CmpResult (ConstValue a))

(IsFloating a, CmpRet a) => FloatingComparison (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

fcmp :: FPPredicate -> Value a -> Value a -> CodeGenFunction r (CmpResult (Value a))

(Flags flags, Tuple a, FloatingComparison a) => FloatingComparison (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

fcmp :: FPPredicate -> Context flags a -> Context flags a -> CodeGenFunction r (CmpResult (Context flags a))

(Positive n, FloatingComparison a) => FloatingComparison (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

fcmp :: FPPredicate -> T n a -> T n a -> CodeGenFunction r (CmpResult (T n a))

class Comparison a where

Methods

cmp :: CmpPredicate -> a -> a -> CodeGenFunction r (CmpResult a)

Instances

Comparison a => Comparison (T a)

Defined in LLVM.Extra.Multi.Value.Private

Associated Types

type CmpResult (T a)

Methods

cmp :: CmpPredicate -> T a -> T a -> CodeGenFunction r (CmpResult (T a))

CmpRet a => Comparison (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Associated Types

type CmpResult (ConstValue a)

Methods

cmp :: CmpPredicate -> ConstValue a -> ConstValue a -> CodeGenFunction r (CmpResult (ConstValue a))

CmpRet a => Comparison (Value a)

Defined in LLVM.Extra.Arithmetic

Associated Types

type CmpResult (Value a)

Methods

cmp :: CmpPredicate -> Value a -> Value a -> CodeGenFunction r (CmpResult (Value a))

(Flags flags, Tuple a, Comparison a) => Comparison (Context flags a)

Defined in LLVM.Extra.FastMath

Associated Types

type CmpResult (Context flags a)

Methods

cmp :: CmpPredicate -> Context flags a -> Context flags a -> CodeGenFunction r (CmpResult (Context flags a))

(Positive n, Comparison a) => Comparison (T n a)

Defined in LLVM.Extra.Multi.Vector

Associated Types

type CmpResult (T n a)

Methods

cmp :: CmpPredicate -> T n a -> T n a -> CodeGenFunction r (CmpResult (T n a))

type family CmpResult a

Instances

type CmpResult (T a)

Defined in LLVM.Extra.Multi.Value.Private

type CmpResult (T a) = T Bool

type CmpResult (ConstValue a)

Defined in LLVM.Extra.Arithmetic

type CmpResult (ConstValue a) = ConstValue (CmpResult a)

type CmpResult (Value a)

Defined in LLVM.Extra.Arithmetic

type CmpResult (Value a) = Value (CmpResult a)

type CmpResult (Context flags a)

Defined in LLVM.Extra.FastMath

type CmpResult (Context flags a) = CmpResult a

type CmpResult (T n a)

Defined in LLVM.Extra.Multi.Vector

type CmpResult (T n a) = T n Bool

data CmpPredicate

Constructors

CmpEQ

CmpNE

CmpGT

CmpGE

CmpLT

CmpLE

Instances

Enum CmpPredicate

Defined in LLVM.Core.Instructions.Private

Methods

succ :: CmpPredicate -> CmpPredicate

pred :: CmpPredicate -> CmpPredicate

toEnum :: Int -> CmpPredicate

fromEnum :: CmpPredicate -> Int

enumFrom :: CmpPredicate -> [CmpPredicate]

enumFromThen :: CmpPredicate -> CmpPredicate -> [CmpPredicate]

enumFromTo :: CmpPredicate -> CmpPredicate -> [CmpPredicate]

enumFromThenTo :: CmpPredicate -> CmpPredicate -> CmpPredicate -> [CmpPredicate]

Show CmpPredicate

Defined in LLVM.Core.Instructions.Private

Methods

showsPrec :: Int -> CmpPredicate -> ShowS

show :: CmpPredicate -> String

showList :: [CmpPredicate] -> ShowS

Eq CmpPredicate

Defined in LLVM.Core.Instructions.Private

Methods

(==) :: CmpPredicate -> CmpPredicate -> Bool

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

Ord CmpPredicate

Defined in LLVM.Core.Instructions.Private

Methods

compare :: CmpPredicate -> CmpPredicate -> Ordering

(<) :: CmpPredicate -> CmpPredicate -> Bool

(<=) :: CmpPredicate -> CmpPredicate -> Bool

(>) :: CmpPredicate -> CmpPredicate -> Bool

(>=) :: CmpPredicate -> CmpPredicate -> Bool

max :: CmpPredicate -> CmpPredicate -> CmpPredicate

min :: CmpPredicate -> CmpPredicate -> CmpPredicate

class Logic a where

Methods

and :: a -> a -> CodeGenFunction r a

or :: a -> a -> CodeGenFunction r a

xor :: a -> a -> CodeGenFunction r a

inv :: a -> CodeGenFunction r a

Instances

Logic a => Logic (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

and :: T a -> T a -> CodeGenFunction r (T a)

or :: T a -> T a -> CodeGenFunction r (T a)

xor :: T a -> T a -> CodeGenFunction r (T a)

inv :: T a -> CodeGenFunction r (T a)

IsInteger a => Logic (ConstValue a)

Defined in LLVM.Extra.Arithmetic

Methods

and :: ConstValue a -> ConstValue a -> CodeGenFunction r (ConstValue a)

or :: ConstValue a -> ConstValue a -> CodeGenFunction r (ConstValue a)

xor :: ConstValue a -> ConstValue a -> CodeGenFunction r (ConstValue a)

inv :: ConstValue a -> CodeGenFunction r (ConstValue a)

IsInteger a => Logic (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

and :: Value a -> Value a -> CodeGenFunction r (Value a)

or :: Value a -> Value a -> CodeGenFunction r (Value a)

xor :: Value a -> Value a -> CodeGenFunction r (Value a)

inv :: Value a -> CodeGenFunction r (Value a)

(Positive n, Logic a) => Logic (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

and :: T n a -> T n a -> CodeGenFunction r (T n a)

or :: T n a -> T n a -> CodeGenFunction r (T n a)

xor :: T n a -> T n a -> CodeGenFunction r (T n a)

inv :: T n a -> CodeGenFunction r (T n a)

class Additive a => Real a where

Methods

min :: a -> a -> CodeGenFunction r a

max :: a -> a -> CodeGenFunction r a

abs :: a -> CodeGenFunction r a

signum :: a -> CodeGenFunction r a

Instances

Real a => Real (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

min :: T a -> T a -> CodeGenFunction r (T a)

max :: T a -> T a -> CodeGenFunction r (T a)

abs :: T a -> CodeGenFunction r (T a)

signum :: T a -> CodeGenFunction r (T a)

Real a => Real (T a)

Defined in LLVM.Extra.Scalar

Methods

min :: T a -> T a -> CodeGenFunction r (T a)

max :: T a -> T a -> CodeGenFunction r (T a)

abs :: T a -> CodeGenFunction r (T a)

signum :: T a -> CodeGenFunction r (T a)

Real a => Real (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

min :: Value a -> Value a -> CodeGenFunction r (Value a)

max :: Value a -> Value a -> CodeGenFunction r (Value a)

abs :: Value a -> CodeGenFunction r (Value a)

signum :: Value a -> CodeGenFunction r (Value a)

(Flags flags, Tuple a, Real a) => Real (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

min :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

max :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

abs :: Context flags a -> CodeGenFunction r (Context flags a)

signum :: Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, Real a) => Real (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

min :: T n a -> T n a -> CodeGenFunction r (T n a)

max :: T n a -> T n a -> CodeGenFunction r (T n a)

abs :: T n a -> CodeGenFunction r (T n a)

signum :: T n a -> CodeGenFunction r (T n a)

class Real a => Fraction a where

Methods

truncate :: a -> CodeGenFunction r a

fraction :: a -> CodeGenFunction r a

Instances

Fraction a => Fraction (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

truncate :: T a -> CodeGenFunction r (T a)

fraction :: T a -> CodeGenFunction r (T a)

Fraction a => Fraction (T a)

Defined in LLVM.Extra.Scalar

Methods

truncate :: T a -> CodeGenFunction r (T a)

fraction :: T a -> CodeGenFunction r (T a)

Fraction a => Fraction (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

truncate :: Value a -> CodeGenFunction r (Value a)

fraction :: Value a -> CodeGenFunction r (Value a)

(Flags flags, Tuple a, Fraction a) => Fraction (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

truncate :: Context flags a -> CodeGenFunction r (Context flags a)

fraction :: Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, Fraction a) => Fraction (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

truncate :: T n a -> CodeGenFunction r (T n a)

fraction :: T n a -> CodeGenFunction r (T n a)

signedFraction :: Fraction a => a -> CodeGenFunction r a

addToPhase :: Fraction a => a -> a -> CodeGenFunction r a

incPhase :: Fraction a => a -> a -> CodeGenFunction r a

both increment and phase must be non-negative

pointer arithmetic

advanceArrayElementPtr :: IsType a => Value (Ptr a) -> CodeGenFunction r (Value (Ptr a))

decreaseArrayElementPtr :: IsType a => Value (Ptr a) -> CodeGenFunction r (Value (Ptr a))

transcendental functions

class Field a => Algebraic a where

Methods

sqrt :: a -> CodeGenFunction r a

Instances

Algebraic a => Algebraic (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

sqrt :: T a -> CodeGenFunction r (T a)

Algebraic a => Algebraic (T a)

Defined in LLVM.Extra.Scalar

Methods

sqrt :: T a -> CodeGenFunction r (T a)

IsFloating a => Algebraic (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

sqrt :: Value a -> CodeGenFunction r (Value a)

(Flags flags, Tuple a, Algebraic a) => Algebraic (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

sqrt :: Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, Algebraic a) => Algebraic (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

sqrt :: T n a -> CodeGenFunction r (T n a)

class Algebraic a => Transcendental a where

Methods

pi :: CodeGenFunction r a

sin :: a -> CodeGenFunction r a

cos :: a -> CodeGenFunction r a

exp :: a -> CodeGenFunction r a

log :: a -> CodeGenFunction r a

pow :: a -> a -> CodeGenFunction r a

Instances

Transcendental a => Transcendental (T a)

Defined in LLVM.Extra.Multi.Value.Private

Methods

pi :: CodeGenFunction r (T a)

sin :: T a -> CodeGenFunction r (T a)

cos :: T a -> CodeGenFunction r (T a)

exp :: T a -> CodeGenFunction r (T a)

log :: T a -> CodeGenFunction r (T a)

pow :: T a -> T a -> CodeGenFunction r (T a)

Transcendental a => Transcendental (T a)

Defined in LLVM.Extra.Scalar

Methods

pi :: CodeGenFunction r (T a)

sin :: T a -> CodeGenFunction r (T a)

cos :: T a -> CodeGenFunction r (T a)

exp :: T a -> CodeGenFunction r (T a)

log :: T a -> CodeGenFunction r (T a)

pow :: T a -> T a -> CodeGenFunction r (T a)

(IsFloating a, TranscendentalConstant a) => Transcendental (Value a)

Defined in LLVM.Extra.Arithmetic

Methods

pi :: CodeGenFunction r (Value a)

sin :: Value a -> CodeGenFunction r (Value a)

cos :: Value a -> CodeGenFunction r (Value a)

exp :: Value a -> CodeGenFunction r (Value a)

log :: Value a -> CodeGenFunction r (Value a)

pow :: Value a -> Value a -> CodeGenFunction r (Value a)

(Flags flags, Tuple a, Transcendental a) => Transcendental (Context flags a)

Defined in LLVM.Extra.FastMath

Methods

pi :: CodeGenFunction r (Context flags a)

sin :: Context flags a -> CodeGenFunction r (Context flags a)

cos :: Context flags a -> CodeGenFunction r (Context flags a)

exp :: Context flags a -> CodeGenFunction r (Context flags a)

log :: Context flags a -> CodeGenFunction r (Context flags a)

pow :: Context flags a -> Context flags a -> CodeGenFunction r (Context flags a)

(Positive n, Transcendental a) => Transcendental (T n a)

Defined in LLVM.Extra.Multi.Vector

Methods

pi :: CodeGenFunction r (T n a)

sin :: T n a -> CodeGenFunction r (T n a)

cos :: T n a -> CodeGenFunction r (T n a)

exp :: T n a -> CodeGenFunction r (T n a)

log :: T n a -> CodeGenFunction r (T n a)

pow :: T n a -> T n a -> CodeGenFunction r (T n a)

exp2 :: IsFloating a => Value a -> CodeGenFunction r (Value a)

log2 :: IsFloating a => Value a -> CodeGenFunction r (Value a)

log10 :: IsFloating a => Value a -> CodeGenFunction r (Value a)