Hoogle Search

Within LTS Haskell 24.9 (ghc-9.10.2)

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

  1. type ShowTag (tag :: k' -> Type) (f :: k' -> Type) = (GShow tag, Has' Show tag f)

    dependent-sum Data.Dependent.Sum

    Deprecated: Instead of 'ShowTag tag f', use '(GShow tag, Has' Show tag f)'

  2. type ShowS = String -> String

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  3. module Text.XML.HXT.DOM.ShowXml

    XML tree conversion to external string representation

  4. module Test.LeanCheck.Function.ShowFunction

    This module is part of LeanCheck, a simple enumerative property-based testing library. This module exports the ShowFunction typeclass, its instances and related functions. Using this module, it is possible to implement a Show instance for functions: 

    import Test.LeanCheck.ShowFunction
instance (Show a, Listable a, ShowFunction b) => Show (a->b) where
show  =  showFunction 8
    This shows functions as a case pattern with up to 8 cases. It will only work for functions whose ultimate return value is an instance of ShowFunction. This module provides instances for most standard data types (Int, Bool, Maybe, ...). Please see the ShowFunction typeclass documentation for how to declare istances for user-defined data types. The modules Test.LeanCheck.Function and Test.LeanCheck.Function.Show exports an instance like the one above.

  5. class ShowFunction a

    leancheck Test.LeanCheck.Function.ShowFunction

    ShowFunction values are those for which we can return a list of functional bindings. Instances for showable algebraic datatypes are defined using bindtiersShow: 

    instance ShowFunction Ty where bindtiers  =  bindtiersShow

  6. 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.

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

    singletons Data.Singletons.Sigma

    No documentation available.

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

    singletons Data.Singletons.Sigma

    No documentation available.

  9. 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.

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

    singletons-base Data.Singletons.Base.TH

    No documentation available.

Page 18 of many | Previous | Next