Data.Functor.Logistic

Documentation

class Functor t => Logistic t where

Minimal complete definition

Nothing

Methods

deliver :: Contravariant f => f (t a -> t a) -> t (f (a -> a))

default deliver :: (Generic1 t, Logistic (Rep1 t), Contravariant f) => f (t a -> t a) -> t (f (a -> a))

Instances

Logistic Par1

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f (Par1 a -> Par1 a) -> Par1 (f (a -> a))

Logistic Complex

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f (Complex a -> Complex a) -> Complex (f (a -> a))

Logistic Identity

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f (Identity a -> Identity a) -> Identity (f (a -> a))

Logistic (U1 :: Type -> Type)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f (U1 a -> U1 a) -> U1 (f (a -> a))

Logistic (Proxy :: Type -> Type)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f (Proxy a -> Proxy a) -> Proxy (f (a -> a))

Logistic f => Logistic (Rec1 f)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 (Rec1 f a -> Rec1 f a) -> Rec1 f (f0 (a -> a))

Eq r => Logistic ((->) r :: Type -> Type)

Update only if the argument matches

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f => f ((r -> a) -> r -> a) -> r -> f (a -> a)

(Logistic f, Logistic g) => Logistic (f :*: g)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 ((f :*: g) a -> (f :*: g) a) -> (f :*: g) (f0 (a -> a))

(Logistic f, Logistic g) => Logistic (Product f g)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 (Product f g a -> Product f g a) -> Product f g (f0 (a -> a))

Logistic f => Logistic (M1 i c f)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 (M1 i c f a -> M1 i c f a) -> M1 i c f (f0 (a -> a))

(Logistic f, Logistic g, Applicative f, Traversable g, Distributive g) => Logistic (f :.: g)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 ((f :.: g) a -> (f :.: g) a) -> (f :.: g) (f0 (a -> a))

(Logistic f, Logistic g, Applicative f, Traversable g, Distributive g) => Logistic (Compose f g)

Defined in Data.Functor.Logistic

Methods

deliver :: Contravariant f0 => f0 (Compose f g a -> Compose f g a) -> Compose f g (f0 (a -> a))

setters :: Logistic t => t ((a -> a) -> t a -> t a)