Hoogle Search
Within Stackage Nightly 2025-10-08 (ghc-9.12.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
getMergeNESet :: MergeNESet a -> NESet anonempty-containers Data.Set.NonEmpty.Internal No documentation available.
insertMaxSet :: a -> Set a -> Set anonempty-containers Data.Set.NonEmpty.Internal O(log n). Insert new value into a set where values are /strictly less than the new value. That is, the new value must be strictly greater than all values present in the Set. The precondition is not checked./ While this has the same asymptotics as Data.Set.insert, it saves a constant factor for value comparison (so may be helpful if comparison is expensive) and also does not require an Ord instance for the value type.
insertMinSet :: a -> Set a -> Set anonempty-containers Data.Set.NonEmpty.Internal O(log n). Insert new value into a set where values are strictly greater than the new values That is, the new value must be strictly less than all values present in the Set. /The precondition is not checked./ While this has the same asymptotics as Data.Set.insert, it saves a constant factor for value comparison (so may be helpful if comparison is expensive) and also does not require an Ord instance for the value type.
-
nonempty-containers Data.Set.NonEmpty.Internal No documentation available.
nonEmptySet :: Set a -> Maybe (NESet a)nonempty-containers Data.Set.NonEmpty.Internal O(log n). Smart constructor for an NESet from a Set. Returns Nothing if the Set was originally actually empty, and Just n with an NESet, if the Set was not empty. nonEmptySet and maybe empty toSet form an isomorphism: they are perfect structure-preserving inverses of eachother. See IsNonEmpty for a pattern synonym that lets you "match on" the possiblity of a Set being an NESet.
nonEmptySet (Data.Set.fromList [3,5]) == Just (fromList (3:|[5]))
-
nonempty-containers Data.Set.NonEmpty.Internal O(log n). Convert a non-empty set back into a normal possibly-empty map, for usage with functions that expect Set. Can be thought of as "obscuring" the non-emptiness of the set in its type. See the IsNotEmpty pattern. nonEmptySet and maybe empty toSet form an isomorphism: they are perfect structure-preserving inverses of eachother.
toSet (fromList ((3,"a") :| [(5,"b")])) == Data.Set.fromList [(3,"a"), (5,"b")]
nodeInfoSetTo :: To k -> NodeInfo k v -> NodeInfo k vpatch Data.Patch.MapWithMove nodeInfoSetTo :: To k -> NodeInfo k v -> NodeInfo k vpatch Data.Patch.MapWithPatchingMove -
No documentation available.
-
No documentation available.