-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | A tool to convert symbolic regression expressions into different formats. -- -- A pandoc-like cli tool and library to convert symbolic regression -- expressions to convenient formats @package pandoc-symreg @version 0.2.1.3 module Data.SRTree.EqSat simplifyEqSat :: Fix SRTree -> Fix SRTree instance Data.Functor.Classes.Show1 Data.SRTree.Internal.SRTree instance GHC.Num.Num (Data.Equality.Matching.Pattern.Pattern Data.SRTree.Internal.SRTree) instance GHC.Real.Fractional (Data.Equality.Matching.Pattern.Pattern Data.SRTree.Internal.SRTree) instance GHC.Float.Floating (Data.Equality.Matching.Pattern.Pattern Data.SRTree.Internal.SRTree) instance Data.Equality.Analysis.Analysis (GHC.Maybe.Maybe GHC.Types.Double) Data.SRTree.Internal.SRTree instance Data.Equality.Language.Language Data.SRTree.Internal.SRTree instance Data.Functor.Classes.Ord1 Data.SRTree.Internal.SRTree instance Data.Functor.Classes.Eq1 Data.SRTree.Internal.SRTree instance Data.Foldable.Foldable Data.SRTree.Internal.SRTree instance Data.Traversable.Traversable Data.SRTree.Internal.SRTree module Text.ParseSR -- | Calls the corresponding parser for a given SRAlgs parseSR :: SRAlgs -> ByteString -> Bool -> ByteString -> Either String (Fix SRTree) -- | Returns the corresponding function from Data.SRTree.Print for a given -- Output. showOutput :: Output -> Fix SRTree -> String -- | Supported algorithms. data SRAlgs TIR :: SRAlgs HL :: SRAlgs OPERON :: SRAlgs BINGO :: SRAlgs GOMEA :: SRAlgs PYSR :: SRAlgs SBP :: SRAlgs EPLEX :: SRAlgs -- | Supported outputs. data Output PYTHON :: Output MATH :: Output TIKZ :: Output LATEX :: Output instance GHC.Enum.Bounded Text.ParseSR.SRAlgs instance GHC.Enum.Enum Text.ParseSR.SRAlgs instance GHC.Read.Read Text.ParseSR.SRAlgs instance GHC.Show.Show Text.ParseSR.SRAlgs instance GHC.Enum.Bounded Text.ParseSR.Output instance GHC.Enum.Enum Text.ParseSR.Output instance GHC.Read.Read Text.ParseSR.Output instance GHC.Show.Show Text.ParseSR.Output module Text.ParseSR.IO withInput :: String -> SRAlgs -> String -> Bool -> Bool -> IO [Either String (Fix SRTree)] withOutput :: String -> Output -> [Either String (Fix SRTree)] -> IO () withOutputDebug :: String -> Output -> [Either String (Fix SRTree, Fix SRTree)] -> IO ()