úÎ!Ÿš/N      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLM(c) 2010-2012 Patrick BahrBSD3Patrick Bahr <paba@diku.dk> experimentalnon-portable (GHC Extensions)None &'<QSTVhS9compdata-automatayThis type represents transition functions of generalised deterministic top-down tree acceptors (GDTAs) which have accesscompdata-automatabThis type represents transition functions of total, deterministic top-down tree acceptors (DTAs).compdata-automataThis is a variant of the  L type that makes it easier to define DTTs as it avoids the explicit use of N) to inject placeholders into the result. compdata-automatacThis type represents transition functions of total deterministic top-down tree transducers (DTTs). compdata-automata—This type represents transition functions of generalised deterministic bottom-up tree acceptors (GUTAs) which have access to an extended state space. compdata-automatacThis type represents transition functions of total, deterministic bottom-up tree acceptors (UTAs). compdata-automataThis is a variant of the  L type that makes it easier to define UTTs as it avoids the explicit use of N) to inject placeholders into the result. compdata-automataeThis type represents transition functions of total, deterministic bottom-up tree transducers (UTTs).compdata-automataÈThis type represents stateful term homomorphisms. Stateful term homomorphisms have access to a state that is provided (separately) by a bottom-up or top-down state transformation function (or both).compdata-automataHThis function provides access to components of the states from "below".compdata-automataFThis function provides access to components of the state from "above"Ocompdata-automataTurns the explicit parameters ?above and ?below into explicit ones.compdata-automataqThis function turns a stateful homomorphism with a fully polymorphic state type into a (stateless) homomorphism.compdata-automata1This function turns a UTT defined using the type  # in to the canonical form of type  .Pcompdata-automataDThis function transforms a UTT transition function into an algebra.compdata-automata3This function runs the given UTT on the given term.Qcompdata-automataThis function is a variant of 7 that additionally returns the final state of the run.Rcompdata-automataThis function generalises V to contexts. Therefore, additionally, a transition function for the holes is needed.compdata-automata:This function composes two UTTs. (see TATA, Theorem 6.4.5)compdata-automata-This function composes a UTT with an algebra.compdata-automata@This combinator composes a UTT followed by a signature function.compdata-automata@This combinator composes a signature function followed by a UTT.compdata-automata:This combinator composes a UTT followed by a homomorphism.compdata-automata:This combinator composes a homomorphism followed by a UTT.compdata-automata?Changes the state space of the UTA using the given isomorphism.compdata-automataSThis combinator runs the given UTA on a term returning the final state of the run.compdata-automata=This function combines the product UTA of the two given UTAs.compdata-automatasThis function constructs a UTT from a given stateful term homomorphism with the state propagated by the given UTA.compdata-automatasThis function applies a given stateful term homomorphism with a state space propagated by the given UTA to a term.compdata-automataThis is a variant of / that also returns the final state of the run. compdata-automata3This combinator turns an arbitrary UTA into a GUTA.!compdata-automataPThis combinator turns a GUTA with the smallest possible state space into a UTA."compdata-automata&This combinator runs a GUTA on a term.#compdata-automata3This combinator constructs the product of two GUTA.%compdata-automata1This function turns a DTT defined using the type # in to the canonical form of type  .&compdata-automata4Thsis function runs the given DTT on the given tree.Scompdata-automata3This function runs the given DTT on the given tree.'compdata-automata`This function composes two DTTs. (see W.C. Rounds /Mappings and grammars on trees/, Theorem 2.)(compdata-automata8This function composes a signature function after a DTT.)compdata-automata.This function composes a DTT after a function.*compdata-automata2This function composes a homomorphism after a DTT.+compdata-automata2This function composes a DTT after a homomorphism.,compdata-automata?Changes the state space of the DTA using the given isomorphism.-compdata-automata?This function constructs the product DTA of the given two DTAs.Tcompdata-automata±Apply the given state mapping to the given functorial value by adding the state to the corresponding index if it is in the map and otherwise adding the provided default state..compdata-automatauThis function constructs a DTT from a given stateful term-- homomorphism with the state propagated by the given DTA./compdata-automatasThis function applies a given stateful term homomorphism with a state space propagated by the given DTA to a term.0compdata-automata3This combinator turns an arbitrary DTA into a GDTA.1compdata-automataPThis combinator turns a GDTA with the smallest possible state space into a DTA.2compdata-automataXThis combinator constructs the product of two dependant top-down state transformations.3compdata-automataThis is a synonym for 2.4compdata-automata”This combinator combines a bottom-up and a top-down state transformations. Both state transformations can depend mutually recursive on each other.5compdata-automata‰This combinator runs a stateful term homomorphisms with a state space produced both on a bottom-up and a top-down state transformation.6compdata-automata2Lift a stateful term homomorphism over signatures f and g[ to a stateful term homomorphism over the same signatures, but extended with annotations.7compdata-automata1Lift a bottom-up tree transducer over signatures f and gZ to a bottom-up tree transducer over the same signatures, but extended with annotations.8compdata-automata0Lift a top-down tree transducer over signatures f and gY to a top-down tree transducer over the same signatures, but extended with annotations.9compdata-automataÈThis function adds unique annotations to a term/context. Each node in the term/context is annotated with its path from the root, which is represented as an integer list. It is implemented as a DTT.9UV  !"#$%&'()*+,-./01234567897./5   !"#$ %&')(+*,-012346789(c) 2013 Patrick BahrBSD3Patrick Bahr <paba@diku.dk> experimentalnon-portable (GHC Extensions)None&'QSTV™{:compdata-automata*This type is a more convenient variant of ;! with which one can avoid using N7 explicitly when injecting placeholders in the result.;compdata-automata‚This type represents MTTs with regular look-ahead, i.e. MTTs that have access to information that is generated by a separate UTA.<compdata-automataThis type is a variant of the =I which is more convenient to work with as it avoids the explicit use of N( to embed placeholders into the result.=compdata-automata%This type is an instantiation of the A† type to a state space with only a single state with a single accumulation parameter (i.e. the state space is the identity functor).>compdata-automatazThis type constructor is used to define the state space of an MTT that is obtained by composing an MTT followed by a DTT.@compdata-automataThis is a variant of the type AG that makes it easier to define MTTs as it avoids the explicit use of N( when using placeholders in the result.Acompdata-automataHThis type represents total deterministic macro tree transducers (MTTs).Bcompdata-automataCThis function turns an MTT defined using the more convenient type @! into its canonical form of type A.Ccompdata-automatakThis function defines the semantics of MTTs. It applies a given MTT to an input with and an initial state.Dcompdata-automata¨This function composes a DTT followed by an MTT. The resulting MTT's semantics is equivalent to the function composition of the semantics of the original MTT and DTT.Wcompdata-automataThis function is a variant of &@ that is used to define composition, similarly to the function X.Ecompdata-automata’This function composes an MTT followed by a DTT. The resulting MTT's semantics is equivalent to first running the original MTT and then the DTT.Fcompdata-automatahThis function transforms an MTT of type |MacroTransId| into the canonical type such that it can be run.Gcompdata-automataiThis function transforms an MTT of type |MacroTransId'| into the canonical type such that it can be run.Hcompdata-automata›This function turns an MTT with regular look-ahead defined using the more convenient type |MacroTransLA'| into its canonical form of type |MacroTransLA|.Icompdata-automataÝThis function defines the semantics of MTTs with regular look-ahead. It applies a given MTT with regular look-ahead (including an accompanying bottom-up state transition function) to an input with and an initial state.Jcompdata-automataIThis function composes an MTT with regular look-ahead followed by a DTT.Kcompdata-automata-Lift a macro tree transducer over signatures f and gV to a macro tree transducer over the same signatures, but extended with annotations.Lcompdata-automataFLift a macro tree transducer with regular look-ahead over signatures f and gm to a macro tree transducer with regular look-ahead over the same signatures, but extended with annotations.:;<=>?@ABCDEFGHIJKLA@BCDE=<FG;:HIJ>?KLY      !"#$%&'()*+,-./0123456789:;<=>?@ABCCDEFGHIJKLMNOPQRSTUVWXYZ[\Z[]X^_.compdata-automata-0.9.2-LePw6BAKceJ3AA7kPVTthPData.Comp.MacroAutomataData.Comp.Automata$compdata-0.12-CeFRmeS8zRuKuhc6rRWnMzData.Comp.Multi.HFunctorunIIData.Comp.Mappingempty|->& DDownState DownState DownTrans' DownTransDUpStateUpStateUpTrans'UpTransQHombelowabovepureHom mkUpTrans runUpTrans compUpTranscompAlgUpTranscompSigUpTranscompUpTransSigcompHomUpTranscompUpTransHom tagUpState runUpState prodUpStateupTransrunUpHom runUpHomStdUpStateupState runDUpState prodDUpState|*| mkDownTrans runDownTrans compDownTranscompSigDownTranscompDownTransSigcompHomDownTranscompDownTransHom tagDownState prodDownState downTrans runDownHom dDownState downStateprodDDownState>*< runDStaterunQHompropAnnQ propAnnUp propAnnDownpathAnn MacroTransLA' MacroTransLA MacroTransId' MacroTransId:^: MacroTrans' MacroTrans mkMacroTrans runMacroTrans compMacroDown compDownMacrofromMacroTransIdfromMacroTransId'mkMacroTransLArunMacroTransLAcompDownMacroLA propAnnMacropropAnnMacroLA $fFunctor:^:Data.Comp.TermHoleexplicitupAlg runUpTransSt runUpTrans' runDownTrans'appMap%projection-0.1-9TbFJR5rAQp204CKllFH14Data.Projectionpr:<runMacroTrans'