Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. newtype MaybeT (m :: Type -> Type) a

   relude	Relude.Monad.Reexport

   The parameterizable maybe monad, obtained by composing an arbitrary monad with the Maybe monad. Computations are actions that may produce a value or exit. The return function yields a computation that produces that value, while >>= sequences two subcomputations, exiting if either computation does.

2. MaybeT :: m (Maybe a) -> MaybeT (m :: Type -> Type) a

   relude	Relude.Monad.Reexport

   No documentation available.

3. type family MaybeToList (a1 :: Maybe a) :: [a]

   singletons-base	Data.Maybe.Singletons

   No documentation available.

4. data MaybeToListSym0 (a1 :: TyFun Maybe a [a])

   singletons-base	Data.Maybe.Singletons

   No documentation available.

5. type family MaybeToListSym1 (a6989586621679588149 :: Maybe a) :: [a]

   singletons-base	Data.Maybe.Singletons

   No documentation available.

6. type family Maybe_ (a1 :: b) (a2 :: a ~> b) (a3 :: Maybe a) :: b

   singletons-base	Data.Maybe.Singletons

   No documentation available.

7. data Maybe_Sym0 (a1 :: TyFun b a ~> b ~> Maybe a ~> b)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

8. data Maybe_Sym1 (a6989586621679585935 :: b) (b1 :: TyFun a ~> b Maybe a ~> b)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

9. data Maybe_Sym2 (a6989586621679585935 :: b) (a6989586621679585936 :: a ~> b) (c :: TyFun Maybe a b)

   singletons-base	Data.Maybe.Singletons

   No documentation available.

10. type family Maybe_Sym3 (a6989586621679585935 :: b) (a6989586621679585936 :: a ~> b) (a6989586621679585937 :: Maybe a) :: b

    singletons-base	Data.Maybe.Singletons

    No documentation available.

Page 13 of many | Previous | Next