CV-0.3.5.3: OpenCV based machine vision library

Safe HaskellSafe-Infered

CV.Image

Contents

Synopsis

Basic types

newtype Image channels depth

The type for Images

Constructors

S BareImage 

Instances

empty :: CreateImage (Image a b) => (Int, Int) -> Image a b

Allocate a new empty image

emptyCopy :: CreateImage (Image a b) => Image a b -> Image a b

 Allocate a new image that of the same size and type as the exemplar image given.

cloneImage :: Image a b -> IO (Image a b)

Create a copy of an image

withClone :: Image channels depth -> (Image channels depth -> IO ()) -> IO (Image channels depth)

withCloneValue :: Image channels depth -> (Image channels depth -> IO a) -> IO a

class CreateImage a where

 Class for images that exist.

Methods

create :: (Int, Int) -> IO a

Create an image from size

Instances

Colour spaces

type family ChannelOf a :: *

Type family for expressing which channels a colorspace contains. This needs to be fixed wrt. the BGR color space.

data GrayScale

Single channel grayscale image

Instances

data DFT

Instances

data RGB

Instances

data RGBA

Instances

data RGB_Channel

Constructors

Red 
Green 
Blue 

Instances

data LAB

Instances

data LAB_Channel

Constructors

LAB_L 
LAB_A 
LAB_B 

Instances

type D32 = Float

type D64 = Double

type D8 = Word8

data Tag tp

lab :: Tag LAB

rgba :: Tag RGBA

rgb :: Tag RGB

compose :: Composes a => Source a -> a

composeMultichannelImage :: CreateImage (Image tp a) => Maybe (Image GrayScale a) -> Maybe (Image GrayScale a) -> Maybe (Image GrayScale a) -> Maybe (Image GrayScale a) -> Tag tp -> Image tp a

IO operations

class Loadable a where

Typeclass for CV items that can be read from file. Mainly images at this point.

Methods

readFromFile :: FilePath -> IO a

Instances

saveImage :: FilePath -> Image c d -> IO ()

Save image. This will convert the image to 8 bit one before saving

loadColorImage :: FilePath -> IO (Maybe (Image BGR D32))

loadImage :: FilePath -> IO (Maybe (Image GrayScale D32))

Pixel level access

class GetPixel a where

Associated Types

type P a :: *

Methods

getPixel :: (Int, Int) -> a -> P a

Instances

class SetPixel a where

Associated Types

type SP a :: *

Methods

setPixel :: (Int, Int) -> SP a -> a -> IO ()

Instances

getAllPixels :: (GetPixel a, Sized a, ~ * (Size a) (Int, Int)) => a -> [P a]

getAllPixelsRowMajor :: (GetPixel a, Sized a, ~ * (Size a) (Int, Int)) => a -> [P a]

mapImageInplace :: (P (Image GrayScale D32) -> P (Image GrayScale D32)) -> Image GrayScale D32 -> IO ()

Perform (a destructive) inplace map of the image. This should be wrapped inside withClone or an image operation

Image information

data ImageDepth

Instances

class Sized a where

Typeclass for elements with a size, such as images and matrices.

Associated Types

type Size a :: *

Methods

getSize :: a -> Size a

Instances

getArea :: (Sized a, Num b, Size a ~ (b, b)) => a -> b

getChannel :: Enum a => a -> Image (ChannelOf a) d -> Image GrayScale d

getImageChannels :: Image c d -> IO CInt

getImageDepth :: Image c d -> IO ImageDepth

getImageInfo :: Image c d -> IO ((Int, Int), ImageDepth, CInt)

ROI's, COI's and subregions

setCOI :: Integral a => a -> Image c d -> IO ()

setROI :: (Integral t3, Integral t2, Integral t1, Integral t) => (t, t1) -> (t2, t3) -> Image c d -> IO ()

resetROI :: Image c d -> IO ()

getRegion :: (Int, Int) -> (Int, Int) -> Image c d -> Image c d

withIOROI :: (Integral t, Integral t1, Integral t2, Integral t3) => (t, t1) -> (t2, t3) -> Image c d -> IO b -> IO b

withROI :: (Int, Int) -> (Int, Int) -> Image c d -> (Image c d -> a) -> a

Blitting

blendBlit :: Image c d -> Image c1 d1 -> Image c3 d3 -> Image c2 d2 -> (CInt, CInt) -> IO ()

Blit image2 onto image1. This uses an alpha channel bitmap for determining the regions where the image should be blended with the base image.

blit :: Image GrayScale D32 -> Image GrayScale D32 -> (Int, Int) -> IO ()

blitM :: (Integral a3, Integral a2, Integral a1, Integral a) => (a, a1) -> [((a2, a3), Image GrayScale D32)] -> Image GrayScale D32

subPixelBlit :: Image c d -> Image c d -> (CDouble, CDouble) -> IO ()

safeBlit :: Image GrayScale D32 -> Image GrayScale D32 -> (Int, Int) -> Image GrayScale D32

montage :: CreateImage (Image GrayScale D32) => (Int, Int) -> Int -> [Image GrayScale D32] -> Image GrayScale D32

Create a montage form given images (u,v) determines the layout and space the spacing between images. Images are assumed to be the same size (determined by the first image)

tileImages :: Image c d -> Image c1 d1 -> (CInt, CInt) -> Image channels depth

Tile images by overlapping them on a black canvas.

Conversions

rgbToGray :: Image RGB D32 -> Image GrayScale D32

grayToRGB :: Image GrayScale D32 -> Image RGB D32

rgbToLab :: Image RGB D32 -> Image LAB D32

bgrToRgb :: Image BGR depth -> Image RGB depth

rgbToBgr :: Image BGR depth -> Image RGB depth

unsafeImageTo32F :: Image c d -> Image c D32

unsafeImageTo8Bit :: Image cspace a -> Image cspace D8

Low level access operations

newtype BareImage

Constructors

BareImage (ForeignPtr BareImage) 

Instances

creatingImage :: IO (Ptr BareImage) -> IO (Image channels depth)

unImage :: Image t t1 -> ForeignPtr BareImage

unS :: Image t t1 -> BareImage

 Remove typing info from an image

withGenBareImage :: BareImage -> (Ptr b -> IO b1) -> IO b1

withBareImage :: BareImage -> (Ptr BareImage -> IO b) -> IO b

creatingBareImage :: IO (Ptr BareImage) -> IO BareImage

withGenImage :: Image c d -> (Ptr b -> IO a) -> IO a

withImage :: Image c d -> (Ptr BareImage -> IO a) -> IO a

imageFPTR :: Image c d -> ForeignPtr BareImage

ensure32F :: Ptr BareImage -> IO (Ptr BareImage)

Extended error handling

setCatch :: IO CInt

data CvException

Instances