symantic-base-0.5.0.20221211 (2022-12-10)
Interface
- Add
Endpoint
.
- Add syntax for
either
.
- Add syntax
IfSemantic
.
- Add interpreter
Reader
.
- Fix export of
ADT
.
- Fix gather in submodules.
- Move
(.@)
into Unabstractable
.
- Remove syntax
Routable
.
- Remove
option
, only optional
is correct.
- Replace
adt
by dataType
, and support TuplesOfFunctions
.
Documentation
- Fix remaining
<:>
to <.>
.
- Fix typos in comments.
- Update
ChangeLog.md
.
- Update public presence.
Implementation
- Fix deprecated
StarIsType
.
- Gather in submodules.
- Rename module
ADT
to EithersOfTuples
.
- Rename type variable
repr
to sem
.
Build
- Check that the build before tagging.
- Ignore
.pre-commit-config.yaml
.
- Improve
ghcid
support.
- Improve
flake.nix
.
- Update nix input
nixpkgs
.
symantic-base-0.5.0.20221122 (2022-11-23)
Interface
- Add syntax for
either
.
- Add syntax
IfSemantic
.
- Add interpreter
Reader
.
- Fix gather in submodules.
- Move
(.@)
into Unabstractable
.
- Remove
option
, only optional
is correct.
Documentation
- Fix typos in comments.
- Update public presence.
Implementation
- Fix deprecated
StarIsType
.
- Gather in submodules.
- Rename type variable
repr
to sem
.
Build
- Improve
flake.nix
.
- Update nix input
nixpkgs
.
symantic-base-0.4.0.20211106 (2021-11-18)
Interface
- Rename
Symantic.{View => Viewer}
.
- Rename
Symantic.{ObserveSharing => SharingObserver}
.
- Rename
Symantic.{Class => Classes}
.
- Update release
version
.
Documentation
- Fix minor shortcomings.
- Update
ChangeLog.md
.
Build
- Fix
flake.lock
to use a public Nixpkgs.
- Move all Nix config into
flake.nix
.
- Update nix input
nixpkgs
.
symantic-base-0.3.0.20211007 (2021-10-07)
Interface
- Add
(<.)
and (.>)
to class ProductFunctor
.
- Add class
Inferable
.
- Add classes
Emptyable
and Semigroupable
.
- Add
CurryN
to the root import.
- Add class
SumFunctor
.
- Add instance
Category Iso
.
- Change
(==)
to curryed form.
- Change to
infixr
classes ProductFunctor
and SumFunctor
.
- Fix class
Voidable
.
- Fix class
Dicurryable
.
- Move some
Abstractable
methods to Functionable
.
- Rename module
Symantic.{Lang => Class}
.
- Rename term
{def => define}
.
- Update release
version
.
Documentation
- Add
ChangeLog.md
.
- Rename {hut => code}.sourcephile.fr.
Implementation
- Cleanup formatting a bit.
- Cleanup useless import.
Build
- Add tool
git-chglog
for generating ChangeLog.md
.
- Add tool
reuse
for copyright linting.
- Ignore more local-only files.
- Improve linting.
- Remove nix input
flake-utils
.
- Remove lingering Stack file.
- Update nix input
nixpkgs
.