Copyright	(c) Alexey Kuleshevich 2017
License	BSD3
Maintainer	Alexey Kuleshevich <lehins@yandex.ru>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Graphics.Image.Interface.Vector

Contents

Representation
Filtering
Linear index conversion

Description

Synopsis

Representation

data VU Source #

Unboxed Vector representation.

Constructors

VU

Instances

Show VU Source #
Methods showsPrec :: Int -> VU -> ShowS # show :: VU -> String # showList :: [VU] -> ShowS #
BaseArray VU cs e => MArray VU cs e Source #
Associated Types data MImage s VU cs e :: * Source # Methods unsafeIndex :: Image VU cs e -> (Int, Int) -> Pixel cs e Source # index :: Image VU cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image VU cs e -> a -> a Source # 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 # makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VU cs e) Source # 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) 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 # mdims :: MImage s 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 #
(MArray VU cs e, BaseArray VU cs e) => Array VU cs e Source #
Associated Types type Manifest VU :: * Source # type Vector VU :: * -> * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image VU cs e Source # makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image VU cs e Source # scalar :: Pixel cs e -> Image VU cs e Source # index00 :: Image VU cs e -> Pixel cs e 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 # (\|*\|) :: 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 # foldIx :: (Pixel cs e -> (Int, Int) -> 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 # compute :: Image VU cs e -> Image VU cs e Source # toManifest :: Image VU cs e -> Image (Manifest VU) cs e Source # toVector :: Image VU cs e -> Vector VU (Pixel cs e) Source # fromVector :: (Int, Int) -> Vector VU (Pixel cs e) -> Image VU cs e Source #
SuperClass VU cs e => BaseArray VU cs e Source #
Associated Types type SuperClass VU cs e :: Constraint Source # data Image VU cs e :: * Source # Methods dims :: Image VU cs e -> (Int, Int) Source #
type Manifest VU Source #
type Manifest VU = VU
type Vector VU Source #
type Vector VU = Vector
data Image VU Source #
data Image VU = VUImage (Image (G VU) cs e)
data MImage s VU Source #
data MImage s VU = MVUImage (MImage s (G VU) cs e)
type SuperClass VU cs e Source #
type SuperClass VU cs e = (ColorSpace cs e, Unbox (Components cs e))

data VS Source #

Storable Vector representation.

Constructors

VS

Instances

Show VS Source #
Methods showsPrec :: Int -> VS -> ShowS # show :: VS -> String # showList :: [VS] -> ShowS #
BaseArray VS cs e => MArray VS cs e Source #
Associated Types data MImage s VS cs e :: * Source # Methods unsafeIndex :: Image VS cs e -> (Int, Int) -> Pixel cs e Source # index :: Image VS cs e -> (Int, Int) -> Pixel cs e Source # deepSeqImage :: Image VS cs e -> a -> a Source # foldl :: (a -> Pixel cs e -> a) -> a -> Image VS cs e -> a Source # foldr :: (Pixel cs e -> a -> a) -> a -> Image VS cs e -> a Source # makeImageM :: (Functor m, Monad m) => (Int, Int) -> ((Int, Int) -> m (Pixel cs e)) -> m (Image VS cs e) Source # 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) Source # mapM_ :: (Functor m, Monad m) => (Pixel cs e -> m b) -> Image VS cs e -> m () Source # foldM :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m a Source # foldM_ :: (Functor m, Monad m) => (a -> Pixel cs e -> m a) -> a -> Image VS cs e -> m () Source # mdims :: MImage s VS cs e -> (Int, Int) Source # thaw :: (Functor m, PrimMonad m) => Image VS cs e -> m (MImage (PrimState m) VS cs e) Source # freeze :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> m (Image VS cs e) Source # new :: (Functor m, PrimMonad m) => (Int, Int) -> m (MImage (PrimState m) VS cs e) Source # read :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> m (Pixel cs e) Source # write :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> Pixel cs e -> m () Source # swap :: (Functor m, PrimMonad m) => MImage (PrimState m) VS cs e -> (Int, Int) -> (Int, Int) -> m () Source #
(MArray VS cs e, BaseArray VS cs e) => Array VS cs e Source #
Associated Types type Manifest VS :: * Source # type Vector VS :: * -> * Source # Methods makeImage :: (Int, Int) -> ((Int, Int) -> Pixel cs e) -> Image VS cs e Source # makeImageWindowed :: (Int, Int) -> ((Int, Int), (Int, Int)) -> ((Int, Int) -> Pixel cs e) -> ((Int, Int) -> Pixel cs e) -> Image VS cs e Source # scalar :: Pixel cs e -> Image VS cs e Source # index00 :: Image VS cs e -> Pixel cs e Source # map :: Array VS cs' e' => (Pixel cs' e' -> Pixel cs e) -> Image VS cs' e' -> Image VS cs e Source # imap :: Array VS cs' e' => ((Int, Int) -> Pixel cs' e' -> Pixel cs e) -> Image VS cs' e' -> Image VS cs e Source # 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 Source # 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 Source # 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 Source # 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 Source # transpose :: Image VS cs e -> Image VS cs e Source # backpermute :: (Int, Int) -> ((Int, Int) -> (Int, Int)) -> Image VS cs e -> Image VS cs e Source # fromLists :: [[Pixel cs e]] -> Image VS cs e Source # (\|*\|) :: Image VS cs e -> Image VS cs e -> Image VS cs e Source # fold :: (Pixel cs e -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image VS cs e -> Pixel cs e Source # foldIx :: (Pixel cs e -> (Int, Int) -> Pixel cs e -> Pixel cs e) -> Pixel cs e -> Image VS cs e -> Pixel cs e Source # eq :: Image VS cs e -> Image VS cs e -> Bool Source # compute :: Image VS cs e -> Image VS cs e Source # toManifest :: Image VS cs e -> Image (Manifest VS) cs e Source # toVector :: Image VS cs e -> Vector VS (Pixel cs e) Source # fromVector :: (Int, Int) -> Vector VS (Pixel cs e) -> Image VS cs e Source #
SuperClass VS cs e => BaseArray VS cs e Source #
Associated Types type SuperClass VS cs e :: Constraint Source # data Image VS cs e :: * Source # Methods dims :: Image VS cs e -> (Int, Int) Source #
Readable [Image VS Y Word8] [PGM] Source #
Methods decode :: [PGM] -> ByteString -> Either String [Image VS Y Word8] Source #
Readable [Image VS Y Word16] [PGM] Source #
Methods decode :: [PGM] -> ByteString -> Either String [Image VS Y Word16] Source #
Readable [Image VS RGB Word8] [PPM] Source #
Methods decode :: [PPM] -> ByteString -> Either String [Image VS RGB Word8] Source #
Readable [Image VS RGB Word16] [PPM] Source #
Methods decode :: [PPM] -> ByteString -> Either String [Image VS RGB Word16] Source #
Readable [Image VS Binary Bit] [PBM] Source #
Methods decode :: [PBM] -> ByteString -> Either String [Image VS Binary Bit] Source #
Readable (Image VS YA Double) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS YA Double) Source #
Readable (Image VS Y Double) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS Y Double) Source #
Readable (Image VS Y Double) PGM Source #
Methods decode :: PGM -> ByteString -> Either String (Image VS Y Double) Source #
Readable (Image VS Y Double) PBM Source #
Methods decode :: PBM -> ByteString -> Either String (Image VS Y Double) Source #
Readable (Image VS Y Word8) PGM Source #
Methods decode :: PGM -> ByteString -> Either String (Image VS Y Word8) Source #
Readable (Image VS Y Word16) PGM Source #
Methods decode :: PGM -> ByteString -> Either String (Image VS Y Word16) Source #
Readable (Image VS RGBA Double) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS RGBA Double) Source #
Readable (Image VS RGB Double) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS RGB Double) Source #
Readable (Image VS RGB Word8) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS RGB Word8) Source #
Readable (Image VS RGB Word16) PPM Source #
Methods decode :: PPM -> ByteString -> Either String (Image VS RGB Word16) Source #
Readable (Image VS Binary Bit) PBM Source #
Methods decode :: PBM -> ByteString -> Either String (Image VS Binary Bit) Source #
type Manifest VS Source #
type Manifest VS = VS
type Vector VS Source #
type Vector VS = Vector
data Image VS Source #
data Image VS = VSImage (Image (G VS) cs e)
data MImage s VS Source #
data MImage s VS = MVSImage (MImage s (G VS) cs e)
type SuperClass VS cs e Source #
type SuperClass VS cs e = (ColorSpace cs e, Storable (Pixel cs e))

Filtering

filter Source #

Arguments

:: Array arr cs e
=> (Pixel cs e -> Bool)	The predicate
-> Image arr cs e	Source image
-> Vector ((Int, Int), Pixel cs e)

Filter out Pixels from an image that do not satisfy the predicate and convert a result into a flat unboxed vector with indexed Pixels.

ifilter Source #

Arguments

:: Array arr cs e
=> ((Int, Int) -> Pixel cs e -> Bool)	The predicate
-> Image arr cs e	Source image
-> Vector ((Int, Int), Pixel cs e)

Filter out Pixels from an image that do not satisfy the index aware predicate and convert a result into a flat unboxed vector with indexed Pixels.

Linear index conversion

toIx Source #

Arguments

:: Int	`n` columns
-> Int	Flat vector index
-> (Int, Int)	`(i, j)` row, column index

Flat vector to 2D index conversion.

fromIx Source #

Arguments

:: Int	`n` columns
-> (Int, Int)	`(i, j)` row, column index
-> Int	Flat vector index

2D to a flat vector index conversion.

Note: There is an implicit assumption that j < n