pete-murphy/fp-ts-dev-talks

FreeSemiring is failing semiring laws

Closed this issue · 0 comments

pete-murphy commented

https://github.com/ptrfrncsmrph/fp-ts-dev-talks/blob/9806848625c9193eff16e72fe411581e65df7481/src/validation/lib/FreeSemiring.spec.ts#L7

There are a few properties for semiring, but fp-ts-laws doesn't give information on failure about which of these properties is failing. Could be related to purescript/purescript-semirings#11 (FreeSemiring implementation was copied from that PureScript implementation).