ChangeLog.md

   1
   2 ## symantic-base-0.6.0.20230717 (2023-07-17)
   3
   4 ### Interface
   5
   6 * Add the `a` parameter to the `Dataable` class.
   7 * Add instance `Eq Endpoint` and `Show Endpoint`.
   8 * Fix `data_` constraints to handle contravariant `sem`.
   9 * Remove `ToFer` semantic in favor of `(-->)`.
  10
  11 ### Documentation
  12
  13 * Fix comment about `CurryN`.
  14 * Fix typo in `ToFer`.
  15
  16 ### Implementation
  17
  18 * Fix `(:!:)` completeness warning.
  19
  20 ### Build
  21
  22 * Update nix input `nixpkgs`.
  23
  24
  25 ## symantic-base-0.5.0.20221211 (2022-12-10)
  26
  27 ### Interface
  28
  29 * Add `Endpoint`.
  30 * Add syntax for `either`.
  31 * Add syntax `IfSemantic`.
  32 * Add interpreter `Reader`.
  33 * Fix export of `ADT`.
  34 * Fix gather in submodules.
  35 * Move `(.@)` into `Unabstractable`.
  36 * Remove syntax `Routable`.
  37 * Remove `option`, only `optional` is correct.
  38 * Replace `adt` by `dataType`, and support `TuplesOfFunctions`.
  39
  40 ### Documentation
  41
  42 * Fix remaining `<:>` to `<.>`.
  43 * Fix typos in comments.
  44 * Update `ChangeLog.md`.
  45 * Update public presence.
  46
  47 ### Implementation
  48
  49 * Fix deprecated `StarIsType`.
  50 * Gather in submodules.
  51 * Rename module `ADT` to `EithersOfTuples`.
  52 * Rename type variable `repr` to `sem`.
  53
  54 ### Build
  55
  56 * Check that the build before tagging.
  57 * Ignore `.pre-commit-config.yaml`.
  58 * Improve `ghcid` support.
  59 * Improve `flake.nix`.
  60 * Update nix input `nixpkgs`.
  61
  62
  63 ## symantic-base-0.5.0.20221122 (2022-11-23)
  64
  65 ### Interface
  66
  67 * Add syntax for `either`.
  68 * Add syntax `IfSemantic`.
  69 * Add interpreter `Reader`.
  70 * Fix gather in submodules.
  71 * Move `(.@)` into `Unabstractable`.
  72 * Remove `option`, only `optional` is correct.
  73
  74 ### Documentation
  75
  76 * Fix typos in comments.
  77 * Update public presence.
  78
  79 ### Implementation
  80
  81 * Fix deprecated `StarIsType`.
  82 * Gather in submodules.
  83 * Rename type variable `repr` to `sem`.
  84
  85 ### Build
  86
  87 * Improve `flake.nix`.
  88 * Update nix input `nixpkgs`.
  89
  90
  91 ## symantic-base-0.4.0.20211106 (2021-11-18)
  92
  93 ### Interface
  94
  95 * Rename `Symantic.{View => Viewer}`.
  96 * Rename `Symantic.{ObserveSharing => SharingObserver}`.
  97 * Rename `Symantic.{Class => Classes}`.
  98 * Update release `version`.
  99
 100 ### Documentation
 101
 102 * Fix minor shortcomings.
 103 * Update `ChangeLog.md`.
 104
 105 ### Build
 106
 107 * Fix `flake.lock` to use a public Nixpkgs.
 108 * Move all Nix config into `flake.nix`.
 109 * Update nix input `nixpkgs`.
 110
 111
 112 ## symantic-base-0.3.0.20211007 (2021-10-07)
 113
 114 ### Interface
 115
 116 * Add `(<.)` and `(.>)` to class `ProductFunctor`.
 117 * Add class `Inferable`.
 118 * Add classes `Emptyable` and `Semigroupable`.
 119 * Add `CurryN` to the root import.
 120 * Add class `SumFunctor`.
 121 * Add instance `Category Iso`.
 122 * Change `(==)` to curryed form.
 123 * Change to `infixr` classes `ProductFunctor` and `SumFunctor`.
 124 * Fix class `Voidable`.
 125 * Fix class `Dicurryable`.
 126 * Move some `Abstractable` methods to `Functionable`.
 127 * Rename module `Symantic.{Lang => Class}`.
 128 * Rename term `{def => define}`.
 129 * Update release `version`.
 130
 131 ### Documentation
 132
 133 * Add `ChangeLog.md`.
 134 * Rename {hut => code}.sourcephile.fr.
 135
 136 ### Implementation
 137
 138 * Cleanup formatting a bit.
 139 * Cleanup useless import.
 140
 141 ### Build
 142
 143 * Add tool `git-chglog` for generating `ChangeLog.md`.
 144 * Add tool `reuse` for copyright linting.
 145 * Ignore more local-only files.
 146 * Improve linting.
 147 * Remove nix input `flake-utils`.
 148 * Remove lingering Stack file.
 149 * Update nix input `nixpkgs`.
 150