Hoogle Search

Within LTS Haskell 24.43 (ghc-9.10.3)

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

  1. parseWBOByteString :: ByteString -> Either String SoftFormula

    pseudo-boolean Data.PseudoBoolean.Attoparsec

    Parse a WBO format string containing weighted boolean optimization problem.

  2. toOPBByteString :: Formula -> ByteString

    pseudo-boolean Data.PseudoBoolean.ByteStringBuilder

    Generate a OPB format byte-string containing pseudo boolean problem.

  3. toWBOByteString :: SoftFormula -> ByteString

    pseudo-boolean Data.PseudoBoolean.ByteStringBuilder

    Generate a WBO format byte-string containing weighted boolean optimization problem.

  4. parseOPBByteString :: String -> ByteString -> Either ParseError Formula

    pseudo-boolean Data.PseudoBoolean.Megaparsec

    Parse a OPB format lazy bytestring containing pseudo boolean problem.

  5. parseWBOByteString :: String -> ByteString -> Either ParseError SoftFormula

    pseudo-boolean Data.PseudoBoolean.Megaparsec

    Parse a WBO format lazy bytestring containing pseudo boolean problem.

  6. parseOPBByteString :: SourceName -> ByteString -> Either ParseError Formula

    pseudo-boolean Data.PseudoBoolean.Parsec

    Parse a OPB format lazy bytestring containing pseudo boolean problem.

  7. parseWBOByteString :: SourceName -> ByteString -> Either ParseError SoftFormula

    pseudo-boolean Data.PseudoBoolean.Parsec

    Parse a WBO format lazy bytestring containing pseudo boolean problem.

  8. buildByteString :: Build1 -> ByteString

    radix-tree Data.Radix1Tree.Word8.Key

    Convert the key into a non-empty strict ByteString.

  9. buildShortByteString :: Build1 -> ShortByteString

    radix-tree Data.Radix1Tree.Word8.Key

    Convert the key into a non-empty ShortByteString.

  10. unsafeFeedByteString :: ByteString -> Feed1

    radix-tree Data.Radix1Tree.Word8.Key.Unsafe

    Convert a strict ByteString into a key. The ByteString is assumed to be non-empty.

Page 97 of many | Previous | Next