Copyright | (c) Justus Sagemüller 2018 |
---|---|
License | GPL v3 |
Maintainer | (@) jsagemue $ uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- class SimplexSpanning (MeshDomainSpace メ) => Mesh メ where
- type MeshDomainSpace メ :: *
- type MeshGridDataConstraint メ y :: Constraint
- 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
- interpolateGrid :: (WithField ℝ Manifold y, Connected y, MeshGridDataConstraint メ y) => メ y -> MeshDomainSpace メ -> y
Documentation
class SimplexSpanning (MeshDomainSpace メ) => Mesh メ where Source #
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.
type MeshDomainSpace メ :: * Source #
type MeshGridDataConstraint メ y :: Constraint Source #
type MeshGridDataConstraint メ y = ()
asWeb :: MeshGridDataConstraint メ y => メ y -> PointsWeb (MeshDomainSpace メ) y Source #
meshSimplicesInWeb :: メ y -> [AbstractSimplex (Needle (MeshDomainSpace メ)) WebNodeId] Source #
meshSimplices :: MeshGridDataConstraint メ y => メ y -> [SimplexF (MeshDomainSpace メ) y] Source #
extrapolateGrid :: (WithField ℝ Manifold y, Connected y, MeshGridDataConstraint メ y) => メ y -> MeshDomainSpace メ -> y Source #
class Mesh メ => CoveringMesh メ where Source #
A mesh that “covers” the entire manifold, i.e. any point lies between some nodes of the mesh.
Nothing
interpolateGrid :: (WithField ℝ Manifold y, Connected y, MeshGridDataConstraint メ y) => メ y -> MeshDomainSpace メ -> y Source #