Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. module Data.Singletons.ShowSing

   Defines the class ShowSing which is useful for defining Show instances for singleton types. Because ShowSing crucially relies on QuantifiedConstraints, it is only defined if this library is built with GHC 8.6 or later.

2. class Show Apply f x => ShowApply' (f :: a ~> Type) (x :: a)

   singletons	Data.Singletons.Sigma

   No documentation available.

3. class Show Sing z => ShowSingApply' (f :: a ~> Type) (x :: a) (z :: Apply f x)

   singletons	Data.Singletons.Sigma

   No documentation available.

4. class ShowF (f :: k -> Type) (a :: k)

   vinyl	Data.Vinyl.CoRec

   Helper for writing a Show instance for CoRec. This lets us ask for a Show constraint on the type formed by applying a type constructor to a type index.

5. ShowType :: t -> ErrorMessage

   first-class-families	Fcf.Utils

   Pretty print the type. ShowType :: k -> ErrorMessage

6. type family ShowChar (a :: Char) (a1 :: Symbol) :: Symbol

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

7. data ShowCharSym0 (a :: TyFun Char Symbol ~> Symbol)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

8. data ShowCharSym1 (a6989586621680223103 :: Char) (b :: TyFun Symbol Symbol)

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

9. type family ShowCharSym2 (a6989586621680223103 :: Char) (a6989586621680223104 :: Symbol) :: Symbol

   singletons-base	Data.Singletons.Base.TH

   No documentation available.

10. type family ShowCommaSpace (a :: Symbol) :: Symbol

    singletons-base	Data.Singletons.Base.TH

    No documentation available.

Page 194 of many | Previous | Next