Safe Haskell	None
Language	Haskell2010

Vision.Image.Type

Contents

Manifest images
Delayed images
Delayed masked images
Conversion and type helpers

Synopsis

Manifest images

data Manifest p Source #

Stores the image content in a Vector.

Constructors

Manifest
Fields manifestSize :: !Size manifestVector :: !(Vector p)

Instances

(Image src, Storable p) => FunctorImage src (Manifest p) Source #
Methods map :: (ImagePixel src -> ImagePixel (Manifest p)) -> src -> Manifest p Source #
Storable acc => SeparatelyFiltrable src (Manifest p) acc Source #
Associated Types type SeparableFilterAccumulator src (Manifest p) acc :: * Source #
(Eq p, Storable p) => Eq (Manifest p) Source #
Methods (==) :: Manifest p -> Manifest p -> Bool # (/=) :: Manifest p -> Manifest p -> Bool #
(Ord p, Storable p) => Ord (Manifest p) Source #
Methods compare :: Manifest p -> Manifest p -> Ordering # (<) :: Manifest p -> Manifest p -> Bool # (<=) :: Manifest p -> Manifest p -> Bool # (>) :: Manifest p -> Manifest p -> Bool # (>=) :: Manifest p -> Manifest p -> Bool # max :: Manifest p -> Manifest p -> Manifest p # min :: Manifest p -> Manifest p -> Manifest p #
(Storable p, Show p) => Show (Manifest p) Source #
Methods showsPrec :: Int -> Manifest p -> ShowS # show :: Manifest p -> String # showList :: [Manifest p] -> ShowS #
NFData (Manifest p) Source #
Methods rnf :: Manifest p -> () #
Storable p => FromFunction (Manifest p) Source #
Associated Types type FromFunctionPixel (Manifest p) :: * Source # Methods fromFunction :: Size -> (Point -> FromFunctionPixel (Manifest p)) -> Manifest p Source # fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p Source # fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p Source # fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p Source #
Storable p => Image (Manifest p) Source #
Methods index :: Manifest p -> Point -> ImagePixel (Manifest p) Source # linearIndex :: Manifest p -> Int -> ImagePixel (Manifest p) Source # vector :: Manifest p -> Vector (ImagePixel (Manifest p)) Source #
Storable p => MaskedImage (Manifest p) Source #
Associated Types type ImagePixel (Manifest p) :: * Source # Methods shape :: Manifest p -> Size Source # maskedIndex :: Manifest p -> Point -> Maybe (ImagePixel (Manifest p)) Source # maskedLinearIndex :: Manifest p -> Int -> Maybe (ImagePixel (Manifest p)) Source # values :: Manifest p -> Vector (ImagePixel (Manifest p)) Source #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2) Source #
Methods safeConvert :: Delayed p1 -> ConvertResult (Manifest p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2) Source #
Methods safeConvert :: Manifest p1 -> ConvertResult (Delayed p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Manifest p2) Source #
Methods safeConvert :: Manifest p1 -> ConvertResult (Manifest p2) #
type SeparableFilterAccumulator src (Manifest p) acc Source #
type SeparableFilterAccumulator src (Manifest p) acc = Manifest acc
type FromFunctionPixel (Manifest p) Source #
type FromFunctionPixel (Manifest p) = p
type ImagePixel (Manifest p) Source #
type ImagePixel (Manifest p) = p

Delayed images

data Delayed p Source #

A delayed image is an image which is constructed using a function.

Usually, a delayed image maps each of its pixels over another image. Delayed images are useful by avoiding intermediate images in a transformation pipeline of images or by avoiding the computation of the whole resulting image when only a portion of its pixels will be accessed.

Constructors

Delayed
Fields delayedSize :: !Size delayedFun :: !(Point -> p)

Instances

(Image src, Storable p) => FunctorImage src (Delayed p) Source #
Methods map :: (ImagePixel src -> ImagePixel (Delayed p)) -> src -> Delayed p Source #
Storable acc => SeparatelyFiltrable src (Delayed p) acc Source #
Associated Types type SeparableFilterAccumulator src (Delayed p) acc :: * Source #
FromFunction (Delayed p) Source #
Associated Types type FromFunctionPixel (Delayed p) :: * Source # Methods fromFunction :: Size -> (Point -> FromFunctionPixel (Delayed p)) -> Delayed p Source # fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p Source # fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p Source # fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p Source #
Storable p => Image (Delayed p) Source #
Methods index :: Delayed p -> Point -> ImagePixel (Delayed p) Source # linearIndex :: Delayed p -> Int -> ImagePixel (Delayed p) Source # vector :: Delayed p -> Vector (ImagePixel (Delayed p)) Source #
Storable p => MaskedImage (Delayed p) Source #
Associated Types type ImagePixel (Delayed p) :: * Source # Methods shape :: Delayed p -> Size Source # maskedIndex :: Delayed p -> Point -> Maybe (ImagePixel (Delayed p)) Source # maskedLinearIndex :: Delayed p -> Int -> Maybe (ImagePixel (Delayed p)) Source # values :: Delayed p -> Vector (ImagePixel (Delayed p)) Source #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2) Source #
Methods safeConvert :: Delayed p1 -> ConvertResult (Manifest p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Delayed p2) Source #
Methods safeConvert :: Delayed p1 -> ConvertResult (Delayed p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2) Source #
Methods safeConvert :: Manifest p1 -> ConvertResult (Delayed p2) #
type SeparableFilterAccumulator src (Delayed p) acc Source #
type SeparableFilterAccumulator src (Delayed p) acc = Delayed acc
type FromFunctionPixel (Delayed p) Source #
type FromFunctionPixel (Delayed p) = p
type ImagePixel (Delayed p) Source #
type ImagePixel (Delayed p) = p

Delayed masked images

data DelayedMask p Source #

Constructors

DelayedMask
Fields delayedMaskSize :: !Size delayedMaskFun :: !(Point -> Maybe p)

Instances

(MaskedImage src, Storable p) => FunctorImage src (DelayedMask p) Source #
Methods map :: (ImagePixel src -> ImagePixel (DelayedMask p)) -> src -> DelayedMask p Source #
Storable p => FromFunction (DelayedMask p) Source #
Associated Types type FromFunctionPixel (DelayedMask p) :: * Source # Methods fromFunction :: Size -> (Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p Source # fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p Source # fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p Source # fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p Source #
Storable p => MaskedImage (DelayedMask p) Source #
Associated Types type ImagePixel (DelayedMask p) :: * Source # Methods shape :: DelayedMask p -> Size Source # maskedIndex :: DelayedMask p -> Point -> Maybe (ImagePixel (DelayedMask p)) Source # maskedLinearIndex :: DelayedMask p -> Int -> Maybe (ImagePixel (DelayedMask p)) Source # values :: DelayedMask p -> Vector (ImagePixel (DelayedMask p)) Source #
type FromFunctionPixel (DelayedMask p) Source #
type FromFunctionPixel (DelayedMask p) = Maybe p
type ImagePixel (DelayedMask p) Source #
type ImagePixel (DelayedMask p) = p

Conversion and type helpers

delay :: Image i => i -> Delayed (ImagePixel i) Source #

Delays an image in its delayed representation.

compute :: (Image i, Storable (ImagePixel i)) => i -> Manifest (ImagePixel i) Source #

Computes the value of an image into a manifest representation.

delayed :: Delayed p -> Delayed p Source #

Forces an image to be in its delayed represenation. Does nothing.

manifest :: Manifest p -> Manifest p Source #

Forces an image to be in its manifest represenation. Does nothing.