Giters

yoohaemin / decrel

Composable relations for Scala

Home Page:https://decrel.yoohaemin.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

`mapK` on `module`

yoohaemin opened this issue · comments

commented

usecase

  • modifying environment types for zquery/zio-test gen
  • catching and handling errors in F context (?)
    • or something specific? (mapK on proof... does it make sense?)