Graphics.Image.Types

Documentation

module Graphics.Image.ColorSpace

module Graphics.Image.IO.Formats

class (Vector (Vector arr) (Pixel cs e), MArray (Manifest arr) cs e, BaseArray arr cs e) => Array arr cs e

Minimal complete definition

makeImage, makeImageWindowed, scalar, index00, map, imap, zipWith, izipWith, traverse, traverse2, transpose, backpermute, fromLists, (|*|), fold, foldIx, eq, compute, toManifest, toVector, fromVector

Instances

(MArray VS cs e, BaseArray VS cs e) => Array VS cs e

Associated Types

type Manifest VS :: *

type Vector VS :: * -> *

Methods

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

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

scalar :: Pixel cs e -> Image VS cs e

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

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

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

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

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

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

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

transpose :: Image VS cs e -> Image VS cs e

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

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

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

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

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

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

compute :: Image VS cs e -> Image VS cs e

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

toVector :: Image VS cs e -> Vector VS (Pixel cs e)

fromVector :: (Int, Int) -> Vector VS (Pixel cs e) -> Image VS cs e

(MArray VU cs e, BaseArray VU cs e) => Array VU cs e

Associated Types

type Manifest VU :: *

type Vector VU :: * -> *

Methods

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

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

scalar :: Pixel cs e -> Image VU cs e

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

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

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

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

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

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

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

transpose :: Image VU cs e -> Image VU cs e

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

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

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

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

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

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

compute :: Image VU cs e -> Image VU cs e

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

toVector :: Image VU cs e -> Vector VU (Pixel cs e)

fromVector :: (Int, Int) -> Vector VU (Pixel cs e) -> Image VU cs e

BaseArray RPS cs e => Array RPS cs e

Associated Types

type Manifest RPS :: *

type Vector 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

scalar :: 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

toVector :: Image RPS cs e -> Vector RPS (Pixel cs e)

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

BaseArray RSS cs e => Array RSS cs e

Associated Types

type Manifest RSS :: *

type Vector 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

scalar :: 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

toVector :: Image RSS cs e -> Vector RSS (Pixel cs e)

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

BaseArray RPU cs e => Array RPU cs e

Associated Types

type Manifest RPU :: *

type Vector 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

scalar :: 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

toVector :: Image RPU cs e -> Vector RPU (Pixel cs e)

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

BaseArray RSU cs e => Array RSU cs e

Associated Types

type Manifest RSU :: *

type Vector 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

scalar :: 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

toVector :: Image RSU cs e -> Vector RSU (Pixel cs e)

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

class BaseArray arr cs e => MArray arr cs e

Array representation that is actually has real data stored in memory, hence allowing for image indexing, forcing pixels into computed state etc.

Minimal complete definition

unsafeIndex, deepSeqImage, foldl, foldr, makeImageM, mapM, mapM_, foldM, foldM_, mdims, thaw, freeze, new, read, write, swap

Associated Types

data MImage s arr cs e

Instances

BaseArray VS cs e => MArray VS cs e

Associated Types

data MImage s VS cs e :: *

Methods

unsafeIndex :: Image VS cs e -> (Int, Int) -> Pixel cs e

index :: Image VS cs e -> (Int, Int) -> Pixel cs e

deepSeqImage :: Image VS cs e -> a -> a

foldl :: (a -> Pixel cs e -> a) -> a -> Image VS cs e -> a

foldr :: (Pixel cs e -> a -> a) -> a -> Image VS cs e -> a

makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VS cs e)

mapM :: (MArray VS cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VS cs' e' -> m (Image VS cs e)

mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VS cs e -> m ()

foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m a

foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m ()

mdims :: MImage s VS cs e -> (Int, Int)

thaw :: (Functor m, PrimMonad m) => Image VS cs e -> m (MImage (PrimState m) VS cs e)

freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> m (Image VS cs e)

new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VS cs e)

read :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> m (Pixel cs e)

write :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> Pixel cs e -> m ()

swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> (Int, Int) -> m ()

BaseArray VU cs e => MArray VU cs e

Associated Types

data MImage s VU cs e :: *

Methods

unsafeIndex :: Image VU cs e -> (Int, Int) -> Pixel cs e

index :: Image VU cs e -> (Int, Int) -> Pixel cs e

deepSeqImage :: Image VU cs e -> a -> a

foldl :: (a -> Pixel cs e -> a) -> a -> Image VU cs e -> a

foldr :: (Pixel cs e -> a -> a) -> a -> Image VU cs e -> a

makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VU cs e)

mapM :: (MArray VU cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VU cs' e' -> m (Image VU cs e)

mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VU cs e -> m ()

foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m a

foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m ()

mdims :: MImage s VU cs e -> (Int, Int)

thaw :: (Functor m, PrimMonad m) => Image VU cs e -> m (MImage (PrimState m) VU cs e)

freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> m (Image VU cs e)

new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VU cs e)

read :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> m (Pixel cs e)

write :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> Pixel cs e -> m ()

swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> (Int, Int) -> m ()

data Border px

Approach to be used near the borders during various transformations. Whenever a function needs information not only about a pixel of interest, but also about it's neighbours, it will go out of bounds around the image edges, hence is this set of approaches that can be used in such situtation.

Constructors

Fill !px

Fill in a constant pixel.

           outside |  Image  | outside
(Fill 0) : 0 0 0 0 | 1 2 3 4 | 0 0 0 0

Wrap

Wrap around from the opposite border of the image.

           outside |  Image  | outside
Wrap :     1 2 3 4 | 1 2 3 4 | 1 2 3 4

Edge

Replicate the pixel at the edge.

           outside |  Image  | outside
Edge :     1 1 1 1 | 1 2 3 4 | 4 4 4 4

Reflect

Mirror like reflection.

           outside |  Image  | outside
Reflect :  4 3 2 1 | 1 2 3 4 | 4 3 2 1

Continue

Also mirror like reflection, but without repeating the edge pixel.

           outside |  Image  | outside
Continue : 1 4 3 2 | 1 2 3 4 | 3 2 1 4

Instances

Show px => Show (Border px)

Methods

showsPrec :: Int -> Border px -> ShowS

show :: Border px -> String

showList :: [Border px] -> ShowS

data VU

Unboxed Vector representation.

Constructors

VU

Instances

Show VU

Methods

showsPrec :: Int -> VU -> ShowS

show :: VU -> String

showList :: [VU] -> ShowS

BaseArray VU cs e => MArray VU cs e

Associated Types

data MImage s VU cs e :: *

Methods

unsafeIndex :: Image VU cs e -> (Int, Int) -> Pixel cs e

index :: Image VU cs e -> (Int, Int) -> Pixel cs e

deepSeqImage :: Image VU cs e -> a -> a

foldl :: (a -> Pixel cs e -> a) -> a -> Image VU cs e -> a

foldr :: (Pixel cs e -> a -> a) -> a -> Image VU cs e -> a

makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VU cs e)

mapM :: (MArray VU cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VU cs' e' -> m (Image VU cs e)

mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VU cs e -> m ()

foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m a

foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m ()

mdims :: MImage s VU cs e -> (Int, Int)

thaw :: (Functor m, PrimMonad m) => Image VU cs e -> m (MImage (PrimState m) VU cs e)

freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> m (Image VU cs e)

new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VU cs e)

read :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> m (Pixel cs e)

write :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> Pixel cs e -> m ()

swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> (Int, Int) -> m ()

(MArray VU cs e, BaseArray VU cs e) => Array VU cs e

Associated Types

type Manifest VU :: *

type Vector VU :: * -> *

Methods

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

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

scalar :: Pixel cs e -> Image VU cs e

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

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

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

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

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

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

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

transpose :: Image VU cs e -> Image VU cs e

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

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

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

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

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

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

compute :: Image VU cs e -> Image VU cs e

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

toVector :: Image VU cs e -> Vector VU (Pixel cs e)

fromVector :: (Int, Int) -> Vector VU (Pixel cs e) -> Image VU cs e

SuperClass VU cs e => BaseArray VU cs e

Associated Types

type SuperClass VU cs e :: Constraint

data Image VU cs e :: *

Methods

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

type Manifest VU

type Manifest VU = VU

type Vector VU

type Vector VU = Vector

data Image VU

data Image VU = VUImage (Image (G VU) cs e)

data MImage s VU

data MImage s VU = MVUImage (MImage s (G VU) cs e)

type SuperClass VU cs e

type SuperClass VU cs e = (ColorSpace cs e, Unbox (Components cs e))

data VS

Storable Vector representation.

Constructors

VS

Instances

Show VS

Methods

showsPrec :: Int -> VS -> ShowS

show :: VS -> String

showList :: [VS] -> ShowS

BaseArray VS cs e => MArray VS cs e

Associated Types

data MImage s VS cs e :: *

Methods

unsafeIndex :: Image VS cs e -> (Int, Int) -> Pixel cs e

index :: Image VS cs e -> (Int, Int) -> Pixel cs e

deepSeqImage :: Image VS cs e -> a -> a

foldl :: (a -> Pixel cs e -> a) -> a -> Image VS cs e -> a

foldr :: (Pixel cs e -> a -> a) -> a -> Image VS cs e -> a

makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VS cs e)

mapM :: (MArray VS cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VS cs' e' -> m (Image VS cs e)

mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VS cs e -> m ()

foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m a

foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m ()

mdims :: MImage s VS cs e -> (Int, Int)

thaw :: (Functor m, PrimMonad m) => Image VS cs e -> m (MImage (PrimState m) VS cs e)

freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> m (Image VS cs e)

new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VS cs e)

read :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> m (Pixel cs e)

write :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> Pixel cs e -> m ()

swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> (Int, Int) -> m ()

(MArray VS cs e, BaseArray VS cs e) => Array VS cs e

Associated Types

type Manifest VS :: *

type Vector VS :: * -> *

Methods

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

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

scalar :: Pixel cs e -> Image VS cs e

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

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

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

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

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

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

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

transpose :: Image VS cs e -> Image VS cs e

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

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

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

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

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

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

compute :: Image VS cs e -> Image VS cs e

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

toVector :: Image VS cs e -> Vector VS (Pixel cs e)

fromVector :: (Int, Int) -> Vector VS (Pixel cs e) -> Image VS cs e

SuperClass VS cs e => BaseArray VS cs e

Associated Types

type SuperClass VS cs e :: Constraint

data Image VS cs e :: *

Methods

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

Readable [Image VS Y Word8] [PGM]

Methods

decode :: [PGM] -> ByteString -> Either String [Image VS Y Word8]

Readable [Image VS Y Word16] [PGM]

Methods

decode :: [PGM] -> ByteString -> Either String [Image VS Y Word16]

Readable [Image VS RGB Word8] [PPM]

Methods

decode :: [PPM] -> ByteString -> Either String [Image VS RGB Word8]

Readable [Image VS RGB Word16] [PPM]

Methods

decode :: [PPM] -> ByteString -> Either String [Image VS RGB Word16]

Readable [Image VS Binary Bit] [PBM]

Methods

decode :: [PBM] -> ByteString -> Either String [Image VS Binary Bit]

Readable (Image VS YA Double) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS YA Double)

Readable (Image VS Y Double) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS Y Double)

Readable (Image VS Y Double) PGM

Methods

decode :: PGM -> ByteString -> Either String (Image VS Y Double)

Readable (Image VS Y Double) PBM

Methods

decode :: PBM -> ByteString -> Either String (Image VS Y Double)

Readable (Image VS Y Word8) PGM

Methods

decode :: PGM -> ByteString -> Either String (Image VS Y Word8)

Readable (Image VS Y Word16) PGM

Methods

decode :: PGM -> ByteString -> Either String (Image VS Y Word16)

Readable (Image VS RGBA Double) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS RGBA Double)

Readable (Image VS RGB Double) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS RGB Double)

Readable (Image VS RGB Word8) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS RGB Word8)

Readable (Image VS RGB Word16) PPM

Methods

decode :: PPM -> ByteString -> Either String (Image VS RGB Word16)

Readable (Image VS Binary Bit) PBM

Methods

decode :: PBM -> ByteString -> Either String (Image VS Binary Bit)

type Manifest VS

type Manifest VS = VS

type Vector VS

type Vector VS = Vector

data Image VS

data Image VS = VSImage (Image (G VS) cs e)

data MImage s VS

data MImage s VS = MVSImage (MImage s (G VS) cs e)

type SuperClass VS cs e

type SuperClass VS cs e = (ColorSpace cs e, Storable (Pixel cs e))

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

BaseArray RSU cs e => Array RSU cs e

Associated Types

type Manifest RSU :: *

type Vector 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

scalar :: 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

toVector :: Image RSU cs e -> Vector RSU (Pixel cs e)

fromVector :: (Int, Int) -> Vector RSU (Pixel cs e) -> Image 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

type Vector RSU

type Vector RSU = Vector VU

data Image RSU

data Image RSU = SUImage (Image (RS VU) cs e)

type SuperClass RSU cs e

type SuperClass RSU cs e = (ColorSpace 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

BaseArray RPU cs e => Array RPU cs e

Associated Types

type Manifest RPU :: *

type Vector 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

scalar :: 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

toVector :: Image RPU cs e -> Vector RPU (Pixel cs e)

fromVector :: (Int, Int) -> Vector RPU (Pixel cs e) -> Image 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

type Vector RPU

type Vector RPU = Vector VU

data Image RPU

data Image RPU = PUImage (Image (RP VU) cs e)

type SuperClass RPU cs e

type SuperClass RPU cs e = (ColorSpace 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

BaseArray RSS cs e => Array RSS cs e

Associated Types

type Manifest RSS :: *

type Vector 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

scalar :: 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

toVector :: Image RSS cs e -> Vector RSS (Pixel cs e)

fromVector :: (Int, Int) -> Vector RSS (Pixel cs e) -> Image 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

type Vector RSS

type Vector RSS = Vector VS

data Image RSS

data Image RSS = SSImage (Image (RS VS) cs e)

type SuperClass RSS cs e

type SuperClass RSS cs e = (ColorSpace cs e, Storable e, Storable (Pixel 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

BaseArray RPS cs e => Array RPS cs e

Associated Types

type Manifest RPS :: *

type Vector 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

scalar :: 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

toVector :: Image RPS cs e -> Vector RPS (Pixel cs e)

fromVector :: (Int, Int) -> Vector RPS (Pixel cs e) -> Image 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

type Vector RPS

type Vector RPS = Vector VS

data Image RPS

data Image RPS = PSImage (Image (RP VS) cs e)

type SuperClass RPS cs e

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