Documentation

type Optic p s t a b = p a b -> p s t Source #

type Optic' p s a = Optic p s s a a Source #

type Optical p q s t a b = p a b -> q s t Source #

type Optical' p q s a = Optical p q s s a a Source #

type IndexedOptic i q s t a b = forall p. Indexable i p q => Optical p q s t a b Source #

type IndexedOptic' i p s a = IndexedOptic i p s s a a Source #

type CoindexedOptic e p s t a b = Optical p (Coindexed e p) s t a b Source #

type CoindexedOptic' e p s a = CoindexedOptic e p s s a a Source #