]> Git — Sourcephile - haskell/symantic-base.git/commit
iface: remove `ToFer` semantic in favor of `(-->)`
authorJulien Moutinho <julm@sourcephile.fr>
Mon, 17 Jul 2023 20:06:54 +0000 (22:06 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Mon, 17 Jul 2023 21:22:24 +0000 (23:22 +0200)
commitcce4b8df9cac6dc85d7cb0c129134a3436508394
tree0a288e675f0627bc5756e95ba28cb90bd141069c
parente8bcc5f10d2da0a1457ad4610e1580fb60388118
iface: remove `ToFer` semantic in favor of `(-->)`

`ToFer` only supported covariant semantics,
and required it to be a `Monad`.
This is no longer the case when using `(-->)`
directly in a semantic's definition.
src/Symantic/Semantics.hs
src/Symantic/Semantics/ToFer.hs [deleted file]
src/Symantic/Syntaxes/Classes.hs
src/Symantic/Syntaxes/TuplesOfFunctions.hs
symantic-base.cabal