Control.Lens.Action.Reified

Documentation

newtype ReifiedMonadicFold m s a

Reify a MonadicFold so it can be stored safely in a container.

Constructors

MonadicFold

Fields

• runMonadicFold :: MonadicFold m s a

Instances

MonadReader s (ReifiedMonadicFold m s)

Methods

ask :: ReifiedMonadicFold m s s

local :: (s -> s) -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

reader :: (s -> a) -> ReifiedMonadicFold m s a

Arrow (ReifiedMonadicFold m)

Methods

arr :: (b -> c) -> ReifiedMonadicFold m b c

first :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m (b, d) (c, d)

second :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m (d, b) (d, c)

(***) :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m b' c' -> ReifiedMonadicFold m (b, b') (c, c')

(&&&) :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m b c' -> ReifiedMonadicFold m b (c, c')

ArrowChoice (ReifiedMonadicFold m)

Methods

left :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m (Either b d) (Either c d)

right :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m (Either d b) (Either d c)

(+++) :: ReifiedMonadicFold m b c -> ReifiedMonadicFold m b' c' -> ReifiedMonadicFold m (Either b b') (Either c c')

(|||) :: ReifiedMonadicFold m b d -> ReifiedMonadicFold m c d -> ReifiedMonadicFold m (Either b c) d

ArrowApply (ReifiedMonadicFold m)

Methods

app :: ReifiedMonadicFold m (ReifiedMonadicFold m b c, b) c

Profunctor (ReifiedMonadicFold m)

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedMonadicFold m b c -> ReifiedMonadicFold m a d

lmap :: (a -> b) -> ReifiedMonadicFold m b c -> ReifiedMonadicFold m a c

rmap :: (b -> c) -> ReifiedMonadicFold m a b -> ReifiedMonadicFold m a c

(#.) :: Coercible * c b => (b -> c) -> ReifiedMonadicFold m a b -> ReifiedMonadicFold m a c

(.#) :: Coercible * b a => ReifiedMonadicFold m b c -> (a -> b) -> ReifiedMonadicFold m a c

Choice (ReifiedMonadicFold m)

Methods

left' :: ReifiedMonadicFold m a b -> ReifiedMonadicFold m (Either a c) (Either b c)

right' :: ReifiedMonadicFold m a b -> ReifiedMonadicFold m (Either c a) (Either c b)

Strong (ReifiedMonadicFold m)

Methods

first' :: ReifiedMonadicFold m a b -> ReifiedMonadicFold m (a, c) (b, c)

second' :: ReifiedMonadicFold m a b -> ReifiedMonadicFold m (c, a) (c, b)

Category * (ReifiedMonadicFold m)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Monad (ReifiedMonadicFold m s)

Methods

(>>=) :: ReifiedMonadicFold m s a -> (a -> ReifiedMonadicFold m s b) -> ReifiedMonadicFold m s b

(>>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s b

return :: a -> ReifiedMonadicFold m s a

fail :: String -> ReifiedMonadicFold m s a

Functor (ReifiedMonadicFold m s)

Methods

fmap :: (a -> b) -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b

(<$) :: a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s a

Applicative (ReifiedMonadicFold m s)

Methods

pure :: a -> ReifiedMonadicFold m s a

(<*>) :: ReifiedMonadicFold m s (a -> b) -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b

(*>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s b

(<*) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s a

Alternative (ReifiedMonadicFold m s)

Methods

empty :: ReifiedMonadicFold m s a

(<|>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

some :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s [a]

many :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s [a]

MonadPlus (ReifiedMonadicFold m s)

Methods

mzero :: ReifiedMonadicFold m s a

mplus :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

Plus (ReifiedMonadicFold m s)

Methods

zero :: ReifiedMonadicFold m s a

Alt (ReifiedMonadicFold m s)

Methods

(<!>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

some :: Applicative (ReifiedMonadicFold m s) => ReifiedMonadicFold m s a -> ReifiedMonadicFold m s [a]

many :: Applicative (ReifiedMonadicFold m s) => ReifiedMonadicFold m s a -> ReifiedMonadicFold m s [a]

Apply (ReifiedMonadicFold m s)

Methods

(<.>) :: ReifiedMonadicFold m s (a -> b) -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b

(.>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s b

(<.) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s b -> ReifiedMonadicFold m s a

Bind (ReifiedMonadicFold m s)

Methods

(>>-) :: ReifiedMonadicFold m s a -> (a -> ReifiedMonadicFold m s b) -> ReifiedMonadicFold m s b

join :: ReifiedMonadicFold m s (ReifiedMonadicFold m s a) -> ReifiedMonadicFold m s a

Semigroup (ReifiedMonadicFold m s a)

Methods

(<>) :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

sconcat :: NonEmpty (ReifiedMonadicFold m s a) -> ReifiedMonadicFold m s a

stimes :: Integral b => b -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

Monoid (ReifiedMonadicFold m s a)

Methods

mempty :: ReifiedMonadicFold m s a

mappend :: ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a -> ReifiedMonadicFold m s a

mconcat :: [ReifiedMonadicFold m s a] -> ReifiedMonadicFold m s a