class
class (Semigroup coll, Monoid coll, Singleton el coll) => Collection el coll | coll -> el whereA create-only possibly empty collection is a monoid with the possibility to inject elements.
Methods
fromList :: [el] -> coll
Instances14Collection, …
Collection KName NameKindBuilderDefined in Agda-2.7.0.1 · Agda.Interaction.Highlighting.GenerateCollection Int IntSetDefined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection a (Seq a)Defined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection a (DList a)Defined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection a (Endo [a])Defined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection a [a]Defined in Agda-2.7.0.1 · Agda.Utils.SingletonSmallSetElement a => Collection a (SmallSet a)Defined in Agda-2.7.0.1 · Agda.Utils.SingletonOrd a => Collection a (Set a)Defined in Agda-2.7.0.1 · Agda.Utils.Singleton(Eq a, Hashable a) => Collection a (HashSet a)Defined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection a ([a] -> [a])Defined in Agda-2.7.0.1 · Agda.Utils.SingletonCollection (Call cinfo) (CallGraph cinfo)Defined in Agda-2.7.0.1 · Agda.Termination.CallGraphCollection (Int, a) (IntMap a)Defined in Agda-2.7.0.1 · Agda.Utils.SingletonOrd k => Collection (k, a) (Map k a)Defined in Agda-2.7.0.1 · Agda.Utils.Singleton(Eq k, Hashable k) => Collection (k, a) (HashMap k a)Defined in Agda-2.7.0.1 · Agda.Utils.Singleton