Copyright	(c) Alexey Kuleshevich 2016
License	BSD3
Maintainer	Alexey Kuleshevich <[email protected]>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Graphics.Image.Types

Description

Synopsis

Documentation

module Graphics.Image.ColorSpace

module Graphics.Image.IO.Formats

class (Show arr, ColorSpace cs, Num (Pixel cs e), Functor (Pixel cs), Applicative (Pixel cs), Foldable (Pixel cs), Num e, Typeable e, Elt arr cs e) => Array arr cs e Source #

Base array like representation for an image.

Minimal complete definition

makeImage, singleton, dims, map, imap, zipWith, izipWith, traverse, traverse2, transpose, backpermute, fromLists

Associated Types

data Image arr cs e Source #

Underlying image representation.

Instances

Elt VU cs e => Array VU cs e Source #
Associated Types type Elt VU cs e :: Constraint Source # data Image VU cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image VU cs e Source # singleton :: Pixel cs e -> Image VU cs e Source # dims :: Image VU cs e -> (Int, Int) Source # map :: Array VU cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image VU cs' e' -> Image VU cs e Source # imap :: Array VU cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image VU cs' e' -> Image VU cs e Source # 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 Source # 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 Source # 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 Source # 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 Source # transpose :: Image VU cs e -> Image VU cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image VU cs e -> Image VU cs e Source # fromLists :: [[Pixel cs e]] -> Image VU cs e Source #
Elt RS cs e => Array RS cs e Source #
Associated Types type Elt RS cs e :: Constraint Source # data Image RS cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RS cs e Source # singleton :: Pixel cs e -> Image RS cs e Source # dims :: Image RS cs e -> (Int, Int) Source # map :: Array RS cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RS cs' e' -> Image RS cs e Source # imap :: Array RS cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RS cs' e' -> Image RS cs e Source # zipWith :: (Array RS cs1 e1, Array RS cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RS cs1 e1 -> Image RS cs2 e2 -> Image RS cs e Source # izipWith :: (Array RS cs1 e1, Array RS cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RS cs1 e1 -> Image RS cs2 e2 -> Image RS cs e Source # traverse :: Array RS cs' e' => Image RS cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RS cs e Source # traverse2 :: (Array RS cs1 e1, Array RS cs2 e2) => Image RS cs1 e1 -> Image RS cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RS cs e Source # transpose :: Image RS cs e -> Image RS cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RS cs e -> Image RS cs e Source # fromLists :: [[Pixel cs e]] -> Image RS cs e Source #
Elt RP cs e => Array RP cs e Source #
Associated Types type Elt RP cs e :: Constraint Source # data Image RP cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RP cs e Source # singleton :: Pixel cs e -> Image RP cs e Source # dims :: Image RP cs e -> (Int, Int) Source # map :: Array RP cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RP cs' e' -> Image RP cs e Source # imap :: Array RP cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RP cs' e' -> Image RP cs e Source # zipWith :: (Array RP cs1 e1, Array RP cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RP cs1 e1 -> Image RP cs2 e2 -> Image RP cs e Source # izipWith :: (Array RP cs1 e1, Array RP cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RP cs1 e1 -> Image RP cs2 e2 -> Image RP cs e Source # traverse :: Array RP cs' e' => Image RP cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RP cs e Source # traverse2 :: (Array RP cs1 e1, Array RP cs2 e2) => Image RP cs1 e1 -> Image RP cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RP cs e Source # transpose :: Image RP cs e -> Image RP cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RP cs e -> Image RP cs e Source # fromLists :: [[Pixel cs e]] -> Image RP cs e Source #
Elt RD cs e => Array RD cs e Source #
Associated Types type Elt RD cs e :: Constraint Source # data Image RD cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RD cs e Source # singleton :: Pixel cs e -> Image RD cs e Source # dims :: Image RD cs e -> (Int, Int) Source # map :: Array RD cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RD cs' e' -> Image RD cs e Source # imap :: Array RD cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RD cs' e' -> Image RD cs e Source # zipWith :: (Array RD cs1 e1, Array RD cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RD cs1 e1 -> Image RD cs2 e2 -> Image RD cs e Source # izipWith :: (Array RD cs1 e1, Array RD cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RD cs1 e1 -> Image RD cs2 e2 -> Image RD cs e Source # traverse :: Array RD cs' e' => Image RD cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RD cs e Source # traverse2 :: (Array RD cs1 e1, Array RD cs2 e2) => Image RD cs1 e1 -> Image RD cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RD cs e Source # transpose :: Image RD cs e -> Image RD cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RD cs e -> Image RD cs e Source # fromLists :: [[Pixel cs e]] -> Image RD cs e Source #

class Array arr cs e => ManifestArray arr cs e Source #

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

index, deepSeqImage, (|*|), fold, eq

Instances

Array VU cs e => ManifestArray VU cs e Source #
Methods index :: Image VU cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image VU cs e -> a -> a Source # (\|*\|) :: Image VU cs e -> Image VU cs e -> Image VU cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image VU cs e -> Pixel cs e Source # eq :: Image VU cs e -> Image VU cs e -> Bool Source #
Array RS cs e => ManifestArray RS cs e Source #
Methods index :: Image RS cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image RS cs e -> a -> a Source # (\|*\|) :: Image RS cs e -> Image RS cs e -> Image RS cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RS cs e -> Pixel cs e Source # eq :: Image RS cs e -> Image RS cs e -> Bool Source #
Array RP cs e => ManifestArray RP cs e Source #
Methods index :: Image RP cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image RP cs e -> a -> a Source # (\|*\|) :: Image RP cs e -> Image RP cs e -> Image RP cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RP cs e -> Pixel cs e Source # eq :: Image RP cs e -> Image RP cs e -> Bool Source #

class ManifestArray arr cs e => SequentialArray arr cs e Source #

Array representation that allows computation, which depends on some specific order, consequently making it possible to be computed only sequentially.

Minimal complete definition

foldl, foldr, mapM, mapM_, foldM, foldM_

Instances

ManifestArray VU cs e => SequentialArray VU cs e Source #
Methods foldl :: (a -> Pixel cs e -> a) -> a -> Image VU cs e -> a Source # foldr :: (Pixel cs e -> a -> a) -> a -> Image VU cs e -> a Source # mapM :: (SequentialArray VU cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VU cs' e' -> m (Image VU cs e) Source # mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VU cs e -> m () Source # foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m a Source # foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m () Source #
ManifestArray RS cs e => SequentialArray RS cs e Source #
Methods foldl :: (a -> Pixel cs e -> a) -> a -> Image RS cs e -> a Source # foldr :: (Pixel cs e -> a -> a) -> a -> Image RS cs e -> a Source # mapM :: (SequentialArray RS cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image RS cs' e' -> m (Image RS cs e) Source # mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image RS cs e -> m () Source # foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image RS cs e -> m a Source # foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image RS cs e -> m () Source #

class ManifestArray arr cs e => MutableArray arr cs e Source #

Array representation that supports mutation.

Minimal complete definition

mdims, thaw, freeze, new, read, write, swap

Associated Types

data MImage st arr cs e Source #

Instances

ManifestArray VU cs e => MutableArray VU cs e Source #
Associated Types data MImage st VU cs e :: * Source # Methods mdims :: MImage st VU cs e -> (Int, Int) Source # thaw :: (Functor m, PrimMonad m) => Image VU cs e -> m (MImage (PrimState m) VU cs e) Source # freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> m (Image VU cs e) Source # new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VU cs e) Source # read :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> m (Pixel cs e) Source # write :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> Pixel cs e -> m () Source # swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> (Int, Int) -> m () Source #
ManifestArray RS cs e => MutableArray RS cs e Source #
Associated Types data MImage st RS cs e :: * Source # Methods mdims :: MImage st RS cs e -> (Int, Int) Source # thaw :: (Functor m, PrimMonad m) => Image RS cs e -> m (MImage (PrimState m) RS cs e) Source # freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> m (Image RS cs e) Source # new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) RS cs e) Source # read :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> m (Pixel cs e) Source # write :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> Pixel cs e -> m () Source # swap :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> (Int, Int) -> m () Source #

class Exchangable arr' arr Source #

Allows for changing an underlying image representation.

Minimal complete definition

exchange

Instances

Exchangable arr arr Source #	Changing to the same array representation as before is disabled and `exchange` will behave simply as an identitity function.
Methods exchange :: (Array arr cs e, Array arr cs e) => arr -> Image arr cs e -> Image arr cs e Source #
Exchangable VU RS Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RS cs e) => RS -> Image VU cs e -> Image RS cs e Source #
Exchangable VU RP Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RP cs e) => RP -> Image VU cs e -> Image RP cs e Source #
Exchangable RS VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RS cs e, Array VU cs e) => VU -> Image RS cs e -> Image VU cs e Source #
Exchangable RS RP Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RS cs e, Array RP cs e) => RP -> Image RS cs e -> Image RP cs e Source #
Exchangable RS RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RS cs e, Array RD cs e) => RD -> Image RS cs e -> Image RD cs e Source #
Exchangable RP VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RP cs e, Array VU cs e) => VU -> Image RP cs e -> Image VU cs e Source #
Exchangable RP RS Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RP cs e, Array RS cs e) => RS -> Image RP cs e -> Image RS cs e Source #
Exchangable RP RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RP cs e, Array RD cs e) => RD -> Image RP cs e -> Image RD cs e Source #
Exchangable RD RS Source #	Computes delayed array sequentially.
Methods exchange :: (Array RD cs e, Array RS cs e) => RS -> Image RD cs e -> Image RS cs e Source #
Exchangable RD RP Source #	Computes delayed array in parallel.
Methods exchange :: (Array RD cs e, Array RP cs e) => RP -> Image RD cs e -> Image RP cs e Source #

data Border px Source #

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

data VU Source #

Unboxed Vector representation.

Constructors

VU

Instances

Show VU Source #
Methods showsPrec :: Int -> VU -> ShowS # show :: VU -> String # showList :: [VU] -> ShowS #
Exchangable VU RS Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RS cs e) => RS -> Image VU cs e -> Image RS cs e Source #
Exchangable VU RP Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RP cs e) => RP -> Image VU cs e -> Image RP cs e Source #
Exchangable RS VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RS cs e, Array VU cs e) => VU -> Image RS cs e -> Image VU cs e Source #
Exchangable RP VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RP cs e, Array VU cs e) => VU -> Image RP cs e -> Image VU cs e Source #
ManifestArray VU cs e => MutableArray VU cs e Source #
Associated Types data MImage st VU cs e :: * Source # Methods mdims :: MImage st VU cs e -> (Int, Int) Source # thaw :: (Functor m, PrimMonad m) => Image VU cs e -> m (MImage (PrimState m) VU cs e) Source # freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> m (Image VU cs e) Source # new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VU cs e) Source # read :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> m (Pixel cs e) Source # write :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> Pixel cs e -> m () Source # swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VU cs e -> (Int, Int) -> (Int, Int) -> m () Source #
ManifestArray VU cs e => SequentialArray VU cs e Source #
Methods foldl :: (a -> Pixel cs e -> a) -> a -> Image VU cs e -> a Source # foldr :: (Pixel cs e -> a -> a) -> a -> Image VU cs e -> a Source # mapM :: (SequentialArray VU cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image VU cs' e' -> m (Image VU cs e) Source # mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VU cs e -> m () Source # foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m a Source # foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VU cs e -> m () Source #
Array VU cs e => ManifestArray VU cs e Source #
Methods index :: Image VU cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image VU cs e -> a -> a Source # (\|*\|) :: Image VU cs e -> Image VU cs e -> Image VU cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image VU cs e -> Pixel cs e Source # eq :: Image VU cs e -> Image VU cs e -> Bool Source #
Elt VU cs e => Array VU cs e Source #
Associated Types type Elt VU cs e :: Constraint Source # data Image VU cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image VU cs e Source # singleton :: Pixel cs e -> Image VU cs e Source # dims :: Image VU cs e -> (Int, Int) Source # map :: Array VU cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image VU cs' e' -> Image VU cs e Source # imap :: Array VU cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image VU cs' e' -> Image VU cs e Source # 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 Source # 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 Source # 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 Source # 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 Source # transpose :: Image VU cs e -> Image VU cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image VU cs e -> Image VU cs e Source # fromLists :: [[Pixel cs e]] -> Image VU cs e Source #
data Image VU Source #
data Image VU = VScalar !(Pixel cs e) \| VUImage !Int !Int !(Vector (Pixel cs e))
data MImage st VU Source #
data MImage st VU = MVImage !Int !Int (MVector st (Pixel cs e)) \| MVScalar (MVector st (Pixel cs e))
type Elt VU cs e Source #
type Elt VU cs e = (ColorSpace cs, Num e, Unbox e, Typeable * e, Unbox (PixelElt cs e), Unbox (Pixel cs e))

data RD Source #

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

Constructors

RD

Instances

Show RD Source #
Methods showsPrec :: Int -> RD -> ShowS # show :: RD -> String # showList :: [RD] -> ShowS #
Exchangable RS RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RS cs e, Array RD cs e) => RD -> Image RS cs e -> Image RD cs e Source #
Exchangable RP RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RP cs e, Array RD cs e) => RD -> Image RP cs e -> Image RD cs e Source #
Exchangable RD RS Source #	Computes delayed array sequentially.
Methods exchange :: (Array RD cs e, Array RS cs e) => RS -> Image RD cs e -> Image RS cs e Source #
Exchangable RD RP Source #	Computes delayed array in parallel.
Methods exchange :: (Array RD cs e, Array RP cs e) => RP -> Image RD cs e -> Image RP cs e Source #
Elt RD cs e => Array RD cs e Source #
Associated Types type Elt RD cs e :: Constraint Source # data Image RD cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RD cs e Source # singleton :: Pixel cs e -> Image RD cs e Source # dims :: Image RD cs e -> (Int, Int) Source # map :: Array RD cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RD cs' e' -> Image RD cs e Source # imap :: Array RD cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RD cs' e' -> Image RD cs e Source # zipWith :: (Array RD cs1 e1, Array RD cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RD cs1 e1 -> Image RD cs2 e2 -> Image RD cs e Source # izipWith :: (Array RD cs1 e1, Array RD cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RD cs1 e1 -> Image RD cs2 e2 -> Image RD cs e Source # traverse :: Array RD cs' e' => Image RD cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RD cs e Source # traverse2 :: (Array RD cs1 e1, Array RD cs2 e2) => Image RD cs1 e1 -> Image RD cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RD cs e Source # transpose :: Image RD cs e -> Image RD cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RD cs e -> Image RD cs e Source # fromLists :: [[Pixel cs e]] -> Image RD cs e Source #
data Image RD Source #
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 Source #
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 Source #

Repa Unboxed Array representation, which is computed sequentially.

Constructors

RS

Instances

Show RS Source #
Methods showsPrec :: Int -> RS -> ShowS # show :: RS -> String # showList :: [RS] -> ShowS #
Exchangable VU RS Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RS cs e) => RS -> Image VU cs e -> Image RS cs e Source #
Exchangable RS VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RS cs e, Array VU cs e) => VU -> Image RS cs e -> Image VU cs e Source #
Exchangable RS RP Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RS cs e, Array RP cs e) => RP -> Image RS cs e -> Image RP cs e Source #
Exchangable RS RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RS cs e, Array RD cs e) => RD -> Image RS cs e -> Image RD cs e Source #
Exchangable RP RS Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RP cs e, Array RS cs e) => RS -> Image RP cs e -> Image RS cs e Source #
Exchangable RD RS Source #	Computes delayed array sequentially.
Methods exchange :: (Array RD cs e, Array RS cs e) => RS -> Image RD cs e -> Image RS cs e Source #
ManifestArray RS cs e => MutableArray RS cs e Source #
Associated Types data MImage st RS cs e :: * Source # Methods mdims :: MImage st RS cs e -> (Int, Int) Source # thaw :: (Functor m, PrimMonad m) => Image RS cs e -> m (MImage (PrimState m) RS cs e) Source # freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> m (Image RS cs e) Source # new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) RS cs e) Source # read :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> m (Pixel cs e) Source # write :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> Pixel cs e -> m () Source # swap :: (Functor m, PrimMonad m) => MImage (PrimState m) RS cs e -> (Int, Int) -> (Int, Int) -> m () Source #
ManifestArray RS cs e => SequentialArray RS cs e Source #
Methods foldl :: (a -> Pixel cs e -> a) -> a -> Image RS cs e -> a Source # foldr :: (Pixel cs e -> a -> a) -> a -> Image RS cs e -> a Source # mapM :: (SequentialArray RS cs' e', Functor m, Monad m) => (Pixel cs' e' -> m (Pixel cs e)) -> Image RS cs' e' -> m (Image RS cs e) Source # mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image RS cs e -> m () Source # foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image RS cs e -> m a Source # foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image RS cs e -> m () Source #
Array RS cs e => ManifestArray RS cs e Source #
Methods index :: Image RS cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image RS cs e -> a -> a Source # (\|*\|) :: Image RS cs e -> Image RS cs e -> Image RS cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RS cs e -> Pixel cs e Source # eq :: Image RS cs e -> Image RS cs e -> Bool Source #
Elt RS cs e => Array RS cs e Source #
Associated Types type Elt RS cs e :: Constraint Source # data Image RS cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RS cs e Source # singleton :: Pixel cs e -> Image RS cs e Source # dims :: Image RS cs e -> (Int, Int) Source # map :: Array RS cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RS cs' e' -> Image RS cs e Source # imap :: Array RS cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RS cs' e' -> Image RS cs e Source # zipWith :: (Array RS cs1 e1, Array RS cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RS cs1 e1 -> Image RS cs2 e2 -> Image RS cs e Source # izipWith :: (Array RS cs1 e1, Array RS cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RS cs1 e1 -> Image RS cs2 e2 -> Image RS cs e Source # traverse :: Array RS cs' e' => Image RS cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RS cs e Source # traverse2 :: (Array RS cs1 e1, Array RS cs2 e2) => Image RS cs1 e1 -> Image RS cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RS cs e Source # transpose :: Image RS cs e -> Image RS cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RS cs e -> Image RS cs e Source # fromLists :: [[Pixel cs e]] -> Image RS cs e Source #
data Image RS Source #
data Image RS = RSImage !(Image RD cs e)
data MImage st RS Source #
data MImage st RS = MRSImage !(MImage st VU cs e)
type Elt RS cs e Source #
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 RP Source #

Repa Unboxed Array representation, which is computed in parallel.

Constructors

RP

Instances

Show RP Source #
Methods showsPrec :: Int -> RP -> ShowS # show :: RP -> String # showList :: [RP] -> ShowS #
Exchangable VU RP Source #	O(1) - Changes to Repa representation.
Methods exchange :: (Array VU cs e, Array RP cs e) => RP -> Image VU cs e -> Image RP cs e Source #
Exchangable RS RP Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RS cs e, Array RP cs e) => RP -> Image RS cs e -> Image RP cs e Source #
Exchangable RP VU Source #	O(1) - Changes to Vector representation.
Methods exchange :: (Array RP cs e, Array VU cs e) => VU -> Image RP cs e -> Image VU cs e Source #
Exchangable RP RS Source #	O(1) - Changes computation strategy.
Methods exchange :: (Array RP cs e, Array RS cs e) => RS -> Image RP cs e -> Image RS cs e Source #
Exchangable RP RD Source #	O(1) - Delays manifest array.
Methods exchange :: (Array RP cs e, Array RD cs e) => RD -> Image RP cs e -> Image RD cs e Source #
Exchangable RD RP Source #	Computes delayed array in parallel.
Methods exchange :: (Array RD cs e, Array RP cs e) => RP -> Image RD cs e -> Image RP cs e Source #
Array RP cs e => ManifestArray RP cs e Source #
Methods index :: Image RP cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image RP cs e -> a -> a Source # (\|*\|) :: Image RP cs e -> Image RP cs e -> Image RP cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image RP cs e -> Pixel cs e Source # eq :: Image RP cs e -> Image RP cs e -> Bool Source #
Elt RP cs e => Array RP cs e Source #
Associated Types type Elt RP cs e :: Constraint Source # data Image RP cs e :: * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image RP cs e Source # singleton :: Pixel cs e -> Image RP cs e Source # dims :: Image RP cs e -> (Int, Int) Source # map :: Array RP cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image RP cs' e' -> Image RP cs e Source # imap :: Array RP cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image RP cs' e' -> Image RP cs e Source # zipWith :: (Array RP cs1 e1, Array RP cs2 e2) => (Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RP cs1 e1 -> Image RP cs2 e2 -> Image RP cs e Source # izipWith :: (Array RP cs1 e1, Array RP cs2 e2) => ((Int, Int) -> Pixel cs1 e1 -> Pixel cs2 e2 -> Pixel cs e) -> Image RP cs1 e1 -> Image RP cs2 e2 -> Image RP cs e Source # traverse :: Array RP cs' e' => Image RP cs' e' -> ((Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs' e') -> (Int, Int) -> Pixel cs e) -> Image RP cs e Source # traverse2 :: (Array RP cs1 e1, Array RP cs2 e2) => Image RP cs1 e1 -> Image RP cs2 e2 -> ((Int, Int) -> (Int, Int) -> (Int, Int)) -> (((Int, Int) -> Pixel cs1 e1) -> ((Int, Int) -> Pixel cs2 e2) -> (Int, Int) -> Pixel cs e) -> Image RP cs e Source # transpose :: Image RP cs e -> Image RP cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image RP cs e -> Image RP cs e Source # fromLists :: [[Pixel cs e]] -> Image RP cs e Source #
data Image RP Source #
data Image RP = RPImage !(Image RD cs e)
type Elt RP cs e Source #
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))