{-# OPTIONS_GHC -Wall #-}
module ToySolver.Text.GCNF {-# DEPRECATED "Use ToySolver.FileFormat.CNF instead" #-}
(
GCNF (..)
, GroupIndex
, GClause
, parseByteString
, parseFile
, writeFile
, hPutGCNF
, gcnfBuilder
) where
import Prelude hiding (writeFile)
import Data.ByteString.Builder
import qualified Data.ByteString.Lazy.Char8 as BL
import System.IO hiding (writeFile)
import ToySolver.FileFormat.CNF
{-# DEPRECATED parseByteString "Use FileFormat.parse instead" #-}
parseByteString :: BL.ByteString -> Either String GCNF
parseByteString :: ByteString -> Either String GCNF
parseByteString = ByteString -> Either String GCNF
forall a. FileFormat a => ByteString -> Either String a
parse
{-# DEPRECATED gcnfBuilder "Use FileFormat.render instead" #-}
gcnfBuilder :: GCNF -> Builder
gcnfBuilder :: GCNF -> Builder
gcnfBuilder = GCNF -> Builder
forall a. FileFormat a => a -> Builder
render
{-# DEPRECATED hPutGCNF "Use FileFormat.render instead" #-}
hPutGCNF :: Handle -> GCNF -> IO ()
hPutGCNF :: Handle -> GCNF -> IO ()
hPutGCNF Handle
h GCNF
gcnf = Handle -> Builder -> IO ()
hPutBuilder Handle
h (GCNF -> Builder
gcnfBuilder GCNF
gcnf)