Agda-2.5.4: 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 Source #

Minimal complete definition

singleton

Methods

singleton :: el -> coll Source #

Instances
Singleton Int IntSet Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: Int -> IntSet Source #

Singleton Variable VarCounts Source # 
Instance details

Defined in Agda.TypeChecking.Free

Singleton Variable FreeVars Source # 
Instance details

Defined in Agda.TypeChecking.Free

Hashable a => Singleton a (HashSet a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: a -> HashSet a Source #

Singleton a (Set a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: a -> Set a Source #

Singleton a (Seq a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: a -> Seq a Source #

Singleton a [a] Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: a -> [a] Source #

Singleton a (Maybe a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

singleton :: a -> Maybe a Source #

Singleton a (Favorites a) Source # 
Instance details

Defined in Agda.Utils.Favorites

Methods

singleton :: a -> Favorites a Source #

Singleton (CallMatrixAug cinfo) (CMSet cinfo) Source # 
Instance details

Defined in Agda.Termination.CallMatrix

Methods

singleton :: CallMatrixAug cinfo -> CMSet cinfo Source #

Singleton (Variable, VarOcc) VarMap Source # 
Instance details

Defined in Agda.TypeChecking.Free.Lazy

Singleton (Int, a) (IntMap a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

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

Hashable k => Singleton (k, a) (HashMap k a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

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

Singleton (k, a) (Map k a) Source # 
Instance details

Defined in Agda.Utils.Singleton

Methods

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