Safe Haskell | Safe-Inferred |
---|
- class Eq p => Pos p where
- data MapD a = MapD a (MapD (a, a))
- gotoD :: Pos p => p -> p -> (a, MapD a) -> (a, MapD a)
- tabulateD :: Pos p => (p -> a) -> MapD a
- zipWithKeyD :: Pos p => (p -> a -> b -> c) -> p -> MapD a -> MapD b -> MapD c
- traverseWithKey1D :: (Pos p, Apply f) => (p -> a -> f b) -> p -> MapD a -> f (MapD b)