Safe Haskell | None |
---|
- min :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)
- max :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)
- abs :: IsArithmetic a => Value a -> CodeGenFunction r (Value a)
- truncate :: IsFloating a => Value a -> CodeGenFunction r (Value a)
- floor :: IsFloating a => Value a -> CodeGenFunction r (Value a)
- maybeUAddSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))
- maybeSAddSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))
- maybeUSubSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))
- maybeSSubSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))
- call1 :: IsFirstClass a => String -> Value a -> CodeGenFunction r (Value a)
- call2 :: IsFirstClass a => String -> Value a -> Value a -> CodeGenFunction r (Value a)
Documentation
min :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)Source
max :: IsArithmetic a => Value a -> Value a -> CodeGenFunction r (Value a)Source
abs :: IsArithmetic a => Value a -> CodeGenFunction r (Value a)Source
truncate :: IsFloating a => Value a -> CodeGenFunction r (Value a)Source
floor :: IsFloating a => Value a -> CodeGenFunction r (Value a)Source
maybeUAddSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))Source
Available since LLVM-8.
maybeSAddSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))Source
Available since LLVM-8.
maybeUSubSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))Source
Available since LLVM-8.
maybeSSubSat :: IsInteger a => Maybe (Value a -> Value a -> CodeGenFunction r (Value a))Source
Available since LLVM-8.
call1 :: IsFirstClass a => String -> Value a -> CodeGenFunction r (Value a)Source
call2 :: IsFirstClass a => String -> Value a -> Value a -> CodeGenFunction r (Value a)Source