Agda-2.4.2.2: A dependently typed functional programming language and proof assistant
Agda.Utils.Pointed
Synopsis
class Pointed f where Source
Pointed class.
We could have used Data.Pointed by Edward Kmett, but it has a lot of package dependencies.
Methods
point :: a -> f a Source
Instances