Safe Haskell	Safe-Inferred
Language	Haskell2010

Vision.Image.Type

Contents

Manifest images
Delayed images
Delayed masked images
Conversion and type helpers

Synopsis

data Manifest p = Manifest {
- manifestSize :: !Size
- manifestVector :: !(Vector p)
}
data Delayed p = Delayed {
- delayedSize :: !Size
- delayedFun :: !(Point -> p)
}
data DelayedMask p = DelayedMask {
- delayedMaskSize :: !Size
- delayedMaskFun :: !(Point -> Maybe p)
}
delay :: Image i => i -> Delayed (ImagePixel i)
compute :: (Image i, Storable (ImagePixel i)) => i -> Manifest (ImagePixel i)
delayed :: Delayed p -> Delayed p
manifest :: Manifest p -> Manifest p

Manifest images

data Manifest p Source #

Stores the image content in a Vector.

Constructors

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

Instances

Instances details

(Image src, Storable p) => FunctorImage src (Manifest p) Source #
Instance details Defined in Vision.Image.Type Methods map :: (ImagePixel src -> ImagePixel (Manifest p)) -> src -> Manifest p Source #
Storable acc => SeparatelyFiltrable src (Manifest p) acc Source #
Instance details Defined in Vision.Image.Filter.Internal Associated Types type SeparableFilterAccumulator src (Manifest p) acc Source #
(Show p, Storable p) => Show (Manifest p) Source #
Instance details Defined in Vision.Image.Type Methods showsPrec :: Int -> Manifest p -> ShowS # show :: Manifest p -> String # showList :: [Manifest p] -> ShowS #
NFData (Manifest p) Source #
Instance details Defined in Vision.Image.Type Methods rnf :: Manifest p -> () #
Storable p => FromFunction (Manifest p) Source #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type 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 p, Eq p) => Eq (Manifest p) Source #
Instance details Defined in Vision.Image.Type Methods (==) :: Manifest p -> Manifest p -> Bool # (/=) :: Manifest p -> Manifest p -> Bool #
(Storable p, Ord p) => Ord (Manifest p) Source #
Instance details Defined in Vision.Image.Type 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 p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Delayed p1 -> ConvertResult (Manifest p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Manifest p1 -> ConvertResult (Delayed p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Manifest p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Manifest p1 -> ConvertResult (Manifest p2) #
type SeparableFilterAccumulator src (Manifest p) acc Source #
Instance details Defined in Vision.Image.Filter.Internal type SeparableFilterAccumulator src (Manifest p) acc = Manifest acc
type FromFunctionPixel (Manifest p) Source #
Instance details Defined in Vision.Image.Type type FromFunctionPixel (Manifest p) = p
type ImagePixel (Manifest p) Source #
Instance details Defined in Vision.Image.Type 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

Instances details

(Image src, Storable p) => FunctorImage src (Delayed p) Source #
Instance details Defined in Vision.Image.Type Methods map :: (ImagePixel src -> ImagePixel (Delayed p)) -> src -> Delayed p Source #
Storable acc => SeparatelyFiltrable src (Delayed p) acc Source #
Instance details Defined in Vision.Image.Filter.Internal Associated Types type SeparableFilterAccumulator src (Delayed p) acc Source #
FromFunction (Delayed p) Source #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type 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) (Delayed p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Delayed p1 -> ConvertResult (Delayed p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Delayed p1 -> ConvertResult (Manifest p2) #
(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2) Source #
Instance details Defined in Vision.Image.Type Methods safeConvert :: Manifest p1 -> ConvertResult (Delayed p2) #
type SeparableFilterAccumulator src (Delayed p) acc Source #
Instance details Defined in Vision.Image.Filter.Internal type SeparableFilterAccumulator src (Delayed p) acc = Delayed acc
type FromFunctionPixel (Delayed p) Source #
Instance details Defined in Vision.Image.Type type FromFunctionPixel (Delayed p) = p
type ImagePixel (Delayed p) Source #
Instance details Defined in Vision.Image.Type type ImagePixel (Delayed p) = p

Delayed masked images

data DelayedMask p Source #

Constructors

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

Instances

Instances details

(MaskedImage src, Storable p) => FunctorImage src (DelayedMask p) Source #
Instance details Defined in Vision.Image.Type Methods map :: (ImagePixel src -> ImagePixel (DelayedMask p)) -> src -> DelayedMask p Source #
Storable p => FromFunction (DelayedMask p) Source #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type 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 #
Instance details Defined in Vision.Image.Type type FromFunctionPixel (DelayedMask p) = Maybe p
type ImagePixel (DelayedMask p) Source #
Instance details Defined in Vision.Image.Type 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 representation. Does nothing.

manifest :: Manifest p -> Manifest p Source #

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