Data.Lens.Barlow.Construction

class ConstructBarlowGeneric (lenses :: TList) p s t a b | lenses s -> t a b where

Members

• constructBarlowGeneric :: Proxy lenses -> Optic p s t a b

class ConstructBarlow (lenses :: TList) p s t a b | lenses s -> t a b where

Members

• constructBarlow :: Proxy lenses -> Optic p s t a b

Instances

• (Profunctor p, Newtype nt a) => ConstructBarlow (TCons ExclamationMark TNil) p nt nt a a