Control.Lens.Internal

These are some of the explicit Functor instances that leak into the type signatures of Control.Lens. You shouldn't need to import this module directly, unless you are coming up with a whole new kind of "Family" and need to add instances.

Implementation details

data IndexedStore c d a

The indexed store can be used to characterize a LensFamily and is used by clone

Constructors

IndexedStore (d -> a) c

Instances

Functor (IndexedStore c d)

newtype Focusing m c a

Used by Focus

Constructors

Focusing

Fields

unfocusing :: m (c, a)

Instances

Monad m => Functor (Focusing m c)

(Monad m, Monoid c) => Applicative (Focusing m c)

newtype Traversed f

Used internally by traverseOf_, mapM_ and the like.

Constructors

Traversed

Fields

getTraversed :: f ()

Instances

Applicative f => Monoid (Traversed f)

newtype AppliedState f a

Applicative composition of State Int with a Functor, used by elementOf, elementsOf, traverseElement, traverseElementsOf

Constructors

AppliedState

Fields

runAppliedState :: Int -> (f a, Int)

Instances

Functor f => Functor (AppliedState f)

Applicative f => Applicative (AppliedState f)