Control.Lens.Action.Internal

Actions

class (Monad m, Functor f, Contravariant f) => Effective m r f | f -> m r where

An Effective Functor ignores its argument and is isomorphic to a Monad wrapped around a value.

That said, the Monad is possibly rather unrelated to any Applicative structure.

Minimal complete definition

effective, ineffective

Methods

effective :: m r -> f a

ineffective :: f a -> m r

Instances

Monad m => Effective m r (Effect m r)

Methods

effective :: m r -> Effect m r a

ineffective :: Effect m r a -> m r

Effective m r f => Effective m r (AlongsideRight f b)

Methods

effective :: m r -> AlongsideRight f b a

ineffective :: AlongsideRight f b a -> m r

Effective m r f => Effective m r (AlongsideLeft f b)

Methods

effective :: m r -> AlongsideLeft f b a

ineffective :: AlongsideLeft f b a -> m r

Effective Identity r (Const * r)

Methods

effective :: Identity r -> Const * r a

ineffective :: Const * r a -> Identity r

Effective m r f => Effective m (Dual r) (Backwards * f)

Methods

effective :: m (Dual r) -> Backwards * f a

ineffective :: Backwards * f a -> m (Dual r)

newtype Effect m r a

Wrap a monadic effect with a phantom type argument.

Constructors

Effect

Fields

• getEffect :: m r

Instances

Monad m => Effective m r (Effect m r)

Methods

effective :: m r -> Effect m r a

ineffective :: Effect m r a -> m r

Functor (Effect m r)

Methods

fmap :: (a -> b) -> Effect m r a -> Effect m r b

(<$) :: a -> Effect m r b -> Effect m r a

(Monad m, Monoid r) => Applicative (Effect m r)

Methods

pure :: a -> Effect m r a

(<*>) :: Effect m r (a -> b) -> Effect m r a -> Effect m r b

(*>) :: Effect m r a -> Effect m r b -> Effect m r b

(<*) :: Effect m r a -> Effect m r b -> Effect m r a

Contravariant (Effect m r)

Methods

contramap :: (a -> b) -> Effect m r b -> Effect m r a

(>$) :: b -> Effect m r b -> Effect m r a

(Apply m, Semigroup r) => Apply (Effect m r)

Methods

(<.>) :: Effect m r (a -> b) -> Effect m r a -> Effect m r b

(.>) :: Effect m r a -> Effect m r b -> Effect m r b

(<.) :: Effect m r a -> Effect m r b -> Effect m r a

(Apply m, Semigroup r) => Semigroup (Effect m r a)

Methods

(<>) :: Effect m r a -> Effect m r a -> Effect m r a

sconcat :: NonEmpty (Effect m r a) -> Effect m r a

stimes :: Integral b => b -> Effect m r a -> Effect m r a

(Monad m, Monoid r) => Monoid (Effect m r a)

Methods

mempty :: Effect m r a

mappend :: Effect m r a -> Effect m r a -> Effect m r a

mconcat :: [Effect m r a] -> Effect m r a