LLVM.Extra.FastMath

Documentation

data NoNaNs

Constructors

NoNaNs

Instances

Eq NoNaNs

Show NoNaNs

Flags NoNaNs

data NoInfs

Constructors

NoInfs

Instances

Eq NoInfs

Show NoInfs

Flags NoInfs

data NoSignedZeros

Constructors

NoSignedZeros

Instances

Eq NoSignedZeros

Show NoSignedZeros

Flags NoSignedZeros

data AllowReciprocal

Constructors

AllowReciprocal

Instances

Eq AllowReciprocal

Show AllowReciprocal

Flags AllowReciprocal

data Fast

Constructors

Fast

Instances

Eq Fast

Show Fast

Flags Fast

class Flags flags where

Methods

setFlags :: IsFloating a => Proxy flags -> Bool -> Value a -> CodeGenFunction r ()

Instances

Flags Fast

Flags AllowReciprocal

Flags NoSignedZeros

Flags NoInfs

Flags NoNaNs

(Flags f0, Flags f1) => Flags (f0, f1)

(Flags f0, Flags f1, Flags f2) => Flags (f0, f1, f2)

(Flags f0, Flags f1, Flags f2, Flags f3) => Flags (f0, f1, f2, f3)

(Flags f0, Flags f1, Flags f2, Flags f3, Flags f4) => Flags (f0, f1, f2, f3, f4)

setSplitFlags :: (Flags split, IsFloating a) => (flags -> split) -> Proxy flags -> Bool -> Value a -> CodeGenFunction r ()

newtype Number flags a

Constructors

Number

Fields

deconsNumber :: a

Instances

Eq a => Eq (Number flags a)

Floating a => Floating (Number flags a)

Fractional a => Fractional (Number flags a)

Num a => Num (Number flags a)

Ord a => Ord (Number flags a)

Show a => Show (Number flags a)

Storable a => Storable (Number flags a)

(Flags flags, MultiValue a, FloatingComparison a) => FloatingComparison (Number flags a)

(Flags flags, MultiValue a, Comparison a) => Comparison (Number flags a)

(Flags flags, MultiValue a, Select a) => Select (Number flags a)

(Flags flags, MultiValue a, Transcendental a) => Transcendental (Number flags a)

(Flags flags, MultiValue a, Algebraic a) => Algebraic (Number flags a)

(Flags flags, MultiValue a, Fraction a) => Fraction (Number flags a)

(Flags flags, MultiValue a, Real a) => Real (Number flags a)

(Flags flags, MultiValue a, ~ * a (Scalar v), MultiValue v, PseudoModule v) => PseudoModule (Number flags v)

(Flags flags, MultiValue a, Field a) => Field (Number flags a)

(Flags flags, MultiValue a, PseudoRing a) => PseudoRing (Number flags a)

(Flags flags, MultiValue a, Additive a) => Additive (Number flags a)

(Flags flags, MultiValue a, RationalConstant a) => RationalConstant (Number flags a)

(Flags flags, MultiValue a, IntegerConstant a) => IntegerConstant (Number flags a)

(Flags flags, Decompose pa) => Decompose (Number flags pa)

(Flags flags, Compose a) => Compose (Number flags a)

MultiValue a => C (Number flags a)

getNumber :: flags -> Number flags a -> a

mvNumber :: T a -> T (Number flags a)

mvDenumber :: T (Number flags a) -> T a

class C a => MultiValue a where

Methods

setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags a) -> CodeGenFunction r ()

Instances

MultiValue Double

MultiValue Float

type Id a = a -> a

attachMultiValueFlags :: (Flags flags, MultiValue a) => Id (CodeGenFunction r (T (Number flags a)))

liftNumberM :: (m ~ CodeGenFunction r, Flags flags, MultiValue b) => (T a -> m (T b)) -> T (Number flags a) -> m (T (Number flags b))

liftNumberM2 :: (m ~ CodeGenFunction r, Flags flags, MultiValue c) => (T a -> T b -> m (T c)) -> T (Number flags a) -> T (Number flags b) -> m (T (Number flags c))

class Tuple a where

Methods

setTupleFlags :: Flags flags => Proxy flags -> Bool -> a -> CodeGenFunction r ()

Instances

IsFloating a => Tuple (Value a)

newtype Context flags a

Constructors

Context a

Instances

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

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

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

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

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

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

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

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

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

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

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

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

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

proxyFromContext :: Context flags a -> Proxy flags

attachTupleFlags :: (Flags flags, Tuple a) => Id (CodeGenFunction r (Context flags a))

liftContext :: (Flags flags, Tuple b) => (a -> CodeGenFunction r b) -> Context flags a -> CodeGenFunction r (Context flags b)

liftContext2 :: (Flags flags, Tuple c) => (a -> b -> CodeGenFunction r c) -> Context flags a -> Context flags b -> CodeGenFunction r (Context flags c)