Documentation

justMeetPopularity :: Maybe Int -> Int Source #

justMeetLength :: Maybe Int -> Int Source #

isStepFileName :: FilePath -> Bool Source #

clearedStepsDir :: Maybe FilePath -> IO () Source #

saveStepFunc :: Maybe FilePath -> PrintContext -> [Expression] -> [Expression] -> IO SaveStepFunc Source #

withEvalFunc :: forall a. Maybe FilePath -> PrintContext -> (SaveEvalFunc -> IO a) -> IO a Source #

withEvalFunc' :: forall a. Maybe FilePath -> PrintContext -> (SaveEvalFunc -> IO a) -> IO a Source #

lambdasOf :: Maybe FilePath -> IO Lambdas Source #

started :: Expression -> ReduceContext -> IO () Source #

heading :: SaveEvalFunc -> PrintContext -> Judgment -> Expression -> IO () Source #

flattened :: PrintContext -> Expression -> IO String Source #

salted :: PrintContext -> Expression -> IO String Source #

headerOf :: [String] -> Maybe FilePath -> String -> Expression -> Maybe FilePath -> Lambdas -> IO Header Source #

aimed :: PrintContext -> Judgment -> Header -> Maybe String -> Expression -> ReduceContext -> IO (Expression, ReduceContext) Source #

readInput :: Maybe FilePath -> IO String Source #

withoutBOM :: String -> String Source #

parseInput :: String -> IOFormat -> Form -> IO Expression Source #

parseInputWithAtoms :: String -> IOFormat -> Form -> IO (Expression, Atoms) Source #

printRewrittens :: PrintContext -> Rewrittens' -> IO String Source #

printAnswer :: PrintContext -> Expression -> IO String Source #

printFocused :: PrintContext -> Expression -> IO String Source #

filteredAt :: Expression -> Expression -> [Expression] -> [Expression] -> Expression -> IO Expression Source #

printExpression :: PrintContext -> Expression -> IO String Source #

printInFormat :: PrintContext -> Expression -> IO String Source #

printPhi :: PrintContext -> Expression -> String Source #

hidden :: PrintContext -> SugarType -> EXPRESSION -> EXPRESSION Source #

printCtxToLatexCtx :: PrintContext -> LatexContext Source #

getRules :: Bool -> Bool -> [FilePath] -> IO [Rule] Source #

loadRule :: FilePath -> IO Rule Source #

validateRewriteRule :: Rule -> IO Rule Source #

printOut :: Maybe FilePath -> String -> IO () Source #

engine :: IO Engine Source #