Commits

Patrick Bahr  committed c8c3e55

fixed and amended documenting comments

  • Participants
  • Parent commits f802663

Comments (0)

Files changed (3)

File compdata.cabal

      typed parametric higher-order abstract syntax (PHOAS). This extension
      resides in the module "Data.Comp.MultiParam".
   .
+  * Advanced recursion schemes derived from tree automata. These
+    recursion schemes allow for a higher degree of modularity and make
+    it possible to apply fusion. See /Modular Tree Automata/
+    (Mathematics of Program Construction, 263-299, 2012,
+    <http://dx.doi.org/10.1007/978-3-642-31113-0_14>).
+  .
 
   Examples of using (generalised) (parametric) compositional data types are
   bundled with the package in the libray @examples@.

File src/Data/Comp/Automata.hs

 {-# LANGUAGE Rank2Types, FlexibleContexts, ImplicitParams, GADTs, TypeOperators #-}
+
 --------------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Comp.Automata
 -- 
 -- Like regular term homomorphisms also stateful homomorphisms (as
 -- well as transducers) can be lifted to annotated signatures
--- (cf. Data.Comp.Annotation").
+-- (cf. "Data.Comp.Annotation").
+--
+-- The recursion schemes provided in this module are derived from tree
+-- automata. They allow for a higher degree of modularity and make it
+-- possible to apply fusion. The implementation is based on the paper
+-- /Modular Tree Automata/ (Mathematics of Program Construction,
+-- 263-299, 2012, <http://dx.doi.org/10.1007/978-3-642-31113-0_14>).
 --
 --------------------------------------------------------------------------------
 

File src/Data/Comp/Variables.hs

 {-# LANGUAGE MultiParamTypeClasses, GADTs, FlexibleInstances,
   OverlappingInstances, TypeOperators, TemplateHaskell #-}
+
 --------------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Comp.Variables
 -- account.
 --
 --------------------------------------------------------------------------------
+
 module Data.Comp.Variables
     (
      HasVars(..),