Data.Repa.Eval.Elt

Values that can be stored in Repa Arrays.

Documentation

class Elt a where

Element types that can be used with the blockwise filling functions.

This class is mainly used to define the touch method. This is used internally in the imeplementation of Repa to prevent let-binding from being floated inappropriately by the GHC simplifier. Doing a seq sometimes isn't enough, because the GHC simplifier can erase these, and still move around the bindings.

This class supports the generic deriving mechanism, use deriving instance Elt (TYPE)

Minimal complete definition

Nothing

Methods

touch :: a -> IO ()

Place a demand on a value at a particular point in an IO computation.

default touch :: (Generic a, GElt (Rep a)) => a -> IO ()

zero :: a

Generic zero value, helpful for debugging.

default zero :: (Generic a, GElt (Rep a)) => a

one :: a

Generic one value, helpful for debugging.

default one :: (Generic a, GElt (Rep a)) => a

Instances

Elt Int16

Defined in Data.Repa.Eval.Elt

Methods

touch :: Int16 -> IO ()

zero :: Int16

one :: Int16

Elt Int32

Defined in Data.Repa.Eval.Elt

Methods

touch :: Int32 -> IO ()

zero :: Int32

one :: Int32

Elt Int64

Defined in Data.Repa.Eval.Elt

Methods

touch :: Int64 -> IO ()

zero :: Int64

one :: Int64

Elt Int8

Defined in Data.Repa.Eval.Elt

Methods

touch :: Int8 -> IO ()

zero :: Int8

one :: Int8

Elt Word16

Defined in Data.Repa.Eval.Elt

Methods

touch :: Word16 -> IO ()

zero :: Word16

one :: Word16

Elt Word32

Defined in Data.Repa.Eval.Elt

Methods

touch :: Word32 -> IO ()

zero :: Word32

one :: Word32

Elt Word64

Defined in Data.Repa.Eval.Elt

Methods

touch :: Word64 -> IO ()

zero :: Word64

one :: Word64

Elt Word8

Defined in Data.Repa.Eval.Elt

Methods

touch :: Word8 -> IO ()

zero :: Word8

one :: Word8

Elt Bool

Defined in Data.Repa.Eval.Elt

Methods

touch :: Bool -> IO ()

zero :: Bool

one :: Bool

Elt Char

Defined in Data.Repa.Eval.Elt

Methods

touch :: Char -> IO ()

zero :: Char

one :: Char

Elt Double

Defined in Data.Repa.Eval.Elt

Methods

touch :: Double -> IO ()

zero :: Double

one :: Double

Elt Float

Defined in Data.Repa.Eval.Elt

Methods

touch :: Float -> IO ()

zero :: Float

one :: Float

Elt Int

Defined in Data.Repa.Eval.Elt

Methods

touch :: Int -> IO ()

zero :: Int

one :: Int

Elt Word

Defined in Data.Repa.Eval.Elt

Methods

touch :: Word -> IO ()

zero :: Word

one :: Word

(Elt a, Elt b) => Elt (a, b)

Defined in Data.Repa.Eval.Elt

Methods

touch :: (a, b) -> IO ()

zero :: (a, b)

one :: (a, b)

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

Defined in Data.Repa.Eval.Elt

Methods

touch :: (a, b, c) -> IO ()

zero :: (a, b, c)

one :: (a, b, c)

(Elt a, Elt b, Elt c, Elt d) => Elt (a, b, c, d)

Defined in Data.Repa.Eval.Elt

Methods

touch :: (a, b, c, d) -> IO ()

zero :: (a, b, c, d)

one :: (a, b, c, d)

(Elt a, Elt b, Elt c, Elt d, Elt e) => Elt (a, b, c, d, e)

Defined in Data.Repa.Eval.Elt

Methods

touch :: (a, b, c, d, e) -> IO ()

zero :: (a, b, c, d, e)

one :: (a, b, c, d, e)

(Elt a, Elt b, Elt c, Elt d, Elt e, Elt f) => Elt (a, b, c, d, e, f)

Defined in Data.Repa.Eval.Elt

Methods

touch :: (a, b, c, d, e, f) -> IO ()

zero :: (a, b, c, d, e, f)

one :: (a, b, c, d, e, f)