Copyright	(C) 2012-16 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	Rank2Types
Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Lens.Reified

Description

Synopsis

newtype ReifiedLens s t a b = Lens {
- runLens :: Lens s t a b
}
type ReifiedLens' s a = ReifiedLens s s a a
newtype ReifiedIndexedLens i s t a b = IndexedLens {
- runIndexedLens :: IndexedLens i s t a b
}
type ReifiedIndexedLens' i s a = ReifiedIndexedLens i s s a a
newtype ReifiedIndexedTraversal i s t a b = IndexedTraversal {
- runIndexedTraversal :: IndexedTraversal i s t a b
}
type ReifiedIndexedTraversal' i s a = ReifiedIndexedTraversal i s s a a
newtype ReifiedTraversal s t a b = Traversal {
- runTraversal :: Traversal s t a b
}
type ReifiedTraversal' s a = ReifiedTraversal s s a a
newtype ReifiedGetter s a = Getter {
- runGetter :: Getter s a
}
newtype ReifiedIndexedGetter i s a = IndexedGetter {
- runIndexedGetter :: IndexedGetter i s a
}
newtype ReifiedFold s a = Fold {
- runFold :: Fold s a
}
newtype ReifiedIndexedFold i s a = IndexedFold {
- runIndexedFold :: IndexedFold i s a
}
newtype ReifiedSetter s t a b = Setter {
- runSetter :: Setter s t a b
}
type ReifiedSetter' s a = ReifiedSetter s s a a
newtype ReifiedIndexedSetter i s t a b = IndexedSetter {
- runIndexedSetter :: IndexedSetter i s t a b
}
type ReifiedIndexedSetter' i s a = ReifiedIndexedSetter i s s a a
newtype ReifiedIso s t a b = Iso {
- runIso :: Iso s t a b
}
type ReifiedIso' s a = ReifiedIso s s a a
newtype ReifiedPrism s t a b = Prism {
- runPrism :: Prism s t a b
}
type ReifiedPrism' s a = ReifiedPrism s s a a

Documentation

>>> import Control.Lens
>>> import Control.Applicative

newtype ReifiedLens s t a bSource #

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

Constructors

Lens
Fields runLens :: Lens s t a b

type ReifiedLens' s a = ReifiedLens s s a aSource #

type ReifiedLens' = Simple ReifiedLens

newtype ReifiedIndexedLens i s t a bSource #

Reify an IndexedLens so it can be stored safely in a container.

Constructors

IndexedLens
Fields runIndexedLens :: IndexedLens i s t a b

type ReifiedIndexedLens' i s a = ReifiedIndexedLens i s s a aSource #

type ReifiedIndexedLens' i = Simple (ReifiedIndexedLens i)

newtype ReifiedIndexedTraversal i s t a bSource #

Reify an IndexedTraversal so it can be stored safely in a container.

Constructors

IndexedTraversal
Fields runIndexedTraversal :: IndexedTraversal i s t a b

type ReifiedIndexedTraversal' i s a = ReifiedIndexedTraversal i s s a aSource #

type ReifiedIndexedTraversal' i = Simple (ReifiedIndexedTraversal i)

newtype ReifiedTraversal s t a bSource #

A form of Traversal that can be stored monomorphically in a container.

Constructors

Traversal
Fields runTraversal :: Traversal s t a b

type ReifiedTraversal' s a = ReifiedTraversal s s a aSource #

type ReifiedTraversal' = Simple ReifiedTraversal

newtype ReifiedGetter s aSource #

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

This can also be useful when combining getters in novel ways, as ReifiedGetter is isomorphic to (->) and provides similar instances.

>>> ("hello","world","!!!")^.runGetter ((,) <$> Getter _2 <*> Getter (_1.to length))
("world",5)

Constructors

Getter
Fields runGetter :: Getter s a

Instances

Instances details

Arrow ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

arr :: (b -> c) -> ReifiedGetter b c#

first :: ReifiedGetter b c -> ReifiedGetter (b, d) (c, d)#

second :: ReifiedGetter b c -> ReifiedGetter (d, b) (d, c)#

(***) :: ReifiedGetter b c -> ReifiedGetter b' c' -> ReifiedGetter (b, b') (c, c')#

(&&&) :: ReifiedGetter b c -> ReifiedGetter b c' -> ReifiedGetter b (c, c')#

ArrowApply ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

app :: ReifiedGetter (ReifiedGetter b c, b) c#

ArrowChoice ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

left :: ReifiedGetter b c -> ReifiedGetter (Either b d) (Either c d)#

right :: ReifiedGetter b c -> ReifiedGetter (Either d b) (Either d c)#

(+++) :: ReifiedGetter b c -> ReifiedGetter b' c' -> ReifiedGetter (Either b b') (Either c c')#

(|||) :: ReifiedGetter b d -> ReifiedGetter c d -> ReifiedGetter (Either b c) d#

ArrowLoop ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

loop :: ReifiedGetter (b, d) (c, d) -> ReifiedGetter b c#

Conjoined ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

distrib :: Functor f => ReifiedGetter a b -> ReifiedGetter (f a) (f b)Source #

conjoined :: (ReifiedGetter ~ (->) => q (a -> b) r) -> q (ReifiedGetter a b) r -> q (ReifiedGetter a b) rSource #

Choice ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

left' :: ReifiedGetter a b -> ReifiedGetter (Either a c) (Either b c)#

right' :: ReifiedGetter a b -> ReifiedGetter (Either c a) (Either c b)#

Closed ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

closed :: ReifiedGetter a b -> ReifiedGetter (x -> a) (x -> b)#

Corepresentable ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Associated Types

type Corep ReifiedGetter
Instance details Defined in Control.Lens.Reified type Corep ReifiedGetter = Identity

Methods

cotabulate :: (Corep ReifiedGetter d -> c) -> ReifiedGetter d c#

Representable ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Associated Types

type Rep ReifiedGetter
Instance details Defined in Control.Lens.Reified type Rep ReifiedGetter = Identity

Methods

tabulate :: (d -> Rep ReifiedGetter c) -> ReifiedGetter d c#

Costrong ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

unfirst :: ReifiedGetter (a, d) (b, d) -> ReifiedGetter a b#

unsecond :: ReifiedGetter (d, a) (d, b) -> ReifiedGetter a b#

Strong ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

first' :: ReifiedGetter a b -> ReifiedGetter (a, c) (b, c)#

second' :: ReifiedGetter a b -> ReifiedGetter (c, a) (c, b)#

Profunctor ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedGetter b c -> ReifiedGetter a d#

lmap :: (a -> b) -> ReifiedGetter b c -> ReifiedGetter a c#

rmap :: (b -> c) -> ReifiedGetter a b -> ReifiedGetter a c#

(#.) :: forall a b c q. Coercible c b => q b c -> ReifiedGetter a b -> ReifiedGetter a c#

(.#) :: forall a b c q. Coercible b a => ReifiedGetter b c -> q a b -> ReifiedGetter a c#

Category ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

Methods

id :: ReifiedGetter a a#

(.) :: ReifiedGetter b c -> ReifiedGetter a b -> ReifiedGetter a c#

Cosieve ReifiedGetter Identity Source #

Instance details

Defined in Control.Lens.Reified

Methods

cosieve :: ReifiedGetter a b -> Identity a -> b#

Sieve ReifiedGetter Identity Source #

Instance details

Defined in Control.Lens.Reified

Methods

sieve :: ReifiedGetter a b -> a -> Identity b#

MonadReader s (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

ask :: ReifiedGetter s s#

local :: (s -> s) -> ReifiedGetter s a -> ReifiedGetter s a#

reader :: (s -> a) -> ReifiedGetter s a#

Monoid s => Comonad (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

extract :: ReifiedGetter s a -> a#

duplicate :: ReifiedGetter s a -> ReifiedGetter s (ReifiedGetter s a)#

extend :: (ReifiedGetter s a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

Monoid s => ComonadApply (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<@>) :: ReifiedGetter s (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

(@>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b#

(<@) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s a#

Distributive (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

distribute :: Functor f => f (ReifiedGetter s a) -> ReifiedGetter s (f a)#

collect :: Functor f => (a -> ReifiedGetter s b) -> f a -> ReifiedGetter s (f b)#

distributeM :: Monad m => m (ReifiedGetter s a) -> ReifiedGetter s (m a)#

collectM :: Monad m => (a -> ReifiedGetter s b) -> m a -> ReifiedGetter s (m b)#

Applicative (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

pure :: a -> ReifiedGetter s a#

(<*>) :: ReifiedGetter s (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

liftA2 :: (a -> b -> c) -> ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s c#

(*>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b#

(<*) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s a#

Functor (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

(<$) :: a -> ReifiedGetter s b -> ReifiedGetter s a#

Monad (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(>>=) :: ReifiedGetter s a -> (a -> ReifiedGetter s b) -> ReifiedGetter s b#

(>>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b#

return :: a -> ReifiedGetter s a#

Apply (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<.>) :: ReifiedGetter s (a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

(.>) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s b#

(<.) :: ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s a#

liftF2 :: (a -> b -> c) -> ReifiedGetter s a -> ReifiedGetter s b -> ReifiedGetter s c#

Bind (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(>>-) :: ReifiedGetter s a -> (a -> ReifiedGetter s b) -> ReifiedGetter s b#

join :: ReifiedGetter s (ReifiedGetter s a) -> ReifiedGetter s a#

Semigroup s => Extend (ReifiedGetter s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

duplicated :: ReifiedGetter s a -> ReifiedGetter s (ReifiedGetter s a)#

extended :: (ReifiedGetter s a -> b) -> ReifiedGetter s a -> ReifiedGetter s b#

type Corep ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

type Corep ReifiedGetter = Identity

type Rep ReifiedGetter Source #

Instance details

Defined in Control.Lens.Reified

type Rep ReifiedGetter = Identity

newtype ReifiedIndexedGetter i s aSource #

Reify an IndexedGetter so it can be stored safely in a container.

Constructors

IndexedGetter
Fields runIndexedGetter :: IndexedGetter i s a

Instances

Instances details

Representable (ReifiedIndexedGetter i) Source #

Instance details

Defined in Control.Lens.Reified

Associated Types

type Rep (ReifiedIndexedGetter i)
Instance details Defined in Control.Lens.Reified type Rep (ReifiedIndexedGetter i) = (,) i

Methods

tabulate :: (d -> Rep (ReifiedIndexedGetter i) c) -> ReifiedIndexedGetter i d c#

Strong (ReifiedIndexedGetter i) Source #

Instance details

Defined in Control.Lens.Reified

Methods

first' :: ReifiedIndexedGetter i a b -> ReifiedIndexedGetter i (a, c) (b, c)#

second' :: ReifiedIndexedGetter i a b -> ReifiedIndexedGetter i (c, a) (c, b)#

Profunctor (ReifiedIndexedGetter i) Source #

Instance details

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedIndexedGetter i b c -> ReifiedIndexedGetter i a d#

lmap :: (a -> b) -> ReifiedIndexedGetter i b c -> ReifiedIndexedGetter i a c#

rmap :: (b -> c) -> ReifiedIndexedGetter i a b -> ReifiedIndexedGetter i a c#

(#.) :: forall a b c q. Coercible c b => q b c -> ReifiedIndexedGetter i a b -> ReifiedIndexedGetter i a c#

(.#) :: forall a b c q. Coercible b a => ReifiedIndexedGetter i b c -> q a b -> ReifiedIndexedGetter i a c#

Sieve (ReifiedIndexedGetter i) ((,) i) Source #

Instance details

Defined in Control.Lens.Reified

Methods

sieve :: ReifiedIndexedGetter i a b -> a -> (i, b)#

Functor (ReifiedIndexedGetter i s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedIndexedGetter i s a -> ReifiedIndexedGetter i s b#

(<$) :: a -> ReifiedIndexedGetter i s b -> ReifiedIndexedGetter i s a#

Semigroup i => Apply (ReifiedIndexedGetter i s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<.>) :: ReifiedIndexedGetter i s (a -> b) -> ReifiedIndexedGetter i s a -> ReifiedIndexedGetter i s b#

(.>) :: ReifiedIndexedGetter i s a -> ReifiedIndexedGetter i s b -> ReifiedIndexedGetter i s b#

(<.) :: ReifiedIndexedGetter i s a -> ReifiedIndexedGetter i s b -> ReifiedIndexedGetter i s a#

liftF2 :: (a -> b -> c) -> ReifiedIndexedGetter i s a -> ReifiedIndexedGetter i s b -> ReifiedIndexedGetter i s c#

type Rep (ReifiedIndexedGetter i) Source #

Instance details

Defined in Control.Lens.Reified

type Rep (ReifiedIndexedGetter i) = (,) i

newtype ReifiedFold s aSource #

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

This can also be useful for creatively combining folds as ReifiedFold s is isomorphic to ReaderT s [] and provides similar instances.

>>> ("hello","world")^..runFold ((,) <$> Fold _2 <*> Fold both)
[("world","hello"),("world","world")]

Constructors

Fold
Fields runFold :: Fold s a

Instances

Instances details

Arrow ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

arr :: (b -> c) -> ReifiedFold b c#

first :: ReifiedFold b c -> ReifiedFold (b, d) (c, d)#

second :: ReifiedFold b c -> ReifiedFold (d, b) (d, c)#

(***) :: ReifiedFold b c -> ReifiedFold b' c' -> ReifiedFold (b, b') (c, c')#

(&&&) :: ReifiedFold b c -> ReifiedFold b c' -> ReifiedFold b (c, c')#

ArrowApply ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

app :: ReifiedFold (ReifiedFold b c, b) c#

ArrowChoice ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

left :: ReifiedFold b c -> ReifiedFold (Either b d) (Either c d)#

right :: ReifiedFold b c -> ReifiedFold (Either d b) (Either d c)#

(+++) :: ReifiedFold b c -> ReifiedFold b' c' -> ReifiedFold (Either b b') (Either c c')#

(|||) :: ReifiedFold b d -> ReifiedFold c d -> ReifiedFold (Either b c) d#

Choice ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

left' :: ReifiedFold a b -> ReifiedFold (Either a c) (Either b c)#

right' :: ReifiedFold a b -> ReifiedFold (Either c a) (Either c b)#

Representable ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Associated Types

type Rep ReifiedFold
Instance details Defined in Control.Lens.Reified type Rep ReifiedFold = []

Methods

tabulate :: (d -> Rep ReifiedFold c) -> ReifiedFold d c#

Strong ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

first' :: ReifiedFold a b -> ReifiedFold (a, c) (b, c)#

second' :: ReifiedFold a b -> ReifiedFold (c, a) (c, b)#

Profunctor ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedFold b c -> ReifiedFold a d#

lmap :: (a -> b) -> ReifiedFold b c -> ReifiedFold a c#

rmap :: (b -> c) -> ReifiedFold a b -> ReifiedFold a c#

(#.) :: forall a b c q. Coercible c b => q b c -> ReifiedFold a b -> ReifiedFold a c#

(.#) :: forall a b c q. Coercible b a => ReifiedFold b c -> q a b -> ReifiedFold a c#

Category ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

Methods

id :: ReifiedFold a a#

(.) :: ReifiedFold b c -> ReifiedFold a b -> ReifiedFold a c#

Sieve ReifiedFold [] Source #

Instance details

Defined in Control.Lens.Reified

Methods

sieve :: ReifiedFold a b -> a -> [b]#

MonadReader s (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

ask :: ReifiedFold s s#

local :: (s -> s) -> ReifiedFold s a -> ReifiedFold s a#

reader :: (s -> a) -> ReifiedFold s a#

Alternative (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

empty :: ReifiedFold s a#

(<|>) :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a#

some :: ReifiedFold s a -> ReifiedFold s [a]#

many :: ReifiedFold s a -> ReifiedFold s [a]#

Applicative (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

pure :: a -> ReifiedFold s a#

(<*>) :: ReifiedFold s (a -> b) -> ReifiedFold s a -> ReifiedFold s b#

liftA2 :: (a -> b -> c) -> ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s c#

(*>) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s b#

(<*) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s a#

Functor (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedFold s a -> ReifiedFold s b#

(<$) :: a -> ReifiedFold s b -> ReifiedFold s a#

Monad (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(>>=) :: ReifiedFold s a -> (a -> ReifiedFold s b) -> ReifiedFold s b#

(>>) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s b#

return :: a -> ReifiedFold s a#

MonadPlus (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

mzero :: ReifiedFold s a#

mplus :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a#

Alt (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<!>) :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a#

some :: Applicative (ReifiedFold s) => ReifiedFold s a -> ReifiedFold s [a]#

many :: Applicative (ReifiedFold s) => ReifiedFold s a -> ReifiedFold s [a]#

Apply (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<.>) :: ReifiedFold s (a -> b) -> ReifiedFold s a -> ReifiedFold s b#

(.>) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s b#

(<.) :: ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s a#

liftF2 :: (a -> b -> c) -> ReifiedFold s a -> ReifiedFold s b -> ReifiedFold s c#

Bind (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(>>-) :: ReifiedFold s a -> (a -> ReifiedFold s b) -> ReifiedFold s b#

join :: ReifiedFold s (ReifiedFold s a) -> ReifiedFold s a#

Plus (ReifiedFold s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

zero :: ReifiedFold s a#

Monoid (ReifiedFold s a) Source #

Instance details

Defined in Control.Lens.Reified

Methods

mempty :: ReifiedFold s a#

mappend :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a#

mconcat :: [ReifiedFold s a] -> ReifiedFold s a#

Semigroup (ReifiedFold s a) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<>) :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a#

sconcat :: NonEmpty (ReifiedFold s a) -> ReifiedFold s a#

stimes :: Integral b => b -> ReifiedFold s a -> ReifiedFold s a#

type Rep ReifiedFold Source #

Instance details

Defined in Control.Lens.Reified

type Rep ReifiedFold = []

newtype ReifiedIndexedFold i s aSource #

Constructors

IndexedFold
Fields runIndexedFold :: IndexedFold i s a

Instances

Instances details

Representable (ReifiedIndexedFold i) Source #

Instance details

Defined in Control.Lens.Reified

Associated Types

type Rep (ReifiedIndexedFold i)
Instance details Defined in Control.Lens.Reified type Rep (ReifiedIndexedFold i) = Compose [] ((,) i)

Methods

tabulate :: (d -> Rep (ReifiedIndexedFold i) c) -> ReifiedIndexedFold i d c#

Strong (ReifiedIndexedFold i) Source #

Instance details

Defined in Control.Lens.Reified

Methods

first' :: ReifiedIndexedFold i a b -> ReifiedIndexedFold i (a, c) (b, c)#

second' :: ReifiedIndexedFold i a b -> ReifiedIndexedFold i (c, a) (c, b)#

Profunctor (ReifiedIndexedFold i) Source #

Instance details

Defined in Control.Lens.Reified

Methods

dimap :: (a -> b) -> (c -> d) -> ReifiedIndexedFold i b c -> ReifiedIndexedFold i a d#

lmap :: (a -> b) -> ReifiedIndexedFold i b c -> ReifiedIndexedFold i a c#

rmap :: (b -> c) -> ReifiedIndexedFold i a b -> ReifiedIndexedFold i a c#

(#.) :: forall a b c q. Coercible c b => q b c -> ReifiedIndexedFold i a b -> ReifiedIndexedFold i a c#

(.#) :: forall a b c q. Coercible b a => ReifiedIndexedFold i b c -> q a b -> ReifiedIndexedFold i a c#

Sieve (ReifiedIndexedFold i) (Compose [] ((,) i)) Source #

Instance details

Defined in Control.Lens.Reified

Methods

sieve :: ReifiedIndexedFold i a b -> a -> Compose [] ((,) i) b#

Functor (ReifiedIndexedFold i s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

fmap :: (a -> b) -> ReifiedIndexedFold i s a -> ReifiedIndexedFold i s b#

(<$) :: a -> ReifiedIndexedFold i s b -> ReifiedIndexedFold i s a#

Alt (ReifiedIndexedFold i s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<!>) :: ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a#

some :: Applicative (ReifiedIndexedFold i s) => ReifiedIndexedFold i s a -> ReifiedIndexedFold i s [a]#

many :: Applicative (ReifiedIndexedFold i s) => ReifiedIndexedFold i s a -> ReifiedIndexedFold i s [a]#

Plus (ReifiedIndexedFold i s) Source #

Instance details

Defined in Control.Lens.Reified

Methods

zero :: ReifiedIndexedFold i s a#

Monoid (ReifiedIndexedFold i s a) Source #

Instance details

Defined in Control.Lens.Reified

Methods

mempty :: ReifiedIndexedFold i s a#

mappend :: ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a#

mconcat :: [ReifiedIndexedFold i s a] -> ReifiedIndexedFold i s a#

Semigroup (ReifiedIndexedFold i s a) Source #

Instance details

Defined in Control.Lens.Reified

Methods

(<>) :: ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a#

sconcat :: NonEmpty (ReifiedIndexedFold i s a) -> ReifiedIndexedFold i s a#

stimes :: Integral b => b -> ReifiedIndexedFold i s a -> ReifiedIndexedFold i s a#

type Rep (ReifiedIndexedFold i) Source #

Instance details

Defined in Control.Lens.Reified

type Rep (ReifiedIndexedFold i) = Compose [] ((,) i)

newtype ReifiedSetter s t a bSource #

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

Constructors

Setter
Fields runSetter :: Setter s t a b

type ReifiedSetter' s a = ReifiedSetter s s a aSource #

type ReifiedSetter' = Simple ReifiedSetter

newtype ReifiedIndexedSetter i s t a bSource #

Reify an IndexedSetter so it can be stored safely in a container.

Constructors

IndexedSetter
Fields runIndexedSetter :: IndexedSetter i s t a b

type ReifiedIndexedSetter' i s a = ReifiedIndexedSetter i s s a aSource #

type ReifiedIndexedSetter' i = Simple (ReifiedIndexedSetter i)

newtype ReifiedIso s t a bSource #

Reify an Iso so it can be stored safely in a container.

Constructors

Iso
Fields runIso :: Iso s t a b

type ReifiedIso' s a = ReifiedIso s s a aSource #

type ReifiedIso' = Simple ReifiedIso

newtype ReifiedPrism s t a bSource #

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

Constructors

Prism
Fields runPrism :: Prism s t a b

type ReifiedPrism' s a = ReifiedPrism s s a aSource #

type ReifiedPrism' = Simple ReifiedPrism