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.
showSF :: (Show a, Show b) => SF a b -> Stringstep-function Data.Function.Step Show SF as Haskell code
showSF :: (Show a, Show b) => SF a b -> Stringstep-function Data.Function.Step.Discrete.Closed Show SF as Haskell code
showSF :: (Show a, Show b) => SF a b -> Stringstep-function Data.Function.Step.Discrete.Open Show SF as Haskell code
-
streamly Streamly.Internal.FileSystem.Event Convert an Event record to a String representation. Note that the output of this function may be different on different platforms because it may contain platform specific details. Internal
-
streamly Streamly.Internal.FileSystem.Event.Linux Convert an Event record to a String representation.
showOutputable :: Outputable a => a -> Stringstylish-haskell Language.Haskell.Stylish.GHC No documentation available.
showls :: ShowLines sh => String -> sh -> ShowSswish Data.String.ShowLines Multi-line value display method Create a multiline displayable form of a value, returned as a ShowS value. The default implementation behaves just like a normal instance of Show. This function is intended to allow the calling function some control of multiline displays by providing:
- the first line of the value is not preceded by any text, so it may be appended to some preceding text on the same line,
- the supplied line break string is used to separate lines of the formatted text, and may include any desired indentation, and
- no newline is output following the final line of text.
showProof :: ShowLines ex => String -> Proof ex -> Stringswish Swish.Proof Returns a simple string representation of a proof.
showsFormula :: ShowLines ex => String -> Formula ex -> ShowSswish Swish.Proof Create a displayable form of a labelled formula
showsProof :: ShowLines ex => String -> Proof ex -> ShowSswish Swish.Proof Create a displayable form of a proof, returned as a ShowS value. This function is intended to allow the calling function some control of multiline displays by providing:
- the first line of the proof is not preceded by any text, so it may be appended to some preceding text on the same line,
- the supplied newline string is used to separate lines of the formatted text, and may include any desired indentation, and
- no newline is output following the final line of text.