Graphics.Implicit.Definitions

Documentation

type ℝ = Float

type ℝ2 = (ℝ, ℝ)

type ℝ3 = (ℝ, ℝ, ℝ)

type ℕ = Int

type Polyline = [ℝ2]

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

In Implicit CAD, we consider objects as functions of outwardness. The boundary is 0, negative is the interior and positive the exterior. The magnitude is how far out or in.

type Obj2 = ℝ2 -> ℝ

A 2D object

type Obj3 = ℝ3 -> ℝ

A 3D object