Data.Manifold.Mesh

Documentation

class SimplexSpanning (MeshDomainSpace メ) => Mesh メ where

A mesh is a container data structure whose nodes are in some way located distributed over a manifold, and are aware of the topology by way of having access to their neighbours. Any such grid can be seen as a PointsWeb, but it may have extra structure (e.g. rectangular) in addition to that.

Minimal complete definition

asWeb, meshSimplicesInWeb, extrapolateGrid

Associated Types

type MeshDomainSpace メ :: *

type MeshGridDataConstraint メ y :: Constraint

Methods

asWeb :: MeshGridDataConstraint メ y => メ y -> PointsWeb (MeshDomainSpace メ) y

meshSimplicesInWeb :: メ y -> [AbstractSimplex (Needle (MeshDomainSpace メ)) WebNodeId]

meshSimplices :: MeshGridDataConstraint メ y => メ y -> [SimplexF (MeshDomainSpace メ) y]

extrapolateGrid :: (WithField ℝ Manifold y, Connected y, MeshGridDataConstraint メ y) => メ y -> MeshDomainSpace メ -> y

class Mesh メ => CoveringMesh メ where

A mesh that “covers” the entire manifold, i.e. any point lies between some nodes of the mesh.

Minimal complete definition

Nothing

Methods

interpolateGrid :: (WithField ℝ Manifold y, Connected y, MeshGridDataConstraint メ y) => メ y -> MeshDomainSpace メ -> y