Vision.Image.Class

Classes

class Pixel p where

Determines the number of channels and the type of each pixel of the image and how images are represented.

Associated Types

type PixelChannel p

Methods

pixNChannels :: p -> Int

Returns the number of channels of the pixel.

Must not consume p (could be undefined).

pixIndex :: p -> Int -> PixelChannel p

Instances

Pixel Int16

Defined in Vision.Image.Class

Associated Types

type PixelChannel Int16

Methods

pixNChannels :: Int16 -> Int

pixIndex :: Int16 -> Int -> PixelChannel Int16

Pixel Int32

Defined in Vision.Image.Class

Associated Types

type PixelChannel Int32

Methods

pixNChannels :: Int32 -> Int

pixIndex :: Int32 -> Int -> PixelChannel Int32

Pixel Word16

Defined in Vision.Image.Class

Associated Types

type PixelChannel Word16

Methods

pixNChannels :: Word16 -> Int

pixIndex :: Word16 -> Int -> PixelChannel Word16

Pixel Word32

Defined in Vision.Image.Class

Associated Types

type PixelChannel Word32

Methods

pixNChannels :: Word32 -> Int

pixIndex :: Word32 -> Int -> PixelChannel Word32

Pixel Word8

Defined in Vision.Image.Class

Associated Types

type PixelChannel Word8

Methods

pixNChannels :: Word8 -> Int

pixIndex :: Word8 -> Int -> PixelChannel Word8

Pixel GreyPixel

Defined in Vision.Image.Grey.Type

Associated Types

type PixelChannel GreyPixel

Methods

pixNChannels :: GreyPixel -> Int

pixIndex :: GreyPixel -> Int -> PixelChannel GreyPixel

Pixel HSVPixel

Defined in Vision.Image.HSV.Type

Associated Types

type PixelChannel HSVPixel

Methods

pixNChannels :: HSVPixel -> Int

pixIndex :: HSVPixel -> Int -> PixelChannel HSVPixel

Pixel RGBPixel

Defined in Vision.Image.RGB.Type

Associated Types

type PixelChannel RGBPixel

Methods

pixNChannels :: RGBPixel -> Int

pixIndex :: RGBPixel -> Int -> PixelChannel RGBPixel

Pixel RGBAPixel

Defined in Vision.Image.RGBA.Type

Associated Types

type PixelChannel RGBAPixel

Methods

pixNChannels :: RGBAPixel -> Int

pixIndex :: RGBAPixel -> Int -> PixelChannel RGBAPixel

Pixel Bool

Defined in Vision.Image.Class

Associated Types

type PixelChannel Bool

Methods

pixNChannels :: Bool -> Int

pixIndex :: Bool -> Int -> PixelChannel Bool

Pixel Double

Defined in Vision.Image.Class

Associated Types

type PixelChannel Double

Methods

pixNChannels :: Double -> Int

pixIndex :: Double -> Int -> PixelChannel Double

Pixel Float

Defined in Vision.Image.Class

Associated Types

type PixelChannel Float

Methods

pixNChannels :: Float -> Int

pixIndex :: Float -> Int -> PixelChannel Float

Pixel Int

Defined in Vision.Image.Class

Associated Types

type PixelChannel Int

Methods

pixNChannels :: Int -> Int

pixIndex :: Int -> Int -> PixelChannel Int

Pixel Word

Defined in Vision.Image.Class

Associated Types

type PixelChannel Word

Methods

pixNChannels :: Word -> Int

pixIndex :: Word -> Int -> PixelChannel Word

class Storable (ImagePixel i) => MaskedImage i where

Provides an abstraction for images which are not defined for each of their pixels. The interface is similar to Image except that indexing functions don't always return.

Image origin (ix2 0 0) is located in the upper left corner.

Minimal complete definition

shape, (maskedIndex | maskedLinearIndex)

Associated Types

type ImagePixel i

Methods

shape :: i -> Size

maskedIndex :: i -> Point -> Maybe (ImagePixel i)

Returns the pixel's value at 'Z :. y, :. x'.

maskedLinearIndex :: i -> Int -> Maybe (ImagePixel i)

Returns the pixel's value as if the image was a single dimension vector (row-major representation).

values :: i -> Vector (ImagePixel i)

Returns the non-masked values of the image.

Instances

Storable p => MaskedImage (Delayed p)

Defined in Vision.Image.Type

Associated Types

type ImagePixel (Delayed p)

Methods

shape :: Delayed p -> Size

maskedIndex :: Delayed p -> Point -> Maybe (ImagePixel (Delayed p))

maskedLinearIndex :: Delayed p -> Int -> Maybe (ImagePixel (Delayed p))

values :: Delayed p -> Vector (ImagePixel (Delayed p))

Storable p => MaskedImage (DelayedMask p)

Defined in Vision.Image.Type

Associated Types

type ImagePixel (DelayedMask p)

Methods

shape :: DelayedMask p -> Size

maskedIndex :: DelayedMask p -> Point -> Maybe (ImagePixel (DelayedMask p))

maskedLinearIndex :: DelayedMask p -> Int -> Maybe (ImagePixel (DelayedMask p))

values :: DelayedMask p -> Vector (ImagePixel (DelayedMask p))

Storable p => MaskedImage (Manifest p)

Defined in Vision.Image.Type

Associated Types

type ImagePixel (Manifest p)

Methods

shape :: Manifest p -> Size

maskedIndex :: Manifest p -> Point -> Maybe (ImagePixel (Manifest p))

maskedLinearIndex :: Manifest p -> Int -> Maybe (ImagePixel (Manifest p))

values :: Manifest p -> Vector (ImagePixel (Manifest p))

class MaskedImage i => Image i where

Provides an abstraction over the internal representation of an image.

Image origin (ix2 0 0) is located in the upper left corner.

Minimal complete definition

index | linearIndex

Methods

index :: i -> Point -> ImagePixel i

Returns the pixel value at 'Z :. y :. x'.

linearIndex :: i -> Int -> ImagePixel i

Returns the pixel value as if the image was a single dimension vector (row-major representation).

vector :: i -> Vector (ImagePixel i)

Returns every pixel values as if the image was a single dimension vector (row-major representation).

Instances

Storable p => Image (Delayed p)

Defined in Vision.Image.Type

Methods

index :: Delayed p -> Point -> ImagePixel (Delayed p)

linearIndex :: Delayed p -> Int -> ImagePixel (Delayed p)

vector :: Delayed p -> Vector (ImagePixel (Delayed p))

Storable p => Image (Manifest p)

Defined in Vision.Image.Type

Methods

index :: Manifest p -> Point -> ImagePixel (Manifest p)

linearIndex :: Manifest p -> Int -> ImagePixel (Manifest p)

vector :: Manifest p -> Vector (ImagePixel (Manifest p))

type ImageChannel i = PixelChannel (ImagePixel i)

class FromFunction i where

Provides ways to construct an image from a function.

Minimal complete definition

fromFunction

Associated Types

type FromFunctionPixel i

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel i) -> i

Generates an image by calling the given function for each pixel of the constructed image.

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel i) -> i

Generates an image by calling the last function for each pixel of the constructed image.

The first function is called for each line, generating a line invariant value.

This function is faster for some image representations as some recurring computation can be cached.

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel i) -> i

Generates an image by calling the last function for each pixel of the constructed image.

The first function is called for each column, generating a column invariant value.

This function *can* be faster for some image representations as some recurring computations can be cached. However, it may requires a vector allocation for these values. If the column invariant is cheap to compute, prefer fromFunction.

fromFunctionCached

Arguments

:: Storable b

=> Size

-> (Int -> a)

Line function

-> (Int -> b)

Column function

-> (a -> b -> Point -> FromFunctionPixel i)

Pixel function

-> i

Generates an image by calling the last function for each pixel of the constructed image.

The two first functions are called for each line and for each column, respectively, generating common line and column invariant values.

This function is faster for some image representations as some recurring computation can be cached. However, it may requires a vector allocation for column values. If the column invariant is cheap to compute, prefer fromFunctionLine.

Instances

FromFunction (Delayed p)

Defined in Vision.Image.Type

Associated Types

type FromFunctionPixel (Delayed p)

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

Storable p => FromFunction (DelayedMask p)

Defined in Vision.Image.Type

Associated Types

type FromFunctionPixel (DelayedMask p)

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

Storable p => FromFunction (Manifest p)

Defined in Vision.Image.Type

Associated Types

type FromFunctionPixel (Manifest p)

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

class (MaskedImage src, MaskedImage res) => FunctorImage src res where

Defines a class for images on which a function can be applied. The class is different from Functor as there could be some constraints and transformations the pixel and image types.

Methods

map :: (ImagePixel src -> ImagePixel res) -> src -> res

Instances

(Image src, Storable p) => FunctorImage src (Delayed p)

Defined in Vision.Image.Type

Methods

map :: (ImagePixel src -> ImagePixel (Delayed p)) -> src -> Delayed p

(MaskedImage src, Storable p) => FunctorImage src (DelayedMask p)

Defined in Vision.Image.Type

Methods

map :: (ImagePixel src -> ImagePixel (DelayedMask p)) -> src -> DelayedMask p

(Image src, Storable p) => FunctorImage src (Manifest p)

Defined in Vision.Image.Type

Methods

map :: (ImagePixel src -> ImagePixel (Manifest p)) -> src -> Manifest p

Functions

(!) :: Image i => i -> Point -> ImagePixel i

Alias of index.

(!?) :: MaskedImage i => i -> Point -> Maybe (ImagePixel i)

Alias of maskedIndex.

nChannels :: (Pixel (ImagePixel i), MaskedImage i) => i -> Int

Returns the number of channels of an image.

pixel :: MaskedImage i => i -> ImagePixel i

Returns an undefined instance of a pixel of the image. This is sometime useful to satisfy the type checker as in a call to pixNChannels :

nChannels img = pixNChannels (pixel img)