Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
singleton :: HasTag v => k -> v -> BiMap k vAgda Agda.Utils.BiMap Singleton map. O(1).
-
Agda Agda.Utils.BoolSet A singleton set.
singleton :: Ord n => n -> n -> e -> Graph n eAgda Agda.Utils.Graph.AdjacencyMap.Unidirectional A graph with two nodes and a single connecting edge. O(1).
singleton :: Integer -> IntSetAgda Agda.Utils.IntSet.Infinite A single integer.
-
Agda Agda.Utils.List1 Construct a NonEmpty list from a single element.
singleton :: IsBasicRangeMap a m => Ranges -> a -> mAgda Agda.Utils.RangeMap The map singleton rs x contains the ranges from rs, and every position in those ranges is associated with x.
singleton :: Singleton el coll => el -> collAgda Agda.Utils.Singleton No documentation available.
singleton :: SmallSetElement a => a -> SmallSet aAgda Agda.Utils.SmallSet A singleton set. Time O(1).
singleton :: [k] -> v -> Trie k vAgda Agda.Utils.Trie Singleton trie.
-
Agda Agda.Utils.VarSet A set of one element.