Agda.Utils.Pointed

Documentation

class Pointed f where

Pointed class.

We could have used Data.Pointed by Edward Kmett, but it has a lot of package dependencies.

Methods

point :: a -> f a

Instances

Pointed []

Pointed Maybe