pointed-4.1: Pointed and copointed data

Safe HaskellTrustworthy

Data.Copointed

Synopsis

Documentation

class Copointed p whereSource

Copointed does not require a Functor, as the only relationship between copoint and fmap is given by a free theorem.

Methods

copoint :: p a -> aSource