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