Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
data NoSignedZeros Source #
Instances
Show NoSignedZeros Source # | |
Defined in LLVM.Extra.FastMath showsPrec :: Int -> NoSignedZeros -> ShowS # show :: NoSignedZeros -> String # showList :: [NoSignedZeros] -> ShowS # | |
Eq NoSignedZeros Source # | |
Defined in LLVM.Extra.FastMath (==) :: NoSignedZeros -> NoSignedZeros -> Bool # (/=) :: NoSignedZeros -> NoSignedZeros -> Bool # | |
Flags NoSignedZeros Source # | |
Defined in LLVM.Extra.FastMath setFlags :: IsFloating a => Proxy NoSignedZeros -> Bool -> Value a -> CodeGenFunction r () Source # |
data AllowReciprocal Source #
Instances
Show AllowReciprocal Source # | |
Defined in LLVM.Extra.FastMath showsPrec :: Int -> AllowReciprocal -> ShowS # show :: AllowReciprocal -> String # showList :: [AllowReciprocal] -> ShowS # | |
Eq AllowReciprocal Source # | |
Defined in LLVM.Extra.FastMath (==) :: AllowReciprocal -> AllowReciprocal -> Bool # (/=) :: AllowReciprocal -> AllowReciprocal -> Bool # | |
Flags AllowReciprocal Source # | |
Defined in LLVM.Extra.FastMath setFlags :: IsFloating a => Proxy AllowReciprocal -> Bool -> Value a -> CodeGenFunction r () Source # |
class Flags flags where Source #
Instances
Flags AllowReciprocal Source # | |
Defined in LLVM.Extra.FastMath setFlags :: IsFloating a => Proxy AllowReciprocal -> Bool -> Value a -> CodeGenFunction r () Source # | |
Flags Fast Source # | |
Defined in LLVM.Extra.FastMath | |
Flags NoInfs Source # | |
Defined in LLVM.Extra.FastMath | |
Flags NoNaNs Source # | |
Defined in LLVM.Extra.FastMath | |
Flags NoSignedZeros Source # | |
Defined in LLVM.Extra.FastMath setFlags :: IsFloating a => Proxy NoSignedZeros -> Bool -> Value a -> CodeGenFunction r () Source # | |
(Flags f0, Flags f1) => Flags (f0, f1) Source # | |
Defined in LLVM.Extra.FastMath | |
(Flags f0, Flags f1, Flags f2) => Flags (f0, f1, f2) Source # | |
Defined in LLVM.Extra.FastMath | |
(Flags f0, Flags f1, Flags f2, Flags f3) => Flags (f0, f1, f2, f3) Source # | |
Defined in LLVM.Extra.FastMath | |
(Flags f0, Flags f1, Flags f2, Flags f3, Flags f4) => Flags (f0, f1, f2, f3, f4) Source # | |
Defined in LLVM.Extra.FastMath |
newtype Number flags a Source #
Number | |
|
Instances
class C a => MultiValue a where Source #
setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags a) -> CodeGenFunction r () Source #
Instances
MultiValue Double Source # | |
Defined in LLVM.Extra.FastMath setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Double) -> CodeGenFunction r () Source # | |
MultiValue Float Source # | |
Defined in LLVM.Extra.FastMath setMultiValueFlags :: Flags flags => Proxy flags -> Bool -> T (Number flags Float) -> CodeGenFunction r () Source # |
attachMultiValueFlags :: (Flags flags, MultiValue a) => Id (CodeGenFunction r (T (Number flags a))) Source #
liftNumberM :: (m ~ CodeGenFunction r, Flags flags, MultiValue b) => (T a -> m (T b)) -> T (Number flags a) -> m (T (Number flags b)) Source #
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)) Source #
class (MultiValue a, C a) => MultiVector a where Source #
setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags a) -> CodeGenFunction r () Source #
Instances
MultiVector Double Source # | |
Defined in LLVM.Extra.FastMath setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Double) -> CodeGenFunction r () Source # | |
MultiVector Float Source # | |
Defined in LLVM.Extra.FastMath setMultiVectorFlags :: (Flags flags, Positive n) => Proxy flags -> Bool -> T n (Number flags Float) -> CodeGenFunction r () Source # |
attachMultiVectorFlags :: (Positive n, Flags flags, MultiVector a) => Id (CodeGenFunction r (T n (Number flags a))) Source #
liftMultiVectorM :: (m ~ CodeGenFunction r, Positive n, Flags flags, MultiVector b) => (T n a -> m (T n b)) -> T n (Number flags a) -> m (T n (Number flags b)) Source #
liftMultiVectorM2 :: (m ~ CodeGenFunction r, Positive n, Flags flags, MultiVector c) => (T n a -> T n b -> m (T n c)) -> T n (Number flags a) -> T n (Number flags b) -> m (T n (Number flags c)) Source #
setTupleFlags :: Flags flags => Proxy flags -> Bool -> a -> CodeGenFunction r () Source #
Instances
IsFloating a => Tuple (Value a) Source # | |
Defined in LLVM.Extra.FastMath setTupleFlags :: Flags flags => Proxy flags -> Bool -> Value a -> CodeGenFunction r () Source # |
newtype Context flags a Source #
Context a |
Instances
attachTupleFlags :: (Flags flags, Tuple a) => Id (CodeGenFunction r (Context flags a)) Source #
liftContext :: (Flags flags, Tuple b) => (a -> CodeGenFunction r b) -> Context flags a -> CodeGenFunction r (Context flags b) Source #
liftContext2 :: (Flags flags, Tuple c) => (a -> b -> CodeGenFunction r c) -> Context flags a -> Context flags b -> CodeGenFunction r (Context flags c) Source #