stack: bump to lts-12.25

Commit old WIP.

Commit old WIP.

Working REPL, with IO support.

Remove INSTALL.

Fix Haddock markup.

Sync HLint.hs.

Add make target tar.

Draft REPL.

Remove ledger/

Remove cli/

Gather into Writeable instances.

Add Sym.Balance.

Refactor hcompta-lib.

Sync with symantic.

Add Sym.Compta and sync with symantic.

Improve GNUmakefile.

Add Compta to the symantics.

Fix balance tests to use new TreeMap.

Remove old Yesod scaffolding.

Update to new symantic and draft Modules rendition.

Improve section checking and warn when a term is redefined.

Use symantic-document instead of walderleijen-ansi-text.

Rewrite hcompta-lcc to use new symantic.

Rewrite hcompta-lcc to use symantic-grammar.

Cleanup hcompta-lib.

Change hcompta-jcc to hcompta-lcc.

Simplify hcompta-lib.

Adapte hcompta-cli.

Adapte hcompta-ledger.

.gitignore

Adapte hcompta-jcc.

Épure hcompta-lib.

Déplace hcompta-calculus vers lol-calculus et lol-typing

Correction : Calculus.Lambda.Omega.Explicit.REPL : broutille administrative.

Ajout : Control.Monad.Classes.{StateFix,StateInstance}.

Malheureusement méconnue, monad-classes semble,
comparé à mtl et aux autres approches
pour gérer des piles de monades (Monad stack) :
simple conceptuellement, facile à utiliser
et performant à l’exécution.

Cet ajout de StateFix et StateInstance est destiné
à gérer les empilements de monades nécessaires
à Calculus.Lambda.Omega.Implicit :
- StateFix permet de paramétrer l’état (State)
  d’une monade à état (MonadState) de la pile,
  par la pile de monades elle-même
  (utile en l’occurence pour maintenir
  dans l’état d’une monade d’état de la pile de monades
  servant à la résolution des contraintes d’inférence :
  une pile des contraintes d’inférence à résoudre,
  où chaque contrainte d’inférence référence
  la valeur de la pile de monades servant à la résoudre).
- StateInstance permet de collecter les états
  des monades à état de la pile de monades
  dont le type est une instance d’une classe de types (class) donnée
  (utile en l’occurence pour tracer (log) des informations
  sur les états d’une pile de monades).

Chapeau bas notamment aux auteurs de monad-classes
(Roman Cheplyaka et Andres Löh)
pour avoir trouvé une aussi élégante et flexible
approche des effets extensibles :
https://ro-che.info/articles/extensible-effects

Ajout : Calculus.Lambda.Omega.Explicit.

Ajout : Lib.TreeMap.Zipper : en prévision de collectes « à la XSLT » sur Chart.

Ajout : .gitignore

Modif (Attention : ÉCHOUE LA COMPILATION, pour cause de transition) : {lib,jcc,ledger}/Test : clarifie.

Attention : ce commit casse la compilation
pour cause de transition Hcompta.{Filter => Calculus}.

Commit interrompu il y a 3 mois par le travail sur Hcompta.Calculus
destiné à remplacer Hcompta.Filter, dont les limites d’expressivité
ont été atteintes.

Ajout : Hcompta.Format.JCC.

Correction : rétro support de GHC 7.6.3 (Debian/jessie).

Modification : sépare hcompta-ledger de hcompta-lib.

Ajout : CLI.Lang : traductions.

Ajout : Chart : Tags : Équilibre.

Correction : Filter : [Filter_Path_Section_Many].

Ajout : Hcompta.Chart.

Ajout : syntax/ledger.vim : ledgerChart.

Correction : compatiblité avec GHC-7.6 en limitant l’usage de Prelude.

Ajout : syntax/ledger.vim : support des clés de tag >1.

Ajout : CLI.Command.{Journals,Stats,Tags}.

Polissage : GNUmakefile : hlint : affiche l’emplacement du rapport.

Ajout : Filter : Filter_Transaction_Posting : joint les tests sur le même Posting.

Polissage : CLI.Command.Balance : is_worth.

Polissage : n'utilise pas TypeSynonymInstances.

Ajout : CLI.Command.Balance : --format {open,close}.

Polissage : GNUmakefile.

Polissage : hlint.

Ajout : Filter : Filter_Account : Order.

Polissage : CLI.Command.* : --help.

Polissage : Lib.Parsec : espaces.

Correction : Lib.Interval.Sieve : URL de ressources.

Ajout : Filter : simplify et context.

Ajout : GNUmakefile : stats.

Ajout : vim/ : syntax/ledger.vim.

Polissage : Filter : alias de types Fold_*.

Polissage : CLI.Command.*.

Modification : filtre dès la lecture pour moins de consommation mémoire.

Ajout : profilage du code.

Renommage : Filter.Test_* -> Filter.Filter_*.

Suppression : tests brouillons.

Modif : CLI.Command : --color=[auto|yes|no].

Ajout : CLI.Command.Journal : chronométrage du parsage.

Ajout : CLI.Command.* : intégration de --reduce-date.

Modification : CLI.Command.* : rend -i optionnel.

Correction : Makefile : pré-installe alex et happy pour Hcompta.Web.

Modification : adapte à GHC-7.10.1.

Correction : CLI.Command.Balance : détermine is_worth avant d’appliquer balance_filter.

Ajout : Lib.Interval{,.Sieve} : pour Filter.Reduce.

Correction : CLI.Command.Journal : tri par date même si plusieurs journaux.

Modif : CLI.Command.{Print => Journal}.

Ajout : GL (General Ledger).

Modif : {Balance.Amount_Sum => Amount.Sum}.

Modif : Balance : inutile de mettre amount_sum_balance dans Amount_Sum.

Modif : Filter.Read : test_amount : pas d’unité accepte toutes les unités.

Polissage : CLI.Command.Balance : sépare ce qui est spécifique au format Ledger.

Modif : aplatit Hcompta.{Format => } et Hcompta.{Calc => }.

Ajout : Model.Filter : Test_Amount.

Correction : Model.Filter : Test_Bool : opérateurs.

Polissage : utilise Control.Monad.join plutôt que >>= id

Ajout : Model.Filter : Test_Tag.

Ajout : Model.Filter : Test_Date.

Modif : CLI.Lang : utilise la classe ToDoc pour gérer les traductions.

Suppression : Lib.Foldable : Composition déjà dans Data.Functor.Compose.

Correction : Lib.Parsec : évite une dépendance directe vers mtl-2.0.

Correction : CLI.Command.Balance : filtres.

Correction : Calc.Balance : utilise Typeable1 pour supporter GHC-7.6.

Ajout : Model.Filter.

Modif : Calc.Balance : simplification de l’interface.

Correction : CLI.Command.Balance : intègre les écritures virtuelles.