Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. MaybeGivenEqs :: HasGivenEqs

   ghc-lib-parser	GHC.Tc.Types.Constraint

   No documentation available.

2. data MaybeFin# (a :: Nat)

   natural-arithmetic	Arithmetic.Types

   Either a Fin# or Nothing. Internally, this uses negative one to mean Nothing.

3. data MaybeFin32# (a :: Nat)

   natural-arithmetic	Arithmetic.Types

   No documentation available.

4. pattern MaybeFin32Just# :: Fin32# n -> MaybeFin32# n

   natural-arithmetic	Arithmetic.Types

   No documentation available.

5. pattern MaybeFin32Nothing# :: MaybeFin32# n

   natural-arithmetic	Arithmetic.Types

   No documentation available.

6. pattern MaybeFinJust# :: Fin# n -> MaybeFin# n

   natural-arithmetic	Arithmetic.Types

   No documentation available.

7. pattern MaybeFinNothing# :: MaybeFin# n

   natural-arithmetic	Arithmetic.Types

   No documentation available.

8. newtype MaybeFin# (a :: Nat)

   natural-arithmetic	Arithmetic.Unsafe

   Either a Fin# or Nothing. Internally, this uses negative one to mean Nothing.

9. MaybeFin# :: forall (a :: Nat) . Int# -> MaybeFin# a

   natural-arithmetic	Arithmetic.Unsafe

   No documentation available.

10. newtype MaybeFin32# (a :: Nat)

    natural-arithmetic	Arithmetic.Unsafe

    No documentation available.

Page 94 of many | Previous | Next