The same functor, but with Foldable and Traversable instances that process the elements in the reverse order.
Constructors
ReversegetReverse :: f a
Instances22Generic1, Monad, Functor, MonadFail, Applicative, Foldable, …
Generic1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseMonad m => Monad (Reverse m)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
Functor f => Functor (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
MonadFail m => MonadFail (Reverse m)Defined in transformers-0.6.1.1 · Data.Functor.ReverseApplicative f => Applicative (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
Foldable f => Foldable (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseFold from right to left.
Traversable f => Traversable (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseTraverse from right to left.
Alternative f => Alternative (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
MonadPlus m => MonadPlus (Reverse m)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
Foldable1 f => Foldable1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseFold from right to left.
Eq1 f => Eq1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseOrd1 f => Ord1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseRead1 f => Read1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseShow1 f => Show1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseContravariant f => Contravariant (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseDerived instance.
(Eq1 f, Eq a) => Eq (Reverse f a)Defined in transformers-0.6.1.1 · Data.Functor.Reverse(Ord1 f, Ord a) => Ord (Reverse f a)Defined in transformers-0.6.1.1 · Data.Functor.Reverse(Read1 f, Read a) => Read (Reverse f a)Defined in transformers-0.6.1.1 · Data.Functor.Reverse(Show1 f, Show a) => Show (Reverse f a)Defined in transformers-0.6.1.1 · Data.Functor.ReverseGeneric (Reverse f a)Defined in transformers-0.6.1.1 · Data.Functor.Reversetype Rep (Reverse f a) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Data.Functor.Reverse"Reverse"
"Data.Functor.Reverse"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Reverse"
'PrefixI 'True) (S1 ('MetaSel ('Just"getReverse"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))type Rep1 (Reverse f) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Data.Functor.Reverse"Reverse"
"Data.Functor.Reverse"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Reverse"
'PrefixI 'True) (S1 ('MetaSel ('Just"getReverse"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))