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

Safe HaskellNone
LanguageHaskell98

Agda.Utils.Singleton

Description

Constructing singleton collections.

Documentation

class Singleton el coll | coll -> el where Source

Methods

singleton :: el -> coll Source