prologue-3.1.6: Better, more general Prelude exporting common utilities.
Prologue.Data.Pointed
type Bipointed t = (Pointed t, Copointed t) Source #
pointed :: Bipointed t => Iso a b (t a) (t b) Source #
copointed :: Bipointed t => Iso (t a) (t b) a b Source #
copointedLens :: (Copointed t, Functor t) => Lens (t a) (t b) a b Source #