mezzolens-0.0.0: Pure Profunctor Functional Lenses

Safe HaskellSafe
LanguageHaskell2010

Mezzolens.Unchecked

Documentation

iso :: (ta -> a) -> (b -> tb) -> Iso ta tb a b Source

lens :: (ta -> a) -> (b -> ta -> tb) -> Lens ta tb a b Source

lensVL :: (forall f. Functor f => (a -> f b) -> ta -> f tb) -> Lens ta tb a b Source

prism :: (ta -> Either tb a) -> (b -> tb) -> Prism ta tb a b Source

affineTraversal :: (ta -> Either tb a) -> (b -> ta -> tb) -> AffineTraversal ta tb a b Source

traversal :: (forall f. Applicative f => (a -> f b) -> ta -> f tb) -> Traversal ta tb a b Source

sec :: ((a -> b) -> ta -> tb) -> SEC ta tb a b Source

data PStore i j x Source

Instances