Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Utils.Singleton
Description
Constructing singleton collections.
Documentation
class Singleton el coll | coll -> el where #
Minimal complete definition
Instances
Singleton Int IntSet # | |
Singleton Variable FreeVars # | |
Hashable a => Singleton a (HashSet a) # | |
Singleton a (Set a) # | |
Singleton a (Seq a) # | |
Singleton a [a] # | |
Singleton a (Maybe a) # | |
Singleton a (Favorites a) # | |
Singleton (CallMatrixAug cinfo) (CMSet cinfo) # | |
Singleton (Int, a) (IntMap a) # | |
Hashable k => Singleton (k, a) (HashMap k a) # | |
Singleton (k, a) (Map k a) # | |