Graphics.Image.ColorSpace

ColorSpace

class (Eq cs, Enum cs, Show cs, Typeable cs) => ColorSpace cs

This class has all included color spaces installed into it and is also intended for implementing any other possible custom color spaces. Every instance of this class automatically installs an associated Pixel into Num, Fractional, Floating, Functor, Applicative and Foldable, which in turn make it possible to be used by the rest of the library.

Minimal complete definition

fromChannel, toElt, fromElt, getPxCh, chOp, pxOp, chApp, pxFoldMap, csColour

Associated Types

data Pixel cs e

A concrete Pixel representation for a particular color space.

Instances

ColorSpace YA

ColorSpace Y

ColorSpace RGBA

ColorSpace RGB

ColorSpace HSIA

ColorSpace HSI

ColorSpace CMYKA

ColorSpace CMYK

ColorSpace YCbCrA

ColorSpace YCbCr

ColorSpace Gray

ColorSpace Binary

class (ColorSpace (Opaque cs), ColorSpace cs) => Alpha cs

A color space that supports transparency.

Minimal complete definition

getAlpha, addAlpha, dropAlpha, opaque

Associated Types

type Opaque cs

An corresponding opaque version of this color space.

Instances

Alpha YA

Alpha RGBA

Alpha HSIA

Alpha CMYKA

Alpha YCbCrA

class Elevator e where

A class with a set of convenient functions that allow for changing precision of channels within pixels, while scaling the values to keep them in an appropriate range.

>>> let rgb = PixelRGB 0.0 0.5 1.0 :: Pixel RGB Double
>>> toWord8 rgb
<RGB:(0|128|255)>

Methods

toWord8 :: ColorSpace cs => Pixel cs e -> Pixel cs Word8

toWord16 :: ColorSpace cs => Pixel cs e -> Pixel cs Word16

toWord32 :: ColorSpace cs => Pixel cs e -> Pixel cs Word32

toWord64 :: ColorSpace cs => Pixel cs e -> Pixel cs Word64

toFloat :: ColorSpace cs => Pixel cs e -> Pixel cs Float

toDouble :: ColorSpace cs => Pixel cs e -> Pixel cs Double

fromDouble :: ColorSpace cs => Pixel cs Double -> Pixel cs e

Luma

data Y

Luma or brightness, that is usually denoted as Y'.

Constructors

Y

Instances

Enum Y

Eq Y

Show Y

ColorSpace Y

Monad (Pixel Y)

Array arr Y Double => Readable [Image arr Y Double] [GIF]

Array arr Y Word16 => Readable [Image arr Y Word16] [PGM]

Array arr Y Word8 => Readable [Image arr Y Word8] [PGM]

Eq e => Eq (Pixel Y e)

Ord e => Ord (Pixel Y e)

Show e => Show (Pixel Y e)

ManifestArray arr Y Double => Writable (Image arr Y Double) TIF

ManifestArray arr Y Word16 => Writable (Image arr Y Word16) TIF

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) TIF

ManifestArray arr Y Double => Writable (Image arr Y Double) TGA

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) TGA

ManifestArray arr Y Double => Writable (Image arr Y Double) PNG

ManifestArray arr Y Word16 => Writable (Image arr Y Word16) PNG

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) PNG

ManifestArray arr Y Double => Writable (Image arr Y Double) JPG

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) JPG

ManifestArray arr Y Double => Writable (Image arr Y Double) HDR

ManifestArray arr Y Double => Writable (Image arr Y Double) GIF

ManifestArray arr Y Double => Writable (Image arr Y Double) BMP

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) BMP

Array arr Y Double => Readable (Image arr Y Double) TIF

Array arr Y Word16 => Readable (Image arr Y Word16) TIF

Array arr Y Word8 => Readable (Image arr Y Word8) TIF

Array arr Y Double => Readable (Image arr Y Double) TGA

Array arr Y Word8 => Readable (Image arr Y Word8) TGA

Array arr Y Double => Readable (Image arr Y Double) PNG

Array arr Y Word16 => Readable (Image arr Y Word16) PNG

Array arr Y Word8 => Readable (Image arr Y Word8) PNG

Array arr Y Double => Readable (Image arr Y Double) JPG

Array arr Y Word8 => Readable (Image arr Y Word8) JPG

Array arr Y Double => Readable (Image arr Y Double) HDR

Array arr Y Double => Readable (Image arr Y Double) GIF

Array arr Y Double => Readable (Image arr Y Double) BMP

Array arr Y Word8 => Readable (Image arr Y Word8) BMP

Array arr Y Word16 => Readable (Image arr Y Word16) PGM

Array arr Y Word8 => Readable (Image arr Y Word8) PGM

Array arr Y Double => Readable (Image arr Y Double) PPM

Array arr Y Double => Readable (Image arr Y Double) PGM

Array arr Y Double => Readable (Image arr Y Double) PBM

data Pixel Y = PixelY !e

type PixelElt Y e = e

data YA

Luma with Alpha channel.

Constructors

YA

Luma

AlphaYA

Alpha channel

Instances

Enum YA

Eq YA

Show YA

Alpha YA

ColorSpace YA

Array arr YA Double => Readable [Image arr YA Double] [GIF]

Eq e => Eq (Pixel YA e)

Show e => Show (Pixel YA e)

ManifestArray arr YA Double => Writable (Image arr YA Double) TIF

ManifestArray arr YA Word16 => Writable (Image arr YA Word16) TIF

ManifestArray arr YA Word8 => Writable (Image arr YA Word8) TIF

ManifestArray arr YA Double => Writable (Image arr YA Double) TGA

ManifestArray arr YA Double => Writable (Image arr YA Double) PNG

ManifestArray arr YA Word16 => Writable (Image arr YA Word16) PNG

ManifestArray arr YA Word8 => Writable (Image arr YA Word8) PNG

ManifestArray arr YA Double => Writable (Image arr YA Double) JPG

ManifestArray arr YA Double => Writable (Image arr YA Double) HDR

ManifestArray arr YA Double => Writable (Image arr YA Double) GIF

ManifestArray arr YA Double => Writable (Image arr YA Double) BMP

Array arr YA Double => Readable (Image arr YA Double) TIF

Array arr YA Word16 => Readable (Image arr YA Word16) TIF

Array arr YA Word8 => Readable (Image arr YA Word8) TIF

Array arr YA Double => Readable (Image arr YA Double) TGA

Array arr YA Double => Readable (Image arr YA Double) PNG

Array arr YA Word16 => Readable (Image arr YA Word16) PNG

Array arr YA Word8 => Readable (Image arr YA Word8) PNG

Array arr YA Double => Readable (Image arr YA Double) JPG

Array arr YA Word8 => Readable (Image arr YA Word8) JPG

Array arr YA Double => Readable (Image arr YA Double) HDR

Array arr YA Double => Readable (Image arr YA Double) GIF

Array arr YA Double => Readable (Image arr YA Double) BMP

Array arr YA Double => Readable (Image arr YA Double) PPM

type Opaque YA = Y

data Pixel YA = PixelYA !e !e

type PixelElt YA e = (e, e)

class ColorSpace cs => ToY cs where

Conversion to Luma color space.

Minimal complete definition

toPixelY

Methods

toPixelY :: Pixel cs Double -> Pixel Y Double

Convert a pixel to Luma pixel.

toImageY :: (Array arr cs Double, Array arr Y Double) => Image arr cs Double -> Image arr Y Double

Convert an image to Luma image.

class (ToY (Opaque cs), Alpha cs) => ToYA cs where

Conversion to Luma from another color space with Alpha channel.

Minimal complete definition

Nothing

Methods

toPixelYA :: Pixel cs Double -> Pixel YA Double

Convert a pixel to Luma pixel with Alpha.

toImageYA :: (Array arr cs Double, Array arr YA Double) => Image arr cs Double -> Image arr YA Double

Convert an image to Luma image with Alpha.

RGB

data RGB

Red, Green and Blue color space.

Constructors

RedRGB

GreenRGB

BlueRGB

Instances

Enum RGB

Eq RGB

Show RGB

ColorSpace RGB

ManifestArray arr RGB Double => Writable [(GifDelay, Image arr RGB Double)] [GIF]

ManifestArray arr RGB Word8 => Writable [(GifDelay, Image arr RGB Word8)] [GIF]

Array arr RGB Double => Readable [Image arr RGB Double] [GIF]

Array arr RGB Word8 => Readable [Image arr RGB Word8] [GIF]

Array arr RGB Word16 => Readable [Image arr RGB Word16] [PPM]

Array arr RGB Word8 => Readable [Image arr RGB Word8] [PPM]

Eq e => Eq (Pixel RGB e)

Show e => Show (Pixel RGB e)

ManifestArray arr RGB Double => Writable (Image arr RGB Double) TIF

ManifestArray arr RGB Word16 => Writable (Image arr RGB Word16) TIF

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) TIF

ManifestArray arr RGB Double => Writable (Image arr RGB Double) TGA

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) TGA

ManifestArray arr RGB Double => Writable (Image arr RGB Double) PNG

ManifestArray arr RGB Word16 => Writable (Image arr RGB Word16) PNG

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) PNG

ManifestArray arr RGB Double => Writable (Image arr RGB Double) JPG

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) JPG

ManifestArray arr RGB Double => Writable (Image arr RGB Double) HDR

ManifestArray arr RGB Float => Writable (Image arr RGB Float) HDR

ManifestArray arr RGB Double => Writable (Image arr RGB Double) GIF

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) GIF

ManifestArray arr RGB Double => Writable (Image arr RGB Double) BMP

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) BMP

Array arr RGB Double => Readable (Image arr RGB Double) TIF

Array arr RGB Word16 => Readable (Image arr RGB Word16) TIF

Array arr RGB Word8 => Readable (Image arr RGB Word8) TIF

Array arr RGB Double => Readable (Image arr RGB Double) TGA

Array arr RGB Word8 => Readable (Image arr RGB Word8) TGA

Array arr RGB Double => Readable (Image arr RGB Double) PNG

Array arr RGB Word16 => Readable (Image arr RGB Word16) PNG

Array arr RGB Word8 => Readable (Image arr RGB Word8) PNG

Array arr RGB Double => Readable (Image arr RGB Double) JPG

Array arr RGB Word8 => Readable (Image arr RGB Word8) JPG

Array arr RGB Double => Readable (Image arr RGB Double) HDR

Array arr RGB Float => Readable (Image arr RGB Float) HDR

Array arr RGB Double => Readable (Image arr RGB Double) GIF

Array arr RGB Word8 => Readable (Image arr RGB Word8) GIF

Array arr RGB Double => Readable (Image arr RGB Double) BMP

Array arr RGB Word8 => Readable (Image arr RGB Word8) BMP

Array arr RGB Word16 => Readable (Image arr RGB Word16) PPM

Array arr RGB Word8 => Readable (Image arr RGB Word8) PPM

Array arr RGB Double => Readable (Image arr RGB Double) PPM

data Pixel RGB = PixelRGB !e !e !e

type PixelElt RGB e = (e, e, e)

data RGBA

Red, Green and Blue color space with Alpha channel.

Constructors

RedRGBA

GreenRGBA

BlueRGBA

AlphaRGBA

Instances

Enum RGBA

Eq RGBA

Show RGBA

Alpha RGBA

ColorSpace RGBA

Array arr RGBA Double => Readable [Image arr RGBA Double] [GIF]

Array arr RGBA Word8 => Readable [Image arr RGBA Word8] [GIF]

Eq e => Eq (Pixel RGBA e)

Show e => Show (Pixel RGBA e)

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) TIF

ManifestArray arr RGBA Word16 => Writable (Image arr RGBA Word16) TIF

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) TIF

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) TGA

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) TGA

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) PNG

ManifestArray arr RGBA Word16 => Writable (Image arr RGBA Word16) PNG

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) PNG

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) HDR

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) GIF

ManifestArray arr RGBA Double => Writable (Image arr RGBA Double) BMP

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) BMP

Array arr RGBA Double => Readable (Image arr RGBA Double) TIF

Array arr RGBA Word16 => Readable (Image arr RGBA Word16) TIF

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) TIF

Array arr RGBA Double => Readable (Image arr RGBA Double) TGA

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) TGA

Array arr RGBA Double => Readable (Image arr RGBA Double) PNG

Array arr RGBA Word16 => Readable (Image arr RGBA Word16) PNG

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) PNG

Array arr RGBA Double => Readable (Image arr RGBA Double) JPG

Array arr RGBA Double => Readable (Image arr RGBA Double) HDR

Array arr RGBA Double => Readable (Image arr RGBA Double) GIF

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) GIF

Array arr RGBA Double => Readable (Image arr RGBA Double) BMP

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) BMP

Array arr RGBA Double => Readable (Image arr RGBA Double) PPM

type Opaque RGBA = RGB

data Pixel RGBA = PixelRGBA !e !e !e !e

type PixelElt RGBA e = (e, e, e, e)

class ColorSpace cs => ToRGB cs where

Conversion to RGB color space.

Minimal complete definition

toPixelRGB

Methods

toPixelRGB :: Pixel cs Double -> Pixel RGB Double

Convert to an RGB pixel.

toImageRGB :: (Array arr cs Double, Array arr RGB Double) => Image arr cs Double -> Image arr RGB Double

Convert to an RGB image.

class (ToRGB (Opaque cs), Alpha cs) => ToRGBA cs where

Conversion to RGBA from another color space with Alpha channel.

Minimal complete definition

Nothing

Methods

toPixelRGBA :: Pixel cs Double -> Pixel RGBA Double

Convert to an RGBA pixel.

toImageRGBA :: (Array arr cs Double, Array arr RGBA Double) => Image arr cs Double -> Image arr RGBA Double

Convert to an RGBA image.

HSI

data HSI

Hue, Saturation and Intensity color space.

Constructors

HueHSI

Hue

SatHSI

Saturation

IntHSI

Intensity

Instances

Enum HSI

Eq HSI

Show HSI

ColorSpace HSI

Eq e => Eq (Pixel HSI e)

Show e => Show (Pixel HSI e)

data Pixel HSI = PixelHSI !e !e !e

type PixelElt HSI e = (e, e, e)

data HSIA

Hue, Saturation and Intensity color space with Alpha channel.

Constructors

HueHSIA

Hue

SatHSIA

Saturation

IntHSIA

Intensity

AlphaHSIA

Alpha

Instances

Enum HSIA

Eq HSIA

Show HSIA

Alpha HSIA

ColorSpace HSIA

Eq e => Eq (Pixel HSIA e)

Show e => Show (Pixel HSIA e)

type Opaque HSIA = HSI

data Pixel HSIA = PixelHSIA !e !e !e !e

type PixelElt HSIA e = (e, e, e, e)

class ColorSpace cs => ToHSI cs where

Conversion to HSI color space.

Minimal complete definition

toPixelHSI

Methods

toPixelHSI :: Pixel cs Double -> Pixel HSI Double

Convert to an HSI pixel.

toImageHSI :: (Array arr cs Double, Array arr HSI Double) => Image arr cs Double -> Image arr HSI Double

Convert to an HSI image.

class (ToHSI (Opaque cs), Alpha cs) => ToHSIA cs where

Conversion to HSIA from another color space with Alpha channel.

Minimal complete definition

Nothing

Methods

toPixelHSIA :: Pixel cs Double -> Pixel HSIA Double

Convert to an HSIA pixel.

toImageHSIA :: (Array arr cs Double, Array arr HSIA Double) => Image arr cs Double -> Image arr HSIA Double

Convert to an HSIA image.

CMYK

data CMYK

Cyan, Magenta, Yellow and Black color space.

Constructors

CyanCMYK

Cyan

MagCMYK

Magenta

YelCMYK

Yellow

KeyCMYK

Key (Black)

Instances

Enum CMYK

Eq CMYK

Show CMYK

ColorSpace CMYK

Eq e => Eq (Pixel CMYK e)

Show e => Show (Pixel CMYK e)

ManifestArray arr CMYK Double => Writable (Image arr CMYK Double) TIF

ManifestArray arr CMYK Word16 => Writable (Image arr CMYK Word16) TIF

ManifestArray arr CMYK Word8 => Writable (Image arr CMYK Word8) TIF

ManifestArray arr CMYK Double => Writable (Image arr CMYK Double) JPG

ManifestArray arr CMYK Word8 => Writable (Image arr CMYK Word8) JPG

Array arr CMYK Word16 => Readable (Image arr CMYK Word16) TIF

Array arr CMYK Word8 => Readable (Image arr CMYK Word8) TIF

Array arr CMYK Word8 => Readable (Image arr CMYK Word8) JPG

data Pixel CMYK = PixelCMYK !e !e !e !e

type PixelElt CMYK e = (e, e, e, e)

data CMYKA

Cyan, Magenta, Yellow and Black color space with Alpha channel.

Constructors

CyanCMYKA

Cyan

MagCMYKA

Magenta

YelCMYKA

Yellow

KeyCMYKA

Key (Black)

AlphaCMYKA

Alpha

Instances

Enum CMYKA

Eq CMYKA

Show CMYKA

Alpha CMYKA

ColorSpace CMYKA

Eq e => Eq (Pixel CMYKA e)

Show e => Show (Pixel CMYKA e)

type Opaque CMYKA = CMYK

data Pixel CMYKA = PixelCMYKA !e !e !e !e !e

type PixelElt CMYKA e = (e, e, e, e, e)

class ColorSpace cs => ToCMYK cs where

Conversion to CMYK color space.

Minimal complete definition

toPixelCMYK

Methods

toPixelCMYK :: Pixel cs Double -> Pixel CMYK Double

Convert to a CMYK pixel.

toImageCMYK :: (Array arr cs Double, Array arr CMYK Double) => Image arr cs Double -> Image arr CMYK Double

Convert to a CMYK image.

class (ToCMYK (Opaque cs), Alpha cs) => ToCMYKA cs where

Conversion to CMYKA from another color space with Alpha channel.

Minimal complete definition

Nothing

Methods

toPixelCMYKA :: Pixel cs Double -> Pixel CMYKA Double

Convert to a CMYKA pixel.

toImageCMYKA :: (Array arr cs Double, Array arr CMYKA Double) => Image arr cs Double -> Image arr CMYKA Double

Convert to a CMYKA image.

YCbCr

data YCbCr

Color space is used to encode RGB information and is used in JPEG compression.

Constructors

LumaYCbCr

Luma component (commonly denoted as Y')

CBlueYCbCr

Blue difference chroma component

CRedYCbCr

Red difference chroma component

Instances

Enum YCbCr

Eq YCbCr

Show YCbCr

ColorSpace YCbCr

Eq e => Eq (Pixel YCbCr e)

Show e => Show (Pixel YCbCr e)

ManifestArray arr YCbCr Double => Writable (Image arr YCbCr Double) TIF

ManifestArray arr YCbCr Word8 => Writable (Image arr YCbCr Word8) TIF

ManifestArray arr YCbCr Double => Writable (Image arr YCbCr Double) JPG

ManifestArray arr YCbCr Word8 => Writable (Image arr YCbCr Word8) JPG

Array arr YCbCr Word8 => Readable (Image arr YCbCr Word8) JPG

data Pixel YCbCr = PixelYCbCr !e !e !e

type PixelElt YCbCr e = (e, e, e)

data YCbCrA

YCbCr color space with Alpha channel.

Constructors

LumaYCbCrA

Luma component (commonly denoted as Y')

CBlueYCbCrA

Blue difference chroma component

CRedYCbCrA

Red difference chroma component

AlphaYCbCrA

Alpha component.

Instances

Enum YCbCrA

Eq YCbCrA

Show YCbCrA

Alpha YCbCrA

ColorSpace YCbCrA

Eq e => Eq (Pixel YCbCrA e)

Show e => Show (Pixel YCbCrA e)

type Opaque YCbCrA = YCbCr

data Pixel YCbCrA = PixelYCbCrA !e !e !e !e

type PixelElt YCbCrA e = (e, e, e, e)

class ColorSpace cs => ToYCbCr cs where

Conversion to YCbCr color space.

Minimal complete definition

toPixelYCbCr

Methods

toPixelYCbCr :: Pixel cs Double -> Pixel YCbCr Double

Convert to an YCbCr pixel.

toImageYCbCr :: (Array arr cs Double, Array arr YCbCr Double) => Image arr cs Double -> Image arr YCbCr Double

Convert to an YCbCr image.

class (ToYCbCr (Opaque cs), Alpha cs) => ToYCbCrA cs where

Conversion to YCbCrA from another color space with Alpha channel.

Minimal complete definition

Nothing

Methods

toPixelYCbCrA :: Pixel cs Double -> Pixel YCbCrA Double

Convert to an YCbCrA pixel.

toImageYCbCrA :: (Array arr cs Double, Array arr YCbCrA Double) => Image arr cs Double -> Image arr YCbCrA Double

Convert to an YCbCrA image.

Gray

data Gray

This is a signgle channel colorspace, that is designed to hold any channel from any other colorspace, hence it is not convertible to and from, but rather is here to allow separation of channels from other multichannel colorspaces. If you are looking for a true grayscale colorspace Y should be used instead.

Constructors

Gray

Instances

Enum Gray

Eq Gray

Show Gray

ColorSpace Gray

Monad (Pixel Gray)

Eq e => Eq (Pixel Gray e)

Ord e => Ord (Pixel Gray e)

Show e => Show (Pixel Gray e)

data Pixel Gray = PixelGray !e

type PixelElt Gray e = e

toGrayImages :: (Array arr cs e, Array arr Gray e) => Image arr cs e -> [Image arr Gray e]

Separate an image into a list of images with Gray pixels containing every channel from the source image.

>>> frog <- readImageRGB "images/frog.jpg"
>>> let [frog_red, frog_green, frog_blue] = toGrayImages frog
>>> writeImage "images/frog_red.png" $ toImageY frog_red
>>> writeImage "images/frog_green.jpg" $ toImageY frog_green
>>> writeImage "images/frog_blue.jpg" $ toImageY frog_blue

fromGrayImages :: forall arr cs e. (Array arr Gray e, Array arr cs e) => [Image arr Gray e] -> [cs] -> Image arr cs e

Combine a list of images with Gray pixels into an image of any color space, by supplying an order of color space channels.

For example here is a frog with swapped BlueRGB and GreenRGB channels.

>>> writeImage "images/frog_rbg.jpg" $ fromGrayImages [frog_red, frog_green, frog_blue] [RedRGB, BlueRGB, GreenRGB]

It is worth noting though, that separating image channels can be sometimes pretty useful, the same effect as above can be achieved in a much simpler and more efficient way:

 map ((PixelRGB r g b) -> PixelRGB r b g) frog

Binary

data Binary

This is a Binary colorspace, pixel's of which can be created using these constructors:

on

Represents value 1 or True. It's a foreground pixel and is displayed in black.

off

Represents value 0 or False. It's a background pixel and is displayed in white.

Note, that values are inverted before writing to or reading from file, since grayscale images represent black as a 0 value and white as 1 on a [0,1] scale.

Binary pixels also behave as binary numbers with a size of 1-bit, for instance:

>>> on + on -- equivalent to: 1 .|. 1
<Binary:(1)>
>>> (on + on) * off -- equivalent to: (1 .|. 1) .&. 0
<Binary:(0)>
>>> (on + on) - on
<Binary:(0)>

Instances

Enum Binary

Eq Binary

Show Binary

ColorSpace Binary

Array arr Binary Bit => Readable [Image arr Binary Bit] [PBM]

Eq e => Eq (Pixel Binary e)

Show (Pixel Binary Bit)

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) TIF

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) TGA

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) PNG

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) BMP

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) TIF

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) TGA

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) PNG

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) BMP

Array arr Binary Bit => Readable (Image arr Binary Bit) PBM

data Pixel Binary = PixelBinary !e

type PixelElt Binary e = e

data Bit

Under the hood, Binary pixels are represented as Word8 that can only take values of 0 or 1.

Instances

Eq Bit

Num Bit

Ord Bit

Array arr Binary Bit => Readable [Image arr Binary Bit] [PBM]

Show (Pixel Binary Bit)

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) TIF

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) TGA

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) PNG

ManifestArray arr Binary Bit => Writable (Image arr Binary Bit) BMP

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) TIF

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) TGA

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) PNG

(Array arr Y Word8, Array arr Binary Bit) => Readable (Image arr Binary Bit) BMP

Array arr Binary Bit => Readable (Image arr Binary Bit) PBM

data Vector Bit = V_Bit (Vector Word8)

data MVector s Bit = MV_Bit (MVector s Word8)

on :: Pixel Binary Bit

Represents value True or 1 in binary. Often also called a foreground pixel of an object.

off :: Pixel Binary Bit

Represents value False or 0 in binary. Often also called a background pixel.

isOn :: Pixel Binary Bit -> Bool

Test if Pixel's value is on.

isOff :: Pixel Binary Bit -> Bool

Test if Pixel's value is off.

fromBool :: Bool -> Pixel Binary Bit

Convert a Bool to a PixelBin pixel.

>>> isOn (fromBool True)
True

complement :: Pixel Binary Bit -> Pixel Binary Bit

Invert value of a pixel. Equivalent of not for Bool's.

toPixelBinary :: (ColorSpace cs, Eq (Pixel cs e), Num e) => Pixel cs e -> Pixel Binary Bit

Convert any pixel to binary pixel.

fromPixelBinary :: Pixel Binary Bit -> Pixel Y Word8

Convert a Binary pixel to Luma pixel

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

Convert any image to binary image.

fromImageBinary :: (Array arr Binary Bit, Array arr Y Word8) => Image arr Binary Bit -> Image arr Y Word8

Convert a Binary image to Luma image

Complex

Rectangular form

data Complex a :: * -> *

Complex numbers are an algebraic type.

For a complex number z, abs z is a number with the magnitude of z, but oriented in the positive real direction, whereas signum z has the phase of z, but unit magnitude.

Constructors

!a :+ !a infix 6

forms a complex number from its real and imaginary rectangular components.

Instances

Representable Complex

(RealFloat a, Unbox a) => Vector Vector (Complex a)

(RealFloat a, Unbox a) => MVector MVector (Complex a)

Eq a => Eq (Complex a)

RealFloat a => Floating (Complex a)

RealFloat a => Fractional (Complex a)

Data a => Data (Complex a)

RealFloat a => Num (Complex a)

Read a => Read (Complex a)

Show a => Show (Complex a)

Storable a => Storable (Complex a)

NFData a => NFData (Complex a)

(RealFloat a, Unbox a) => Unbox (Complex a)

type Rep Complex = Bool

data MVector s (Complex a) = MV_Complex (MVector s (a, a))

type Index (Complex a) = Int

data Vector (Complex a) = V_Complex (Vector (a, a))

(+:) :: ColorSpace cs => Pixel cs e -> Pixel cs e -> Pixel cs (Complex e) infix 6

Constrcut a complex pixel from two pixels representing real and imaginary parts.

 PixelRGB 4 8 6 +: PixelRGB 7 1 1 == PixelRGB (4 :+ 7) (8 :+ 1) (6 :+ 1)

realPart :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> Pixel cs e

Extracts the real part of a complex pixel.

imagPart :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> Pixel cs e

Extracts the imaginary part of a complex pixel.

Polar form

mkPolar :: (ColorSpace cs, RealFloat e) => Pixel cs e -> Pixel cs e -> Pixel cs (Complex e)

Form a complex pixel from polar components of magnitude and phase.

cis :: (ColorSpace cs, RealFloat e) => Pixel cs e -> Pixel cs (Complex e)

cis t is a complex pixel with magnitude 1 and phase t (modulo 2*pi).

polar :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> (Pixel cs e, Pixel cs e)

The function polar takes a complex pixel and returns a (magnitude, phase) pair of pixels in canonical form: the magnitude is nonnegative, and the phase in the range (-pi, pi]; if the magnitude is zero, then so is the phase.

magnitude :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> Pixel cs e

The nonnegative magnitude of a complex pixel.

phase :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> Pixel cs e

The phase of a complex pixel, in the range (-pi, pi]. If the magnitude is zero, then so is the phase.

Conjugate

conjugate :: (ColorSpace cs, RealFloat e) => Pixel cs (Complex e) -> Pixel cs (Complex e)

The conjugate of a complex pixel.

Re-exports

data Word8 :: *

8-bit unsigned integer type

Instances

Bounded Word8

Enum Word8

Eq Word8

Integral Word8

Num Word8

Ord Word8

Read Word8

Real Word8

Show Word8

Ix Word8

Unpackable Word8

The Word8 instance is just a passthrough, to avoid copying memory twice

JpgEncodable Pixel8

TiffSaveable Pixel8

PngSavable Pixel8

TgaSaveable Pixel8

BmpEncodable Pixel8

Pixel Pixel8

LumaPlaneExtractable Pixel8

PackeablePixel Pixel8

Storable Word8

Bits Word8

FiniteBits Word8

NFData Word8

Hashable Word8

Prim Word8

Unbox Word8

Elt Word8

Lift Word8

Decimable Pixel16 Pixel8

Decimable PixelF Pixel8

TransparentPixel PixelYA8 Pixel8

ColorConvertible Pixel8 Pixel16

ColorConvertible Pixel8 PixelF

ColorConvertible Pixel8 PixelYA8

ColorConvertible Pixel8 PixelRGB8

ColorConvertible Pixel8 PixelRGBA8

IArray UArray Word8

Vector Vector Word8

Source B Word8

Read elements from a ByteString.

MVector MVector Word8

Structured B Word8 b

MArray (STUArray s) Word8 (ST s)

ManifestArray arr RGB Word8 => Writable [(GifDelay, Image arr RGB Word8)] [GIF]

Array arr RGBA Word8 => Readable [Image arr RGBA Word8] [GIF]

Array arr RGB Word8 => Readable [Image arr RGB Word8] [GIF]

Array arr RGB Word8 => Readable [Image arr RGB Word8] [PPM]

Array arr Y Word8 => Readable [Image arr Y Word8] [PGM]

Read sh => Read (Array B sh Word8)

Show sh => Show (Array B sh Word8)

ManifestArray arr CMYK Word8 => Writable (Image arr CMYK Word8) TIF

ManifestArray arr YCbCr Word8 => Writable (Image arr YCbCr Word8) TIF

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) TIF

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) TIF

ManifestArray arr YA Word8 => Writable (Image arr YA Word8) TIF

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) TIF

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) TGA

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) TGA

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) TGA

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) PNG

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) PNG

ManifestArray arr YA Word8 => Writable (Image arr YA Word8) PNG

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) PNG

ManifestArray arr YCbCr Word8 => Writable (Image arr YCbCr Word8) JPG

ManifestArray arr CMYK Word8 => Writable (Image arr CMYK Word8) JPG

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) JPG

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) JPG

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) GIF

ManifestArray arr RGBA Word8 => Writable (Image arr RGBA Word8) BMP

ManifestArray arr RGB Word8 => Writable (Image arr RGB Word8) BMP

ManifestArray arr Y Word8 => Writable (Image arr Y Word8) BMP

Array arr CMYK Word8 => Readable (Image arr CMYK Word8) TIF

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) TIF

Array arr RGB Word8 => Readable (Image arr RGB Word8) TIF

Array arr YA Word8 => Readable (Image arr YA Word8) TIF

Array arr Y Word8 => Readable (Image arr Y Word8) TIF

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) TGA

Array arr RGB Word8 => Readable (Image arr RGB Word8) TGA

Array arr Y Word8 => Readable (Image arr Y Word8) TGA

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) PNG

Array arr RGB Word8 => Readable (Image arr RGB Word8) PNG

Array arr YA Word8 => Readable (Image arr YA Word8) PNG

Array arr Y Word8 => Readable (Image arr Y Word8) PNG

Array arr YCbCr Word8 => Readable (Image arr YCbCr Word8) JPG

Array arr CMYK Word8 => Readable (Image arr CMYK Word8) JPG

Array arr RGB Word8 => Readable (Image arr RGB Word8) JPG

Array arr YA Word8 => Readable (Image arr YA Word8) JPG

Array arr Y Word8 => Readable (Image arr Y Word8) JPG

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) GIF

Array arr RGB Word8 => Readable (Image arr RGB Word8) GIF

Array arr RGBA Word8 => Readable (Image arr RGBA Word8) BMP

Array arr RGB Word8 => Readable (Image arr RGB Word8) BMP

Array arr Y Word8 => Readable (Image arr Y Word8) BMP

Array arr RGB Word8 => Readable (Image arr RGB Word8) PPM

Array arr Y Word8 => Readable (Image arr Y Word8) PGM

type StorageType Word8 = Word8

type PixelBaseComponent Pixel8 = Word8

type PackedRepresentation Pixel8 = Pixel8

data Vector Word8 = V_Word8 (Vector Word8)

data MVector s Word8 = MV_Word8 (MVector s Word8)

data Array B sh Word8 = AByteString !sh !ByteString

data Word16 :: *

16-bit unsigned integer type

Instances

Bounded Word16

Enum Word16

Eq Word16

Integral Word16

Num Word16

Ord Word16

Read Word16

Real Word16

Show Word16

Ix Word16

Unpackable Word16

TiffSaveable Pixel16

PngSavable Pixel16

Pixel Pixel16

LumaPlaneExtractable Pixel16

PackeablePixel Pixel16

Storable Word16

Bits Word16

FiniteBits Word16

NFData Word16

Hashable Word16

Prim Word16

Unbox Word16

Elt Word16

Lift Word16

Decimable Pixel16 Pixel8

TransparentPixel PixelYA16 Pixel16

ColorConvertible Pixel8 Pixel16

ColorConvertible Pixel16 PixelYA16

ColorConvertible Pixel16 PixelRGB16

ColorConvertible Pixel16 PixelRGBA16

IArray UArray Word16

Vector Vector Word16

MVector MVector Word16

MArray (STUArray s) Word16 (ST s)

Array arr RGB Word16 => Readable [Image arr RGB Word16] [PPM]

Array arr Y Word16 => Readable [Image arr Y Word16] [PGM]

ManifestArray arr CMYK Word16 => Writable (Image arr CMYK Word16) TIF

ManifestArray arr RGBA Word16 => Writable (Image arr RGBA Word16) TIF

ManifestArray arr RGB Word16 => Writable (Image arr RGB Word16) TIF

ManifestArray arr YA Word16 => Writable (Image arr YA Word16) TIF

ManifestArray arr Y Word16 => Writable (Image arr Y Word16) TIF

ManifestArray arr RGBA Word16 => Writable (Image arr RGBA Word16) PNG

ManifestArray arr RGB Word16 => Writable (Image arr RGB Word16) PNG

ManifestArray arr YA Word16 => Writable (Image arr YA Word16) PNG

ManifestArray arr Y Word16 => Writable (Image arr Y Word16) PNG

Array arr CMYK Word16 => Readable (Image arr CMYK Word16) TIF

Array arr RGBA Word16 => Readable (Image arr RGBA Word16) TIF

Array arr RGB Word16 => Readable (Image arr RGB Word16) TIF

Array arr YA Word16 => Readable (Image arr YA Word16) TIF

Array arr Y Word16 => Readable (Image arr Y Word16) TIF

Array arr RGBA Word16 => Readable (Image arr RGBA Word16) PNG

Array arr RGB Word16 => Readable (Image arr RGB Word16) PNG

Array arr YA Word16 => Readable (Image arr YA Word16) PNG

Array arr Y Word16 => Readable (Image arr Y Word16) PNG

Array arr RGB Word16 => Readable (Image arr RGB Word16) PPM

Array arr Y Word16 => Readable (Image arr Y Word16) PGM

type StorageType Word16 = Word16

type PixelBaseComponent Pixel16 = Word16

type PackedRepresentation Pixel16 = Pixel16

data Vector Word16 = V_Word16 (Vector Word16)

data MVector s Word16 = MV_Word16 (MVector s Word16)

data Word32 :: *

32-bit unsigned integer type

Instances

Bounded Word32

Enum Word32

Eq Word32

Integral Word32

Num Word32

Ord Word32

Read Word32

Real Word32

Show Word32

Ix Word32

Unpackable Word32

Pixel Pixel32

LumaPlaneExtractable Pixel32

PackeablePixel Pixel32

Storable Word32

Bits Word32

FiniteBits Word32

NFData Word32

Hashable Word32

Prim Word32

Unbox Word32

Elt Word32

Lift Word32

IArray UArray Word32

Vector Vector Word32

MVector MVector Word32

MArray (STUArray s) Word32 (ST s)

type StorageType Word32 = Word32

type PixelBaseComponent Pixel32 = Word32

type PackedRepresentation Pixel32 = Pixel32

data Vector Word32 = V_Word32 (Vector Word32)

data MVector s Word32 = MV_Word32 (MVector s Word32)

data Word64 :: *

64-bit unsigned integer type

Instances

Bounded Word64

Enum Word64

Eq Word64

Integral Word64

Num Word64

Ord Word64

Read Word64

Real Word64

Show Word64

Ix Word64

Storable Word64

Bits Word64

FiniteBits Word64

NFData Word64

Hashable Word64

Prim Word64

Unbox Word64

Elt Word64

Lift Word64

IArray UArray Word64

Vector Vector Word64

MVector MVector Word64

MArray (STUArray s) Word64 (ST s)

data Vector Word64 = V_Word64 (Vector Word64)

data MVector s Word64 = MV_Word64 (MVector s Word64)