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

Instances

Singleton Int IntSet Source 
Singleton Variable FreeVars Source 
Hashable a => Singleton a (HashSet a) Source 
Singleton a (Set a) Source 
Singleton a (Seq a) Source 
Singleton a [a] Source 
Singleton a (Maybe a) Source 
Singleton a (Favorites a) Source 
Singleton (CallMatrixAug cinfo) (CMSet cinfo) Source 
Singleton (Int, a) (IntMap a) Source 
Hashable k => Singleton (k, a) (HashMap k a) Source 
Singleton (k, a) (Map k a) Source