@@ -13,6 +13,14 @@ infixl 2 </>
13interface Functor f => Correlative (f : Type -> Type) where
13interface Functor f => Correlative (f : Type -> Type) where
14 (</>) : f (a -> b) -> f a -> f b
14 (</>) : f (a -> b) -> f a -> f b
17+(</) : Correlative f => f a -> f b -> f a
18+x </ y = map const x </> y
21+(/>) : Correlative f => f a -> f b -> f b
22+x /> y = map (const id) x </> y
16||| Combine two containers elementwise using some function.
24||| Combine two containers elementwise using some function.
17zipWith : Correlative f => (a -> b -> c) -> f a -> f b -> f c
25zipWith : Correlative f => (a -> b -> c) -> f a -> f b -> f c
18zipWith f xs ys = (map f xs) </> ys
26zipWith f xs ys = (map f xs) </> ys