Graphics.Rendering.Ombra.Geometry

Documentation

data Geometry g

A set of triangles.

Instances

Eq (Geometry is)

Methods

(==) :: Geometry is -> Geometry is -> Bool

(/=) :: Geometry is -> Geometry is -> Bool

Hashable (Geometry is)

Methods

hashWithSalt :: Int -> Geometry is -> Int

hash :: Geometry is -> Int

data Triangle a

Constructors

Triangle a a a

Instances

Functor Triangle

Methods

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

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

Hashable a => Hashable (Triangle a)

Methods

hashWithSalt :: Int -> Triangle a -> Int

hash :: Triangle a -> Int

mkGeometry :: (GLES, GeometryVertex g) => [Triangle (Vertex g)] -> Geometry g

Create a Geometry using a list of triangles.

mapVertices :: forall a g g'. (GLES, GeometryVertex g, GeometryVertex g') => (Triangle (Vertex g) -> a) -> ([a] -> Vertex g -> Vertex g') -> Geometry g -> Geometry g'

Transform each vertex of a geometry. You can create a value for each triangle so that the transforming function will receive a list of the values of the triangles the vertex belongs to.

decompose :: GeometryVertex g => Geometry g -> [Triangle (Vertex g)]

Convert a Geometry back to a list of triangles.

Geometry builder

class Empty is ~ False => Attributes is

Minimal complete definition

emptyAttrCol, cell, addTop, foldTop, rowToVertexAttributes

Instances

(BaseAttribute i1, Eq (CPUBase i1), Attributes ((:) * i2 is), Hashable (CPUBase i1)) => Attributes ((:) * i1 ((:) * i2 is))

Methods

emptyAttrCol :: AttrCol ((* ': i1) ((* ': i2) is))

cell :: VertexAttributes ((* ': i1) ((* ': i2) is)) -> AttrTable p ((* ': i1) ((* ': i2) is)) -> AttrTable (Previous p) ((* ': i1) ((* ': i2) is))

addTop :: VertexAttributes ((* ': i1) ((* ': i2) is)) -> AttrCol ((* ': i1) ((* ': i2) is)) -> AttrCol ((* ': i1) ((* ': i2) is))

foldTop :: (forall i is0. BaseAttribute i => b -> AttrCol ((* ': i) is0) -> b) -> b -> AttrCol ((* ': i1) ((* ': i2) is)) -> b

rowToVertexAttributes :: NotTop p => AttrTable p ((* ': i1) ((* ': i2) is)) -> VertexAttributes ((* ': i1) ((* ': i2) is))

(BaseAttribute i, Eq (CPUBase i), Hashable (CPUBase i)) => Attributes ((:) * i ([] *))

Methods

emptyAttrCol :: AttrCol ((* ': i) [*])

cell :: VertexAttributes ((* ': i) [*]) -> AttrTable p ((* ': i) [*]) -> AttrTable (Previous p) ((* ': i) [*])

addTop :: VertexAttributes ((* ': i) [*]) -> AttrCol ((* ': i) [*]) -> AttrCol ((* ': i) [*])

foldTop :: (forall a is. BaseAttribute a => b -> AttrCol ((* ': a) is) -> b) -> b -> AttrCol ((* ': i) [*]) -> b

rowToVertexAttributes :: NotTop p => AttrTable p ((* ': i) [*]) -> VertexAttributes ((* ': i) [*])

data AttrVertex is

A vertex in a Geometry.

Instances

Eq (AttrVertex is)

Methods

(==) :: AttrVertex is -> AttrVertex is -> Bool

(/=) :: AttrVertex is -> AttrVertex is -> Bool

Hashable (AttrVertex is)

Methods

hashWithSalt :: Int -> AttrVertex is -> Int

hash :: AttrVertex is -> Int

type GeometryBuilder g = GeometryBuilderT g Identity

data GeometryBuilderT g m a

Instances

MonadTrans (GeometryBuilderT g)

Methods

lift :: Monad m => m a -> GeometryBuilderT g m a

Monad m => Monad (GeometryBuilderT g m)

Methods

(>>=) :: GeometryBuilderT g m a -> (a -> GeometryBuilderT g m b) -> GeometryBuilderT g m b

(>>) :: GeometryBuilderT g m a -> GeometryBuilderT g m b -> GeometryBuilderT g m b

return :: a -> GeometryBuilderT g m a

fail :: String -> GeometryBuilderT g m a

Functor m => Functor (GeometryBuilderT g m)

Methods

fmap :: (a -> b) -> GeometryBuilderT g m a -> GeometryBuilderT g m b

(<$) :: a -> GeometryBuilderT g m b -> GeometryBuilderT g m a

Monad m => Applicative (GeometryBuilderT g m)

Methods

pure :: a -> GeometryBuilderT g m a

(<*>) :: GeometryBuilderT g m (a -> b) -> GeometryBuilderT g m a -> GeometryBuilderT g m b

(*>) :: GeometryBuilderT g m a -> GeometryBuilderT g m b -> GeometryBuilderT g m b

(<*) :: GeometryBuilderT g m a -> GeometryBuilderT g m b -> GeometryBuilderT g m a

vertex :: (Monad m, GeometryVertex g) => Vertex g -> GeometryBuilderT g m (AttrVertex (AttributeTypes g))

Create a new vertex that can be used in addTriangle.

triangle :: (Monad m, GeometryVertex g) => AttrVertex (AttributeTypes g) -> AttrVertex (AttributeTypes g) -> AttrVertex (AttributeTypes g) -> GeometryBuilderT g m ()

Add a triangle to the current geometry.

buildGeometry :: GeometryVertex g => GeometryBuilder g () -> Geometry g

Create a Geometry using the GeometryBuilder monad. This is more efficient than mkGeometry.

buildGeometryT :: (Monad m, GeometryVertex g) => GeometryBuilderT g m () -> m (Geometry g)

class Attributes (AttributeTypes a) => GeometryVertex a where

Types that can be used as Geometry vertices.

Associated Types

type AttributeTypes a :: [*]

type Vertex a = v | v -> a

Methods

toVertexAttributes :: Vertex a -> VertexAttributes (AttributeTypes a)

toVertexAttributes :: (Generic a, Generic (Vertex a), GGeometryVertex (Rep a) (Rep (Vertex a)), VertexAttributes (AttributeTypes a) ~ VertexAttributes (GAttributeTypes (Rep a) (Rep (Vertex a)))) => Vertex a -> VertexAttributes (AttributeTypes a)

fromVertexAttributes :: VertexAttributes (AttributeTypes a) -> Vertex a

fromVertexAttributes :: (Generic a, Generic (Vertex a), GGeometryVertex (Rep a) (Rep (Vertex a)), VertexAttributes (AttributeTypes a) ~ VertexAttributes (GAttributeTypes (Rep a) (Rep (Vertex a)))) => VertexAttributes (AttributeTypes a) -> Vertex a

Instances

GLES => GeometryVertex GIVec4

Associated Types

type AttributeTypes GIVec4 :: [*]

type Vertex GIVec4 = (v :: *)

Methods

toVertexAttributes :: Vertex GIVec4 -> VertexAttributes (AttributeTypes GIVec4)

fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec4) -> Vertex GIVec4

GLES => GeometryVertex GIVec3

Associated Types

type AttributeTypes GIVec3 :: [*]

type Vertex GIVec3 = (v :: *)

Methods

toVertexAttributes :: Vertex GIVec3 -> VertexAttributes (AttributeTypes GIVec3)

fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec3) -> Vertex GIVec3

GLES => GeometryVertex GIVec2

Associated Types

type AttributeTypes GIVec2 :: [*]

type Vertex GIVec2 = (v :: *)

Methods

toVertexAttributes :: Vertex GIVec2 -> VertexAttributes (AttributeTypes GIVec2)

fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec2) -> Vertex GIVec2

GLES => GeometryVertex GVec4

Associated Types

type AttributeTypes GVec4 :: [*]

type Vertex GVec4 = (v :: *)

Methods

toVertexAttributes :: Vertex GVec4 -> VertexAttributes (AttributeTypes GVec4)

fromVertexAttributes :: VertexAttributes (AttributeTypes GVec4) -> Vertex GVec4

GLES => GeometryVertex GVec3

Associated Types

type AttributeTypes GVec3 :: [*]

type Vertex GVec3 = (v :: *)

Methods

toVertexAttributes :: Vertex GVec3 -> VertexAttributes (AttributeTypes GVec3)

fromVertexAttributes :: VertexAttributes (AttributeTypes GVec3) -> Vertex GVec3

GLES => GeometryVertex GVec2

Associated Types

type AttributeTypes GVec2 :: [*]

type Vertex GVec2 = (v :: *)

Methods

toVertexAttributes :: Vertex GVec2 -> VertexAttributes (AttributeTypes GVec2)

fromVertexAttributes :: VertexAttributes (AttributeTypes GVec2) -> Vertex GVec2

GLES => GeometryVertex GInt

Associated Types

type AttributeTypes GInt :: [*]

type Vertex GInt = (v :: *)

Methods

toVertexAttributes :: Vertex GInt -> VertexAttributes (AttributeTypes GInt)

fromVertexAttributes :: VertexAttributes (AttributeTypes GInt) -> Vertex GInt

GLES => GeometryVertex GFloat

Associated Types

type AttributeTypes GFloat :: [*]

type Vertex GFloat = (v :: *)

Methods

toVertexAttributes :: Vertex GFloat -> VertexAttributes (AttributeTypes GFloat)

fromVertexAttributes :: VertexAttributes (AttributeTypes GFloat) -> Vertex GFloat

GLES => GeometryVertex GBool

Associated Types

type AttributeTypes GBool :: [*]

type Vertex GBool = (v :: *)

Methods

toVertexAttributes :: Vertex GBool -> VertexAttributes (AttributeTypes GBool)

fromVertexAttributes :: VertexAttributes (AttributeTypes GBool) -> Vertex GBool

(GeometryVertex a, GeometryVertex b, BreakVertex (AttributeTypes a) (AttributeTypes b), AppendVertex (AttributeTypes a) (AttributeTypes b)) => GeometryVertex (a, b)

Associated Types

type AttributeTypes (a, b) :: [*]

type Vertex (a, b) = (v :: *)

Methods

toVertexAttributes :: Vertex (a, b) -> VertexAttributes (AttributeTypes (a, b))

fromVertexAttributes :: VertexAttributes (AttributeTypes (a, b)) -> Vertex (a, b)

(GeometryVertex a, GeometryVertex b, GeometryVertex c, BreakVertex (AttributeTypes a) (Append (AttributeTypes b) (AttributeTypes c)), BreakVertex (AttributeTypes b) (AttributeTypes c), AppendVertex (AttributeTypes a) (Append (AttributeTypes b) (AttributeTypes c)), AppendVertex (AttributeTypes b) (AttributeTypes c)) => GeometryVertex (a, b, c)

Associated Types

type AttributeTypes (a, b, c) :: [*]

type Vertex (a, b, c) = (v :: *)

Methods

toVertexAttributes :: Vertex (a, b, c) -> VertexAttributes (AttributeTypes (a, b, c))

fromVertexAttributes :: VertexAttributes (AttributeTypes (a, b, c)) -> Vertex (a, b, c)