Issues

• Add expandMany / expandOptional syntax helpers

  yoohaemin/decrel#350 · Filter by author yoohaemin opened on Jun 9, 2026

• Docs should mention that datasource impls should return all of the keys

  yoohaemin/decrel#78 · Filter by author yoohaemin opened on Apr 27, 2023

• Set boundaries for errors

  yoohaemin/decrel#77 · Filter by author yoohaemin opened on Apr 27, 2023

• Drop Rel in Proof (?)

  yoohaemin/decrel#73 · Filter by author yoohaemin opened on Apr 13, 2023

• mapK on module

  yoohaemin/decrel#67 · Filter by author yoohaemin opened on Mar 27, 2023

• More efficient version of Zippable

  yoohaemin/decrel#66 · Filter by author yoohaemin opened on Mar 25, 2023

• Add support for hedgehog

  yoohaemin/decrel#65 · Filter by author yoohaemin opened on Mar 25, 2023

• Add support for scalaprops

  yoohaemin/decrel#64 · Filter by author yoohaemin opened on Mar 25, 2023

• Add support for nyaya

  yoohaemin/decrel#63 · Filter by author yoohaemin opened on Mar 25, 2023

• Add support for more generator libraries

  yoohaemin/decrel#62 · Filter by author yoohaemin opened on Mar 25, 2023

• use implicit defs instead of subtyping proofs

  yoohaemin/decrel#57 · Filter by author yoohaemin opened on Mar 22, 2023

• Override toString for Relation.Declared

  yoohaemin/decrel#56 · Filter by author yoohaemin opened on Mar 20, 2023

• Rename val F inside fetch integration into something that doesn't get in the way

  yoohaemin/decrel#43 · Filter by author yoohaemin opened on Mar 1, 2023

• Remove implicit classes inside implementations

  yoohaemin/decrel#36 · Filter by author yoohaemin opened on Feb 6, 2023

• Add tests using free monad

  yoohaemin/decrel#34 · Filter by author yoohaemin opened on Feb 6, 2023

• Drop Scala 3 limitation in readme

  yoohaemin/decrel#22 · Filter by author yoohaemin opened on Jan 29, 2023

• Consistent apis for creating proofs

  yoohaemin/decrel#17 · Filter by author yoohaemin opened on Dec 3, 2022
  2

• Parameterizable relations

  yoohaemin/decrel#16 · Filter by author yoohaemin opened on Dec 3, 2022
  1

• Fully implement reify.Either

  yoohaemin/decrel#15 · Filter by author yoohaemin opened on Dec 3, 2022

• Refactor Cache as a trait

  yoohaemin/decrel#13 · Filter by author yoohaemin opened on Dec 3, 2022

• Reuse evidences when possible

  yoohaemin/decrel#12 · Filter by author yoohaemin opened on Dec 3, 2022

• Is filtering possible?

  yoohaemin/decrel#11 · Filter by author yoohaemin opened on Dec 3, 2022
  1

• Add test case to demonstrate efficiency for ZQuery and Fetch

  yoohaemin/decrel#10 · Filter by author yoohaemin opened on Dec 3, 2022

• Add test case that demonstrates compile time is kept to a reasonable amnt

  yoohaemin/decrel#9 · Filter by author yoohaemin opened on Dec 3, 2022

• Create an internal equivalent to buildfrom

  yoohaemin/decrel#8 · Filter by author yoohaemin opened on Dec 3, 2022
  2