| 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) # | |