Hoogle Search

Within LTS Haskell 24.3 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. just :: NullableFieldProjection typ typ' => SqlExpr (Value typ) -> SqlExpr (Value (Maybe typ'))

    esqueleto Database.Esqueleto.Legacy

    Analogous to Just, promotes a value of type typ into one of type Maybe typ. It should hold that val . Just === just . val. This function will try not to produce a nested Maybe. This is in accord with how SQL represents NULL. That means that just . just = just. This behavior was changed in v3.6.0.0. If you want to produce nested Maybe, see just'.

  2. just :: forall (m :: Type -> Type) a . Monad m => Predicate m a -> Predicate m (Maybe a)

    skeletest Skeletest.Internal.Predicate

    A predicate checking if the input is Just, wrapping a value matching the given predicate. 

    >>> Just 1 `shouldSatisfy` P.just (P.gt 0)

  3. just :: forall (m :: Type -> Type) a . Monad m => Predicate m a -> Predicate m (Maybe a)

    skeletest Skeletest.Predicate

    A predicate checking if the input is Just, wrapping a value matching the given predicate. 

    >>> Just 1 `shouldSatisfy` P.just (P.gt 0)

  4. just :: Expr -> Expr

    express Data.Express.Fixtures

    The Just constructor lifted over the Expr type. This works for the Bool, Int, Char argument types and their lists. 

    > just zero
Just 0 :: Maybe Int
> just false
Just False :: Maybe Bool

  5. just :: (Applicative f, Traversable g) => AdapterLike f g (Maybe a) (Maybe b) a b

    lens-family-core Lens.Family.Stock 

    just :: Prism (Maybe a) (Maybe b) a b
    A prism on the Just element of a Maybe.

  6. just :: Maybe a -> Assertion

    chell Test.Chell

    Assert that some value is Just.

  7. just :: ProjectableMaybe p => p a -> p (Maybe a)

    relational-query Database.Relational.Arrow

    Cast record phantom type into Maybe.

  8. just :: ProjectableMaybe p => p a -> p (Maybe a)

    relational-query Database.Relational.Projectable

    Cast record phantom type into Maybe.

  9. just :: Record c r -> Record c (Maybe r)

    relational-query Database.Relational.Record

    Cast into Maybe on record phantom type.

  10. just :: Expr -> Expr

    code-conjure Conjure.Engine

    The Just constructor lifted over the Expr type. This works for the Bool, Int, Char argument types and their lists. 

    > just zero
Just 0 :: Maybe Int
> just false
Just False :: Maybe Bool

Page 6 of many | Previous | Next