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 Action m

Used internally by mapM_ and the like.

Constructors

Action

Fields

getAction :: m ()

Instances

Monad m => Monoid (Action m)

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)

data Min a

Used for minimumOf

Constructors

NoMin

Min a

Instances

Ord a => Monoid (Min a)

getMin :: Min a -> Maybe a

Obtain the minimum

data Max a

Used for maximumOf

Constructors

NoMax

Max a

Instances

Ord a => Monoid (Max a)

getMax :: Max a -> Maybe a

Obtain the maximum

data ElementOf f a

Used to find the nth element of a Traversal.

Constructors

ElementOf

Fields

getElementOf :: Int -> ElementOfResult f a

Instances

Functor f => Functor (ElementOf f)

Functor f => Applicative (ElementOf f)

data ElementOfResult f a

The result of trying to find the nth element of a Traversal.

Constructors

Searching !Int a

Found !Int (f a)

Instances

Functor f => Functor (ElementOfResult f)