Reanimate.Math.DCEL

Documentation

type VertexId = Int

type EdgeId = Int

type FaceId = Int

data Mesh a

Constructors

Mesh

Fields

• _meshIdCounter :: Int
• _meshOuterFace :: FaceId
• _meshVertices :: Map VertexId (Vertex a)
• _meshEdges :: Map EdgeId Edge
• _meshFaces :: Map FaceId Face

Instances

Show a => Show (Mesh a)

Defined in Reanimate.Math.DCEL

Methods

showsPrec :: Int -> Mesh a -> ShowS

show :: Mesh a -> String

showList :: [Mesh a] -> ShowS

data Vertex a

Constructors

Vertex

Fields

• _vertexId :: VertexId
• _vertexPosition :: a

Instances

Show a => Show (Vertex a)

Defined in Reanimate.Math.DCEL

Methods

showsPrec :: Int -> Vertex a -> ShowS

show :: Vertex a -> String

showList :: [Vertex a] -> ShowS

data Edge

Constructors

Edge

Fields

• _edgeId :: EdgeId
• _edgeVertex :: VertexId
• _edgeTwin :: EdgeId
• _edgeNext :: EdgeId
• _edgePrev :: EdgeId
• _edgeFace :: FaceId

Instances

Show Edge

Defined in Reanimate.Math.DCEL

Methods

showsPrec :: Int -> Edge -> ShowS

show :: Edge -> String

showList :: [Edge] -> ShowS

data Face

Constructors

Face

Fields

• _faceId :: FaceId
• _faceEdge :: EdgeId

Instances

Show Face

Defined in Reanimate.Math.DCEL

Methods

showsPrec :: Int -> Face -> ShowS

show :: Face -> String

showList :: [Face] -> ShowS

type MeshM position a = State (Mesh position) a

validMesh :: Mesh a -> [String]

meshVertices :: forall a a. Lens (Mesh a) (Mesh a) (Map VertexId (Vertex a)) (Map VertexId (Vertex a))

meshOuterFace :: forall a. Lens' (Mesh a) FaceId

meshIdCounter :: forall a. Lens' (Mesh a) Int

meshFaces :: forall a. Lens' (Mesh a) (Map FaceId Face)

meshEdges :: forall a. Lens' (Mesh a) (Map EdgeId Edge)

vertexPosition :: forall a a. Lens (Vertex a) (Vertex a) a a

vertexId :: forall a. Lens' (Vertex a) VertexId

edgeVertex :: Lens' Edge VertexId

edgeTwin :: Lens' Edge EdgeId

edgePrev :: Lens' Edge EdgeId

edgeNext :: Lens' Edge EdgeId

edgeId :: Lens' Edge EdgeId

edgeFace :: Lens' Edge FaceId

faceId :: Lens' Face FaceId

faceEdge :: Lens' Face EdgeId

meshGetEdge :: EdgeId -> Mesh a -> Edge

meshGetVertex :: VertexId -> Mesh a -> Vertex a

meshGetFace :: FaceId -> Mesh a -> Face

meshAngles :: Mesh (V2 Double) -> [Double]

meshEdgeAngle :: Mesh (V2 Double) -> EdgeId -> Double

facePositions :: FaceId -> Mesh a -> [a]

faceEdges :: FaceId -> Mesh a -> [EdgeId]

faceMinAngle :: FaceId -> Mesh (V2 Double) -> Double

ppMesh :: Show a => Mesh a -> String

emptyMesh :: Mesh a

polygonsMesh :: Eq a => [a] -> [[a]] -> MeshM a ()

polygonMesh :: [a] -> MeshM a ()

polygonMeshOuter :: [a] -> MeshM a ()

newId :: MeshM a Int

createVertex :: a -> State (Mesh a) VertexId

getVertex :: Eq a => a -> State (Mesh a) VertexId

requireVertex :: VertexId -> MeshM a (Vertex a)

modifyVertex :: (Vertex a -> Vertex a) -> VertexId -> State (Mesh a) ()

getEdge :: EdgeId -> State (Mesh a) Edge

withEdge :: EdgeId -> (Edge -> State (Mesh a) ()) -> State (Mesh a) ()

createEdge :: VertexId -> State (Mesh a) EdgeId

modifyEdge :: (Edge -> Edge) -> EdgeId -> State (Mesh a) ()

linkEdges :: EdgeId -> EdgeId -> State (Mesh a) ()

setNextEdge :: EdgeId -> EdgeId -> State (Mesh a) ()

setPreviousEdge :: EdgeId -> EdgeId -> State (Mesh a) ()

setTwinEdge :: EdgeId -> EdgeId -> MeshM a ()

setFace :: EdgeId -> FaceId -> State (Mesh a) ()

updateFaces :: EdgeId -> FaceId -> State (Mesh a) ()

createFace :: State (Mesh a) FaceId

modifyFace :: (Face -> Face) -> FaceId -> State (Mesh a) ()

setFaceEdge :: FaceId -> EdgeId -> MeshM a ()

deleteFace :: FaceId -> MeshM a ()

getFace :: FaceId -> State (Mesh a) Face

buildMesh :: State (Mesh a) b -> Mesh a

numVertices :: Mesh a -> Int

numEdges :: Mesh a -> Int

numFaces :: Mesh a -> Int

vertices :: Mesh a -> [Vertex a]

outgoingEdges :: VertexId -> Mesh a -> [Edge]

splitEdge :: VertexId -> EdgeId -> MeshM a EdgeId

splitTriangle :: V2 Double -> EdgeId -> MeshM (V2 Double) (FaceId, FaceId, FaceId, FaceId)

splitOuterTriangle :: V2 Double -> EdgeId -> MeshM (V2 Double) (FaceId, FaceId)

findEdge :: FaceId -> VertexId -> MeshM a Edge

findEdge' :: VertexId -> VertexId -> MeshM a (Maybe Edge)

findEdge'' :: [FaceId] -> VertexId -> MeshM a (Maybe Edge)

deleteEdge :: EdgeId -> MeshM a ()

insertEdge :: FaceId -> VertexId -> VertexId -> MeshM a (FaceId, FaceId)

steinerNodes :: Mesh a -> [VertexId]

meshSmoothPosition :: Mesh (V2 Double) -> Mesh (V2 Double)

smoothVertex :: VertexId -> MeshM (V2 Double) ()

angleSmooth :: V2 Double -> Vector (V2 Double) -> V2 Double

isValidLocation :: V2 Double -> Vector (V2 Double) -> V2 Double -> Bool

minAngle :: V2 Double -> Vector (V2 Double) -> Double

flipEdge :: Edge -> MeshM (V2 Double) (FaceId, FaceId)

internalEdges :: Mesh a -> [EdgeId]

outerEdges :: Mesh a -> [EdgeId]

longestEdge :: Mesh (V2 Double) -> Mesh (V2 Double) -> EdgeId

edgeLength :: EdgeId -> Mesh (V2 Double) -> Double

applyCompatible :: (t -> Mesh a -> Maybe (Mesh a)) -> (Mesh a -> [t]) -> Mesh a -> Mesh a -> (Mesh a, Mesh a)

delaunayFlip :: Mesh (V2 Double) -> Mesh (V2 Double) -> (Mesh (V2 Double), Mesh (V2 Double))

delaunayFlip' :: EdgeId -> Mesh (V2 Double) -> Maybe (Mesh (V2 Double))

splitInternalEdges :: Mesh (V2 Double) -> Mesh (V2 Double) -> (Mesh (V2 Double), Mesh (V2 Double))

splitInternalEdge :: EdgeId -> Mesh (V2 Double) -> Maybe (Mesh (V2 Double))

splitLongestEdge :: Mesh (V2 Double) -> Mesh (V2 Double) -> (Mesh (V2 Double), Mesh (V2 Double))

splitInternalEdgeForced :: EdgeId -> Mesh (V2 Double) -> Mesh (V2 Double)

splitOuterEdges :: Mesh (V2 Double) -> Mesh (V2 Double) -> (Mesh (V2 Double), Mesh (V2 Double))

splitOuterEdge :: EdgeId -> Mesh (V2 Double) -> Maybe (Mesh (V2 Double))

renderMesh :: Double -> Mesh (V2 Double) -> SVG

renderMeshEdges :: Mesh (V2 Double) -> SVG

renderMeshSimple :: Double -> Mesh (V2 Double) -> SVG

renderMeshColored :: Mesh (V2 Double) -> SVG

renderMeshStats :: Mesh (V2 Double) -> SVG

toRigidMesh :: Mesh (V2 Double) -> Mesh (V2 Double) -> Mesh