Graphics.Implicit.Definitions

Documentation

type ℝ = Double

type ℝ2 = (ℝ, ℝ)

type ℝ3 = (ℝ, ℝ, ℝ)

minℝ :: ℝ

type ℕ = Integer

(⋅) :: InnerSpace a => a -> a -> Scalar a

(⋯*) :: ComponentWiseMultable a => a -> a -> a

(⋯/) :: ComponentWiseMultable a => a -> a -> a

type Polyline = [ℝ2]

A chain of line segments, as in SVG eg. [(0,0), (0.5,1), (1,0)] ---> /\

type Triangle = (ℝ3, ℝ3, ℝ3)

A triangle (a,b,c) = a triangle with vertices a, b and c

type NormedTriangle = ((ℝ3, ℝ3), (ℝ3, ℝ3), (ℝ3, ℝ3))

A triangle ((v1,n1),(v2,n2),(v3,n3)) has vertices v1, v2, v3 with corresponding normals n1, n2, and n3

type TriangleMesh = [Triangle]

A triangle mesh is a bunch of triangles :)

type NormedTriangleMesh = [NormedTriangle]

A normed triangle mesh is a bunch of normed trianlges!!

type Obj2 = ℝ2 -> ℝ

A 2D object

type Obj3 = ℝ3 -> ℝ

A 3D object

type Box2 = (ℝ2, ℝ2)

A 2D box

type Box3 = (ℝ3, ℝ3)

A 3D box

type Boxed2 a = (a, Box2)

A Box for containing a 2D object

type Boxed3 a = (a, Box3)

A Box for containing a 3D object

type BoxedObj2 = Boxed2 Obj2

A Boxed 2D object

type BoxedObj3 = Boxed3 Obj3

A Boxed 3D object

data SymbolicObj2

A symbolic 2D object format. We want to have a symbolic object so that we can accelerate rendering & give ideal meshes for simple cases.

Constructors

RectR ℝ ℝ2 ℝ2

Circle ℝ

PolygonR ℝ [ℝ2]

Complement2 SymbolicObj2

UnionR2 ℝ [SymbolicObj2]

DifferenceR2 ℝ [SymbolicObj2]

IntersectR2 ℝ [SymbolicObj2]

Translate2 ℝ2 SymbolicObj2

Scale2 ℝ2 SymbolicObj2

Rotate2 ℝ SymbolicObj2

Outset2 ℝ SymbolicObj2

Shell2 ℝ SymbolicObj2

EmbedBoxedObj2 BoxedObj2

Instances

Show SymbolicObj2

Methods

showsPrec :: Int -> SymbolicObj2 -> ShowS

show :: SymbolicObj2 -> String

showList :: [SymbolicObj2] -> ShowS

DiscreteAproxable SymbolicObj2 DynamicImage

Methods

discreteAprox :: ℝ -> SymbolicObj2 -> DynamicImage

DiscreteAproxable SymbolicObj2 [Polyline]

Methods

discreteAprox :: ℝ -> SymbolicObj2 -> [Polyline]

data SymbolicObj3

A symbolic 3D format!

Constructors

Rect3R ℝ ℝ3 ℝ3

Sphere ℝ

Cylinder ℝ ℝ ℝ

Complement3 SymbolicObj3

UnionR3 ℝ [SymbolicObj3]

DifferenceR3 ℝ [SymbolicObj3]

IntersectR3 ℝ [SymbolicObj3]

Translate3 ℝ3 SymbolicObj3

Scale3 ℝ3 SymbolicObj3

Rotate3 ℝ3 SymbolicObj3

Rotate3V ℝ ℝ3 SymbolicObj3

Outset3 ℝ SymbolicObj3

Shell3 ℝ SymbolicObj3

EmbedBoxedObj3 BoxedObj3

ExtrudeR ℝ SymbolicObj2 ℝ

ExtrudeRotateR ℝ ℝ SymbolicObj2 ℝ

ExtrudeRM ℝ (Maybe (ℝ -> ℝ)) (Maybe (ℝ -> ℝ)) (Maybe (ℝ -> ℝ2)) SymbolicObj2 (Either ℝ (ℝ2 -> ℝ))

RotateExtrude ℝ (Maybe ℝ) (Either ℝ2 (ℝ -> ℝ2)) (Either ℝ (ℝ -> ℝ)) SymbolicObj2

ExtrudeOnEdgeOf SymbolicObj2 SymbolicObj2

Instances

Show SymbolicObj3

Methods

showsPrec :: Int -> SymbolicObj3 -> ShowS

show :: SymbolicObj3 -> String

showList :: [SymbolicObj3] -> ShowS

DiscreteAproxable SymbolicObj3 DynamicImage

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> DynamicImage

DiscreteAproxable SymbolicObj3 NormedTriangleMesh

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> NormedTriangleMesh

DiscreteAproxable SymbolicObj3 TriangleMesh

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> TriangleMesh

type Rectilinear2 = [Box2]

Rectilinear 2D set

type Rectilinear3 = [Box3]

Rectilinear 2D set

Orphan instances

Show (ℝ3 -> ℝ)

Methods

showsPrec :: Int -> (ℝ3 -> ℝ) -> ShowS

show :: (ℝ3 -> ℝ) -> String

showList :: [ℝ3 -> ℝ] -> ShowS

Show (ℝ2 -> ℝ)

Methods

showsPrec :: Int -> (ℝ2 -> ℝ) -> ShowS

show :: (ℝ2 -> ℝ) -> String

showList :: [ℝ2 -> ℝ] -> ShowS

Show (ℝ -> ℝ2)

Methods

showsPrec :: Int -> (ℝ -> ℝ2) -> ShowS

show :: (ℝ -> ℝ2) -> String

showList :: [ℝ -> ℝ2] -> ShowS

Show (ℝ -> ℝ)

Methods

showsPrec :: Int -> (ℝ -> ℝ) -> ShowS

show :: (ℝ -> ℝ) -> String

showList :: [ℝ -> ℝ] -> ShowS