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

Safe Haskell	None
Language	Haskell2010

Agda.Utils.Singleton

Description

Constructing singleton collections.

Documentation

class Singleton el coll | coll -> el where #

Minimal complete definition

Methods

singleton :: el -> coll #

Instances

Singleton Int IntSet #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: Int -> IntSet #
Singleton Variable VarCounts #
Instance details Defined in Agda.TypeChecking.Free Methods singleton :: Variable -> VarCounts #
Singleton Variable FreeVars #
Instance details Defined in Agda.TypeChecking.Free Methods singleton :: Variable -> FreeVars #
Hashable a => Singleton a (HashSet a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> HashSet a #
Singleton a (Set a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> Set a #
Singleton a (Seq a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> Seq a #
Singleton a [a] #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> [a] #
Singleton a (Maybe a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> Maybe a #
Singleton a (Favorites a) #
Instance details Defined in Agda.Utils.Favorites Methods singleton :: a -> Favorites a #
Singleton (CallMatrixAug cinfo) (CMSet cinfo) #
Instance details Defined in Agda.Termination.CallMatrix Methods singleton :: CallMatrixAug cinfo -> CMSet cinfo #
Singleton (Variable, VarOcc) VarMap #
Instance details Defined in Agda.TypeChecking.Free.Lazy Methods singleton :: (Variable, VarOcc) -> VarMap #
Singleton (Int, a) (IntMap a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: (Int, a) -> IntMap a #
Hashable k => Singleton (k, a) (HashMap k a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: (k, a) -> HashMap k a #
Singleton (k, a) (Map k a) #
Instance details Defined in Agda.Utils.Singleton Methods singleton :: (k, a) -> Map k a #