phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	Safe-Inferred
Language	Haskell2010

LaTeX

Documentation

explainRules :: [Rule] -> String Source #

explainMorphRules :: [MorphRule] -> String Source #

explainDataizeRules :: [DataizeRule] -> String Source #

explainContextualizeRules :: [ContextualizeRule] -> String Source #

rewrittensToLatex :: Rewrittens' -> LatexContext -> IO String Source #

expressionToLaTeX :: Expression -> LatexContext -> String Source #

defaultLatexContext :: LatexContext Source #

defaultMeetLength :: Int Source #

defaultMeetPopularity :: Int Source #

data LatexContext Source #

Constructors

LatexContext
Fields _sugar :: SugarType _line :: LineFormat _margin :: Int _nonumber :: Bool _compress :: Bool _canonize :: Bool _meetPopularity :: Int _meetLength :: Int _focus :: Expression _expression :: Maybe String _label :: Maybe String _meetPrefix :: Maybe String _headers :: Bool _hideRho :: Bool

meetInExpressions :: [Expression] -> LatexContext -> [Expression] Source #

meetInExpression :: Expression -> Int -> Expression -> [Expression] Source #

conditionToLatex :: Maybe Condition -> String Source #