Agda-2.5.1: 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