Safe Haskell | None |
---|---|
Language | Haskell2010 |
Constructing singleton collections.
Documentation
class Singleton el coll | coll -> el where Source #
Instances
Singleton Int IntSet Source # | |
Singleton Variable VarCounts Source # | |
Singleton Variable FreeVars Source # | |
Hashable a => Singleton a (HashSet a) Source # | |
Defined in Agda.Utils.Singleton | |
Singleton a (Set a) Source # | |
Defined in Agda.Utils.Singleton | |
Singleton a (Seq a) Source # | |
Defined in Agda.Utils.Singleton | |
Singleton a [a] Source # | |
Defined in Agda.Utils.Singleton | |
Singleton a (Maybe a) Source # | |
Defined in Agda.Utils.Singleton | |
Singleton a (Favorites a) Source # | |
Defined in Agda.Utils.Favorites | |
Singleton (CallMatrixAug cinfo) (CMSet cinfo) Source # | |
Defined in Agda.Termination.CallMatrix singleton :: CallMatrixAug cinfo -> CMSet cinfo Source # | |
Singleton (Variable, VarOcc) VarMap Source # | |
Singleton (Int, a) (IntMap a) Source # | |
Hashable k => Singleton (k, a) (HashMap k a) Source # | |
Defined in Agda.Utils.Singleton | |
Singleton (k, a) (Map k a) Source # | |
Defined in Agda.Utils.Singleton |