The same functor, but with Foldable and Traversable instances that process the elements in the reverse order.
Constructors
ReversegetReverse :: f a
Instances40Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Monad, Functor, …
Generic1 (Reverse f)Defined in transformers-0.6.1.1 · Data.Functor.ReverseFoldableWithIndex i f => FoldableWithIndex i (Reverse f)Defined in indexed-traversable-0.1.4 · WithIndexFunctorWithIndex i f => FunctorWithIndex i (Reverse f)Defined in indexed-traversable-0.1.4 · WithIndexTraversableWithIndex i f => TraversableWithIndex i (Reverse f)Defined in indexed-traversable-0.1.4 · WithIndexMonad 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.
Distributive f => Distributive (Reverse f)Defined in distributive-0.6.2.1 · Data.DistributiveDecidable f => Decidable (Reverse f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleDivisible f => Divisible (Reverse f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleAlt f => Alt (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.AltApply f => Apply (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.ClassConclude f => Conclude (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.ConcludeDecide f => Decide (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DecideDivise f => Divise (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DivisePlus f => Plus (Reverse f)Defined in semigroupoids-6.0.1 · Data.Functor.PlusTraversable1 f => Traversable1 (Reverse f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassRepresentable f => Representable (Reverse f)Defined in adjunctions-4.4.3 · Data.Functor.RepInvariant f => Invariant (Reverse f)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
transformerspackageCopointed f => Copointed (Reverse f)Defined in pointed-5.0.4 · Data.CopointedPointed f => Pointed (Reverse f)Defined in pointed-5.0.4 · Data.Pointed(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)))type Rep (Reverse f) = Rep fDefined in adjunctions-4.4.3 · Data.Functor.Rep