Copyright	[2015..2020] Trevor L. McDonell
License	BSD-style (see the file LICENSE)
Maintainer	Trevor L. McDonell <trevor.mcdonell@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Array.Accelerate.Control.Lens

Description

Synopsis

module Control.Lens
liftLens :: (Functor f, Unlift box s, Unlift box t, Unlift box b, Lift box a) => ((a -> f b) -> s -> f t) -> (box (Plain a) -> f (box (Plain b))) -> box (Plain s) -> f (box (Plain t))

Documentation

liftLens :: (Functor f, Unlift box s, Unlift box t, Unlift box b, Lift box a) => ((a -> f b) -> s -> f t) -> (box (Plain a) -> f (box (Plain b))) -> box (Plain s) -> f (box (Plain t)) Source #

Lift a Lens into a lens on the equivalent Accelerate term.

The instances exported by this package are all defined in terms of this function, using the definitions from the base lens package.