CV.Pixelwise

 This module is an applicative wrapper for images. It introduces Pixelwise type that can be converted from and to grayscale images and which has an applicative and functor instances.

Documentation

data Pixelwise x

A wrapper for allowing functor and applicative instances for non-polymorphic image types.

Constructors

MkP

Fields

sizeOf :: (Int, Int)

eltOf :: (Int, Int) -> x

Instances

Functor Pixelwise

Applicative Pixelwise

Eq a => Eq (Pixelwise a)

Num a => Num (Pixelwise a)

Show (Pixelwise a)

Sized (Pixelwise a)

GetPixel (Pixelwise x)

fromImage :: (Num (P b), GetPixel b, Sized b, Size b ~ Size (Pixelwise (P b))) => b -> Pixelwise (P b)

fromFunction :: (Int, Int) -> ((Int, Int) -> x) -> Pixelwise x

Convert a function into construct into a Pixelwise construct

toImage :: (SetPixel (Image a b), CreateImage (Image a b)) => Pixelwise (SP (Image a b)) -> Image a b

Convert a pixelwise construct to image.

toImagePar :: (SetPixel (Image a b), CreateImage (Image a b)) => Int -> Pixelwise (SP (Image a b)) -> Image a b

Convert a pixelwise construct to image.

remap :: (((Int, Int) -> b) -> (Int, Int) -> x) -> Pixelwise b -> Pixelwise x

Re-arrange pixel positions and values

remapImage :: (CreateImage (Image a b), SetPixel (Image a b), Num (P (Image a b)), GetPixel (Image a b)) => (((Int, Int) -> P (Image a b)) -> (Int, Int) -> SP (Image a b)) -> Image a b -> Image a b

mapImage :: (CreateImage (Image c d), SetPixel (Image c d), Num (P (Image a b)), GetPixel (Image a b)) => (P (Image a b) -> SP (Image c d)) -> Image a b -> Image c d

mapPixels :: (t -> x) -> Pixelwise t -> Pixelwise x

imageFromFunction :: (SetPixel (Image a b), CreateImage (Image a b)) => (Int, Int) -> ((Int, Int) -> SP (Image a b)) -> Image a b

imageToFunction :: (GetPixel (Image a b), Num (P (Image a b))) => Image a b -> (Int, Int) -> P (Image a b)

Convert image to a function, which returns pixel values in the domain of the image and zero elsewhere

(<$$>) :: (Num (P b1), Size b1 ~ (Int, Int), Sized b1, GetPixel b1) => (P b1 -> b) -> b1 -> Pixelwise b

Shorthand for `a $ fromImage b`

(<+>) :: (Num (P b1), Size b1 ~ (Int, Int), Sized b1, GetPixel b1) => Pixelwise (P b1 -> b) -> b1 -> Pixelwise b

Shorthand for `a * fromImage b`