Data.Manifold.Griddable

Documentation

data GridAxis m g

Constructors

GridAxInterval (Shade m)

GridAxCons (Shade m) g (GridAxis m g)

GridAxisClosed g (GridAxis m g)

Instances

Functor (GridAxis m)

Defined in Data.Manifold.Griddable

Methods

fmap :: (a -> b) -> GridAxis m a -> GridAxis m b

(<$) :: a -> GridAxis m b -> GridAxis m a

class WithField ℝ Manifold m => Griddable m g where

Associated Types

data GriddingParameters m g :: *

Methods

mkGridding :: GriddingParameters m g -> Int -> Shade m -> [GridAxis m g]

Instances

Griddable ℝ String

Defined in Data.Manifold.Griddable

Associated Types

data GriddingParameters ℝ String :: Type

Methods

mkGridding :: GriddingParameters ℝ String -> Int -> Shade ℝ -> [GridAxis ℝ String]

(SimpleSpace (Needle m), SimpleSpace (Needle n), SimpleSpace (Needle a), Griddable m a, Griddable n a, m ~ Interior m, n ~ Interior n) => Griddable (m, n) a

Defined in Data.Manifold.Griddable

Associated Types

data GriddingParameters (m, n) a :: Type

Methods

mkGridding :: GriddingParameters (m, n) a -> Int -> Shade (m, n) -> [GridAxis (m, n) a]