Portability | Rank2Types |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Trustworthy |

- template :: forall s a. (Data s, Typeable a) => Traversal' s a
- tinplate :: (Data s, Typeable a) => Traversal' s a
- uniplate :: Data a => Traversal' a a
- biplate :: forall s a. (Data s, Typeable a) => Traversal' s a
- upon :: forall p f s a. (Indexable [Int] p, Applicative f, Data s, Data a) => (s -> a) -> p a (f a) -> s -> f s
- upon' :: forall s a. (Data s, Data a) => (s -> a) -> IndexedLens' [Int] s a
- onceUpon :: forall s a. (Data s, Typeable a) => (s -> a) -> IndexedTraversal' Int s a
- onceUpon' :: forall s a. (Data s, Typeable a) => (s -> a) -> IndexedLens' Int s a
- gtraverse :: (Applicative f, Data a) => (forall d. Data d => d -> f d) -> a -> f a

# Generic Traversal

template :: forall s a. (Data s, Typeable a) => Traversal' s aSource

tinplate :: (Data s, Typeable a) => Traversal' s aSource

uniplate :: Data a => Traversal' a aSource

biplate :: forall s a. (Data s, Typeable a) => Traversal' s aSource

# Field Accessor Traversal

upon :: forall p f s a. (Indexable [Int] p, Applicative f, Data s, Data a) => (s -> a) -> p a (f a) -> s -> f sSource

This automatically constructs a `Traversal'`

from an function.

`>>>`

(10,4)`(2,4) & upon fst *~ 5`

There are however, caveats on how this function can be used!

First, the user supplied function must access only one field of the specified type. That is to say the target
must be a single element that would be visited by `holesOnOf`

`template`

`uniplate`

Note: this even permits a number of functions to be used directly.

`>>>`

[0,2,3,4]`[1,2,3,4] & upon head .~ 0`

`>>>`

[1,2,3,5]`[1,2,3,4] & upon last .~ 5`

`>>>`

Just [2,3,4]`[1,2,3,4] ^? upon tail`

`>>>`

Nothing`"" ^? upon tail`

Accessing parents on the way down to children is okay:

`>>>`

[1,2,10,20]`[1,2,3,4] & upon (tail.tail) .~ [10,20]`

Second, the structure must not contain strict or unboxed fields of the same type that will be visited by `Data`

`upon`

:: (`Data`

s,`Data`

a) => (s -> a) ->`IndexedTraversal'`

[Int] s a

upon' :: forall s a. (Data s, Data a) => (s -> a) -> IndexedLens' [Int] s aSource

The design of `onceUpon'`

doesn't allow it to search inside of values of type `a`

for other values of type `a`

.
`upon'`

provides this additional recursion.

Like `onceUpon'`

, `upon'`

trusts the user supplied function more than `upon`

using it directly
as the accessor. This enables reading from the resulting `Lens`

to be considerably faster at the risk of
generating an illegal lens.

`>>>`

[1,2,10,20]`upon' (tail.tail) .~ [10,20] $ [1,2,3,4]`

onceUpon :: forall s a. (Data s, Typeable a) => (s -> a) -> IndexedTraversal' Int s aSource

This automatically constructs a `Traversal'`

from a field accessor.

The index of the `Traversal`

can be used as an offset into

or into the list
returned by `elementOf`

(`indexing`

`template`

)

.
`holesOf`

`template`

The design of `onceUpon`

doesn't allow it to search inside of values of type `a`

for other values of type `a`

.
`upon`

provides this additional recursion, but at the expense of performance.

`>>>`

[1,10,20]`onceUpon (tail.tail) .~ [10,20] $ [1,2,3,4] -- BAD`

`>>>`

[1,2,10,20]`upon (tail.tail) .~ [10,20] $ [1,2,3,4] -- GOOD`

When in doubt, use `upon`

instead.

onceUpon' :: forall s a. (Data s, Typeable a) => (s -> a) -> IndexedLens' Int s aSource

This more trusting version of `upon`

uses your function directly as the getter for a `Lens`

.

This means that reading from `upon'`

is considerably faster than `upon`

.

However, you pay for faster access in two ways:

- When passed an illegal field accessor,
`upon'`

will give you a`Lens`

that quietly violates the laws, unlike`upon`

, which will give you a legal`Traversal`

that avoids modifying the target. - Modifying with the lens is slightly slower, since it has to go back and calculate the index after the fact.

When given a legal field accessor, the index of the `Lens`

can be used as an offset into

or into the list returned by `elementOf`

(`indexed`

`template`

)

.
`holesOf`

`template`

When in doubt, use `upon'`

instead.