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

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 Methods singleton :: Variable -> VarCounts Source #
Singleton Variable FreeVars Source # |
Instance details Defined in Agda.TypeChecking.Free Methods singleton :: Variable -> FreeVars Source #
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 (NonemptyList a) Source # |
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> NonemptyList a Source #
Singleton a (Endo [a]) Source # |
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> Endo [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 a ([a] -> [a]) Source # |
Instance details Defined in Agda.Utils.Singleton Methods singleton :: a -> [a] -> [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 Methods singleton :: (Variable, VarOcc) -> VarMap Source #
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 #