Data.Profunctor.Utils
class Branch p where Source #
Methods
branch :: p a b -> p b Bool -> p a (Either b b) Source #
choose :: (Category p, Branch p, NonLinear p, Strong p) => p b Bool -> p a b -> p a (Either b b) Source #