Shady.Image

Images (infinite & continuous)

Documentation

type Point = ComplexE R

pointToR2 :: Point -> R2E

r2ToPoint :: R2E -> Point

type FilterG p a = Unop (p -> a)

Generalized filter, polymorphic over domain

type Filter a = FilterG Point a

Image filter

samplerIm :: Sampler2 :=> Image Color

Wrap up a sampler as an image

scale2 :: (Floating s, ITrans (Complex s) a) => Complex s -> Unop a

uscale2 :: (Floating s, ITrans (Complex s) a) => s -> Unop a

translate2 :: (Floating s, ITrans (Complex s) a) => Complex s -> Unop a

rotate2 :: (Floating s, ITrans (Complex s) a) => s -> Unop a

bilerp :: VectorSpace w => w -> w -> w -> w -> (Scalar w, Scalar w) -> w

Bilinear interpolation

bilerpC :: (VectorSpace w, Scalar w ~ s) => w -> w -> w -> w -> ImageG s w

Bilinear interpolation image

type ImageG s a = Complex s -> a

Generalized image -- continuous & infinite

type Image a = ImageG FloatE a

Continuous, infinite image

General regions

type PRegion p = p -> BoolE

Region over general space

type Region = Image BoolE

2D spatial region

universeR :: Applicative f => f BoolE

emptyR :: Applicative f => f BoolE

eqF :: (IsNat n, IsScalar a, Eq a, Applicative f) => f (VecE n a) -> f (VecE n a) -> f BoolE

neqF :: (IsNat n, IsScalar a, Eq a, Applicative f) => f (VecE n a) -> f (VecE n a) -> f BoolE

intersectR :: Applicative f => Binop (f BoolE)

unionR :: Applicative f => Binop (f BoolE)

xorR :: Applicative f => Binop (f BoolE)

diffR :: Applicative f => Binop (f BoolE)

complementR :: Applicative f => Unop (f BoolE)

udisk :: (InnerSpace p, Scalar p ~ FloatE) => PRegion p

Generalized unit disk/ball

disk :: (InnerSpace p, Scalar p ~ FloatE) => FloatE -> PRegion p

Generalized disk/ball, given radius

annulus :: (InnerSpace p, Scalar p ~ FloatE) => FloatE -> FloatE -> PRegion p

Generalized annulus, given outer & inner radii

checker :: Region

Checker-board

crop :: (Applicative f, Monoid (f a), IfB bool a) => f bool -> f a -> f a

Crop a function, filling in mempty where the test yeis false.

Space-varying transformations

transformG :: (c -> ITransform p) -> (p -> c) -> Unop (p -> a)

General domain-varying transformation.

translate2Im :: AdditiveGroup p => Unop p -> Unop (p -> a)

Space-varying translate2

scale2Im :: Fractional s => Unop (Complex s) -> Unop (ImageG s a)

Space-varying scale2

uscale2Im :: Fractional s => ImageG s s -> Unop (ImageG s a)

Space-varying uscale2

rotate2Im :: Floating s => ImageG s s -> Unop (ImageG s a)

Space-varying rotate2

swirl :: Floating s => s -> Unop (ImageG s a)

Swirl transformation

utile :: (Frac p, ITrans (Complex s) p, ITrans (Complex s) a, Floating s) => Unop (p -> a)

Unit, rectangular tiling.

tile :: (Floating s, Frac s, ITrans (Complex s) a) => Complex s -> Unop (ImageG s a)