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
Instances16Collection, …
Collection KName NameKindBuilderDefined in Agda-2.8.0.2 · Agda.Interaction.Highlighting.GenerateCollection Int IntSetDefined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection a (Seq a)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection a (DList a)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection a (Endo [a])Defined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection a [a]Defined in Agda-2.8.0.2 · Agda.Utils.SingletonSmallSetElement k => Collection k (SmallSet k)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonOrd k => Collection k (Set k)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonEnum k => Collection k (EnumSet k)Defined in Agda-2.8.0.2 · Agda.Utils.Singleton(Eq k, Hashable k) => Collection k (HashSet k)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection a ([a] -> [a])Defined in Agda-2.8.0.2 · Agda.Utils.SingletonCollection (Call cinfo) (CallGraph cinfo)Defined in Agda-2.8.0.2 · Agda.Termination.CallGraphCollection (Int, a) (IntMap a)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonOrd k => Collection (k, a) (Map k a)Defined in Agda-2.8.0.2 · Agda.Utils.SingletonEnum k => Collection (k, a) (EnumMap k a)Defined in Agda-2.8.0.2 · Agda.Utils.Singleton(Eq k, Hashable k) => Collection (k, a) (HashMap k a)Defined in Agda-2.8.0.2 · Agda.Utils.Singleton