pointed-2.0.3: Haskell 98 pointed and copointed data

Data.Copointed

Synopsis

Documentation

class Copointed p where

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

Methods

copoint :: p a -> a