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.

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

    singletons-base Prelude.Singletons

    No documentation available.

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

    singletons-base Prelude.Singletons

    No documentation available.

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

    singletons-base Prelude.Singletons

    No documentation available.

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

    singletons-base Prelude.Singletons

    No documentation available.

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

    singletons-base Prelude.Singletons

    No documentation available.

  6. data MaybeDefault v

    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.

  7. data MaybeS v

    parameterized-utils Data.Parameterized.Utils.BinTree

    A strict version of Maybe

  8. data MaybeO (ex :: Extensibility) t

    ghc-lib-parser GHC.Cmm.Dataflow.Block

    Maybe type indexed by open/closed

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

    ghc-lib-parser GHC.Core.Unify

    No documentation available.

  10. data MaybeApartReason

    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.

Page 14 of many | Previous | Next