Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. newtype MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Apply

   Transform an Apply into an Applicative by adding a unit.

2. MaybeApply :: Either (f a) a -> MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Apply

   No documentation available.

3. newtype MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Bind

   Transform an Apply into an Applicative by adding a unit.

4. MaybeApply :: Either (f a) a -> MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Bind

   No documentation available.

5. newtype MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Bind.Class

   Transform an Apply into an Applicative by adding a unit.

6. MaybeApply :: Either (f a) a -> MaybeApply (f :: Type -> Type) a

   semigroupoids	Data.Functor.Bind.Class

   No documentation available.

7. data MaybeO (ex :: Extensibility) t

   ghc	GHC.Cmm.Dataflow.Block

   Maybe type indexed by open/closed

8. MaybeApart :: MaybeApartReason -> a -> UnifyResultM a

   ghc	GHC.Core.Unify

   No documentation available.

9. data MaybeApartReason

   ghc	GHC.Core.Unify

   Why are two types MaybeApart? MARInfinite takes precedence: This is used (only) in Note [Infinitary substitution in lookup] in GHC.Core.InstEnv As of Feb 2022, we never differentiate between MARTypeFamily and MARTypeVsConstraint; it's really only MARInfinite that's interesting here.

10. data MaybeErr err val

    ghc	GHC.Data.Maybe

    No documentation available.

Page 14 of many | Previous | Next