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.

  1. formatManifest :: Manifest -> String

    epub-metadata Codec.Epub.Format.Manifest

    Format an epub Manifest structure for pretty printing

  2. formatMetadata :: Metadata -> String

    epub-metadata Codec.Epub.Format.Metadata

    Format an epub Metadata structure for pretty printing

  3. formatPackage :: Package -> String

    epub-metadata Codec.Epub.Format.Package

    Format an epub Package structure for pretty printing

  4. formatSpine :: Spine -> String

    epub-metadata Codec.Epub.Format.Spine

    Format an epub Spine structure for pretty printing

  5. formatSubline :: String -> Maybe String -> String

    epub-metadata Codec.Epub.Format.Util

    No documentation available.

  6. formulaAnd :: Literal -> [Literal] -> Formula

    ersatz Ersatz.Internal.Formula

    The boolean and operation Derivation of the Tseitin transformation: 

    O ≡ (A & B & C)
(O → (A & B & C)) & (¬O → ¬(A & B & C))
(¬O | (A & B & C)) & (O | ¬(A & B & C))
(¬O | A) & (¬O | B) & (¬O | C) & (O | ¬A | ¬B | ¬C)

  7. formulaEmpty :: Formula

    ersatz Ersatz.Internal.Formula

    A formula with no clauses

  8. formulaFAC :: Literal -> Literal -> Literal -> Literal -> Formula

    ersatz Ersatz.Internal.Formula

    No documentation available.

  9. formulaFAS :: Literal -> Literal -> Literal -> Literal -> Formula

    ersatz Ersatz.Internal.Formula

    No documentation available.

  10. formulaLiteral :: Literal -> Formula

    ersatz Ersatz.Internal.Formula

    Assert a literal

Page 161 of many | Previous | Next