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

Safe HaskellNone
LanguageHaskell2010

Agda.Utils.Singleton

Description

Constructing singleton collections.

Documentation

class Singleton el coll | coll -> el where #

Minimal complete definition

singleton

Methods

singleton :: el -> coll #

Instances

Singleton Int IntSet # 

Methods

singleton :: Int -> IntSet #

Singleton Variable FreeVars # 
Hashable a => Singleton a (HashSet a) # 

Methods

singleton :: a -> HashSet a #

Singleton a (Set a) # 

Methods

singleton :: a -> Set a #

Singleton a (Seq a) # 

Methods

singleton :: a -> Seq a #

Singleton a [a] # 

Methods

singleton :: a -> [a] #

Singleton a (Maybe a) # 

Methods

singleton :: a -> Maybe a #

Singleton a (Favorites a) # 

Methods

singleton :: a -> Favorites a #

Singleton (CallMatrixAug cinfo) (CMSet cinfo) # 

Methods

singleton :: CallMatrixAug cinfo -> CMSet cinfo #

Singleton (Int, a) (IntMap a) # 

Methods

singleton :: (Int, a) -> IntMap a #

Hashable k => Singleton (k, a) (HashMap k a) # 

Methods

singleton :: (k, a) -> HashMap k a #

Singleton (k, a) (Map k a) # 

Methods

singleton :: (k, a) -> Map k a #