Documentation

new_function :: Functor f => (a -> f a) -> (f c -> c) -> a -> c Source #

fold_func :: Functor f => (a -> f a) -> (f c -> f c -> c) -> a -> a -> c Source #

fbind :: Functor f => (f c -> c) -> (a -> f a) -> a -> c Source #

outer'' :: (Functor f, Functor f) => (t -> a -> b) -> f t -> f a -> f (f b) Source #

functor_outer :: (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c) Source #

outer_left :: (Functor f, Functor g) => f (a -> b) -> g a -> f (g b) Source #

outer_right :: (Functor f, Functor g) => f a -> g (a -> b) -> f (g b) Source #

list_dotproduct :: Num a => [a] -> [a] -> a Source #

reduce2 :: Applicative f => (f a -> a) -> f (f a) -> a Source #

outer' :: Functor f => (a -> f b -> b) -> f a -> f (f b) Source #

full_outer :: (Functor f, Functor g) => f a -> (a -> g b) -> (a -> b -> c) -> f (g c) Source #

self :: Functor f => (a -> a -> b) -> f a -> f (f b) Source #

mapf :: Functor f => f a -> (a -> b) -> f b Source #

outer_product :: (Functor f, Functor g) => f a -> g b -> f (g (a, b)) Source #

outer_apply :: (Functor f, Functor g) => f (b -> c) -> g b -> f (g c) Source #

(|**|) :: (Functor f, Monad f) => f a -> f b -> f (a, b) Source #

outer3_functor :: (Functor f, Functor g, Functor h) => (a -> b -> c -> d) -> f a -> g b -> h c -> f (g (h d)) Source #

outer4_functor :: (Functor f, Functor g, Functor h, Functor i) => (a -> b -> c -> d -> e) -> f a -> g b -> h c -> i d -> f (g (h (i e))) Source #