This came up at the latest meetup and started some interesting discussion so I thought I’d share it here as well.
In my mind I’ve been playing with the idea of modelling use cases as a custom type similar to remote data, something akin to:
type UseCase m a e =
Processing m
| Success a
| Failure e
It stems from a wish to structure my code (hobby project) as individual use cases. I haven’t actually had time to experiment with it that much yet though. I’m thinking that it would fit nicely for form input. I’m also unsure if there are two variants needed, one for commands (such as form input) and another for queries (such as search).