Graphics.Image.Interface.Repa

Construction

makeImage

Arguments

:: Array RD cs Double

=> (Int, Int)

(m rows, n columns) - dimensions of a new image.

-> ((Int, Int) -> Pixel cs Double)

A function that takes (i-th row, and j-th column) as an argument and returns a pixel for that location.

-> Image RD cs Double

Create a delayed representation of an image.

IO

readImageY :: FilePath -> IO (Image RD Y Double)

Read image as luma (brightness).

readImageYA :: FilePath -> IO (Image RD YA Double)

Read image as luma with Alpha channel.

readImageRGB :: FilePath -> IO (Image RD RGB Double)

Read image in RGB colorspace.

readImageRGBA :: FilePath -> IO (Image RD RGBA Double)

Read image in RGB colorspace with Alpha channel.

Computation

computeS :: (Array arr cs e, Array RS cs e, Exchangable arr RS) => Image arr cs e -> Image RS cs e

Computes an image sequentially and ensures that all elements are evaluated.

computeP :: (Array arr cs e, Array RP cs e, Exchangable arr RP) => Image arr cs e -> Image RP cs e

Computes an image in parallel and ensures that all elements are evaluated.

delay :: (ManifestArray arr cs e, Array RD cs e, Exchangable arr RD) => Image arr cs e -> Image RD cs e

Delays an image, so further operations can be fused together.

Representation

data RD

Repa Delayed Array representation, which allows for fusion of computation.

Constructors

RD

Instances

Show RD

Exchangable RS RD

O(1) - Delays manifest array.

Exchangable RP RD

O(1) - Delays manifest array.

Exchangable RD RS

Computes delayed array sequentially.

Exchangable RD RP

Computes delayed array in parallel.

Elt RD cs e => Array RD cs e

data Image RD

• = RScalar !(Pixel cs e)
• | RUImage !(Array U DIM2 (Pixel cs e))
• | RDImage !(Array D DIM2 (Pixel cs e))

type Elt RD cs e = (ColorSpace cs, Num e, Typeable * e, Elt e, Unbox e, Elt (PixelElt cs e), Unbox (PixelElt cs e), Elt (Pixel cs e), Unbox (Pixel cs e))

data RS

Repa Unboxed Array representation, which is computed sequentially.

Constructors

RS

Instances

Show RS

Exchangable VU RS

O(1) - Changes to Repa representation.

Exchangable RS VU

O(1) - Changes to Vector representation.

Exchangable RS RP

O(1) - Changes computation strategy.

Exchangable RS RD

O(1) - Delays manifest array.

Exchangable RP RS

O(1) - Changes computation strategy.

Exchangable RD RS

Computes delayed array sequentially.

ManifestArray RS cs e => MutableArray RS cs e

ManifestArray RS cs e => SequentialArray RS cs e

Array RS cs e => ManifestArray RS cs e

Elt RS cs e => Array RS cs e

data Image RS = RSImage !(Image RD cs e)

type Elt RS cs e = (ColorSpace cs, Elt e, Unbox e, Num e, Typeable * e, Elt (PixelElt cs e), Unbox (PixelElt cs e), Elt (Pixel cs e), Unbox (Pixel cs e))

data MImage st RS cs e = MRSImage !(MImage st VU cs e)

data RP

Repa Unboxed Array representation, which is computed in parallel.

Constructors

RP

Instances

Show RP

Exchangable VU RP

O(1) - Changes to Repa representation.

Exchangable RS RP

O(1) - Changes computation strategy.

Exchangable RP VU

O(1) - Changes to Vector representation.

Exchangable RP RS

O(1) - Changes computation strategy.

Exchangable RP RD

O(1) - Delays manifest array.

Exchangable RD RP

Computes delayed array in parallel.

Array RP cs e => ManifestArray RP cs e

Elt RP cs e => Array RP cs e

data Image RP = RPImage !(Image RD cs e)

type Elt RP cs e = (ColorSpace cs, Elt e, Unbox e, Num e, Typeable * e, Elt (PixelElt cs e), Unbox (PixelElt cs e), Elt (Pixel cs e), Unbox (Pixel cs e))