Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. showProof :: ShowLines ex => String -> Proof ex -> String

   swish	Swish.Proof

   Returns a simple string representation of a proof.

2. showsFormula :: ShowLines ex => String -> Formula ex -> ShowS

   swish	Swish.Proof

   Create a displayable form of a labelled formula

3. showsProof :: ShowLines ex => String -> Proof ex -> ShowS

   swish	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:

   1. 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,
   2. the supplied newline string is used to separate lines of the formatted text, and may include any desired indentation, and
   3. no newline is output following the final line of text.

4. showsFormula :: ShowLines ex => String -> Formula ex -> ShowS

   swish	Swish.Rule

   Create a displayable form of a labelled formula

5. showsFormulae :: ShowLines ex => String -> [Formula ex] -> String -> ShowS

   swish	Swish.Rule

   Return a displayable form of a list of labelled formulae

6. showsWidth :: Int -> String -> ShowS

   swish	Swish.Rule

   Show a string left justified in a field of at least the specified number of characters width.

7. showAsPlainText :: Integral a => SymopGeom a -> String

   symmetry-operations-symbols	Data.Matrix.SymmetryOperationsSymbols.PlainText

   No documentation available.

8. showABC :: ABC -> String

   symmetry-operations-symbols	Data.Matrix.SymmetryOperationsSymbols.SymopGeom

   No documentation available.

9. showDGN :: DGN -> String

   symmetry-operations-symbols	Data.Matrix.SymmetryOperationsSymbols.SymopGeom

   No documentation available.

10. showSymbol :: NFold -> String

    symmetry-operations-symbols	Data.Matrix.SymmetryOperationsSymbols.SymopGeom

    No documentation available.

Page 161 of many | Previous | Next