Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. pprintKVs :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> Doc

    liquid-fixpoint Language.Fixpoint.Types.PrettyPrint

    No documentation available.

  2. pprintPrec :: PPrint a => Int -> Tidy -> a -> Doc

    liquid-fixpoint Language.Fixpoint.Types.PrettyPrint

    No documentation available.

  3. pprintTidy :: PPrint a => Tidy -> a -> Doc

    liquid-fixpoint Language.Fixpoint.Types.PrettyPrint

    No documentation available.

  4. pprintReft :: (PPrint v, Ord v, Fixpoint v) => Tidy -> ReftV v -> Doc

    liquid-fixpoint Language.Fixpoint.Types.Refinements

    No documentation available.

  5. pprintCBs :: [CoreBind] -> Doc

    liquidhaskell-boot Language.Haskell.Liquid.GHC.Interface

    No documentation available.

  6. module Language.Haskell.Liquid.Types.PrettyPrint

    This module contains a single function that converts a RType -> Doc without using *any* simplifications.

  7. pprintLongList :: PPrint a => Tidy -> [a] -> Doc

    liquidhaskell-boot Language.Haskell.Liquid.Types.PrettyPrint

    No documentation available.

  8. pprintSymbol :: Symbol -> Doc

    liquidhaskell-boot Language.Haskell.Liquid.Types.PrettyPrint

    No documentation available.

  9. class PPrint a

    liquidhaskell-boot Language.Haskell.Liquid.Types.Types

    Implement either pprintTidy or pprintPrec

  10. pprint :: PPrint a => a -> Doc

    liquidhaskell-boot Language.Haskell.Liquid.Types.Types

    Top-level pretty printer

Page 231 of many | Previous | Next