Graphics.Image.Interface.Repa

Conversion

toRepaArray :: (Array arr cs e, Array RSU cs e, Exchangable arr RSU) => Image arr cs e -> Array U DIM2 (Pixel cs e)

Retrieve an underlying Repa array from an image.

Representation

data RSU

Repa Array representation backed by Unboxed Vector, which is computed sequentially.

Constructors

RSU

Instances

Show RSU

Methods

showsPrec :: Int -> RSU -> ShowS

show :: RSU -> String

showList :: [RSU] -> ShowS

Exchangable VU RSU

O(1) - Changes to Repa representation.

Methods

exchange :: (Array VU cs e, Array RSU cs e) => RSU -> Image VU cs e -> Image RSU cs e

Exchangable RPU RSU

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RPU cs e, Array RSU cs e) => RSU -> Image RPU cs e -> Image RSU cs e

Exchangable RSU VU

Changes to Vector representation.

Methods

exchange :: (Array RSU cs e, Array VU cs e) => VU -> Image RSU cs e -> Image VU cs e

Exchangable RSU RPU

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RSU cs e, Array RPU cs e) => RPU -> Image RSU cs e -> Image RPU cs e

BaseArray RSU cs e => Array RSU cs e

Associated Types

type Manifest RSU :: *

Methods

makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RSU cs e

makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image RSU cs e

singleton :: Pixel cs e -> Image RSU cs e

index00 :: Image RSU cs e -> Pixel cs e

map :: Array RSU cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RSU cs' e' -> Image RSU cs e

imap :: Array RSU cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RSU cs' e' -> Image RSU cs e

zipWith :: (Array RSU cs1 e1, Array RSU cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RSU cs1 e1 -> Image RSU cs2 e2 -> Image RSU cs e

izipWith :: (Array RSU cs1 e1, Array RSU cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RSU cs1 e1 -> Image RSU cs2 e2 -> Image RSU cs e

traverse :: Array RSU cs' e' => Image RSU cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RSU cs e

traverse2 :: (Array RSU cs1 e1, Array RSU cs2 e2) => Image RSU cs1 e1 -> Image RSU cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RSU cs e

transpose :: Image RSU cs e -> Image RSU cs e

backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RSU cs e -> Image RSU cs e

fromLists :: [[Pixel cs e]] -> Image RSU cs e

(|*|) :: Image RSU cs e -> Image RSU cs e -> Image RSU cs e

fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RSU cs e -> Pixel cs e

foldIx :: (Pixel cs e -> (Int, Int) -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RSU cs e -> Pixel cs e

eq :: Image RSU cs e -> Image RSU cs e -> Bool

compute :: Image RSU cs e -> Image RSU cs e

toManifest :: Image RSU cs e -> Image (Manifest RSU) cs e

SuperClass RSU cs e => BaseArray RSU cs e

Associated Types

type SuperClass RSU cs e :: Constraint

data Image RSU cs e :: *

Methods

dims :: Image RSU cs e -> (Int, Int)

type Manifest RSU

type Manifest RSU = VU

data Image RSU

data Image RSU = SUImage !(Image (RS U) cs e)

type SuperClass RSU cs e

type SuperClass RSU cs e = (ColorSpace cs e, Num (Pixel cs e), Unbox e, Unbox (Components cs e), Elt e, Elt (Pixel cs e))

data RPU

Repa Array representation backed by Unboxed Vector, which is computed in parallel.

Constructors

RPU

Instances

Show RPU

Methods

showsPrec :: Int -> RPU -> ShowS

show :: RPU -> String

showList :: [RPU] -> ShowS

Exchangable VU RPU

O(1) - Changes to Repa representation.

Methods

exchange :: (Array VU cs e, Array RPU cs e) => RPU -> Image VU cs e -> Image RPU cs e

Exchangable RPU VU

Changes to Vector representation.

Methods

exchange :: (Array RPU cs e, Array VU cs e) => VU -> Image RPU cs e -> Image VU cs e

Exchangable RPU RSU

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RPU cs e, Array RSU cs e) => RSU -> Image RPU cs e -> Image RSU cs e

Exchangable RSU RPU

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RSU cs e, Array RPU cs e) => RPU -> Image RSU cs e -> Image RPU cs e

BaseArray RPU cs e => Array RPU cs e

Associated Types

type Manifest RPU :: *

Methods

makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RPU cs e

makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image RPU cs e

singleton :: Pixel cs e -> Image RPU cs e

index00 :: Image RPU cs e -> Pixel cs e

map :: Array RPU cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RPU cs' e' -> Image RPU cs e

imap :: Array RPU cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RPU cs' e' -> Image RPU cs e

zipWith :: (Array RPU cs1 e1, Array RPU cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RPU cs1 e1 -> Image RPU cs2 e2 -> Image RPU cs e

izipWith :: (Array RPU cs1 e1, Array RPU cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RPU cs1 e1 -> Image RPU cs2 e2 -> Image RPU cs e

traverse :: Array RPU cs' e' => Image RPU cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RPU cs e

traverse2 :: (Array RPU cs1 e1, Array RPU cs2 e2) => Image RPU cs1 e1 -> Image RPU cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RPU cs e

transpose :: Image RPU cs e -> Image RPU cs e

backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RPU cs e -> Image RPU cs e

fromLists :: [[Pixel cs e]] -> Image RPU cs e

(|*|) :: Image RPU cs e -> Image RPU cs e -> Image RPU cs e

fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RPU cs e -> Pixel cs e

foldIx :: (Pixel cs e -> (Int, Int) -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RPU cs e -> Pixel cs e

eq :: Image RPU cs e -> Image RPU cs e -> Bool

compute :: Image RPU cs e -> Image RPU cs e

toManifest :: Image RPU cs e -> Image (Manifest RPU) cs e

SuperClass RPU cs e => BaseArray RPU cs e

Associated Types

type SuperClass RPU cs e :: Constraint

data Image RPU cs e :: *

Methods

dims :: Image RPU cs e -> (Int, Int)

type Manifest RPU

type Manifest RPU = VU

data Image RPU

data Image RPU = PUImage !(Image (RP U) cs e)

type SuperClass RPU cs e

type SuperClass RPU cs e = (ColorSpace cs e, Num (Pixel cs e), Unbox e, Unbox (Components cs e), Elt e, Elt (Pixel cs e))

data RSS

Repa Array representation backed by Storable Vector, which is computed sequentially.

Constructors

RSS

Instances

Show RSS

Methods

showsPrec :: Int -> RSS -> ShowS

show :: RSS -> String

showList :: [RSS] -> ShowS

Exchangable VS RSS

O(1) - Changes to Repa representation.

Methods

exchange :: (Array VS cs e, Array RSS cs e) => RSS -> Image VS cs e -> Image RSS cs e

Exchangable RPS RSS

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RPS cs e, Array RSS cs e) => RSS -> Image RPS cs e -> Image RSS cs e

Exchangable RSS VS

Changes to Vector representation.

Methods

exchange :: (Array RSS cs e, Array VS cs e) => VS -> Image RSS cs e -> Image VS cs e

Exchangable RSS RPS

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RSS cs e, Array RPS cs e) => RPS -> Image RSS cs e -> Image RPS cs e

BaseArray RSS cs e => Array RSS cs e

Associated Types

type Manifest RSS :: *

Methods

makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RSS cs e

makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image RSS cs e

singleton :: Pixel cs e -> Image RSS cs e

index00 :: Image RSS cs e -> Pixel cs e

map :: Array RSS cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RSS cs' e' -> Image RSS cs e

imap :: Array RSS cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RSS cs' e' -> Image RSS cs e

zipWith :: (Array RSS cs1 e1, Array RSS cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RSS cs1 e1 -> Image RSS cs2 e2 -> Image RSS cs e

izipWith :: (Array RSS cs1 e1, Array RSS cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RSS cs1 e1 -> Image RSS cs2 e2 -> Image RSS cs e

traverse :: Array RSS cs' e' => Image RSS cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RSS cs e

traverse2 :: (Array RSS cs1 e1, Array RSS cs2 e2) => Image RSS cs1 e1 -> Image RSS cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RSS cs e

transpose :: Image RSS cs e -> Image RSS cs e

backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RSS cs e -> Image RSS cs e

fromLists :: [[Pixel cs e]] -> Image RSS cs e

(|*|) :: Image RSS cs e -> Image RSS cs e -> Image RSS cs e

fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RSS cs e -> Pixel cs e

foldIx :: (Pixel cs e -> (Int, Int) -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RSS cs e -> Pixel cs e

eq :: Image RSS cs e -> Image RSS cs e -> Bool

compute :: Image RSS cs e -> Image RSS cs e

toManifest :: Image RSS cs e -> Image (Manifest RSS) cs e

SuperClass RSS cs e => BaseArray RSS cs e

Associated Types

type SuperClass RSS cs e :: Constraint

data Image RSS cs e :: *

Methods

dims :: Image RSS cs e -> (Int, Int)

type Manifest RSS

type Manifest RSS = VS

data Image RSS

data Image RSS = SSImage !(Image (RS S) cs e)

type SuperClass RSS cs e

type SuperClass RSS cs e = (ColorSpace cs e, Num (Pixel cs e), Storable e, Storable (Pixel cs e), Unbox e, Unbox (Components cs e), Elt e, Elt (Pixel cs e))

data RPS

Repa Array representation backed by Storable Vector, which is computed in parallel.

Constructors

RPS

Instances

Show RPS

Methods

showsPrec :: Int -> RPS -> ShowS

show :: RPS -> String

showList :: [RPS] -> ShowS

Exchangable VS RPS

O(1) - Changes to Repa representation.

Methods

exchange :: (Array VS cs e, Array RPS cs e) => RPS -> Image VS cs e -> Image RPS cs e

Exchangable RPS VS

Changes to Vector representation.

Methods

exchange :: (Array RPS cs e, Array VS cs e) => VS -> Image RPS cs e -> Image VS cs e

Exchangable RPS RSS

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RPS cs e, Array RSS cs e) => RSS -> Image RPS cs e -> Image RSS cs e

Exchangable RSS RPS

Changes computation strategy. Will casue all fused operations to be computed.

Methods

exchange :: (Array RSS cs e, Array RPS cs e) => RPS -> Image RSS cs e -> Image RPS cs e

BaseArray RPS cs e => Array RPS cs e

Associated Types

type Manifest RPS :: *

Methods

makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RPS cs e

makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image RPS cs e

singleton :: Pixel cs e -> Image RPS cs e

index00 :: Image RPS cs e -> Pixel cs e

map :: Array RPS cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RPS cs' e' -> Image RPS cs e

imap :: Array RPS cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RPS cs' e' -> Image RPS cs e

zipWith :: (Array RPS cs1 e1, Array RPS cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RPS cs1 e1 -> Image RPS cs2 e2 -> Image RPS cs e

izipWith :: (Array RPS cs1 e1, Array RPS cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RPS cs1 e1 -> Image RPS cs2 e2 -> Image RPS cs e

traverse :: Array RPS cs' e' => Image RPS cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RPS cs e

traverse2 :: (Array RPS cs1 e1, Array RPS cs2 e2) => Image RPS cs1 e1 -> Image RPS cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RPS cs e

transpose :: Image RPS cs e -> Image RPS cs e

backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RPS cs e -> Image RPS cs e

fromLists :: [[Pixel cs e]] -> Image RPS cs e

(|*|) :: Image RPS cs e -> Image RPS cs e -> Image RPS cs e

fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RPS cs e -> Pixel cs e

foldIx :: (Pixel cs e -> (Int, Int) -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RPS cs e -> Pixel cs e

eq :: Image RPS cs e -> Image RPS cs e -> Bool

compute :: Image RPS cs e -> Image RPS cs e

toManifest :: Image RPS cs e -> Image (Manifest RPS) cs e

SuperClass RPS cs e => BaseArray RPS cs e

Associated Types

type SuperClass RPS cs e :: Constraint

data Image RPS cs e :: *

Methods

dims :: Image RPS cs e -> (Int, Int)

type Manifest RPS

type Manifest RPS = VS

data Image RPS

data Image RPS = PSImage !(Image (RP S) cs e)

type SuperClass RPS cs e

type SuperClass RPS cs e = (ColorSpace cs e, Num (Pixel cs e), Storable e, Storable (Pixel cs e), Unbox e, Unbox (Components cs e), Elt e, Elt (Pixel cs e))

Orphan instances

Exchangable RPS RPU

Makes a copy of an image into a Unboxed representation sequentially.

Methods

exchange :: (Array RPS cs e, Array RPU cs e) => RPU -> Image RPS cs e -> Image RPU cs e

Exchangable RSS RSU

Makes a copy of an image into a Unboxed representation sequentially.

Methods

exchange :: (Array RSS cs e, Array RSU cs e) => RSU -> Image RSS cs e -> Image RSU cs e

Exchangable RPU RPS

Makes a copy of an image into a Storable representation sequentially.

Methods

exchange :: (Array RPU cs e, Array RPS cs e) => RPS -> Image RPU cs e -> Image RPS cs e

Exchangable RSU RSS

Makes a copy of an image into a Storable representation sequentially.

Methods

exchange :: (Array RSU cs e, Array RSS cs e) => RSS -> Image RSU cs e -> Image RSS cs e