Agda-2.4.0.2: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Inferred
LanguageHaskell98

Agda.Utils.Pointed

Synopsis

Documentation

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