Data.Functor.Alt

Documentation

class Apply f => Alt f where

Laws:

 <!> is associative:             (a <!> b) <!> c = a <!> (b <!> c)
 <.> right-distributes over <!>: (a <!> b) <.> c = (a <.> c) <!> (b <.> c)
 <$> left-distributes over <!>:  f <$> (a <!> b) = (f <$> a) <!> (f <$> b)

Methods

(<!>) :: f a -> f a -> f a

Instances

Alt []

Alt IO

Alt Maybe

Alt Seq

Alt IntMap

Alt Option

Alt (Either a)

MonadPlus m => Alt (WrappedMonad m)

Ord k => Alt (Map k)

Alternative f => Alt (WrappedApplicative f)

ArrowPlus a => Alt (WrappedArrow a b)

module Data.Functor.Apply