Vision.Image.Type

Manifest images

data Manifest p

Stores the image content in a Vector.

Constructors

Manifest

Fields

• manifestSize :: !Size
• manifestVector :: !(Vector p)

Instances

(Image src, Storable p) => FunctorImage src (Manifest p)

Methods

map :: (ImagePixel src -> ImagePixel (Manifest p)) -> src -> Manifest p

Storable acc => SeparatelyFiltrable src (Manifest p) acc

Associated Types

type SeparableFilterAccumulator src (Manifest p) acc :: *

(Eq p, Storable p) => Eq (Manifest p)

Methods

(==) :: Manifest p -> Manifest p -> Bool

(/=) :: Manifest p -> Manifest p -> Bool

(Ord p, Storable p) => Ord (Manifest p)

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)

Methods

showsPrec :: Int -> Manifest p -> ShowS

show :: Manifest p -> String

showList :: [Manifest p] -> ShowS

NFData (Manifest p)

Methods

rnf :: Manifest p -> ()

Storable p => FromFunction (Manifest p)

Associated Types

type FromFunctionPixel (Manifest p) :: *

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Manifest p)) -> Manifest p

Storable p => Image (Manifest p)

Methods

index :: Manifest p -> Point -> ImagePixel (Manifest p)

linearIndex :: Manifest p -> Int -> ImagePixel (Manifest p)

vector :: Manifest p -> Vector (ImagePixel (Manifest p))

Storable p => MaskedImage (Manifest p)

Associated Types

type ImagePixel (Manifest p) :: *

Methods

shape :: Manifest p -> Size

maskedIndex :: Manifest p -> Point -> Maybe (ImagePixel (Manifest p))

maskedLinearIndex :: Manifest p -> Int -> Maybe (ImagePixel (Manifest p))

values :: Manifest p -> Vector (ImagePixel (Manifest p))

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2)

Methods

safeConvert :: Delayed p1 -> ConvertResult (Manifest p2)

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2)

Methods

safeConvert :: Manifest p1 -> ConvertResult (Delayed p2)

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Manifest p2)

Methods

safeConvert :: Manifest p1 -> ConvertResult (Manifest p2)

type SeparableFilterAccumulator src (Manifest p) acc

type SeparableFilterAccumulator src (Manifest p) acc = Manifest acc

type FromFunctionPixel (Manifest p)

type FromFunctionPixel (Manifest p) = p

type ImagePixel (Manifest p)

type ImagePixel (Manifest p) = p

Delayed images

data Delayed p

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)

Methods

map :: (ImagePixel src -> ImagePixel (Delayed p)) -> src -> Delayed p

Storable acc => SeparatelyFiltrable src (Delayed p) acc

Associated Types

type SeparableFilterAccumulator src (Delayed p) acc :: *

FromFunction (Delayed p)

Associated Types

type FromFunctionPixel (Delayed p) :: *

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (Delayed p)) -> Delayed p

Storable p => Image (Delayed p)

Methods

index :: Delayed p -> Point -> ImagePixel (Delayed p)

linearIndex :: Delayed p -> Int -> ImagePixel (Delayed p)

vector :: Delayed p -> Vector (ImagePixel (Delayed p))

Storable p => MaskedImage (Delayed p)

Associated Types

type ImagePixel (Delayed p) :: *

Methods

shape :: Delayed p -> Size

maskedIndex :: Delayed p -> Point -> Maybe (ImagePixel (Delayed p))

maskedLinearIndex :: Delayed p -> Int -> Maybe (ImagePixel (Delayed p))

values :: Delayed p -> Vector (ImagePixel (Delayed p))

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Manifest p2)

Methods

safeConvert :: Delayed p1 -> ConvertResult (Manifest p2)

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Delayed p1) (Delayed p2)

Methods

safeConvert :: Delayed p1 -> ConvertResult (Delayed p2)

(Storable p1, Storable p2, Convertible p1 p2) => Convertible (Manifest p1) (Delayed p2)

Methods

safeConvert :: Manifest p1 -> ConvertResult (Delayed p2)

type SeparableFilterAccumulator src (Delayed p) acc

type SeparableFilterAccumulator src (Delayed p) acc = Delayed acc

type FromFunctionPixel (Delayed p)

type FromFunctionPixel (Delayed p) = p

type ImagePixel (Delayed p)

type ImagePixel (Delayed p) = p

Delayed masked images

data DelayedMask p

Constructors

DelayedMask

Fields

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

Instances

(MaskedImage src, Storable p) => FunctorImage src (DelayedMask p)

Methods

map :: (ImagePixel src -> ImagePixel (DelayedMask p)) -> src -> DelayedMask p

Storable p => FromFunction (DelayedMask p)

Associated Types

type FromFunctionPixel (DelayedMask p) :: *

Methods

fromFunction :: Size -> (Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionLine :: Size -> (Int -> a) -> (a -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionCol :: Storable b => Size -> (Int -> b) -> (b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

fromFunctionCached :: Storable b => Size -> (Int -> a) -> (Int -> b) -> (a -> b -> Point -> FromFunctionPixel (DelayedMask p)) -> DelayedMask p

Storable p => MaskedImage (DelayedMask p)

Associated Types

type ImagePixel (DelayedMask p) :: *

Methods

shape :: DelayedMask p -> Size

maskedIndex :: DelayedMask p -> Point -> Maybe (ImagePixel (DelayedMask p))

maskedLinearIndex :: DelayedMask p -> Int -> Maybe (ImagePixel (DelayedMask p))

values :: DelayedMask p -> Vector (ImagePixel (DelayedMask p))

type FromFunctionPixel (DelayedMask p)

type FromFunctionPixel (DelayedMask p) = Maybe p

type ImagePixel (DelayedMask p)

type ImagePixel (DelayedMask p) = p

Conversion and type helpers

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

Delays an image in its delayed representation.

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

Computes the value of an image into a manifest representation.

delayed :: Delayed p -> Delayed p

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

manifest :: Manifest p -> Manifest p

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