!PL=F      !"#$%&'()*+,-./0123456789:;<=>?@ABCDENone &'.@AEHUVXX mini-egisonAxioms for heterogeneous lists. mini-egisonHeterogeneous lists. mini-egisonA stack of matching atoms mini-egisonA matching atom. ctx- is a intermediate pattern-matching result. vsT is a list of types bound to the pattern variables by processing this matching atom.  mini-egisonvA matching state. A matching state consists of an intermediate pattern-matching result and a stack of matching atoms.  mini-egison:A match clause of a match expression whose target data is a and matcher is m0. The body of the match clause is evaluated to b.  mini-egisonThe Matcher class is used to declare that m! is a matcher for data of a type a. mini-egisonA pattern for data of a type a for a matcher m. ctxu is an intermediate pattern-matching result that is a type of a list of data bound in the left-side of the pattern. vsC is a list of types bound to the pattern variables in this pattern. mini-egisonUser-defined pattern; pattern is a function that takes a target, an intermediate pattern-matching result, and a matcher and returns a list of lists of matching atoms. mini-egison(Concatenate two lists of matching atoms. mini-egison(Create a list of a single matching atom. mini-egison$Create a list of two matching atoms. mini-egison&Create a list of three matching atoms. mini-egison$Concatenate two heterogeneous lists.  None&'.UV( mini-egisonmatchAll: takes a target, a matcher, and a list of match clauses. matchAll collects all the pattern-matching results and returns a list of the results evaluating the body expression for each pattern-matching result. matchAllE traverses a search tree for pattern matching in breadth-first order. mini-egisonmatch: takes a target, a matcher, and a list of match clauses. match calculates only the first pattern-matching result and returns the results evaluating the body expression for the first pattern-matching result. matchE traverses a search tree for pattern matching in breadth-first order. mini-egison matchAllDFS is much similar to matchAllG but traverses a search tree for pattern matching in depth-first order. mini-egisonmatchDFS is much similar to matchG but traverses a search tree for pattern matching in depth-first order.NoneP9o mini-egison+A quasiquoter for rewriting a match clause. Wildcards'A match clause that contains a wildcard [mc| _ => "Matched" |]is rewrited to 5MatchClause Wildcard (\HNil -> "Matched")Pattern variables/A match clause that contains a pattern variable [mc| $x => x |]is rewrited to 9MatchClause (PatVar "x") (\HCons x HNil -> x)Value patterns,A match clause that contains a value pattern D[mc| cons $x (cons $y (cons #(x + 1) (cons $z nil))) => (x, y, z) |]is rewrited to MatchClause (cons (PatVar "x") (cons (PatVar "y") (cons (ValuePat (\HCons x (HCons (y HNil)) -> x + 1)) (cons (PatVar "z") nil)))) (\HCons x (HCons (y (HCons z HNil))) -> (x, y, z)) And-patterns+A match clause that contains an and-pattern [mc| (& (cons _ _) $x) => x |]is rewrited to [MatchClause (AndPat (cons Wildcard Wildcard) (PatVar "x")) (\HCons x HNil -> x) Or-patterns*A match clause that contains an or-pattern '[mc| (| nil (cons _ _)) => "Matched" |]is rewrited to QMatchClause (OrPat nil (cons Wildcard Wildcard)) (\HNil -> "Matched")None &'.=?@AUVJ  mini-egisona matcher for a set." mini-egisona matcher for a multiset. When we regard a collection as a multiset, the order of elements is ignored but the number of times an element appears in the collection is counted.$ mini-egisona matcher for a list.& mini-egisonPatterns for collections.' mini-egisonThe nil% pattern matches an empty collection.( mini-egisonThe consG pattern decomposes a collection into an element and the rest elements.) mini-egisonThe join6 pattern decomposes a collection into two collections.* mini-egisonA matcher for a pair of data., mini-egison A pattern constructor for pairs.. mini-egisonA matcher for integers. The IntegerH matcher can handle a pattern variable, a wildcard, and a value pattern.0 mini-egison/A matcher for data types that are instances of Eq. The EqlH matcher can handle a pattern variable, a wildcard, and a value pattern.2 mini-egisonValue patterns.4 mini-egison!Something built-in matcher. The  Something; matcher can handle only a pattern variable and a wildcard. !"#$%&)('*+,-./012345452301./,-*+&)('$%"# !NoneK6  !"#$%&)('*+,-./012345SafeLFGHIJKLMN      !"##$$%%&'()**+,--../01123456789:;<=>?@ABCDEFGHIJ'mini-egison-0.1.4-qnUvhy39NS2dvfcagjUhHControl.Egison.CoreControl.Egison.MatchControl.Egison.QQControl.Egison.MatcherControl.EgisonPaths_mini_egison:++:HListHNilHConsMListMNilMConsMAtomMState MatchClauseMatcherPatternWildcardPatVarAndPatOrPatNotPat PredicatePatmappendoneMAtom twoMAtoms threeMAtomshappendmatchAllmatch matchAllDFSmatchDFSmcSetMultisetList CollectionPatnilconsjoinPairPairPatpairIntegerEqlValuePatvaluePat Something$fMatcherSomethinga$fValuePatEqla $fMatcherEqla$fValuePatIntegera$fMatcherIntegera$fMatcherPair(,)$fPairPatPair(,)$fCollectionPatList[]$fValuePatList[]$fMatcherList[]$fCollectionPatMultiset[]$fValuePatMultiset[]$fMatcherMultiset[]$fCollectionPatSet[]$fValuePatSet[]$fMatcherSet[]version getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName