The same functor, but with an Applicative instance that performs actions in the reverse order.
Instances37Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Functor, Applicative, …
Generic1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsFoldableWithIndex i f => FoldableWithIndex i (Backwards f)Defined in indexed-traversable-0.1.4 · WithIndexFunctorWithIndex i f => FunctorWithIndex i (Backwards f)Defined in indexed-traversable-0.1.4 · WithIndexTraversableWithIndex i f => TraversableWithIndex i (Backwards f)Defined in indexed-traversable-0.1.4 · WithIndexFunctor f => Functor (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsDerived instance.
Applicative f => Applicative (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsApply
f-actions in the reverse order.Foldable f => Foldable (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsDerived instance.
Traversable f => Traversable (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsDerived instance.
Alternative f => Alternative (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsTry alternatives in the same order as
f.Foldable1 f => Foldable1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsDerived instance.
Eq1 f => Eq1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsOrd1 f => Ord1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsRead1 f => Read1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsShow1 f => Show1 (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsContravariant f => Contravariant (Backwards f)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsDerived instance.
Distributive f => Distributive (Backwards f)Defined in distributive-0.6.2.1 · Data.DistributiveDecidable f => Decidable (Backwards f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleDivisible f => Divisible (Backwards f)Defined in contravariant-1.5.5 · Data.Functor.Contravariant.DivisibleAlt f => Alt (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.AltApply f => Apply (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.ClassConclude f => Conclude (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.ConcludeDecide f => Decide (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DecideDivise f => Divise (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.Contravariant.DivisePlus f => Plus (Backwards f)Defined in semigroupoids-6.0.1 · Data.Functor.PlusTraversable1 f => Traversable1 (Backwards f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassRepresentable f => Representable (Backwards f)Defined in adjunctions-4.4.3 · Data.Functor.RepInvariant f => Invariant (Backwards f)Defined in invariant-0.6.4 · Data.Functor.Invariantfrom the
transformerspackageCopointed f => Copointed (Backwards f)Defined in pointed-5.0.4 · Data.CopointedPointed f => Pointed (Backwards f)Defined in pointed-5.0.4 · Data.Pointed(Eq1 f, Eq a) => Eq (Backwards f a)Defined in transformers-0.6.1.1 · Control.Applicative.Backwards(Ord1 f, Ord a) => Ord (Backwards f a)Defined in transformers-0.6.1.1 · Control.Applicative.Backwards(Read1 f, Read a) => Read (Backwards f a)Defined in transformers-0.6.1.1 · Control.Applicative.Backwards(Show1 f, Show a) => Show (Backwards f a)Defined in transformers-0.6.1.1 · Control.Applicative.BackwardsGeneric (Backwards f a)Defined in transformers-0.6.1.1 · Control.Applicative.Backwardstype Rep (Backwards f a) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Control.Applicative.Backwards"Backwards"
"Control.Applicative.Backwards"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Backwards"
'PrefixI 'True) (S1 ('MetaSel ('Just"forwards"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))type Rep1 (Backwards f) = D1 ('MetaDataDefined in transformers-0.6.1.1 · Control.Applicative.Backwards"Backwards"
"Control.Applicative.Backwards"
"transformers-0.6.1.1-a11a"
'True) (C1 ('MetaCons"Backwards"
'PrefixI 'True) (S1 ('MetaSel ('Just"forwards"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))type Rep (Backwards f) = Rep fDefined in adjunctions-4.4.3 · Data.Functor.Rep