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

A type synonym for Double. When used in the context of positions or sizes, measured in units of millimeters. When used as in the context of a rotation, measured in radians.

type ℝ2 = V2 ℝ

A pair of two Doubles. When used as an area or position vector, measured in millimeters squared.

type ℝ3 = V3 ℝ

A triple of Doubles. When used as a volume or position vector, measured in millimeters cubed. When used as a rotation, interpreted as Euler angles measured in radians.

minℝ :: ℝ

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

class ComponentWiseMultable a

Add multiply and divide operators for two ℝ2s or ℝ3s.

Minimal complete definition

(⋯*), (⋯/)

Instances

ComponentWiseMultable ℝ3

Defined in Graphics.Implicit.Definitions

Methods

(⋯*) :: ℝ3 -> ℝ3 -> ℝ3

(⋯/) :: ℝ3 -> ℝ3 -> ℝ3

ComponentWiseMultable ℝ2

Defined in Graphics.Implicit.Definitions

Methods

(⋯*) :: ℝ2 -> ℝ2 -> ℝ2

(⋯/) :: ℝ2 -> ℝ2 -> ℝ2

(⋯*) :: 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)] ---> / FIXME: May not be empty. expose to type system.

Constructors

Polyline

Fields

• getSegments :: [ℝ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))

Instances

NFData NormedTriangle

Defined in Graphics.Implicit.Definitions

Methods

rnf :: NormedTriangle -> ()

newtype TriangleMesh

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

Constructors

TriangleMesh

Fields

• getTriangles :: [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

Fields

• getNormedTriangles :: [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 SharedObj obj f a

Means of constructing symbolic objects that are common between the 2D and 3D case. This type is parameterized on obj and vec so that SymbolicObj2 and SymbolicObj3 can instantiate it for their own purposes.

Constructors

Empty

The empty object

Full

The entirely full object

Complement obj

UnionR ℝ [obj]

DifferenceR ℝ obj [obj]

IntersectR ℝ [obj]

Translate (f a) obj

Scale (f a) obj

Mirror (f a) obj

Mirror across the line whose normal is defined by the vector

Outset ℝ obj

Shell ℝ obj

EmbedBoxedObj (f a -> a, (f a, f a))

WithRounding ℝ obj

Instances

(Show obj, Show (f a)) => Show (SharedObj obj f a)

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> SharedObj obj f a -> ShowS

show :: SharedObj obj f a -> String

showList :: [SharedObj obj f a] -> ShowS

Generic (SharedObj obj f a)

Defined in Graphics.Implicit.Definitions

Associated Types

type Rep (SharedObj obj f a) :: Type -> Type

Methods

from :: SharedObj obj f a -> Rep (SharedObj obj f a) x

to :: Rep (SharedObj obj f a) x -> SharedObj obj f a

type Rep (SharedObj obj f a)

Defined in Graphics.Implicit.Definitions

type Rep (SharedObj obj f a) = D1 ('MetaData "SharedObj" "Graphics.Implicit.Definitions" "implicit-0.4.0.0-2QFrzNvv6lKFGu3kPbjLAC" 'False) (((C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Full" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Complement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj)))) :+: (C1 ('MetaCons "UnionR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [obj])) :+: (C1 ('MetaCons "DifferenceR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [obj]))) :+: C1 ('MetaCons "IntersectR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [obj]))))) :+: ((C1 ('MetaCons "Translate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj)) :+: (C1 ('MetaCons "Scale" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj)) :+: C1 ('MetaCons "Mirror" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj)))) :+: ((C1 ('MetaCons "Outset" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj)) :+: C1 ('MetaCons "Shell" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj))) :+: (C1 ('MetaCons "EmbedBoxedObj" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a -> a, (f a, f a)))) :+: C1 ('MetaCons "WithRounding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 obj))))))

data V2 a

A 2-dimensional vector

>>> pure 1 :: V2 Int
V2 1 1

>>> V2 1 2 + V2 3 4
V2 4 6

>>> V2 1 2 * V2 3 4
V2 3 8

>>> sum (V2 1 2)
3

Constructors

V2 !a !a

Instances

Monad V2

Defined in Linear.V2

Methods

(>>=) :: V2 a -> (a -> V2 b) -> V2 b

(>>) :: V2 a -> V2 b -> V2 b

return :: a -> V2 a

Functor V2

Defined in Linear.V2

Methods

fmap :: (a -> b) -> V2 a -> V2 b

(<$) :: a -> V2 b -> V2 a

MonadFix V2

Defined in Linear.V2

Methods

mfix :: (a -> V2 a) -> V2 a

Applicative V2

Defined in Linear.V2

Methods

pure :: a -> V2 a

(<*>) :: V2 (a -> b) -> V2 a -> V2 b

liftA2 :: (a -> b -> c) -> V2 a -> V2 b -> V2 c

(*>) :: V2 a -> V2 b -> V2 b

(<*) :: V2 a -> V2 b -> V2 a

Foldable V2

Defined in Linear.V2

Methods

fold :: Monoid m => V2 m -> m

foldMap :: Monoid m => (a -> m) -> V2 a -> m

foldMap' :: Monoid m => (a -> m) -> V2 a -> m

foldr :: (a -> b -> b) -> b -> V2 a -> b

foldr' :: (a -> b -> b) -> b -> V2 a -> b

foldl :: (b -> a -> b) -> b -> V2 a -> b

foldl' :: (b -> a -> b) -> b -> V2 a -> b

foldr1 :: (a -> a -> a) -> V2 a -> a

foldl1 :: (a -> a -> a) -> V2 a -> a

toList :: V2 a -> [a]

null :: V2 a -> Bool

length :: V2 a -> Int

elem :: Eq a => a -> V2 a -> Bool

maximum :: Ord a => V2 a -> a

minimum :: Ord a => V2 a -> a

sum :: Num a => V2 a -> a

product :: Num a => V2 a -> a

Traversable V2

Defined in Linear.V2

Methods

traverse :: Applicative f => (a -> f b) -> V2 a -> f (V2 b)

sequenceA :: Applicative f => V2 (f a) -> f (V2 a)

mapM :: Monad m => (a -> m b) -> V2 a -> m (V2 b)

sequence :: Monad m => V2 (m a) -> m (V2 a)

Distributive V2

Defined in Linear.V2

Methods

distribute :: Functor f => f (V2 a) -> V2 (f a)

collect :: Functor f => (a -> V2 b) -> f a -> V2 (f b)

distributeM :: Monad m => m (V2 a) -> V2 (m a)

collectM :: Monad m => (a -> V2 b) -> m a -> V2 (m b)

Representable V2

Defined in Linear.V2

Associated Types

type Rep V2

Methods

tabulate :: (Rep V2 -> a) -> V2 a

index :: V2 a -> Rep V2 -> a

Eq1 V2

Defined in Linear.V2

Methods

liftEq :: (a -> b -> Bool) -> V2 a -> V2 b -> Bool

Ord1 V2

Defined in Linear.V2

Methods

liftCompare :: (a -> b -> Ordering) -> V2 a -> V2 b -> Ordering

Read1 V2

Defined in Linear.V2

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V2 a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V2 a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V2 a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V2 a]

Show1 V2

Defined in Linear.V2

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V2 a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V2 a] -> ShowS

MonadZip V2

Defined in Linear.V2

Methods

mzip :: V2 a -> V2 b -> V2 (a, b)

mzipWith :: (a -> b -> c) -> V2 a -> V2 b -> V2 c

munzip :: V2 (a, b) -> (V2 a, V2 b)

Serial1 V2

Defined in Linear.V2

Methods

serializeWith :: MonadPut m => (a -> m ()) -> V2 a -> m ()

deserializeWith :: MonadGet m => m a -> m (V2 a)

Hashable1 V2

Defined in Linear.V2

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> V2 a -> Int

Apply V2

Defined in Linear.V2

Methods

(<.>) :: V2 (a -> b) -> V2 a -> V2 b

(.>) :: V2 a -> V2 b -> V2 b

(<.) :: V2 a -> V2 b -> V2 a

liftF2 :: (a -> b -> c) -> V2 a -> V2 b -> V2 c

Traversable1 V2

Defined in Linear.V2

Methods

traverse1 :: Apply f => (a -> f b) -> V2 a -> f (V2 b)

sequence1 :: Apply f => V2 (f b) -> f (V2 b)

Affine V2

Defined in Linear.Affine

Associated Types

type Diff V2 :: Type -> Type

Methods

(.-.) :: Num a => V2 a -> V2 a -> Diff V2 a

(.+^) :: Num a => V2 a -> Diff V2 a -> V2 a

(.-^) :: Num a => V2 a -> Diff V2 a -> V2 a

R2 V2

Defined in Linear.V2

Methods

_y :: Lens' (V2 a) a

_xy :: Lens' (V2 a) (V2 a)

R1 V2

Defined in Linear.V2

Methods

_x :: Lens' (V2 a) a

Finite V2

Defined in Linear.V2

Associated Types

type Size V2 :: Nat

Methods

toV :: V2 a -> V (Size V2) a

fromV :: V (Size V2) a -> V2 a

Metric V2

Defined in Linear.V2

Methods

dot :: Num a => V2 a -> V2 a -> a

quadrance :: Num a => V2 a -> a

qd :: Num a => V2 a -> V2 a -> a

distance :: Floating a => V2 a -> V2 a -> a

norm :: Floating a => V2 a -> a

signorm :: Floating a => V2 a -> V2 a

Additive V2

Defined in Linear.V2

Methods

zero :: Num a => V2 a

(^+^) :: Num a => V2 a -> V2 a -> V2 a

(^-^) :: Num a => V2 a -> V2 a -> V2 a

lerp :: Num a => a -> V2 a -> V2 a -> V2 a

liftU2 :: (a -> a -> a) -> V2 a -> V2 a -> V2 a

liftI2 :: (a -> b -> c) -> V2 a -> V2 b -> V2 c

Bind V2

Defined in Linear.V2

Methods

(>>-) :: V2 a -> (a -> V2 b) -> V2 b

join :: V2 (V2 a) -> V2 a

Foldable1 V2

Defined in Linear.V2

Methods

fold1 :: Semigroup m => V2 m -> m

foldMap1 :: Semigroup m => (a -> m) -> V2 a -> m

toNonEmpty :: V2 a -> NonEmpty a

ComponentWiseMultable ℝ2

Defined in Graphics.Implicit.Definitions

Methods

(⋯*) :: ℝ2 -> ℝ2 -> ℝ2

(⋯/) :: ℝ2 -> ℝ2 -> ℝ2

Object SymbolicObj2 V2 ℝ

Defined in Graphics.Implicit.Primitives

Methods

_Shared :: Prism' SymbolicObj2 (SharedObj SymbolicObj2 V2 ℝ)

getBox :: SymbolicObj2 -> (V2 ℝ, V2 ℝ)

getImplicit' :: ObjectContext -> SymbolicObj2 -> V2 ℝ -> ℝ

Lift a => Lift (V2 a :: Type)

Defined in Linear.V2

Methods

lift :: V2 a -> Q Exp

liftTyped :: V2 a -> Q (TExp (V2 a))

Unbox a => Vector Vector (V2 a)

Defined in Linear.V2

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (V2 a) -> m (Vector (V2 a))

basicUnsafeThaw :: PrimMonad m => Vector (V2 a) -> m (Mutable Vector (PrimState m) (V2 a))

basicLength :: Vector (V2 a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (V2 a) -> Vector (V2 a)

basicUnsafeIndexM :: Monad m => Vector (V2 a) -> Int -> m (V2 a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (V2 a) -> Vector (V2 a) -> m ()

elemseq :: Vector (V2 a) -> V2 a -> b -> b

Unbox a => MVector MVector (V2 a)

Defined in Linear.V2

Methods

basicLength :: MVector s (V2 a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (V2 a) -> MVector s (V2 a)

basicOverlaps :: MVector s (V2 a) -> MVector s (V2 a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (V2 a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (V2 a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> V2 a -> m (MVector (PrimState m) (V2 a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (V2 a) -> Int -> m (V2 a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (V2 a) -> Int -> V2 a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (V2 a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (V2 a) -> V2 a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (V2 a) -> MVector (PrimState m) (V2 a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (V2 a) -> MVector (PrimState m) (V2 a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (V2 a) -> Int -> m (MVector (PrimState m) (V2 a))

Bounded a => Bounded (V2 a)

Defined in Linear.V2

Methods

minBound :: V2 a

maxBound :: V2 a

Eq a => Eq (V2 a)

Defined in Linear.V2

Methods

(==) :: V2 a -> V2 a -> Bool

(/=) :: V2 a -> V2 a -> Bool

Floating a => Floating (V2 a)

Defined in Linear.V2

Methods

pi :: V2 a

exp :: V2 a -> V2 a

log :: V2 a -> V2 a

sqrt :: V2 a -> V2 a

(**) :: V2 a -> V2 a -> V2 a

logBase :: V2 a -> V2 a -> V2 a

sin :: V2 a -> V2 a

cos :: V2 a -> V2 a

tan :: V2 a -> V2 a

asin :: V2 a -> V2 a

acos :: V2 a -> V2 a

atan :: V2 a -> V2 a

sinh :: V2 a -> V2 a

cosh :: V2 a -> V2 a

tanh :: V2 a -> V2 a

asinh :: V2 a -> V2 a

acosh :: V2 a -> V2 a

atanh :: V2 a -> V2 a

log1p :: V2 a -> V2 a

expm1 :: V2 a -> V2 a

log1pexp :: V2 a -> V2 a

log1mexp :: V2 a -> V2 a

Fractional a => Fractional (V2 a)

Defined in Linear.V2

Methods

(/) :: V2 a -> V2 a -> V2 a

recip :: V2 a -> V2 a

fromRational :: Rational -> V2 a

Data a => Data (V2 a)

Defined in Linear.V2

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V2 a -> c (V2 a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V2 a)

toConstr :: V2 a -> Constr

dataTypeOf :: V2 a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V2 a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V2 a))

gmapT :: (forall b. Data b => b -> b) -> V2 a -> V2 a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r

gmapQ :: (forall d. Data d => d -> u) -> V2 a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> V2 a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a)

Num a => Num (V2 a)

Defined in Linear.V2

Methods

(+) :: V2 a -> V2 a -> V2 a

(-) :: V2 a -> V2 a -> V2 a

(*) :: V2 a -> V2 a -> V2 a

negate :: V2 a -> V2 a

abs :: V2 a -> V2 a

signum :: V2 a -> V2 a

fromInteger :: Integer -> V2 a

Ord a => Ord (V2 a)

Defined in Linear.V2

Methods

compare :: V2 a -> V2 a -> Ordering

(<) :: V2 a -> V2 a -> Bool

(<=) :: V2 a -> V2 a -> Bool

(>) :: V2 a -> V2 a -> Bool

(>=) :: V2 a -> V2 a -> Bool

max :: V2 a -> V2 a -> V2 a

min :: V2 a -> V2 a -> V2 a

Read a => Read (V2 a)

Defined in Linear.V2

Methods

readsPrec :: Int -> ReadS (V2 a)

readList :: ReadS [V2 a]

readPrec :: ReadPrec (V2 a)

readListPrec :: ReadPrec [V2 a]

Show a => Show (V2 a)

Defined in Linear.V2

Methods

showsPrec :: Int -> V2 a -> ShowS

show :: V2 a -> String

showList :: [V2 a] -> ShowS

Ix a => Ix (V2 a)

Defined in Linear.V2

Methods

range :: (V2 a, V2 a) -> [V2 a]

index :: (V2 a, V2 a) -> V2 a -> Int

unsafeIndex :: (V2 a, V2 a) -> V2 a -> Int

inRange :: (V2 a, V2 a) -> V2 a -> Bool

rangeSize :: (V2 a, V2 a) -> Int

unsafeRangeSize :: (V2 a, V2 a) -> Int

Generic (V2 a)

Defined in Linear.V2

Associated Types

type Rep (V2 a) :: Type -> Type

Methods

from :: V2 a -> Rep (V2 a) x

to :: Rep (V2 a) x -> V2 a

Semigroup a => Semigroup (V2 a)

Defined in Linear.V2

Methods

(<>) :: V2 a -> V2 a -> V2 a

sconcat :: NonEmpty (V2 a) -> V2 a

stimes :: Integral b => b -> V2 a -> V2 a

Monoid a => Monoid (V2 a)

Defined in Linear.V2

Methods

mempty :: V2 a

mappend :: V2 a -> V2 a -> V2 a

mconcat :: [V2 a] -> V2 a

Storable a => Storable (V2 a)

Defined in Linear.V2

Methods

sizeOf :: V2 a -> Int

alignment :: V2 a -> Int

peekElemOff :: Ptr (V2 a) -> Int -> IO (V2 a)

pokeElemOff :: Ptr (V2 a) -> Int -> V2 a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (V2 a)

pokeByteOff :: Ptr b -> Int -> V2 a -> IO ()

peek :: Ptr (V2 a) -> IO (V2 a)

poke :: Ptr (V2 a) -> V2 a -> IO ()

Binary a => Binary (V2 a)

Defined in Linear.V2

Methods

put :: V2 a -> Put

get :: Get (V2 a)

putList :: [V2 a] -> Put

Serial a => Serial (V2 a)

Defined in Linear.V2

Methods

serialize :: MonadPut m => V2 a -> m ()

deserialize :: MonadGet m => m (V2 a)

Serialize a => Serialize (V2 a)

Defined in Linear.V2

Methods

put :: Putter (V2 a)

get :: Get (V2 a)

NFData a => NFData (V2 a)

Defined in Linear.V2

Methods

rnf :: V2 a -> ()

Hashable a => Hashable (V2 a)

Defined in Linear.V2

Methods

hashWithSalt :: Int -> V2 a -> Int

hash :: V2 a -> Int

Unbox a => Unbox (V2 a)

Defined in Linear.V2

Ixed (V2 a)

Defined in Linear.V2

Methods

ix :: Index (V2 a) -> Traversal' (V2 a) (IxValue (V2 a))

Epsilon a => Epsilon (V2 a)

Defined in Linear.V2

Methods

nearZero :: V2 a -> Bool

Random a => Random (V2 a)

Defined in Linear.V2

Methods

randomR :: RandomGen g => (V2 a, V2 a) -> g -> (V2 a, g)

random :: RandomGen g => g -> (V2 a, g)

randomRs :: RandomGen g => (V2 a, V2 a) -> g -> [V2 a]

randoms :: RandomGen g => g -> [V2 a]

Generic1 V2

Defined in Linear.V2

Associated Types

type Rep1 V2 :: k -> Type

Methods

from1 :: forall (a :: k). V2 a -> Rep1 V2 a

to1 :: forall (a :: k). Rep1 V2 a -> V2 a

FunctorWithIndex (E V2) V2

Defined in Linear.V2

Methods

imap :: (E V2 -> a -> b) -> V2 a -> V2 b

FoldableWithIndex (E V2) V2

Defined in Linear.V2

Methods

ifoldMap :: Monoid m => (E V2 -> a -> m) -> V2 a -> m

ifoldMap' :: Monoid m => (E V2 -> a -> m) -> V2 a -> m

ifoldr :: (E V2 -> a -> b -> b) -> b -> V2 a -> b

ifoldl :: (E V2 -> b -> a -> b) -> b -> V2 a -> b

ifoldr' :: (E V2 -> a -> b -> b) -> b -> V2 a -> b

ifoldl' :: (E V2 -> b -> a -> b) -> b -> V2 a -> b

TraversableWithIndex (E V2) V2

Defined in Linear.V2

Methods

itraverse :: Applicative f => (E V2 -> a -> f b) -> V2 a -> f (V2 b)

Each (V2 a) (V2 b) a b

Defined in Linear.V2

Methods

each :: Traversal (V2 a) (V2 b) a b

Field1 (V2 a) (V2 a) a a

Defined in Linear.V2

Methods

_1 :: Lens (V2 a) (V2 a) a a

Field2 (V2 a) (V2 a) a a

Defined in Linear.V2

Methods

_2 :: Lens (V2 a) (V2 a) a a

type Rep V2

Defined in Linear.V2

type Rep V2 = E V2

type Diff V2

Defined in Linear.Affine

type Diff V2 = V2

type Size V2

Defined in Linear.V2

type Size V2 = 2

data MVector s (V2 a)

Defined in Linear.V2

data MVector s (V2 a) = MV_V2 !Int !(MVector s a)

type Rep (V2 a)

Defined in Linear.V2

type Rep (V2 a) = D1 ('MetaData "V2" "Linear.V2" "linear-1.21.9-6oNTW01QwujhmpV2bFQ8C" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data Vector (V2 a)

Defined in Linear.V2

data Vector (V2 a) = V_V2 !Int !(Vector a)

type Index (V2 a)

Defined in Linear.V2

type Index (V2 a) = E V2

type IxValue (V2 a)

Defined in Linear.V2

type IxValue (V2 a) = a

type Rep1 V2

Defined in Linear.V2

type Rep1 V2 = D1 ('MetaData "V2" "Linear.V2" "linear-1.21.9-6oNTW01QwujhmpV2bFQ8C" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))

data V3 a

A 3-dimensional vector

Constructors

V3 !a !a !a

Instances

Monad V3

Defined in Linear.V3

Methods

(>>=) :: V3 a -> (a -> V3 b) -> V3 b

(>>) :: V3 a -> V3 b -> V3 b

return :: a -> V3 a

Functor V3

Defined in Linear.V3

Methods

fmap :: (a -> b) -> V3 a -> V3 b

(<$) :: a -> V3 b -> V3 a

MonadFix V3

Defined in Linear.V3

Methods

mfix :: (a -> V3 a) -> V3 a

Applicative V3

Defined in Linear.V3

Methods

pure :: a -> V3 a

(<*>) :: V3 (a -> b) -> V3 a -> V3 b

liftA2 :: (a -> b -> c) -> V3 a -> V3 b -> V3 c

(*>) :: V3 a -> V3 b -> V3 b

(<*) :: V3 a -> V3 b -> V3 a

Foldable V3

Defined in Linear.V3

Methods

fold :: Monoid m => V3 m -> m

foldMap :: Monoid m => (a -> m) -> V3 a -> m

foldMap' :: Monoid m => (a -> m) -> V3 a -> m

foldr :: (a -> b -> b) -> b -> V3 a -> b

foldr' :: (a -> b -> b) -> b -> V3 a -> b

foldl :: (b -> a -> b) -> b -> V3 a -> b

foldl' :: (b -> a -> b) -> b -> V3 a -> b

foldr1 :: (a -> a -> a) -> V3 a -> a

foldl1 :: (a -> a -> a) -> V3 a -> a

toList :: V3 a -> [a]

null :: V3 a -> Bool

length :: V3 a -> Int

elem :: Eq a => a -> V3 a -> Bool

maximum :: Ord a => V3 a -> a

minimum :: Ord a => V3 a -> a

sum :: Num a => V3 a -> a

product :: Num a => V3 a -> a

Traversable V3

Defined in Linear.V3

Methods

traverse :: Applicative f => (a -> f b) -> V3 a -> f (V3 b)

sequenceA :: Applicative f => V3 (f a) -> f (V3 a)

mapM :: Monad m => (a -> m b) -> V3 a -> m (V3 b)

sequence :: Monad m => V3 (m a) -> m (V3 a)

Distributive V3

Defined in Linear.V3

Methods

distribute :: Functor f => f (V3 a) -> V3 (f a)

collect :: Functor f => (a -> V3 b) -> f a -> V3 (f b)

distributeM :: Monad m => m (V3 a) -> V3 (m a)

collectM :: Monad m => (a -> V3 b) -> m a -> V3 (m b)

Representable V3

Defined in Linear.V3

Associated Types

type Rep V3

Methods

tabulate :: (Rep V3 -> a) -> V3 a

index :: V3 a -> Rep V3 -> a

Eq1 V3

Defined in Linear.V3

Methods

liftEq :: (a -> b -> Bool) -> V3 a -> V3 b -> Bool

Ord1 V3

Defined in Linear.V3

Methods

liftCompare :: (a -> b -> Ordering) -> V3 a -> V3 b -> Ordering

Read1 V3

Defined in Linear.V3

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V3 a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V3 a]

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V3 a)

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V3 a]

Show1 V3

Defined in Linear.V3

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V3 a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V3 a] -> ShowS

MonadZip V3

Defined in Linear.V3

Methods

mzip :: V3 a -> V3 b -> V3 (a, b)

mzipWith :: (a -> b -> c) -> V3 a -> V3 b -> V3 c

munzip :: V3 (a, b) -> (V3 a, V3 b)

Serial1 V3

Defined in Linear.V3

Methods

serializeWith :: MonadPut m => (a -> m ()) -> V3 a -> m ()

deserializeWith :: MonadGet m => m a -> m (V3 a)

Hashable1 V3

Defined in Linear.V3

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> V3 a -> Int

Apply V3

Defined in Linear.V3

Methods

(<.>) :: V3 (a -> b) -> V3 a -> V3 b

(.>) :: V3 a -> V3 b -> V3 b

(<.) :: V3 a -> V3 b -> V3 a

liftF2 :: (a -> b -> c) -> V3 a -> V3 b -> V3 c

Traversable1 V3

Defined in Linear.V3

Methods

traverse1 :: Apply f => (a -> f b) -> V3 a -> f (V3 b)

sequence1 :: Apply f => V3 (f b) -> f (V3 b)

Affine V3

Defined in Linear.Affine

Associated Types

type Diff V3 :: Type -> Type

Methods

(.-.) :: Num a => V3 a -> V3 a -> Diff V3 a

(.+^) :: Num a => V3 a -> Diff V3 a -> V3 a

(.-^) :: Num a => V3 a -> Diff V3 a -> V3 a

R3 V3

Defined in Linear.V3

Methods

_z :: Lens' (V3 a) a

_xyz :: Lens' (V3 a) (V3 a)

R2 V3

Defined in Linear.V3

Methods

_y :: Lens' (V3 a) a

_xy :: Lens' (V3 a) (V2 a)

R1 V3

Defined in Linear.V3

Methods

_x :: Lens' (V3 a) a

Finite V3

Defined in Linear.V3

Associated Types

type Size V3 :: Nat

Methods

toV :: V3 a -> V (Size V3) a

fromV :: V (Size V3) a -> V3 a

Metric V3

Defined in Linear.V3

Methods

dot :: Num a => V3 a -> V3 a -> a

quadrance :: Num a => V3 a -> a

qd :: Num a => V3 a -> V3 a -> a

distance :: Floating a => V3 a -> V3 a -> a

norm :: Floating a => V3 a -> a

signorm :: Floating a => V3 a -> V3 a

Additive V3

Defined in Linear.V3

Methods

zero :: Num a => V3 a

(^+^) :: Num a => V3 a -> V3 a -> V3 a

(^-^) :: Num a => V3 a -> V3 a -> V3 a

lerp :: Num a => a -> V3 a -> V3 a -> V3 a

liftU2 :: (a -> a -> a) -> V3 a -> V3 a -> V3 a

liftI2 :: (a -> b -> c) -> V3 a -> V3 b -> V3 c

Bind V3

Defined in Linear.V3

Methods

(>>-) :: V3 a -> (a -> V3 b) -> V3 b

join :: V3 (V3 a) -> V3 a

Foldable1 V3

Defined in Linear.V3

Methods

fold1 :: Semigroup m => V3 m -> m

foldMap1 :: Semigroup m => (a -> m) -> V3 a -> m

toNonEmpty :: V3 a -> NonEmpty a

ComponentWiseMultable ℝ3

Defined in Graphics.Implicit.Definitions

Methods

(⋯*) :: ℝ3 -> ℝ3 -> ℝ3

(⋯/) :: ℝ3 -> ℝ3 -> ℝ3

Object SymbolicObj3 V3 ℝ

Defined in Graphics.Implicit.Primitives

Methods

_Shared :: Prism' SymbolicObj3 (SharedObj SymbolicObj3 V3 ℝ)

getBox :: SymbolicObj3 -> (V3 ℝ, V3 ℝ)

getImplicit' :: ObjectContext -> SymbolicObj3 -> V3 ℝ -> ℝ

Lift a => Lift (V3 a :: Type)

Defined in Linear.V3

Methods

lift :: V3 a -> Q Exp

liftTyped :: V3 a -> Q (TExp (V3 a))

Unbox a => Vector Vector (V3 a)

Defined in Linear.V3

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (V3 a) -> m (Vector (V3 a))

basicUnsafeThaw :: PrimMonad m => Vector (V3 a) -> m (Mutable Vector (PrimState m) (V3 a))

basicLength :: Vector (V3 a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (V3 a) -> Vector (V3 a)

basicUnsafeIndexM :: Monad m => Vector (V3 a) -> Int -> m (V3 a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (V3 a) -> Vector (V3 a) -> m ()

elemseq :: Vector (V3 a) -> V3 a -> b -> b

Unbox a => MVector MVector (V3 a)

Defined in Linear.V3

Methods

basicLength :: MVector s (V3 a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (V3 a) -> MVector s (V3 a)

basicOverlaps :: MVector s (V3 a) -> MVector s (V3 a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (V3 a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (V3 a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> V3 a -> m (MVector (PrimState m) (V3 a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (V3 a) -> Int -> m (V3 a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (V3 a) -> Int -> V3 a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (V3 a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (V3 a) -> V3 a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (V3 a) -> MVector (PrimState m) (V3 a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (V3 a) -> MVector (PrimState m) (V3 a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (V3 a) -> Int -> m (MVector (PrimState m) (V3 a))

Bounded a => Bounded (V3 a)

Defined in Linear.V3

Methods

minBound :: V3 a

maxBound :: V3 a

Eq a => Eq (V3 a)

Defined in Linear.V3

Methods

(==) :: V3 a -> V3 a -> Bool

(/=) :: V3 a -> V3 a -> Bool

Floating a => Floating (V3 a)

Defined in Linear.V3

Methods

pi :: V3 a

exp :: V3 a -> V3 a

log :: V3 a -> V3 a

sqrt :: V3 a -> V3 a

(**) :: V3 a -> V3 a -> V3 a

logBase :: V3 a -> V3 a -> V3 a

sin :: V3 a -> V3 a

cos :: V3 a -> V3 a

tan :: V3 a -> V3 a

asin :: V3 a -> V3 a

acos :: V3 a -> V3 a

atan :: V3 a -> V3 a

sinh :: V3 a -> V3 a

cosh :: V3 a -> V3 a

tanh :: V3 a -> V3 a

asinh :: V3 a -> V3 a

acosh :: V3 a -> V3 a

atanh :: V3 a -> V3 a

log1p :: V3 a -> V3 a

expm1 :: V3 a -> V3 a

log1pexp :: V3 a -> V3 a

log1mexp :: V3 a -> V3 a

Fractional a => Fractional (V3 a)

Defined in Linear.V3

Methods

(/) :: V3 a -> V3 a -> V3 a

recip :: V3 a -> V3 a

fromRational :: Rational -> V3 a

Data a => Data (V3 a)

Defined in Linear.V3

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V3 a -> c (V3 a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V3 a)

toConstr :: V3 a -> Constr

dataTypeOf :: V3 a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V3 a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V3 a))

gmapT :: (forall b. Data b => b -> b) -> V3 a -> V3 a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r

gmapQ :: (forall d. Data d => d -> u) -> V3 a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> V3 a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a)

Num a => Num (V3 a)

Defined in Linear.V3

Methods

(+) :: V3 a -> V3 a -> V3 a

(-) :: V3 a -> V3 a -> V3 a

(*) :: V3 a -> V3 a -> V3 a

negate :: V3 a -> V3 a

abs :: V3 a -> V3 a

signum :: V3 a -> V3 a

fromInteger :: Integer -> V3 a

Ord a => Ord (V3 a)

Defined in Linear.V3

Methods

compare :: V3 a -> V3 a -> Ordering

(<) :: V3 a -> V3 a -> Bool

(<=) :: V3 a -> V3 a -> Bool

(>) :: V3 a -> V3 a -> Bool

(>=) :: V3 a -> V3 a -> Bool

max :: V3 a -> V3 a -> V3 a

min :: V3 a -> V3 a -> V3 a

Read a => Read (V3 a)

Defined in Linear.V3

Methods

readsPrec :: Int -> ReadS (V3 a)

readList :: ReadS [V3 a]

readPrec :: ReadPrec (V3 a)

readListPrec :: ReadPrec [V3 a]

Show a => Show (V3 a)

Defined in Linear.V3

Methods

showsPrec :: Int -> V3 a -> ShowS

show :: V3 a -> String

showList :: [V3 a] -> ShowS

Ix a => Ix (V3 a)

Defined in Linear.V3

Methods

range :: (V3 a, V3 a) -> [V3 a]

index :: (V3 a, V3 a) -> V3 a -> Int

unsafeIndex :: (V3 a, V3 a) -> V3 a -> Int

inRange :: (V3 a, V3 a) -> V3 a -> Bool

rangeSize :: (V3 a, V3 a) -> Int

unsafeRangeSize :: (V3 a, V3 a) -> Int

Generic (V3 a)

Defined in Linear.V3

Associated Types

type Rep (V3 a) :: Type -> Type

Methods

from :: V3 a -> Rep (V3 a) x

to :: Rep (V3 a) x -> V3 a

Semigroup a => Semigroup (V3 a)

Defined in Linear.V3

Methods

(<>) :: V3 a -> V3 a -> V3 a

sconcat :: NonEmpty (V3 a) -> V3 a

stimes :: Integral b => b -> V3 a -> V3 a

Monoid a => Monoid (V3 a)

Defined in Linear.V3

Methods

mempty :: V3 a

mappend :: V3 a -> V3 a -> V3 a

mconcat :: [V3 a] -> V3 a

Storable a => Storable (V3 a)

Defined in Linear.V3

Methods

sizeOf :: V3 a -> Int

alignment :: V3 a -> Int

peekElemOff :: Ptr (V3 a) -> Int -> IO (V3 a)

pokeElemOff :: Ptr (V3 a) -> Int -> V3 a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (V3 a)

pokeByteOff :: Ptr b -> Int -> V3 a -> IO ()

peek :: Ptr (V3 a) -> IO (V3 a)

poke :: Ptr (V3 a) -> V3 a -> IO ()

Binary a => Binary (V3 a)

Defined in Linear.V3

Methods

put :: V3 a -> Put

get :: Get (V3 a)

putList :: [V3 a] -> Put

Serial a => Serial (V3 a)

Defined in Linear.V3

Methods

serialize :: MonadPut m => V3 a -> m ()

deserialize :: MonadGet m => m (V3 a)

Serialize a => Serialize (V3 a)

Defined in Linear.V3

Methods

put :: Putter (V3 a)

get :: Get (V3 a)

NFData a => NFData (V3 a)

Defined in Linear.V3

Methods

rnf :: V3 a -> ()

Hashable a => Hashable (V3 a)

Defined in Linear.V3

Methods

hashWithSalt :: Int -> V3 a -> Int

hash :: V3 a -> Int

Unbox a => Unbox (V3 a)

Defined in Linear.V3

Ixed (V3 a)

Defined in Linear.V3

Methods

ix :: Index (V3 a) -> Traversal' (V3 a) (IxValue (V3 a))

Epsilon a => Epsilon (V3 a)

Defined in Linear.V3

Methods

nearZero :: V3 a -> Bool

Random a => Random (V3 a)

Defined in Linear.V3

Methods

randomR :: RandomGen g => (V3 a, V3 a) -> g -> (V3 a, g)

random :: RandomGen g => g -> (V3 a, g)

randomRs :: RandomGen g => (V3 a, V3 a) -> g -> [V3 a]

randoms :: RandomGen g => g -> [V3 a]

Generic1 V3

Defined in Linear.V3

Associated Types

type Rep1 V3 :: k -> Type

Methods

from1 :: forall (a :: k). V3 a -> Rep1 V3 a

to1 :: forall (a :: k). Rep1 V3 a -> V3 a

FunctorWithIndex (E V3) V3

Defined in Linear.V3

Methods

imap :: (E V3 -> a -> b) -> V3 a -> V3 b

FoldableWithIndex (E V3) V3

Defined in Linear.V3

Methods

ifoldMap :: Monoid m => (E V3 -> a -> m) -> V3 a -> m

ifoldMap' :: Monoid m => (E V3 -> a -> m) -> V3 a -> m

ifoldr :: (E V3 -> a -> b -> b) -> b -> V3 a -> b

ifoldl :: (E V3 -> b -> a -> b) -> b -> V3 a -> b

ifoldr' :: (E V3 -> a -> b -> b) -> b -> V3 a -> b

ifoldl' :: (E V3 -> b -> a -> b) -> b -> V3 a -> b

TraversableWithIndex (E V3) V3

Defined in Linear.V3

Methods

itraverse :: Applicative f => (E V3 -> a -> f b) -> V3 a -> f (V3 b)

Each (V3 a) (V3 b) a b

Defined in Linear.V3

Methods

each :: Traversal (V3 a) (V3 b) a b

Field1 (V3 a) (V3 a) a a

Defined in Linear.V3

Methods

_1 :: Lens (V3 a) (V3 a) a a

Field2 (V3 a) (V3 a) a a

Defined in Linear.V3

Methods

_2 :: Lens (V3 a) (V3 a) a a

Field3 (V3 a) (V3 a) a a

Defined in Linear.V3

Methods

_3 :: Lens (V3 a) (V3 a) a a

type Rep V3

Defined in Linear.V3

type Rep V3 = E V3

type Diff V3

Defined in Linear.Affine

type Diff V3 = V3

type Size V3

Defined in Linear.V3

type Size V3 = 3

data MVector s (V3 a)

Defined in Linear.V3

data MVector s (V3 a) = MV_V3 !Int !(MVector s a)

type Rep (V3 a)

Defined in Linear.V3

type Rep (V3 a) = D1 ('MetaData "V3" "Linear.V3" "linear-1.21.9-6oNTW01QwujhmpV2bFQ8C" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))

data Vector (V3 a)

Defined in Linear.V3

data Vector (V3 a) = V_V3 !Int !(Vector a)

type Index (V3 a)

Defined in Linear.V3

type Index (V3 a) = E V3

type IxValue (V3 a)

Defined in Linear.V3

type IxValue (V3 a) = a

type Rep1 V3

Defined in Linear.V3

type Rep1 V3 = D1 ('MetaData "V3" "Linear.V3" "linear-1.21.9-6oNTW01QwujhmpV2bFQ8C" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))

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

Square ℝ2

Circle ℝ

Polygon [ℝ2]

Rotate2 ℝ SymbolicObj2

Transform2 (M33 ℝ) SymbolicObj2

Shared2 (SharedObj SymbolicObj2 V2 ℝ)

Instances

Show SymbolicObj2

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> SymbolicObj2 -> ShowS

show :: SymbolicObj2 -> String

showList :: [SymbolicObj2] -> ShowS

Generic SymbolicObj2

Defined in Graphics.Implicit.Definitions

Associated Types

type Rep SymbolicObj2 :: Type -> Type

Methods

from :: SymbolicObj2 -> Rep SymbolicObj2 x

to :: Rep SymbolicObj2 x -> SymbolicObj2

Semigroup SymbolicObj2

Semigroup under union.

Defined in Graphics.Implicit.Definitions

Methods

(<>) :: SymbolicObj2 -> SymbolicObj2 -> SymbolicObj2

sconcat :: NonEmpty SymbolicObj2 -> SymbolicObj2

stimes :: Integral b => b -> SymbolicObj2 -> SymbolicObj2

Monoid SymbolicObj2

Monoid under union.

Defined in Graphics.Implicit.Definitions

Methods

mempty :: SymbolicObj2

mappend :: SymbolicObj2 -> SymbolicObj2 -> SymbolicObj2

mconcat :: [SymbolicObj2] -> SymbolicObj2

DiscreteAproxable SymbolicObj2 DynamicImage

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

discreteAprox :: ℝ -> SymbolicObj2 -> DynamicImage

Object SymbolicObj2 V2 ℝ

Defined in Graphics.Implicit.Primitives

Methods

_Shared :: Prism' SymbolicObj2 (SharedObj SymbolicObj2 V2 ℝ)

getBox :: SymbolicObj2 -> (V2 ℝ, V2 ℝ)

getImplicit' :: ObjectContext -> SymbolicObj2 -> V2 ℝ -> ℝ

DiscreteAproxable SymbolicObj2 [Polyline]

Defined in Graphics.Implicit.Export.DiscreteAproxable

Methods

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

type Rep SymbolicObj2

Defined in Graphics.Implicit.Definitions

type Rep SymbolicObj2 = D1 ('MetaData "SymbolicObj2" "Graphics.Implicit.Definitions" "implicit-0.4.0.0-2QFrzNvv6lKFGu3kPbjLAC" 'False) ((C1 ('MetaCons "Square" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ2)) :+: (C1 ('MetaCons "Circle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ)) :+: C1 ('MetaCons "Polygon" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ℝ2])))) :+: (C1 ('MetaCons "Rotate2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2)) :+: (C1 ('MetaCons "Transform2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (M33 ℝ)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2)) :+: C1 ('MetaCons "Shared2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SharedObj SymbolicObj2 V2 ℝ))))))

data SymbolicObj3

A symbolic 3D format!

Constructors

Cube ℝ3

Sphere ℝ

Cylinder ℝ ℝ ℝ

Rotate3 (Quaternion ℝ) SymbolicObj3

Transform3 (M44 ℝ) SymbolicObj3

Extrude SymbolicObj2 ℝ

ExtrudeM (Either ℝ (ℝ -> ℝ)) ExtrudeMScale (Either ℝ2 (ℝ -> ℝ2)) SymbolicObj2 (Either ℝ (ℝ2 -> ℝ))

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

ExtrudeOnEdgeOf SymbolicObj2 SymbolicObj2

Shared3 (SharedObj SymbolicObj3 V3 ℝ)

Instances

Show SymbolicObj3

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> SymbolicObj3 -> ShowS

show :: SymbolicObj3 -> String

showList :: [SymbolicObj3] -> ShowS

Generic SymbolicObj3

Defined in Graphics.Implicit.Definitions

Associated Types

type Rep SymbolicObj3 :: Type -> Type

Methods

from :: SymbolicObj3 -> Rep SymbolicObj3 x

to :: Rep SymbolicObj3 x -> SymbolicObj3

Semigroup SymbolicObj3

Semigroup under union.

Defined in Graphics.Implicit.Definitions

Methods

(<>) :: SymbolicObj3 -> SymbolicObj3 -> SymbolicObj3

sconcat :: NonEmpty SymbolicObj3 -> SymbolicObj3

stimes :: Integral b => b -> SymbolicObj3 -> SymbolicObj3

Monoid SymbolicObj3

Monoid under union.

Defined in Graphics.Implicit.Definitions

Methods

mempty :: SymbolicObj3

mappend :: SymbolicObj3 -> SymbolicObj3 -> SymbolicObj3

mconcat :: [SymbolicObj3] -> SymbolicObj3

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

Object SymbolicObj3 V3 ℝ

Defined in Graphics.Implicit.Primitives

Methods

_Shared :: Prism' SymbolicObj3 (SharedObj SymbolicObj3 V3 ℝ)

getBox :: SymbolicObj3 -> (V3 ℝ, V3 ℝ)

getImplicit' :: ObjectContext -> SymbolicObj3 -> V3 ℝ -> ℝ

type Rep SymbolicObj3

Defined in Graphics.Implicit.Definitions

type Rep SymbolicObj3 = D1 ('MetaData "SymbolicObj3" "Graphics.Implicit.Definitions" "implicit-0.4.0.0-2QFrzNvv6lKFGu3kPbjLAC" 'False) (((C1 ('MetaCons "Cube" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ3)) :+: C1 ('MetaCons "Sphere" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ))) :+: (C1 ('MetaCons "Cylinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ))) :+: (C1 ('MetaCons "Rotate3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Quaternion ℝ)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj3)) :+: C1 ('MetaCons "Transform3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (M44 ℝ)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj3))))) :+: ((C1 ('MetaCons "Extrude" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ)) :+: C1 ('MetaCons "ExtrudeM" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ℝ (ℝ -> ℝ))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtrudeMScale)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ℝ2 (ℝ -> ℝ2))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ℝ (ℝ2 -> ℝ))))))) :+: (C1 ('MetaCons "RotateExtrude" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ℝ2 (ℝ -> ℝ2)))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ℝ (ℝ -> ℝ))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2))) :+: (C1 ('MetaCons "ExtrudeOnEdgeOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SymbolicObj2)) :+: C1 ('MetaCons "Shared3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SharedObj SymbolicObj3 V3 ℝ)))))))

data ExtrudeMScale

Constructors

C1 ℝ

C2 ℝ2

Fn (ℝ -> Either ℝ ℝ2)

Instances

Show ExtrudeMScale

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> ExtrudeMScale -> ShowS

show :: ExtrudeMScale -> String

showList :: [ExtrudeMScale] -> ShowS

Generic ExtrudeMScale

Defined in Graphics.Implicit.Definitions

Associated Types

type Rep ExtrudeMScale :: Type -> Type

Methods

from :: ExtrudeMScale -> Rep ExtrudeMScale x

to :: Rep ExtrudeMScale x -> ExtrudeMScale

type Rep ExtrudeMScale

Defined in Graphics.Implicit.Definitions

type Rep ExtrudeMScale = D1 ('MetaData "ExtrudeMScale" "Graphics.Implicit.Definitions" "implicit-0.4.0.0-2QFrzNvv6lKFGu3kPbjLAC" 'False) (C1 ('MetaCons "C1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ)) :+: (C1 ('MetaCons "C2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ℝ2)) :+: C1 ('MetaCons "Fn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ℝ -> Either ℝ ℝ2)))))

newtype ObjectContext

Constructors

ObjectContext

Fields

• objectRounding :: ℝ

Instances

Eq ObjectContext

Defined in Graphics.Implicit.Definitions

Methods

(==) :: ObjectContext -> ObjectContext -> Bool

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

Ord ObjectContext

Defined in Graphics.Implicit.Definitions

Methods

compare :: ObjectContext -> ObjectContext -> Ordering

(<) :: ObjectContext -> ObjectContext -> Bool

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

(>) :: ObjectContext -> ObjectContext -> Bool

(>=) :: ObjectContext -> ObjectContext -> Bool

max :: ObjectContext -> ObjectContext -> ObjectContext

min :: ObjectContext -> ObjectContext -> ObjectContext

Show ObjectContext

Defined in Graphics.Implicit.Definitions

Methods

showsPrec :: Int -> ObjectContext -> ShowS

show :: ObjectContext -> String

showList :: [ObjectContext] -> ShowS

defaultObjectContext :: ObjectContext

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.

toScaleFn :: ExtrudeMScale -> ℝ -> ℝ2

isScaleID :: ExtrudeMScale -> Bool

quaternionToEuler :: RealFloat a => Quaternion a -> (a, a, a)

Convert a Quaternion to its constituent euler angles.

From https://en.wikipedia.org/wiki/Conversion_between_quaternions_and_Euler_angles#Source_code_2