motor icon indicating copy to clipboard operation
motor copied to clipboard

Published 20 hours ago • verified publisher icon owickstrom

Have 'call' operate on subset of resources

Open owickstrom opened this issue 7 years ago • 1 comments

Instead of a type call :: m Empty Empty a -> m r r a, it would be nice to accept a subset of r as input to the inner computation, and perhaps have its output be a subset of the result output. Not sure if this would work with CTRex, though.

owickstrom avatar Nov 05 '17 09:11 owickstrom

This might now be possible with row-types, after https://github.com/target/row-types/pull/2.

owickstrom avatar May 19 '18 11:05 owickstrom