Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
fromList :: Collection el coll => [el] -> collAgda Agda.Termination.CallGraph No documentation available.
fromList :: Ord a => [a] -> Bag aAgda Agda.Utils.Bag fromList = unions . map singleton
fromList :: (Ord k, Ord (Tag v), HasTag v) => [(k, v)] -> BiMap k vAgda Agda.Utils.BiMap Conversion from lists of pairs. Later entries take precedence over earlier ones. O(n log n). Precondition: See fromListPrecondition.
-
Agda Agda.Utils.BoolSet No documentation available.
fromList :: PartialOrd a => [a] -> Favorites aAgda Agda.Utils.Favorites Construct favorites from elements of a partial order. The result depends on the order of the list if it contains equal elements, since earlier seen elements are favored over later seen equals. The first element of the list is seen first.
fromList :: IsList l => [Item l] -> lAgda Agda.Utils.List1 The fromList function constructs the structure l from the given list of Item l
fromList :: Collection el coll => [el] -> collAgda Agda.Utils.Singleton No documentation available.
fromList :: SmallSetElement a => [a] -> SmallSet aAgda Agda.Utils.SmallSet Time O(n).
-
Agda Agda.Utils.VarSet Create a set from a list of integers.
fromList :: [(Key, v)] -> KeyMap vBlammo Data.Aeson.Compat Construct a map with the supplied mappings. If the list contains duplicate mappings, the later mappings take precedence.
>>> fromList [("a", 'x'), ("a", 'y')] fromList [("a",'y')]