Moduleutility-ht-0.0.17.2Haskell98

Control.Functor.HT

Synopsis

value void
value map
value for
value unzip
value unzip3
value uncurry
value uncurry3
value mapFst
value mapSnd
value mapFst3
value mapSnd3
value mapThd3
value outerProduct

Packageutility-ht-0.0.17.2
Exports13
LanguageHaskell98
LicenceBSD-3-Clause
SourceHT.hs

valuevoid :: Functor f => f a -> f ()

valuemap :: Functor f => (a -> b) -> f a -> f b

valuefor :: Functor f => f a -> (a -> b) -> f b

valueunzip :: Functor f => f (a, b) -> (f a, f b)

Source#

Caution: Every pair member has a reference to the argument of unzip. Depending on the consumption pattern this may cause a memory leak. For lists, I think, you should generally prefer unzip.

valueunzip3 :: Functor f => f (a, b, c) -> (f a, f b, f c)

Source#

Caution: See unzip.

valueuncurry :: Functor f => (f a -> f b -> g) -> f (a, b) -> g

Source#

Caution: See unzip.

valueuncurry3 :: Functor f => (f a -> f b -> f c -> g) -> f (a, b, c) -> g

Source#

Caution: See unzip.

valuemapFst :: Functor f => (a -> f c) -> (a, b) -> f (c, b)

valuemapSnd :: Functor f => (b -> f c) -> (a, b) -> f (a, c)

valuemapFst3 :: Functor f => (a -> f d) -> (a, b, c) -> f (d, b, c)

valuemapSnd3 :: Functor f => (b -> f d) -> (a, b, c) -> f (a, d, c)

valuemapThd3 :: Functor f => (c -> f d) -> (a, b, c) -> f (a, b, d)

valueouterProduct

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

Source#

Generalization of outerProduct.