Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. type family FromJust (a1 :: Maybe a) :: a

   singletons-base	Data.Maybe.Singletons

   No documentation available.

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

   singletons-base	Data.Maybe.Singletons

   No documentation available.

3. type family FromJustSym1 (a6989586621679588165 :: Maybe a) :: a

   singletons-base	Data.Maybe.Singletons

   No documentation available.

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

   singletons-base	Data.Maybe.Singletons

   No documentation available.

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

   singletons-base	Data.Maybe.Singletons

   No documentation available.

6. type family IsJustSym1 (a6989586621679588172 :: Maybe a) :: Bool

   singletons-base	Data.Maybe.Singletons

   No documentation available.

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

   singletons-base	Data.Maybe.Singletons

   No documentation available.

8. 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.

9. 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.

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

    singletons-base	Prelude.Singletons

    No documentation available.

Page 45 of many | Previous | Next