Safe Haskell	None
Language	Haskell2010

Geomancy.Elementwise

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 #

Minimal complete definition

emap2, emap3, emap4, emap5

Methods

epoint :: Element a -> a Source #

default epoint :: MonoPointed a => Element a -> a Source #

emap :: (Element a -> Element a) -> a -> a Source #

default emap :: MonoFunctor a => (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

Instances details

Elementwise IVec2 Source #
Instance details Defined in Geomancy.IVec2 Methods epoint :: Element IVec2 -> IVec2 Source # emap :: (Element IVec2 -> Element IVec2) -> IVec2 -> IVec2 Source # emap2 :: (Element IVec2 -> Element IVec2 -> Element IVec2) -> IVec2 -> IVec2 -> IVec2 Source # emap3 :: (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2) -> IVec2 -> IVec2 -> IVec2 -> IVec2 Source # emap4 :: (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2) -> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2 Source # emap5 :: (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2) -> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2 Source #
Elementwise IVec3 Source #
Instance details Defined in Geomancy.IVec3 Methods epoint :: Element IVec3 -> IVec3 Source # emap :: (Element IVec3 -> Element IVec3) -> IVec3 -> IVec3 Source # emap2 :: (Element IVec3 -> Element IVec3 -> Element IVec3) -> IVec3 -> IVec3 -> IVec3 Source # emap3 :: (Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3) -> IVec3 -> IVec3 -> IVec3 -> IVec3 Source # emap4 :: (Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3) -> IVec3 -> IVec3 -> IVec3 -> IVec3 -> IVec3 Source # emap5 :: (Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3 -> Element IVec3) -> IVec3 -> IVec3 -> IVec3 -> IVec3 -> IVec3 -> IVec3 Source #
Elementwise IVec4 Source #
Instance details Defined in Geomancy.IVec4 Methods epoint :: Element IVec4 -> IVec4 Source # emap :: (Element IVec4 -> Element IVec4) -> IVec4 -> IVec4 Source # emap2 :: (Element IVec4 -> Element IVec4 -> Element IVec4) -> IVec4 -> IVec4 -> IVec4 Source # emap3 :: (Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4) -> IVec4 -> IVec4 -> IVec4 -> IVec4 Source # emap4 :: (Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4) -> IVec4 -> IVec4 -> IVec4 -> IVec4 -> IVec4 Source # emap5 :: (Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4 -> Element IVec4) -> IVec4 -> IVec4 -> IVec4 -> IVec4 -> IVec4 -> IVec4 Source #
Elementwise UVec2 Source #
Instance details Defined in Geomancy.UVec2 Methods epoint :: Element UVec2 -> UVec2 Source # emap :: (Element UVec2 -> Element UVec2) -> UVec2 -> UVec2 Source # emap2 :: (Element UVec2 -> Element UVec2 -> Element UVec2) -> UVec2 -> UVec2 -> UVec2 Source # emap3 :: (Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2) -> UVec2 -> UVec2 -> UVec2 -> UVec2 Source # emap4 :: (Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2) -> UVec2 -> UVec2 -> UVec2 -> UVec2 -> UVec2 Source # emap5 :: (Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2 -> Element UVec2) -> UVec2 -> UVec2 -> UVec2 -> UVec2 -> UVec2 -> UVec2 Source #
Elementwise UVec3 Source #
Instance details Defined in Geomancy.UVec3 Methods epoint :: Element UVec3 -> UVec3 Source # emap :: (Element UVec3 -> Element UVec3) -> UVec3 -> UVec3 Source # emap2 :: (Element UVec3 -> Element UVec3 -> Element UVec3) -> UVec3 -> UVec3 -> UVec3 Source # emap3 :: (Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3) -> UVec3 -> UVec3 -> UVec3 -> UVec3 Source # emap4 :: (Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3) -> UVec3 -> UVec3 -> UVec3 -> UVec3 -> UVec3 Source # emap5 :: (Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3 -> Element UVec3) -> UVec3 -> UVec3 -> UVec3 -> UVec3 -> UVec3 -> UVec3 Source #
Elementwise UVec4 Source #
Instance details Defined in Geomancy.UVec4 Methods epoint :: Element UVec4 -> UVec4 Source # emap :: (Element UVec4 -> Element UVec4) -> UVec4 -> UVec4 Source # emap2 :: (Element UVec4 -> Element UVec4 -> Element UVec4) -> UVec4 -> UVec4 -> UVec4 Source # emap3 :: (Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4) -> UVec4 -> UVec4 -> UVec4 -> UVec4 Source # emap4 :: (Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4) -> UVec4 -> UVec4 -> UVec4 -> UVec4 -> UVec4 Source # emap5 :: (Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4 -> Element UVec4) -> UVec4 -> UVec4 -> UVec4 -> UVec4 -> UVec4 -> UVec4 Source #
Elementwise Vec2 Source #
Instance details Defined in Geomancy.Vec2 Methods epoint :: Element Vec2 -> Vec2 Source # emap :: (Element Vec2 -> Element Vec2) -> Vec2 -> Vec2 Source # emap2 :: (Element Vec2 -> Element Vec2 -> Element Vec2) -> Vec2 -> Vec2 -> Vec2 Source # emap3 :: (Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2) -> Vec2 -> Vec2 -> Vec2 -> Vec2 Source # emap4 :: (Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2) -> Vec2 -> Vec2 -> Vec2 -> Vec2 -> Vec2 Source # emap5 :: (Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2 -> Element Vec2) -> Vec2 -> Vec2 -> Vec2 -> Vec2 -> Vec2 -> Vec2 Source #
Elementwise Packed Source #
Instance details Defined in Geomancy.Vec3 Methods epoint :: Element Packed -> Packed Source # emap :: (Element Packed -> Element Packed) -> Packed -> Packed Source # emap2 :: (Element Packed -> Element Packed -> Element Packed) -> Packed -> Packed -> Packed Source # emap3 :: (Element Packed -> Element Packed -> Element Packed -> Element Packed) -> Packed -> Packed -> Packed -> Packed Source # emap4 :: (Element Packed -> Element Packed -> Element Packed -> Element Packed -> Element Packed) -> Packed -> Packed -> Packed -> Packed -> Packed Source # emap5 :: (Element Packed -> Element Packed -> Element Packed -> Element Packed -> Element Packed -> Element Packed) -> Packed -> Packed -> Packed -> Packed -> Packed -> Packed Source #
Elementwise Vec3 Source #
Instance details Defined in Geomancy.Vec3 Methods epoint :: Element Vec3 -> Vec3 Source # emap :: (Element Vec3 -> Element Vec3) -> Vec3 -> Vec3 Source # emap2 :: (Element Vec3 -> Element Vec3 -> Element Vec3) -> Vec3 -> Vec3 -> Vec3 Source # emap3 :: (Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3) -> Vec3 -> Vec3 -> Vec3 -> Vec3 Source # emap4 :: (Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3) -> Vec3 -> Vec3 -> Vec3 -> Vec3 -> Vec3 Source # emap5 :: (Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3 -> Element Vec3) -> Vec3 -> Vec3 -> Vec3 -> Vec3 -> Vec3 -> Vec3 Source #
Elementwise Vec4 Source #
Instance details Defined in Geomancy.Vec4 Methods epoint :: Element Vec4 -> Vec4 Source # emap :: (Element Vec4 -> Element Vec4) -> Vec4 -> Vec4 Source # emap2 :: (Element Vec4 -> Element Vec4 -> Element Vec4) -> Vec4 -> Vec4 -> Vec4 Source # emap3 :: (Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4) -> Vec4 -> Vec4 -> Vec4 -> Vec4 Source # emap4 :: (Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4) -> Vec4 -> Vec4 -> Vec4 -> Vec4 -> Vec4 Source # emap5 :: (Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4 -> Element Vec4) -> Vec4 -> Vec4 -> Vec4 -> Vec4 -> Vec4 -> Vec4 Source #
Elementwise v => Elementwise (Point v) Source #
Instance details Defined in Geomancy.Point Methods epoint :: Element (Point v) -> Point v Source # emap :: (Element (Point v) -> Element (Point v)) -> Point v -> Point v Source # emap2 :: (Element (Point v) -> Element (Point v) -> Element (Point v)) -> Point v -> Point v -> Point v Source # emap3 :: (Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v)) -> Point v -> Point v -> Point v -> Point v Source # emap4 :: (Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v)) -> Point v -> Point v -> Point v -> Point v -> Point v Source # emap5 :: (Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v) -> Element (Point v)) -> Point v -> Point v -> Point v -> Point v -> Point v -> Point v Source #

type family Element mono #

Type family for getting the type of the elements of a monomorphic container.

Instances

Instances details

type Element ByteString
Instance details Defined in Data.MonoTraversable type Element ByteString = Word8
type Element ByteString
Instance details Defined in Data.MonoTraversable type Element ByteString = Word8
type Element IntSet
Instance details Defined in Data.MonoTraversable type Element IntSet = Int
type Element Text
Instance details Defined in Data.MonoTraversable type Element Text = Char
type Element Text
Instance details Defined in Data.MonoTraversable type Element Text = Char
type Element IVec2 Source #
Instance details Defined in Geomancy.IVec2 type Element IVec2 = Int32
type Element IVec3 Source #
Instance details Defined in Geomancy.IVec3 type Element IVec3 = Int32
type Element IVec4 Source #
Instance details Defined in Geomancy.IVec4 type Element IVec4 = Int32
type Element UVec2 Source #
Instance details Defined in Geomancy.UVec2 type Element UVec2 = Word32
type Element UVec3 Source #
Instance details Defined in Geomancy.UVec3 type Element UVec3 = Word32
type Element UVec4 Source #
Instance details Defined in Geomancy.UVec4 type Element UVec4 = Word32
type Element Vec2 Source #
Instance details Defined in Geomancy.Vec2 type Element Vec2 = Float
type Element Packed Source #
Instance details Defined in Geomancy.Vec3 type Element Packed = Float
type Element Vec3 Source #
Instance details Defined in Geomancy.Vec3 type Element Vec3 = Float
type Element Vec4 Source #
Instance details Defined in Geomancy.Vec4 type Element Vec4 = Float
type Element [a]
Instance details Defined in Data.MonoTraversable type Element [a] = a
type Element (Maybe a)
Instance details Defined in Data.MonoTraversable type Element (Maybe a) = a
type Element (IO a)
Instance details Defined in Data.MonoTraversable type Element (IO a) = a
type Element (Par1 a)
Instance details Defined in Data.MonoTraversable type Element (Par1 a) = a
type Element (Option a)
Instance details Defined in Data.MonoTraversable type Element (Option a) = a
type Element (ZipList a)
Instance details Defined in Data.MonoTraversable type Element (ZipList a) = a
type Element (Identity a)
Instance details Defined in Data.MonoTraversable type Element (Identity a) = a
type Element (NonEmpty a)
Instance details Defined in Data.MonoTraversable type Element (NonEmpty a) = a
type Element (IntMap a)
Instance details Defined in Data.MonoTraversable type Element (IntMap a) = a
type Element (Tree a)
Instance details Defined in Data.MonoTraversable type Element (Tree a) = a
type Element (Seq a)
Instance details Defined in Data.MonoTraversable type Element (Seq a) = a
type Element (ViewL a)
Instance details Defined in Data.MonoTraversable type Element (ViewL a) = a
type Element (ViewR a)
Instance details Defined in Data.MonoTraversable type Element (ViewR a) = a
type Element (Set e)
Instance details Defined in Data.MonoTraversable type Element (Set e) = e
type Element (HashSet e)
Instance details Defined in Data.MonoTraversable type Element (HashSet e) = e
type Element (Vector a)
Instance details Defined in Data.MonoTraversable type Element (Vector a) = a
type Element (Vector a)
Instance details Defined in Data.MonoTraversable type Element (Vector a) = a
type Element (Vector a)
Instance details Defined in Data.MonoTraversable type Element (Vector a) = a
type Element (Point v) Source #
Instance details Defined in Geomancy.Point type Element (Point v) = Element v
type Element (r -> a)
Instance details Defined in Data.MonoTraversable type Element (r -> a) = a
type Element (Either a b)
Instance details Defined in Data.MonoTraversable type Element (Either a b) = b
type Element (V1 a)
Instance details Defined in Data.MonoTraversable type Element (V1 a) = a
type Element (U1 a)
Instance details Defined in Data.MonoTraversable type Element (U1 a) = a
type Element (a, b)
Instance details Defined in Data.MonoTraversable type Element (a, b) = b
type Element (Arg a b)
Instance details Defined in Data.MonoTraversable type Element (Arg a b) = b
type Element (WrappedMonad m a)
Instance details Defined in Data.MonoTraversable type Element (WrappedMonad m a) = a
type Element (Proxy a)
Instance details Defined in Data.MonoTraversable type Element (Proxy a) = a
type Element (Map k v)
Instance details Defined in Data.MonoTraversable type Element (Map k v) = v
type Element (WrappedPoly f a)
Instance details Defined in Data.MonoTraversable type Element (WrappedPoly f a) = a
type Element (WrappedMono mono a)
Instance details Defined in Data.MonoTraversable type Element (WrappedMono mono a) = Element mono
type Element (MaybeT m a)
Instance details Defined in Data.MonoTraversable type Element (MaybeT m a) = a
type Element (ListT m a)
Instance details Defined in Data.MonoTraversable type Element (ListT m a) = a
type Element (HashMap k v)
Instance details Defined in Data.MonoTraversable type Element (HashMap k v) = v
type Element (Rec1 f a)
Instance details Defined in Data.MonoTraversable type Element (Rec1 f a) = a
type Element (WrappedArrow a b c)
Instance details Defined in Data.MonoTraversable type Element (WrappedArrow a b c) = c
type Element (Const m a)
Instance details Defined in Data.MonoTraversable type Element (Const m a) = a
type Element (WriterT w m a)
Instance details Defined in Data.MonoTraversable type Element (WriterT w m a) = a
type Element (WriterT w m a)
Instance details Defined in Data.MonoTraversable type Element (WriterT w m a) = a
type Element (StateT s m a)
Instance details Defined in Data.MonoTraversable type Element (StateT s m a) = a
type Element (StateT s m a)
Instance details Defined in Data.MonoTraversable type Element (StateT s m a) = a
type Element (ReaderT r m a)
Instance details Defined in Data.MonoTraversable type Element (ReaderT r m a) = a
type Element (IdentityT m a)
Instance details Defined in Data.MonoTraversable type Element (IdentityT m a) = a
type Element (K1 i c a)
Instance details Defined in Data.MonoTraversable type Element (K1 i c a) = a
type Element ((f :+: g) a)
Instance details Defined in Data.MonoTraversable type Element ((f :+: g) a) = a
type Element ((f :*: g) a)
Instance details Defined in Data.MonoTraversable type Element ((f :*: g) a) = a
type Element (Product f g a)
Instance details Defined in Data.MonoTraversable type Element (Product f g a) = a
type Element (ContT r m a)
Instance details Defined in Data.MonoTraversable type Element (ContT r m a) = a
type Element (M1 i c f a)
Instance details Defined in Data.MonoTraversable type Element (M1 i c f a) = a
type Element ((f :.: g) a)
Instance details Defined in Data.MonoTraversable type Element ((f :.: g) a) = a
type Element (Compose f g a)
Instance details Defined in Data.MonoTraversable type Element (Compose f g a) = a
type Element (RWST r w s m a)
Instance details Defined in Data.MonoTraversable type Element (RWST r w s m a) = a
type Element (RWST r w s m a)
Instance details Defined in Data.MonoTraversable type Element (RWST r w s m a) = a