Control.Lens.Reified

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

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

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

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

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)

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

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")]

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

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

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

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