8000 FallibleTransformer derivation for coproducts by gregor-i · Pull Request #69 · arainko/ducktape · GitHub

Repository navigation

FallibleTransformer derivation for coproducts - #69

Merged

arainko merged 6 commits into

arainko:masterfrom

gregor-i:master

Jul 7, 2023

Merged

FallibleTransformer derivation for coproducts#69
arainko merged 6 commits into
arainko:masterfrom
gregor-i:master

Commits on Jul 6, 2023
- Implement coproduct derivation for accumulating fallible transformers
  gregor-i
  committed
  271d124
- Implement coproduct derivation for fast failing fallible transformers
  gregor-i
  committed
  e3b77c3
- Remove duplicated code
  gregor-i
  committed
  96dd998
- Run scalafix
  gregor-i
  committed
  6570899
- Implement suggested changes
  gregor-i
  committed
  919e5fc
Commits on Jul 7, 2023
- Remove optimization for total transformations
  gregor-i
  committed
  bceb205

0