Graphics.Implicit.Definitions

Documentation

newtype Fastℕ

Constructors

Fastℕ Int

Instances

Enum Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

succ :: Fastℕ -> Fastℕ

pred :: Fastℕ -> Fastℕ

toEnum :: Int -> Fastℕ

fromEnum :: Fastℕ -> Int

enumFrom :: Fastℕ -> [Fastℕ]

enumFromThen :: Fastℕ -> Fastℕ -> [Fastℕ]

enumFromTo :: Fastℕ -> Fastℕ -> [Fastℕ]

enumFromThenTo :: Fastℕ -> Fastℕ -> Fastℕ -> [Fastℕ]

Eq Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

(==) :: Fastℕ -> Fastℕ -> Bool

(/=) :: Fastℕ -> Fastℕ -> Bool

Integral Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

quot :: Fastℕ -> Fastℕ -> Fastℕ

rem :: Fastℕ -> Fastℕ -> Fastℕ

div :: Fastℕ -> Fastℕ -> Fastℕ

mod :: Fastℕ -> Fastℕ -> Fastℕ

quotRem :: Fastℕ -> Fastℕ -> (Fastℕ, Fastℕ)

divMod :: Fastℕ -> Fastℕ -> (Fastℕ, Fastℕ)

toInteger :: Fastℕ -> Integer

Num Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

(+) :: Fastℕ -> Fastℕ -> Fastℕ

(-) :: Fastℕ -> Fastℕ -> Fastℕ

(*) :: Fastℕ -> Fastℕ -> Fastℕ

negate :: Fastℕ -> Fastℕ

abs :: Fastℕ -> Fastℕ

signum :: Fastℕ -> Fastℕ

fromInteger :: Integer -> Fastℕ

Ord Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

compare :: Fastℕ -> Fastℕ -> Ordering

(<) :: Fastℕ -> Fastℕ -> Bool

(<=) :: Fastℕ -> Fastℕ -> Bool

(>) :: Fastℕ -> Fastℕ -> Bool

(>=) :: Fastℕ -> Fastℕ -> Bool

max :: Fastℕ -> Fastℕ -> Fastℕ

min :: Fastℕ -> Fastℕ -> Fastℕ

Read Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

readsPrec :: Int -> ReadS Fastℕ

readList :: ReadS [Fastℕ]

readPrec :: ReadPrec Fastℕ

readListPrec :: ReadPrec [Fastℕ]

Real Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

toRational :: Fastℕ -> Rational

Show Fastℕ

Defined in Graphics.Implicit.FastIntUtil

Methods

showsPrec :: Int -> Fastℕ -> ShowS

show :: Fastℕ -> String

showList :: [Fastℕ] -> ShowS

fromFastℕ :: FastN n => Fastℕ -> n

toFastℕ :: FastN n => n -> Fastℕ

data ℕ

Instances

Enum ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

succ :: ℕ -> ℕ

pred :: ℕ -> ℕ

toEnum :: Int -> ℕ

fromEnum :: ℕ -> Int

enumFrom :: ℕ -> [ℕ]

enumFromThen :: ℕ -> ℕ -> [ℕ]

enumFromTo :: ℕ -> ℕ -> [ℕ]

enumFromThenTo :: ℕ -> ℕ -> ℕ -> [ℕ]

Eq ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

(==) :: ℕ -> ℕ -> Bool

(/=) :: ℕ -> ℕ -> Bool

Integral ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

quot :: ℕ -> ℕ -> ℕ

rem :: ℕ -> ℕ -> ℕ

div :: ℕ -> ℕ -> ℕ

mod :: ℕ -> ℕ -> ℕ

quotRem :: ℕ -> ℕ -> (ℕ, ℕ)

divMod :: ℕ -> ℕ -> (ℕ, ℕ)

toInteger :: ℕ -> Integer

Num ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

(+) :: ℕ -> ℕ -> ℕ

(-) :: ℕ -> ℕ -> ℕ

(*) :: ℕ -> ℕ -> ℕ

negate :: ℕ -> ℕ

abs :: ℕ -> ℕ

signum :: ℕ -> ℕ

fromInteger :: Integer -> ℕ

Ord ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

compare :: ℕ -> ℕ -> Ordering

(<) :: ℕ -> ℕ -> Bool

(<=) :: ℕ -> ℕ -> Bool

(>) :: ℕ -> ℕ -> Bool

(>=) :: ℕ -> ℕ -> Bool

max :: ℕ -> ℕ -> ℕ

min :: ℕ -> ℕ -> ℕ

Read ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

readsPrec :: Int -> ReadS ℕ

readList :: ReadS [ℕ]

readPrec :: ReadPrec ℕ

readListPrec :: ReadPrec [ℕ]

Real ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

toRational :: ℕ -> Rational

Show ℕ

Defined in Graphics.Implicit.IntegralUtil

Methods

showsPrec :: Int -> ℕ -> ShowS

show :: ℕ -> String

showList :: [ℕ] -> ShowS

fromℕ :: N n => ℕ -> n

toℕ :: N n => n -> ℕ

type ℝ = Double

type ℝ2 = (ℝ, ℝ)

both :: (t -> b) -> (t, t) -> (b, b)

apply a function to both items in the provided tuple.

type ℝ3 = (ℝ, ℝ, ℝ)

allthree :: (t -> b) -> (t, t, t) -> (b, b, b)

apply a function to all three items in the provided tuple.

minℝ :: ℝ

A give up point for dividing ℝs, and for the maximum difference between abs(n) and abs(-n).

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

TODO: Find a better place for this

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

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

newtype Polyline

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

Constructors

Polyline [ℝ2]

Instances

NFData Polyline

Defined in Graphics.Implicit.Definitions

Methods

rnf :: Polyline -> ()

DiscreteAproxable SymbolicObj2 [Polyline]

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

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

newtype Polytri

A triangle in 2D space (a,b,c).

Constructors

Polytri (ℝ2, ℝ2, ℝ2)

Instances

NFData Polytri

Defined in Graphics.Implicit.Definitions

Methods

rnf :: Polytri -> ()

newtype Triangle

A triangle in 3D space (a,b,c) = a triangle with vertices a, b and c

Constructors

Triangle (ℝ3, ℝ3, ℝ3)

Instances

NFData Triangle

Defined in Graphics.Implicit.Definitions

Methods

rnf :: Triangle -> ()

newtype NormedTriangle

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

Constructors

NormedTriangle ((ℝ3, ℝ3), (ℝ3, ℝ3), (ℝ3, ℝ3))

newtype TriangleMesh

A triangle mesh is a bunch of triangles, attempting to be a surface.

Constructors

TriangleMesh [Triangle]

Instances

NFData TriangleMesh

Defined in Graphics.Implicit.Definitions

Methods

rnf :: TriangleMesh -> ()

DiscreteAproxable SymbolicObj3 TriangleMesh

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> TriangleMesh

newtype NormedTriangleMesh

A normed triangle mesh is a mesh of normed triangles.

Constructors

NormedTriangleMesh [NormedTriangle]

Instances

DiscreteAproxable SymbolicObj3 NormedTriangleMesh

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> NormedTriangleMesh

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 containing a 2D object.

type Boxed3 a = (a, Box3)

A Box 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 symbolic objects 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

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> SymbolicObj2 -> ShowS

show :: SymbolicObj2 -> String

showList :: [SymbolicObj2] -> ShowS

DiscreteAproxable SymbolicObj2 DynamicImage

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj2 -> DynamicImage

DiscreteAproxable SymbolicObj2 [Polyline]

Defined in Graphics.Implicit.Export.DiscreteAproxable

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 ℝ (Either ℝ (ℝ -> ℝ)) (Either ℝ (ℝ -> ℝ)) (Either ℝ2 (ℝ -> ℝ2)) SymbolicObj2 (Either ℝ (ℝ2 -> ℝ))

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

ExtrudeOnEdgeOf SymbolicObj2 SymbolicObj2

Instances

Show SymbolicObj3

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> SymbolicObj3 -> ShowS

show :: SymbolicObj3 -> String

showList :: [SymbolicObj3] -> ShowS

DiscreteAproxable SymbolicObj3 DynamicImage

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> DynamicImage

DiscreteAproxable SymbolicObj3 NormedTriangleMesh

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> NormedTriangleMesh

DiscreteAproxable SymbolicObj3 TriangleMesh

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj3 -> TriangleMesh

fromℕtoℝ :: ℕ -> ℝ

Convert from our Integral to our Rational.

fromFastℕtoℝ :: Fastℕ -> ℝ

Convert from our Fast Integer (int32) to ℝ.

fromℝtoFloat :: ℝ -> Float

Convert from our rational to a float, for output to a file.

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 (ℝ -> ℝ)

add aditional instances to Show, for when we dump the intermediate form of objects. FIXME: store functions in a dumpable form! These instances cover functions

Methods

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

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

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