Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Utils.Singleton
Description
Constructing singleton collections.
Documentation
class Singleton el coll | coll -> el where
Methods
singleton :: el -> coll
Instances
Singleton Int IntSet | |
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, Term) AmbSubst | |
Singleton (Int, a) (IntMap a) | |
Hashable k => Singleton (k, a) (HashMap k a) | |
Singleton (k, a) (Map k a) |