makeAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
makeBinding | Ideas.Common.Environment, Ideas.Common.Library |
makeContext | Ideas.Common.Exercise, Ideas.Common.Library |
makeDocumentation | Ideas.Main.Documentation |
makeEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
makeExercise | Ideas.Common.Exercise, Ideas.Common.Library |
makeHorizontal | Ideas.Common.Traversal.Navigator |
makeInfo | Ideas.Common.Strategy.Abstract |
makeLabeledStrategy | Ideas.Common.Strategy.Abstract |
makeLeafs | Ideas.Common.Traversal.Navigator |
makeLevelOrder | Ideas.Common.Traversal.Navigator |
makeMatcher | Ideas.Common.View, Ideas.Common.Library |
makeMirror | Ideas.Common.Traversal.Utils |
makeNoState | Ideas.Service.State |
MakePages | Ideas.Main.Options |
makePostOrder | Ideas.Common.Traversal.Navigator |
makePrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
makePreOrder | Ideas.Common.Traversal.Navigator |
makeRecognizer | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
makeRecognizerEnvMonad | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
makeRecognizerTrans | Ideas.Common.Rule.Recognizer, Ideas.Common.Rule, Ideas.Common.Library |
makeRef | Ideas.Common.Environment, Ideas.Common.Library |
makeRefList | Ideas.Common.Environment, Ideas.Common.Library |
makeRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
makeRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
makeScript | Ideas.Service.FeedbackScript.Syntax |
MakeScriptFor | Ideas.Main.Options |
makeScriptFor | Ideas.Service.FeedbackScript.Analysis |
makeService | Ideas.Service.Types |
makeState | |
1 (Function) | Ideas.Common.Strategy.Parsing |
2 (Function) | Ideas.Service.State |
makeStrategyConfiguration | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
makeSummary | Ideas.Common.Utils.TestSuite |
makeSymbol | Ideas.Text.OpenMath.Symbol |
makeText | Ideas.Service.FeedbackScript.Syntax |
MakeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
makeTrans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
makeTransLiftContext | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
makeTransLiftContext_ | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
makeTree | Ideas.Common.DerivationTree, Ideas.Common.Library |
makeView | Ideas.Common.View, Ideas.Common.Library |
makeXML | Ideas.Text.XML |
Many | Ideas.Common.Strategy.Core |
many | |
1 (Function) | Ideas.Text.Parsing |
2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
many1 | |
1 (Function) | Ideas.Text.Parsing |
2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
manyTill | Ideas.Text.Parsing |
mapBoth | Ideas.Common.Classes, Ideas.Common.Library |
mapExamples | Ideas.Common.Exercise, Ideas.Common.Library |
mapFirst | Ideas.Common.Classes, Ideas.Common.Library |
mapLaw | Ideas.Common.Algebra.Law |
mappend | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
mapRules | Ideas.Common.Strategy.Abstract |
mapRulesS | Ideas.Common.Strategy.Abstract |
mapSecond | Ideas.Common.Classes, Ideas.Common.Library |
mapSize | Ideas.Common.Utils.QuickCheck |
mapSymbol | Ideas.Text.OpenMath.Dictionary.List1 |
mapWrapper | Ideas.Common.Traversal.Utils |
Match | Ideas.Common.Rewriting.Unification |
match | |
1 (Function) | Ideas.Common.View, Ideas.Common.Library |
2 (Function) | Ideas.Common.Rewriting.Unification |
Matcher | Ideas.Common.View, Ideas.Common.Library |
matcher | Ideas.Common.View, Ideas.Common.Library |
matcherView | Ideas.Common.View, Ideas.Common.Library |
matchExtended | Ideas.Common.Rewriting.Unification |
matchList | Ideas.Common.Rewriting.Unification |
matchM | Ideas.Common.View, Ideas.Common.Library |
matrixrowSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
matrixSymbol | Ideas.Text.OpenMath.Dictionary.Linalg2 |
maxDiscardRatio | Ideas.Common.Utils.QuickCheck |
maxSize | Ideas.Common.Utils.QuickCheck |
maxSuccess | Ideas.Common.Utils.QuickCheck |
maybeEncoder | Ideas.Encoding.Evaluator |
mconcat | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
Medium | Ideas.Common.Exercise, Ideas.Common.Library |
mempty | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Library, Ideas.Encoding.Evaluator |
mergeMaybeSteps | Ideas.Common.DerivationTree, Ideas.Common.Library |
Message | |
1 (Type/Class) | Ideas.Common.Utils.TestSuite |
2 (Type/Class) | Ideas.Service.FeedbackText |
3 (Type/Class) | Ideas.Service.FeedbackScript.Analysis |
messageLabel | Ideas.Common.Utils.TestSuite |
messages | Ideas.Common.Utils.TestSuite |
metaInRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
metaServiceList | Ideas.Service.ServiceList |
metaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
metaVariables | Ideas.Text.OpenMath.FMP |
metaVars | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
metaVarSet | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
Minor | Ideas.Common.Classes, Ideas.Common.Library |
minor | Ideas.Common.Classes, Ideas.Common.Library |
minorRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
minusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
Mirror | Ideas.Common.Traversal.Utils |
Mixed | Ideas.Text.XML.Document |
MkStr | Ideas.Common.Utils.QuickCheck |
MonadIO | Ideas.Common.Utils.TestSuite |
mondrian | Ideas.Text.Parsing |
mondrianDef | Ideas.Text.Parsing |
Monoid | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Algebra.Group, Ideas.Encoding.Evaluator |
monoidLaws | Ideas.Common.Algebra.GroupLaws |
MonoidZero | Ideas.Common.Algebra.Group |
monoidZeroLaws | Ideas.Common.Algebra.GroupLaws |
mplus | Ideas.Common.Traversal.Utils |
multi | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
Multiplicative | |
1 (Type/Class) | Ideas.Common.Algebra.Field |
2 (Data Constructor) | Ideas.Common.Algebra.Field |
munless | Ideas.Text.XML |
mwhen | Ideas.Text.XML |
mzero | Ideas.Common.Algebra.Group |