Ideas.Common.Strategy.Legacy

Legacy strategy combinators (before the Functor-Applicative-Monad proposal)

Documentation

(<%>) :: (IsStrategy f, IsStrategy g) => f a -> g a -> Strategy a infixr 2

(<@>) :: (IsStrategy f, IsStrategy g) => f a -> g a -> Strategy a infixr 2

(<|>) :: (IsStrategy f, IsStrategy g) => f a -> g a -> Strategy a infixr 3

(>|>) :: (IsStrategy f, IsStrategy g) => f a -> g a -> Strategy a infixr 4

(<*>) :: (IsStrategy f, IsStrategy g) => f a -> g a -> Strategy a infixr 5

alternatives :: IsStrategy f => [f a] -> Strategy a