Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class Elementwise a where
- epoint :: Element a -> a
- emap :: (Element a -> Element a) -> a -> a
- emap2 :: (Element a -> Element a -> Element a) -> a -> a -> a
- emap3 :: (Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a
- emap4 :: (Element a -> Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a -> a
- emap5 :: (Element a -> Element a -> Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a -> a -> a
- type family Element mono
Documentation
class Elementwise a where Source #
epoint :: Element a -> a Source #
default epoint :: MonoPointed a => Element a -> a Source #
emap :: (Element a -> Element a) -> a -> a Source #
emap2 :: (Element a -> Element a -> Element a) -> a -> a -> a Source #
emap3 :: (Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a Source #
emap4 :: (Element a -> Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a -> a Source #
emap5 :: (Element a -> Element a -> Element a -> Element a -> Element a -> Element a) -> a -> a -> a -> a -> a -> a Source #
Instances
Type family for getting the type of the elements of a monomorphic container.