Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

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

    type-fun TypeFun.Data.Maybe

    No documentation available.

  2. data MaybePlaceholder e

    Agda Agda.Syntax.Common

    Placeholders are used to represent the underscores in a section.

  3. MaybeFree :: MetaSet -> IsFree

    Agda Agda.TypeChecking.Free.Reduce

    No documentation available.

  4. MaybeProjection :: ProjectionLikenessMissing

    Agda Agda.TypeChecking.Monad.Base

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

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

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  6. data MaybeReduced a

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  7. type MaybeReducedArgs = [MaybeReduced Arg Term]

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  8. type MaybeReducedElims = [MaybeReduced Elim]

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  9. newtype MaybeNA a

    bloodhound Database.Bloodhound.Common.Types

    No documentation available.

  10. MaybeNA :: Maybe a -> MaybeNA a

    bloodhound Database.Bloodhound.Common.Types

    No documentation available.

Page 94 of many | Previous | Next