Control.Applicative.Backwards

Definitions

record Backwards : (k -> Type) -> k -> Type

  Wrap an `Applicative` type constructor so that its actions are executed
  in the opposite order.

Totality: total
Visibility: public export
Constructor: 

MkBackwards : f a -> Backwards f a

Projection: 

.forwards : Backwards f a -> f a

Hints:

Applicative f => Applicative (Backwards f)

Functor f => Functor (Backwards f)

.forwards : Backwards f a -> f a

Totality: total
Visibility: public export

forwards : Backwards f a -> f a

Totality: total
Visibility: public export