pointed-1.8.0.2: Haskell 98 Pointed and copointed data

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