Graphics.Image.Processing.Binary

Construction

toImageBinaryUsing

Arguments

:: (Array arr cs e, Array arr Binary Bit)

=> (Pixel cs e -> Bool)

Predicate

-> Image arr cs e

Source image.

-> Image arr Binary Bit

Construct a binary image using a predicate from a source image.

toImageBinaryUsing2

Arguments

:: (Array arr cs e, Array arr Binary Bit)

=> (Pixel cs e -> Pixel cs e -> Bool)

Predicate

-> Image arr cs e

First source image.

-> Image arr cs e

Second source image.

-> Image arr Binary Bit

Construct a binary image using a predicate from two source images.

thresholdWith

Arguments

:: (Array arr cs e, Array arr Binary Bit)

=> Pixel cs (e -> Bool)

Pixel containing a thresholding function per channel.

-> Image arr cs e

Source image.

-> Image arr Binary Bit

Threshold a source image with an applicative pixel.

>>> yield <- readImageRGB "images/yield.jpg"
>>> writeImageExact PNG [] "images/yield_bin.png" $ thresholdWith (PixelRGB (>0.55) (<0.6) (<0.5)) yield

compareWith

Arguments

:: (Array arr cs e1, Array arr cs e2, Array arr Binary Bit)

=> Pixel cs (e1 -> e2 -> Bool)

Pixel containing a comparing function per channel.

-> Image arr cs e1

First image.

-> Image arr cs e2

second image.

-> Image arr Binary Bit

Compare two images with an applicative pixel. Works just like thresholdWith, but on two images.

Bitwise operations

(.&&.) :: Array arr Binary Bit => Image arr Binary Bit -> Image arr Binary Bit -> Image arr Binary Bit infixr 3

Pixel wise AND operator on binary images.

(.||.) :: Array arr Binary Bit => Image arr Binary Bit -> Image arr Binary Bit -> Image arr Binary Bit infixr 2

Pixel wise OR operator on binary images.

invert :: Array arr Binary Bit => Image arr Binary Bit -> Image arr Binary Bit

Complement each pixel in a binary image

Thresholding

class Array arr Binary Bit => Thresholding a b arr | a b -> arr where

Thresholding contains a convenient set of functions for binary image construction, which is done by comparing either a single pixel with every pixel in an image or two same size images pointwise. For example:

>>> frog <- readImageY "images/frog.jpg"
>>> frog .==. PixelY 0    -- (or: PixelY 0 .==. frog)
>>> frog .<. flipH frog   -- (or: flipH frog .>. frog)

Minimal complete definition

(.==.), (./=.), (.<.), (.<=.), (.>.), (.>=.)

Methods

(.==.) :: (Eq (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

(./=.) :: (Eq (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

(.<.) :: (Ord (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

(.<=.) :: (Ord (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

(.>.) :: (Ord (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

(.>=.) :: (Ord (Pixel cs e), Array arr cs e) => a cs e -> b cs e -> Image arr Binary Bit infix 4

Instances

Array arr Binary Bit => Thresholding Pixel (Image arr) arr

Methods

(.==.) :: (Eq (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

(./=.) :: (Eq (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

(.<.) :: (Ord (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

(.<=.) :: (Ord (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

(.>.) :: (Ord (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

(.>=.) :: (Ord (Pixel cs e), Array arr cs e) => Pixel cs e -> Image arr cs e -> Image arr Binary Bit

Array arr Binary Bit => Thresholding (Image arr) Pixel arr

Methods

(.==.) :: (Eq (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

(./=.) :: (Eq (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

(.<.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

(.<=.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

(.>.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

(.>=.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Pixel cs e -> Image arr Binary Bit

Array arr Binary Bit => Thresholding (Image arr) (Image arr) arr

Methods

(.==.) :: (Eq (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

(./=.) :: (Eq (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

(.<.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

(.<=.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

(.>.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

(.>=.) :: (Ord (Pixel cs e), Array arr cs e) => Image arr cs e -> Image arr cs e -> Image arr Binary Bit

Binary Morphology

In order to demonstrate how morphological operations work, a binary source image = B constructed here together with a structuring element = S will be used in examples that follow.

figure :: Image VU Binary Bit
figure = fromLists [[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,0,0,1,1,0,0,0,0,0,1,1,1,0],
                    [0,0,0,0,0,0,0,1,0,0,0,0,1,1,0,0,0],
                    [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
                    [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
                    [0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0],
                    [0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0],
                    [0,0,0,0,0,0,1,1,1,1,1,0,0,0,0,0,0],
                    [0,0,0,0,0,0,1,1,1,1,0,0,0,1,0,0,0],
                    [0,0,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0],
                    [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0],
                    [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
                    [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]
struct :: Image VU Binary Bit
struct = fromLists [[0,1],[1,1],[0,1]]

erode

Arguments

:: ManifestArray arr Binary Bit

=> Image arr Binary Bit

Structuring element.

-> Image arr Binary Bit

Binary source image.

-> Image arr Binary Bit

Erosion is defined as: {E = B ⊖ S = {m,n|Sₘₙ⊆B}

>>> writeImageExact PNG [] "images/figure_erode.png" $ pixelGrid 10 $ fromImageBinary $ erode struct figure

eroded with is

dialate

Arguments

:: ManifestArray arr Binary Bit

=> Image arr Binary Bit

Structuring element.

-> Image arr Binary Bit

Binary source image.

-> Image arr Binary Bit

Dialation is defined as: {D = B ⊕ S = {m,n|Sₘₙ∩B≠∅}

>>> writeImageExact PNG [] "images/figure_dialate.png" $ pixelGrid 10 $ fromImageBinary $ dialate struct figure

dialated with is

open

Arguments

:: ManifestArray arr Binary Bit

=> Image arr Binary Bit

Structuring element.

-> Image arr Binary Bit

Binary source image.

-> Image arr Binary Bit

Opening is defined as: {B ○ S = (B ⊖ S) ⊕ S}

>>> writeImageExact PNG [] "images/figure_open.png" $ pixelGrid 10 $ fromImageBinary $ open struct figure

opened with is

close

Arguments

:: ManifestArray arr Binary Bit

=> Image arr Binary Bit

Structuring element.

-> Image arr Binary Bit

Binary source image.

-> Image arr Binary Bit

Closing is defined as: {B ● S = (B ⊕ S) ⊖ S}

>>> writeImageExact PNG [] "images/figure_close.png" $ pixelGrid 10 $ fromImageBinary $ close struct figure

closed with is