Hoogle Search
Within LTS Haskell 24.31 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
notElem :: Uniquable a => a -> UniqMap b -> Boolclash-lib Clash.Data.UniqMap Check if there is not an entry in the map for the unique of the given value.
notExpr :: Backend backend => Text -> TExpr -> State (BlockState backend) TExprclash-lib Clash.Primitives.DSL Negate (not) an expression, assigning it to a new identifier.
notElem :: (Foldable t, Eq a) => a -> t a -> Booldimensional Numeric.Units.Dimensional.Prelude notElem is the negation of elem.
Examples
Basic usage:>>> 3 `notElem` [] True
>>> 3 `notElem` [1,2] True
>>> 3 `notElem` [1,2,3,4,5] False
For infinite structures, notElem terminates if the value exists at a finite distance from the left side of the structure:>>> 3 `notElem` [1..] False
>>> 3 `notElem` ([4..] ++ [3]) * Hangs forever *
notElem :: (Foldable t, Eq a) => a -> t a -> Booldistribution-opensuse OpenSuse.Prelude notElem is the negation of elem.
Examples
Basic usage:>>> 3 `notElem` [] True
>>> 3 `notElem` [1,2] True
>>> 3 `notElem` [1,2,3,4,5] False
For infinite structures, notElem terminates if the value exists at a finite distance from the left side of the structure:>>> 3 `notElem` [1..] False
>>> 3 `notElem` ([4..] ++ [3]) * Hangs forever *
noTextCharPredicate :: Maybe TextCharPredicategi-gtk4 GI.Gtk.Callbacks A convenience synonym for Nothing :: Maybe TextCharPredicate.
noTextCharPredicate_WithClosures :: Maybe TextCharPredicate_WithClosuresgi-gtk4 GI.Gtk.Callbacks A convenience synonym for Nothing :: Maybe TextCharPredicate_WithClosures.
noTextTagTableForeach :: Maybe TextTagTableForeachgi-gtk4 GI.Gtk.Callbacks A convenience synonym for Nothing :: Maybe TextTagTableForeach.
noTextTagTableForeach_WithClosures :: Maybe TextTagTableForeach_WithClosuresgi-gtk4 GI.Gtk.Callbacks A convenience synonym for Nothing :: Maybe TextTagTableForeach_WithClosures.
-
gi-gtk4 GI.Gtk.Objects.Notebook Appends a page to notebook.
-
gi-gtk4 GI.Gtk.Objects.Notebook Appends a page to notebook, specifying the widget to use as the label in the popup menu.