Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
Maybe_Sym1 (a6989586621679585733 :: b) (b1 :: TyFun a ~> b Maybe a ~> b)singletons-base Prelude.Singletons No documentation available.
data
Maybe_Sym2 (a6989586621679585733 :: b) (a6989586621679585734 :: a ~> b) (c :: TyFun Maybe a b)singletons-base Prelude.Singletons No documentation available.
-
singletons-base Prelude.Singletons No documentation available.
-
vty Graphics.Vty.Attributes The style and color attributes can either be the terminal defaults. Or be equivalent to the previously applied style. Or be a specific value.
-
parameterized-utils Data.Parameterized.Utils.BinTree A strict version of Maybe
data
MaybeO (ex :: Extensibility) tghc-lib-parser GHC.Cmm.Dataflow.Block Maybe type indexed by open/closed
MaybeApart :: MaybeApartReason -> a -> UnifyResultM aghc-lib-parser GHC.Core.Unify No documentation available.
-
ghc-lib-parser 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.
-
ghc-lib-parser GHC.Data.Maybe No documentation available.
newtype
MaybeT (m :: Type -> Type) aghc-lib-parser GHC.Data.Maybe 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.