Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <[email protected]> |
Control.Functor.Strong
Description
Documentation
costrength :: Traversable f => f (Either a b) -> Either a (f b)Source
category-extras-0.52.3: Various modules and constructs inspired by category theory
Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <[email protected]> |
Control.Functor.Strong
Description
costrength :: Traversable f => f (Either a b) -> Either a (f b)Source