Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. data FromJustSym0 (a1 :: TyFun Maybe a a)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

2. type family FromJustSym1 (a6989586621679588164 :: Maybe a) :: a

   singletons-base	Data.Maybe.Singletons

   No documentation available.

3. type family IsJust (a1 :: Maybe a) :: Bool

   singletons-base	Data.Maybe.Singletons

   No documentation available.

4. data IsJustSym0 (a1 :: TyFun Maybe a Bool)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

5. type family IsJustSym1 (a6989586621679588171 :: Maybe a) :: Bool

   singletons-base	Data.Maybe.Singletons

   No documentation available.

6. SJust :: forall a (n :: a) . Sing n -> SMaybe ('Just n)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

7. sFromJust :: forall a (t :: Maybe a) . Sing t -> Sing (Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) t)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

8. sIsJust :: forall a (t :: Maybe a) . Sing t -> Sing (Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) t)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

9. SJust :: forall a (n :: a) . Sing n -> SMaybe ('Just n)

   singletons-base	Prelude.Singletons

   No documentation available.

10. adjustPriority :: MonadInteract m w e => Int -> m ()

    yi-core	Yi.Interact

    No documentation available.

Page 45 of many | Previous | Next