pointed-3.0: Haskell 98 pointed and copointed data

Safe HaskellSafe-Infered

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