Data.Manifold.Web

Documentation

type WebNodeId = Int

type NeighbourRefs = Vector WebNodeId

data PointsWeb :: * -> * -> * where

Constructors

PointsWeb :: ShadeTree x -> Vector (y, NeighbourRefs) -> PointsWeb x y

Fields

webNodeRsc :: ShadeTree x

webNodeAssocData :: Vector (y, NeighbourRefs)

Instances

Functor (PointsWeb a)

Foldable (PointsWeb a)

Traversable (PointsWeb a)

Foldable (PointsWeb x) (->) (->)

Traversable (PointsWeb x) (PointsWeb x) (->) (->)

Generic (PointsWeb a b)

(NFData x, NFData (Needle' x), NFData y) => NFData (PointsWeb x y)

type Rep (PointsWeb a b)

fromWebNodes :: forall x y. WithField ℝ Manifold x => (Shade x -> Metric x) -> [(x, y)] -> PointsWeb x y

fromShadeTree_auto :: forall x. WithField ℝ Manifold x => ShadeTree x -> PointsWeb x ()

fromShadeTree :: forall x. WithField ℝ Manifold x => (Shade x -> Metric x) -> ShadeTree x -> PointsWeb x ()

fromShaded

Arguments

:: WithField ℝ Manifold x

=> (Shade x -> Metric x)

Local scalar-product generator. You can always use recipMetric . _shadeExpanse (but this may give distortions compared to an actual Riemannian metric).

-> (x `Shaded` y)

Source tree.

-> PointsWeb x y

indexWeb :: WithField ℝ Manifold x => PointsWeb x y -> WebNodeId -> Option (x, y)

webEdges :: forall x y. WithField ℝ Manifold x => PointsWeb x y -> [((x, y), (x, y))]

localFocusWeb :: WithField ℝ Manifold x => PointsWeb x y -> PointsWeb x ((x, y), [(x, y)])

filterDEqnSolution_static :: (WithField ℝ Manifold x, Refinable y) => DifferentialEqn x y -> PointsWeb x (Shade' y) -> Option (PointsWeb x (Shade' y))