Control.Functor.HT

Synopsis

• void :: Functor f => f a -> f ()
• map :: Functor f => (a -> b) -> f a -> f b
• for :: Functor f => f a -> (a -> b) -> f b
• unzip :: Functor f => f (a, b) -> (f a, f b)
• unzip3 :: Functor f => f (a, b, c) -> (f a, f b, f c)
• mapFst :: Functor f => (a -> f c) -> (a, b) -> f (c, b)
• mapSnd :: Functor f => (b -> f c) -> (a, b) -> f (a, c)
• mapFst3 :: Functor f => (a -> f d) -> (a, b, c) -> f (d, b, c)
• mapSnd3 :: Functor f => (b -> f d) -> (a, b, c) -> f (a, d, c)
• mapThd3 :: Functor f => (c -> f d) -> (a, b, c) -> f (a, b, d)
• outerProduct :: (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c)

Documentation