Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. elimSum :: forall a (p :: Sum a ~> Type) (s :: Sum a) . Sing s -> (forall (f0 :: a) . () => Sing f0 -> Apply p ('Sum f0)) -> Apply p s

   eliminators	Data.Eliminator.Semigroup

   No documentation available.

2. hCheckSum_Adjust :: TT_Header -> FT_Long

   freetype2	FreeType.Format.TrueType

   No documentation available.

3. package from-sum

   Combinators for working with Maybe and Either Provides many functions for working with Maybe and Either, including canonical fromMaybeM and fromEitherM functions. Please see README.md.

4. module Control.FromSum

   This Haskell module exports various "from" functions for Either and Maybe.

5. data ArborifySum (n :: Nat) (f :: k -> Type) (a :: k -> Type)

   generic-data-surgery	Generic.Data.Surgery.Internal

   No documentation available.

6. class GArborifySum (f :: k -> Type) (tl :: k -> Type)

   generic-data-surgery	Generic.Data.Surgery.Internal

   No documentation available.

7. class GLinearizeSum (f :: k -> Type) (tl :: k -> Type)

   generic-data-surgery	Generic.Data.Surgery.Internal

   No documentation available.

8. type family LinearizeSum (f :: k -> Type) (tl :: k -> Type) :: k -> Type

   generic-data-surgery	Generic.Data.Surgery.Internal

   No documentation available.

9. gArborifySum :: forall (x :: k) . GArborifySum f tl => LinearizeSum f tl x -> Either (f x) (tl x)

   generic-data-surgery	Generic.Data.Surgery.Internal

   No documentation available.

10. gLinearizeSum :: forall (x :: k) . GLinearizeSum f tl => Either (f x) (tl x) -> LinearizeSum f tl x

    generic-data-surgery	Generic.Data.Surgery.Internal

    No documentation available.

Page 209 of many | Previous | Next