Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. type family ShowOperators (ops :: [Symbol]) :: ErrorMessage

    optics-core Optics.Internal.Optic.TypeLevel

    No documentation available.

  2. type family ShowSymbolWithOrigin (symbol :: Symbol) (origin :: Symbol) :: ErrorMessage

    optics-core Optics.Internal.Optic.TypeLevel

    No documentation available.

  3. type family ShowSymbolsWithOrigin (fs :: [(Symbol, Symbol)]) :: ErrorMessage

    optics-core Optics.Internal.Optic.TypeLevel

    No documentation available.

  4. 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)'

  5. type ShowS = String -> String

    Cabal-syntax Distribution.Compat.Prelude

    No documentation available.

  6. module Text.XML.HXT.DOM.ShowXml

    XML tree conversion to external string representation

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

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

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

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

    singletons Data.Singletons.Sigma

    No documentation available.

Page 194 of many | Previous | Next