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.

Exact lookup

1. MaybeIs :: Kind -> Bool -> Op

   sbv	Data.SBV.Internals

   No documentation available.

2. data Maybe' a

   streamly-core	Streamly.Internal.Data.Maybe.Strict

   A strict Maybe

3. type MaybePropertyMap a b = Map a Maybe Seq b

   tree-fun	Math.TreeFun.Types

   No documentation available.

4. type family MaybeCase (a :: Maybe k) (nothing :: r) (just :: k -> r) :: r

   type-fun	TypeFun.Data.Maybe

   No documentation available.

5. data MaybePlaceholder e

   Agda	Agda.Syntax.Common

   Placeholders are used to represent the underscores in a section.

6. MaybeFree :: MetaSet -> IsFree

   Agda	Agda.TypeChecking.Free.Reduce

   No documentation available.

7. MaybeProjection :: ProjectionLikenessMissing

   Agda	Agda.TypeChecking.Monad.Base

   Projection-likeness analysis has not run on this function yet. It may do so in the future.

8. MaybeRed :: IsReduced -> a -> MaybeReduced a

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. data MaybeReduced a

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. type MaybeReducedArgs = [MaybeReduced Arg Term]

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 23 of many | Previous | Next