majorPrefix | Ideas.Common.Strategy.Parsing, Ideas.Common.Strategy, Ideas.Common.Library |
makeAssociative | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
makeBinding | Ideas.Common.Environment, Ideas.Common.Library |
makeDecoder | Ideas.Encoding.Encoder |
makeDocumentation | Ideas.Main.Documentation |
makeEncoder | Ideas.Encoding.Encoder |
makeEnvironment | Ideas.Common.Environment, Ideas.Common.Library |
makeExercise | Ideas.Common.Exercise, Ideas.Common.Library |
makeHorizontal | Ideas.Common.Traversal.Navigator |
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 |
makeOptions | Ideas.Encoding.Encoder |
MakePages | Ideas.Main.Options |
makePostOrder | Ideas.Common.Traversal.Navigator |
makePrefix | Ideas.Common.Strategy.Parsing |
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 | Ideas.Service.State |
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 |
makeView | Ideas.Common.View, Ideas.Common.Library |
makeXML | Ideas.Text.XML |
many | |
1 (Function) | Ideas.Encoding.Encoder |
2 (Function) | Ideas.Text.Parsing |
3 (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.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
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 |
mapWithIndex | Ideas.Common.Strategy.Choice |
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 |
mconcat | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
Medium | Ideas.Common.Exercise, Ideas.Common.Library |
mempty | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
Menu | Ideas.Common.Strategy.Choice |
menu | Ideas.Common.Strategy.Sequence, Ideas.Common.Strategy.Process |
MenuItem | Ideas.Common.Strategy.Sequence |
menuItem | Ideas.Common.Strategy.Sequence |
mergeMaybeSteps | Ideas.Common.DerivationTree |
Message | |
1 (Type/Class) | Ideas.Common.Utils.TestSuite |
2 (Type/Class) | Ideas.Service.FeedbackText |
3 (Type/Class) | Ideas.Service.FeedbackScript.Analysis |
message | Ideas.Common.Utils.TestSuite |
messageLines | Ideas.Common.Utils.TestSuite |
metaInRewriteRule | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
metaServiceList | Ideas.Service.ServiceList, Ideas.Main.Default |
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 |
microsteps | Ideas.Service.State |
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 |
mondrian | Ideas.Text.Parsing |
mondrianDef | Ideas.Text.Parsing |
Monoid | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Algebra.Group, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
monoidLaws | Ideas.Common.Algebra.GroupLaws |
MonoidZero | Ideas.Common.Algebra.Group |
monoidZeroLaws | Ideas.Common.Algebra.GroupLaws |
motivation | Ideas.Service.FeedbackScript.Run |
MotivationIs | Ideas.Service.FeedbackScript.Syntax |
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 |