Data.Yarr.Utils.Primitive

Documentation

class Touchable a where

Mainly used to fight against GHC simplifier, which gives no chance to LLVM to perform Global Value Numbering optimization.

Copied from repa, see http://hackage.haskell.org/packages/archive/repa/3.2.3.1/doc/html/Data-Array-Repa-Eval.html

Minimal complete definition

touch

Methods

touch :: a -> IO ()

The function intented to be passed as 3rd parameter to unrolled- functions in Shape class and dim2BlockFill.

If your loading operation is strictly local by elements (in most cases), use noTouch instead of this function.

Instances

Touchable Bool

Methods

touch :: Bool -> IO ()

Touchable Double

Methods

touch :: Double -> IO ()

Touchable Float

Methods

touch :: Float -> IO ()

Touchable Int

Methods

touch :: Int -> IO ()

Touchable Int8

Methods

touch :: Int8 -> IO ()

Touchable Int16

Methods

touch :: Int16 -> IO ()

Touchable Int32

Methods

touch :: Int32 -> IO ()

Touchable Int64

Methods

touch :: Int64 -> IO ()

Touchable Word

Methods

touch :: Word -> IO ()

Touchable Word8

Methods

touch :: Word8 -> IO ()

Touchable Word16

Methods

touch :: Word16 -> IO ()

Touchable Word32

Methods

touch :: Word32 -> IO ()

Touchable Word64

Methods

touch :: Word64 -> IO ()

(Vector v e, Touchable e) => Touchable (v e)

Methods

touch :: v e -> IO ()

noTouch :: a -> IO ()

Alias to (\_ -> return ()).

class PrimitiveOrd a where

GHC simplifier tends to float numeric comparsions as high in execution graph as possible, which in conjunction with loop unrolling sometimes leads to dramatic code bloat.

I'm not sure -M functions work at all, but strict versions defenitely keep comparsions unfloated.

Minimal complete definition

minM, minM', maxM, maxM', clampM, clampM'

Methods

minM :: a -> a -> IO a

Maybe sequential min.

minM' :: a -> a -> IO a

Definetely sequential min.

maxM :: a -> a -> IO a

Maybe sequential max.

maxM' :: a -> a -> IO a

Definetely sequential max.

clampM :: a -> a -> a -> IO a

Maybe sequential clamp.

clampM' :: a -> a -> a -> IO a

Definetely sequential clamp.

Instances

PrimitiveOrd Char

Methods

minM :: Char -> Char -> IO Char

minM' :: Char -> Char -> IO Char

maxM :: Char -> Char -> IO Char

maxM' :: Char -> Char -> IO Char

clampM :: Char -> Char -> Char -> IO Char

clampM' :: Char -> Char -> Char -> IO Char

PrimitiveOrd Double

Methods

minM :: Double -> Double -> IO Double

minM' :: Double -> Double -> IO Double

maxM :: Double -> Double -> IO Double

maxM' :: Double -> Double -> IO Double

clampM :: Double -> Double -> Double -> IO Double

clampM' :: Double -> Double -> Double -> IO Double

PrimitiveOrd Float

Methods

minM :: Float -> Float -> IO Float

minM' :: Float -> Float -> IO Float

maxM :: Float -> Float -> IO Float

maxM' :: Float -> Float -> IO Float

clampM :: Float -> Float -> Float -> IO Float

clampM' :: Float -> Float -> Float -> IO Float

PrimitiveOrd Int

Methods

minM :: Int -> Int -> IO Int

minM' :: Int -> Int -> IO Int

maxM :: Int -> Int -> IO Int

maxM' :: Int -> Int -> IO Int

clampM :: Int -> Int -> Int -> IO Int

clampM' :: Int -> Int -> Int -> IO Int

PrimitiveOrd Word

Methods

minM :: Word -> Word -> IO Word

minM' :: Word -> Word -> IO Word

maxM :: Word -> Word -> IO Word

maxM' :: Word -> Word -> IO Word

clampM :: Word -> Word -> Word -> IO Word

clampM' :: Word -> Word -> Word -> IO Word