Generics.Pointless.Lenses

Pointless Lenses: bidirectional lenses with point-free programming

This module defines the structure of lenses and provides Quickcheck procedures to test lens well-behavedness.

Documentation

data Lens c a

The data type of lenses

Constructors

Lens

Fields

get :: c -> a

put :: (a, c) -> c

create :: a -> c

type NatLens f g = forall x. x -> Lens (Rep f x) (Rep g x)

The type of natural lenses. Lenses that encode bidirectional natural transformations.

inc_lns :: Enum a => Lens a a

Increment a number.

dec_lns :: Enum a => Lens a a

Decrement a number.

lnsEq :: (Eq a, Eq c) => Lens c a -> Lens c a -> a -> c -> Bool

QuickCheck procedure to test if two lenses are equivalent.

getEq :: Eq a => Lens c a -> Lens c a -> c -> Bool

putEq :: (Eq a, Eq c) => Lens c a -> Lens c a -> a -> c -> Bool

createEq :: Eq c => Lens c a -> Lens c a -> a -> Bool

wb :: (Eq a, Eq c) => Lens c a -> a -> c -> Bool

QuickCheck procedure to test if a lens is well-behaved.

putget :: (Eq a, Eq c) => Lens c a -> a -> c -> Bool

QuickCheck procedure to test if a lens satisfies the PutGet law.

getput :: Eq c => Lens c a -> c -> Bool

QuickCheck procedure to test if a lens satisfies the GetPut law.

createget :: Eq a => Lens c a -> a -> Bool

QuickCheck procedure to test if a lens satisfies the CreateGet law.