Data.Functor.Reverse

Making functors whose elements are notionally in the reverse order from the original functor.

Documentation

newtype Reverse f a

The same functor, but with Foldable and Traversable instances that process the elements in the reverse order.

Constructors

Reverse (f a)

Instances

Functor f => Functor (Reverse f)

Derived instance.

Applicative f => Applicative (Reverse f)

Derived instance.

Foldable f => Foldable (Reverse f)

Fold from right to left.

Traversable f => Traversable (Reverse f)

Traverse from right to left.

Alternative f => Alternative (Reverse f)

Derived instance.

Show1 f => Show1 (Reverse f)

Read1 f => Read1 (Reverse f)

Ord1 f => Ord1 (Reverse f)

Eq1 f => Eq1 (Reverse f)

(Eq1 f, Eq a) => Eq (Reverse f a)

(Ord1 f, Ord a) => Ord (Reverse f a)

(Read1 f, Read a) => Read (Reverse f a)

(Show1 f, Show a) => Show (Reverse f a)

getReverse :: Reverse f a -> f a

Inverse of Reverse.