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)

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

Minimal complete definition

mkGridding

Associated Types

data GriddingParameters m g :: *

Methods

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

Instances

Griddable ℝ String

Associated Types

data GriddingParameters ℝ String :: *

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

Associated Types

data GriddingParameters (m, n) a :: *

Methods

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