Language.Cube

Documentation

data RSTL a

Ristricted STL This is the almost same as STL of Graphics.Formats.STL. This is used to instantiate RFunctor of STL. RFunctor provides a function(rfmap) like fmap of Functor.

Constructors

Stl

Fields

stlData :: STL

Instances

Num Stl

Monoid Stl

ToStl Stl

RFunctor RSTL Triangle Triangle

type Stl = RSTL Triangle

Wrapper of RSTL

class ToStl a where

Generate Ristricted STL

Methods

toStl :: a -> Stl

Instances

ToStl STL

ToStl Cube

ToStl Stl

ToStl a => ToStl (Block a)

class Conjugate a where

class type of mathematical conjugate

Methods

conjugate :: a -> a

Instances

Num a => Conjugate (Quaternion a)

class Num a => Delta a where

Delta move and rotation for quaternion

Minimal complete definition

dx, dy, dz, ds, dr, dR

Methods

dx :: a

delta for x axis

dy :: a

delta for y axis

dz :: a

delta for z axis

ds :: a

delta for real part of quaternion

dr

Arguments

:: Float

radian

-> a

axes of routation

-> a

cons (theta2) + i sin (theta2) + j sin (theta2) + k sin (theta2) of quaternion

dR

Arguments

:: Float

radian

-> a

axes of routation

-> a

Input Vector

-> a

Routation for quaternion

rotate

Arguments

:: Float

radian

-> a

axes of routation

-> a

Input Vector

-> a

Routation for quaternion This is the same as dR.

Instances

Delta Cube

class RFunctor f a b where

Ristricted Functor

Methods

rfmap :: (a -> b) -> f a -> f b

Instances

Functor m => RFunctor m a b

(Ord a, Ord b) => RFunctor Set a b

Functor of Set

(Ord a, Ord b) => RFunctor Block a b

RFunctor RSTL Triangle Triangle

data Quaternion a

Unit element of Cube.

This is the same as quaternion.

Constructors

Quaternion

Fields

us :: a

ux :: a

uy :: a

uz :: a

Instances

Functor Quaternion

Delta Cube

ToStl Cube

Eq a => Eq (Quaternion a)

Num a => Num (Quaternion a)

Ord a => Ord (Quaternion a)

Show a => Show (Quaternion a)

Num a => Monoid (Quaternion a)

Num a => Conjugate (Quaternion a)

type Cube = Quaternion Float

data Block a

Set of Cube. This supports boolean operations on polygons. (+) means or. (-) means not. (*) means convolution.

Constructors

Block

Fields

units :: Set a

Instances

(Ord a, Ord b) => RFunctor Block a b

Eq a => Eq (Block a)

(Ord a, Eq a, Num a) => Num (Block a)

Ord a => Ord (Block a)

Show a => Show (Block a)

(Ord a, Monoid a) => Monoid (Block a)

ToStl a => ToStl (Block a)

toSTL :: ToStl a => a -> STL

Generate STL from Ristricted STL

toCube :: [Int] -> Cube

Utility function of generating Cube from list of Int

block :: Ord a => [a] -> Block a

Utility function of generating Block from list of cube

cube :: Int -> Int -> Int -> Cube

Utility function of Cube 0 x y z

compaction :: Stl -> Stl

Remove redundant triangles

flipTriangle :: Triangle -> Triangle

Flip rotation of triangle

writeFileStl :: ToStl a => String -> a -> IO ()

Generate binary STL file from Block

writeFileStlWithText :: ToStl a => String -> a -> IO ()

Generate text STL file from Block

printStl :: ToStl a => a -> IO ()

Print triangles of STL

nCube :: Int -> Block Cube

This function genrates a cube of n-width.

surface' :: Block Cube -> Block Cube

Generate surface block. This is fast function. But shape becomes little bit bigger.

surface :: Block Cube -> Block Cube

Generate surface block