Proton.Algebraic

Documentation

class Profunctor p => MStrong p where

Minimal complete definition

mfirst' | msecond'

Methods

mfirst' :: Monoid m => p a b -> p (a, m) (b, m)

msecond' :: Monoid m => p a b -> p (m, a) (m, b)

Instances

Functor f => MStrong (Star f)

Defined in Data.Profunctor.MStrong

Methods

mfirst' :: Monoid m => Star f a b -> Star f (a, m) (b, m)

msecond' :: Monoid m => Star f a b -> Star f (m, a) (m, b)

(Functor f, Foldable f) => MStrong (Costar f)

Defined in Data.Profunctor.MStrong

Methods

mfirst' :: Monoid m => Costar f a b -> Costar f (a, m) (b, m)

msecond' :: Monoid m => Costar f a b -> Costar f (m, a) (m, b)

MStrong (Forget r)

Defined in Data.Profunctor.MStrong

Methods

mfirst' :: Monoid m => Forget r a b -> Forget r (a, m) (b, m)

msecond' :: Monoid m => Forget r a b -> Forget r (m, a) (m, b)

MStrong (Tagged :: Type -> Type -> Type)

Defined in Data.Profunctor.MStrong

Methods

mfirst' :: Monoid m => Tagged a b -> Tagged (a, m) (b, m)

msecond' :: Monoid m => Tagged a b -> Tagged (m, a) (m, b)

MStrong ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor.MStrong

Methods

mfirst' :: Monoid m => (a -> b) -> (a, m) -> (b, m)

msecond' :: Monoid m => (a -> b) -> (m, a) -> (m, b)

(Traversable f, Distributive g) => MStrong (DoubleStar f g)

Defined in Data.Profunctor.DoubleStar

Methods

mfirst' :: Monoid m => DoubleStar f g a b -> DoubleStar f g (a, m) (b, m)

msecond' :: Monoid m => DoubleStar f g a b -> DoubleStar f g (m, a) (m, b)

type AlgebraicLens s t a b = forall p. MStrong p => p a b -> p s t

type AlgebraicLens' s a = AlgebraicLens s s a a

algebraic :: forall m p s t a b. (Monoid m, MStrong p) => (s -> m) -> (s -> a) -> (m -> b -> t) -> Optic p s t a b

listLens :: MStrong p => (s -> a) -> ([s] -> b -> t) -> Optic p s t a b

altLens :: (Alternative f, MStrong p) => (s -> a) -> (f s -> b -> t) -> Optic p s t a b

(>-) :: Optic (Costar f) s t a b -> (f a -> b) -> f s -> t infixr 4

(?.) :: Optic (Costar f) s t a b -> b -> f s -> t infixr 4