search

circuithub / rel8

Hey! Hey! Can u rel8?
https://rel8.readthedocs.io
Other
150 stars 38 forks source link

Passing `pure` to `withExplicit` is invalid; `materialize` needs to take a function #231

Closed shane-circuithub closed 1 year ago

tomjaguarpaw commented 1 year ago

Hmm, does this suggest that

withExplicit :: Unpackspec a a -> Select a -> (Select a -> Select b) -> Select b

should require Unpackspec b b too?

tomjaguarpaw commented 1 year ago

If so you should probably require Table b here in anticipation. Without Table b someone can still pass pure themselves.