Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
adjustWithKey :: forall s k a . Ord k => (Key s k -> a -> a) -> k -> Map s k a -> Map s k arefined-containers Data.Map.Strict.Refined If the given key is in the map, update the associated value using the given function with a proof that the key was in the map; otherwise return the map unchanged. In any case the set of keys remains the same.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-record Database.Relational.Documentation Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.IBMDB2 Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.MySQL Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.Oracle Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.PostgreSQL Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.SQLServer Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
isJust :: (OperatorContext c, HasColumnConstraint NotNull r) => Record c (Maybe r) -> Predicate crelational-schemas Database.Custom.SQLite3 Operator corresponding SQL NOT (... IS NULL) , and extended against record type.
_Just :: forall a b p f . (Choice p, Applicative f) => p a (f b) -> p (Maybe a) (f (Maybe b))strict-base-types Data.Maybe.Strict Analogous to _Just in Control.Lens.Prism
-
strict-base-types Data.Maybe.Strict Extracts the element out of a Just and throws an error if the argument is Nothing.