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.
parseWBOByteString :: ByteString -> Either String SoftFormulapseudo-boolean Data.PseudoBoolean.Attoparsec Parse a WBO format string containing weighted boolean optimization problem.
toOPBByteString :: Formula -> ByteStringpseudo-boolean Data.PseudoBoolean.ByteStringBuilder Generate a OPB format byte-string containing pseudo boolean problem.
toWBOByteString :: SoftFormula -> ByteStringpseudo-boolean Data.PseudoBoolean.ByteStringBuilder Generate a WBO format byte-string containing weighted boolean optimization problem.
parseOPBByteString :: String -> ByteString -> Either ParseError Formulapseudo-boolean Data.PseudoBoolean.Megaparsec Parse a OPB format lazy bytestring containing pseudo boolean problem.
parseWBOByteString :: String -> ByteString -> Either ParseError SoftFormulapseudo-boolean Data.PseudoBoolean.Megaparsec Parse a WBO format lazy bytestring containing pseudo boolean problem.
parseOPBByteString :: SourceName -> ByteString -> Either ParseError Formulapseudo-boolean Data.PseudoBoolean.Parsec Parse a OPB format lazy bytestring containing pseudo boolean problem.
parseWBOByteString :: SourceName -> ByteString -> Either ParseError SoftFormulapseudo-boolean Data.PseudoBoolean.Parsec Parse a WBO format lazy bytestring containing pseudo boolean problem.
buildByteString :: Build1 -> ByteStringradix-tree Data.Radix1Tree.Word8.Key Convert the key into a non-empty strict ByteString.
buildShortByteString :: Build1 -> ShortByteStringradix-tree Data.Radix1Tree.Word8.Key Convert the key into a non-empty ShortByteString.
unsafeFeedByteString :: ByteString -> Feed1radix-tree Data.Radix1Tree.Word8.Key.Unsafe Convert a strict ByteString into a key. The ByteString is assumed to be non-empty.