Hoogle Search
Within LTS Haskell 24.48 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
linearPrintFirstLine :: FilePath -> IO ()linear-base Simple.FileIO No documentation available.
module Language.Fixpoint.Types.
PrettyPrint No documentation available.
-
liquid-fixpoint Language.Fixpoint.Types.PrettyPrint Implement either pprintTidy or pprintPrec
pprint :: PPrint a => a -> Docliquid-fixpoint Language.Fixpoint.Types.PrettyPrint Top-level pretty printer
pprintKVs :: (PPrint k, PPrint v) => Tidy -> [(k, v)] -> Docliquid-fixpoint Language.Fixpoint.Types.PrettyPrint No documentation available.
pprintPrec :: PPrint a => Int -> Tidy -> a -> Docliquid-fixpoint Language.Fixpoint.Types.PrettyPrint No documentation available.
pprintTidy :: PPrint a => Tidy -> a -> Docliquid-fixpoint Language.Fixpoint.Types.PrettyPrint No documentation available.
pprintReft :: (PPrint v, Ord v, Fixpoint v) => Tidy -> ReftV v -> Docliquid-fixpoint Language.Fixpoint.Types.Refinements No documentation available.
pprintCBs :: [CoreBind] -> Docliquidhaskell-boot Language.Haskell.Liquid.GHC.Interface No documentation available.
module Language.Haskell.Liquid.Types.
PrettyPrint This module contains a single function that converts a RType -> Doc without using *any* simplifications.