waterfall-cad-0.6.3.1: Declarative CAD/Solid Modeling Library

Safe Haskell	None
Language	Haskell2010

Waterfall.Transforms

Contents

Transformations
Optics

Synopsis

class Transformable a
matTransform :: Transformable a => M34 Double -> a -> a
scale :: Transformable a => V3 Double -> a -> a
uScale :: Transformable a => Double -> a -> a
rotate :: Transformable a => V3 Double -> Double -> a -> a
translate :: Transformable a => V3 Double -> a -> a
mirror :: Transformable a => V3 Double -> a -> a
_translated :: Transformable t => V3 Double -> Iso' t t
_scaled :: Transformable t => V3 Double -> Maybe (Iso' t t)
_uScaled :: Transformable t => Double -> Maybe (Iso' t t)
_rotated :: Transformable t => V3 Double -> Double -> Iso' t t
_mirrored :: Transformable t => V3 Double -> Iso' t t

Transformations

class Transformable a Source #

Typeclass for objects that can be manipulated in 3D space

Minimal complete definition

matTransform, scale, uScale, rotate, translate, mirror

Instances

Instances details

Transformable Path Source #
Instance details Defined in Waterfall.Transforms Methods matTransform :: M34 Double -> Path -> Path Source # scale :: V3 Double -> Path -> Path Source # uScale :: Double -> Path -> Path Source # rotate :: V3 Double -> Double -> Path -> Path Source # translate :: V3 Double -> Path -> Path Source # mirror :: V3 Double -> Path -> Path Source #
Transformable Solid Source #
Instance details Defined in Waterfall.Transforms Methods matTransform :: M34 Double -> Solid -> Solid Source # scale :: V3 Double -> Solid -> Solid Source # uScale :: Double -> Solid -> Solid Source # rotate :: V3 Double -> Double -> Solid -> Solid Source # translate :: V3 Double -> Solid -> Solid Source # mirror :: V3 Double -> Solid -> Solid Source #
Transformable (V3 Double) Source #
Instance details Defined in Waterfall.Transforms Methods matTransform :: M34 Double -> V3 Double -> V3 Double Source # scale :: V3 Double -> V3 Double -> V3 Double Source # uScale :: Double -> V3 Double -> V3 Double Source # rotate :: V3 Double -> Double -> V3 Double -> V3 Double Source # translate :: V3 Double -> V3 Double -> V3 Double Source # mirror :: V3 Double -> V3 Double -> V3 Double Source #

matTransform :: Transformable a => M34 Double -> a -> a Source #

Directly transform with a transformation matrix

scale :: Transformable a => V3 Double -> a -> a Source #

Scale by different amounts along the x, y and z axes

uScale :: Transformable a => Double -> a -> a Source #

Scale uniformly along all axes

rotate :: Transformable a => V3 Double -> Double -> a -> a Source #

Rotate by Axis and Angle (in radians)

translate :: Transformable a => V3 Double -> a -> a Source #

Translate by a vector in 3D space

mirror :: Transformable a => V3 Double -> a -> a Source #

Mirror in the plane, which passes through the origin, perpendicular to the specified vector

Optics

_translated :: Transformable t => V3 Double -> Iso' t t Source #

Every translation is an isomorphism

_scaled :: Transformable t => V3 Double -> Maybe (Iso' t t) Source #

A scale by v as an isomorphism

Returns Nothing when any component of v is (near) zero, as a scale that collapses an axis has no inverse.

_uScaled :: Transformable t => Double -> Maybe (Iso' t t) Source #

A scale by s as an isomorphism

Returns Nothing when s is (near) zero, as a scale that collapses everything to the origin has no inverse.

_rotated :: Transformable t => V3 Double -> Double -> Iso' t t Source #

Every rotation is an isomorphism

_mirrored :: Transformable t => V3 Double -> Iso' t t Source #

Every mirror is an isomorphism