Data.Ten.Applicative

Provides an analog of Applicative over arity-1 type constructors.

Documentation

class Functor10 f => Applicative10 f where

Applicative over arity-1 type constructors.

See also Functor10 and Foldable10.

Minimal complete definition

pure10, ((<*>!) | liftA210)

Methods

pure10 :: (forall a. m a) -> f m

Lift a parametric m value into an f m.

(<*>!) :: f (m :->: n) -> f m -> f n infixl 4

(<*>) for Applicative10: zip two fs with runArr10.

liftA210 :: (forall a. m a -> n a -> o a) -> f m -> f n -> f o

liftA2 for Applicative10: zip two fs with a parametric function.

Instances

Applicative10 (U1 :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> U1 m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). U1 (m :->: n) -> U1 m -> U1 n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> U1 m -> U1 n -> U1 o

Applicative10 (Ap10 a :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a0 :: k0). m a0) -> Ap10 a m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). Ap10 a (m :->: n) -> Ap10 a m -> Ap10 a n

liftA210 :: (forall (a0 :: k0). m a0 -> n a0 -> o a0) -> Ap10 a m -> Ap10 a n -> Ap10 a o

Applicative10 f => Applicative10 (Rec1 f :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> Rec1 f m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). Rec1 f (m :->: n) -> Rec1 f m -> Rec1 f n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> Rec1 f m -> Rec1 f n -> Rec1 f o

(Applicative10 f, Applicative10 g) => Applicative10 (f :*: g :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> (f :*: g) m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). (f :*: g) (m :->: n) -> (f :*: g) m -> (f :*: g) n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> (f :*: g) m -> (f :*: g) n -> (f :*: g) o

Monoid a => Applicative10 (K1 i a :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a0 :: k0). m a0) -> K1 i a m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). K1 i a (m :->: n) -> K1 i a m -> K1 i a n

liftA210 :: (forall (a0 :: k0). m a0 -> n a0 -> o a0) -> K1 i a m -> K1 i a n -> K1 i a o

(Generic1 f, Applicative10 (Rep1 f)) => Applicative10 (Wrapped1 (Generic1 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> Wrapped1 Generic1 f m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). Wrapped1 Generic1 f (m :->: n) -> Wrapped1 Generic1 f m -> Wrapped1 Generic1 f n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> Wrapped1 Generic1 f m -> Wrapped1 Generic1 f n -> Wrapped1 Generic1 f o

(Applicative f, Applicative10 g) => Applicative10 (f :.: g :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> (f :.: g) m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). (f :.: g) (m :->: n) -> (f :.: g) m -> (f :.: g) n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> (f :.: g) m -> (f :.: g) n -> (f :.: g) o

Applicative10 f => Applicative10 (M1 i c f :: (k -> Type) -> Type)

Defined in Data.Ten.Applicative

Methods

pure10 :: (forall (a :: k0). m a) -> M1 i c f m

(<*>!) :: forall (m :: k0 -> Type) (n :: k0 -> Type). M1 i c f (m :->: n) -> M1 i c f m -> M1 i c f n

liftA210 :: (forall (a :: k0). m a -> n a -> o a) -> M1 i c f m -> M1 i c f n -> M1 i c f o

(<*!) :: Applicative10 f => f m -> f n -> f m infixl 4

(<*) for Applicative10.

(*>!) :: Applicative10 f => f m -> f n -> f n infixl 4

(*>) for Applicative10.

liftA310 :: Applicative10 f => (forall a. m a -> n a -> o a -> p a) -> f m -> f n -> f o -> f p

liftA3 for Applicative10.

newtype (m :->: n) a

A function m a -> n a wrapped in a newtype for use as a type parameter.

This is used to represent the partially-applied functions in the left side of (<*>!).

Constructors

Arr10

Fields

• runArr10 :: m a -> n a

pure10C :: forall c f m. (Entails (Index10 f) c, Applicative10 f, Functor10WithIndex f) => (forall a. c a => m a) -> f m

pure10 with access to an instance for every element.

liftA210C :: forall c f m n o. (Entails (Index10 f) c, Applicative10 f, Functor10WithIndex f) => (forall a. c a => m a -> n a -> o a) -> f m -> f n -> f o

liftA210 with access to an instance for every element.

liftA310C :: forall c f m n o p. (Entails (Index10 f) c, Applicative10 f, Functor10WithIndex f) => (forall a. c a => m a -> n a -> o a -> p a) -> f m -> f n -> f o -> f p

liftA310 with access to an instance for every element.