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. MaybeColumn :: ColumnType -> ColumnType

   cql	Database.CQL.Protocol.Internal

   No documentation available.

2. type MaybeMemberAt (n :: Nat) (x :: k) (xs :: [k]) = (NatToInt n, KindAtPositionIs n x xs)

   data-diverse	Data.Diverse.TypeLevel

   Ensures that x is a member of xs at n if it exists, and that natToInt can be used.

3. type MaybeUniqueMember (x :: k) (xs :: [k]) = (Unique x xs, NatToInt PositionOf x xs)

   data-diverse	Data.Diverse.TypeLevel

   Ensures that x is a unique member of xs if it exists, and that natToInt can be used.

4. newtype MaybeF (f :: k -> Type) (a :: k)

   functor-combinators	Control.Applicative.ListF

   A maybe f a. Can be useful for describing a "an f a that may or may not be there". This is the free structure for a "fail"-like typeclass that would only have zero :: f a.

5. MaybeF :: Maybe (f a) -> MaybeF (f :: k -> Type) (a :: k)

   functor-combinators	Control.Applicative.ListF

   No documentation available.

6. newtype MaybeF (f :: k -> Type) (a :: k)

   functor-combinators	Data.Functor.Combinator

   A maybe f a. Can be useful for describing a "an f a that may or may not be there". This is the free structure for a "fail"-like typeclass that would only have zero :: f a.

7. MaybeF :: Maybe (f a) -> MaybeF (f :: k -> Type) (a :: k)

   functor-combinators	Data.Functor.Combinator

   No documentation available.

8. data Maybe1 (f :: k -> Type) (a :: k)

   reflex-dom-core	Reflex.Dom.Builder.Immediate

   No documentation available.

9. MaybeAccess :: Op

   sbv	Data.SBV.Internals

   No documentation available.

10. MaybeConstructor :: Kind -> Bool -> Op

    sbv	Data.SBV.Internals

    No documentation available.

Page 22 of many | Previous | Next