anton-k / mig

Lightweight and composable servers for Haskell

Home Page:https://anton-k.github.io/mig/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Produce run-time error if client type does not match the definition from server

anton-k opened this issue · comments

We can define any type suitable for clients and make a client for it with toClient function.
No error will prevent us from convertion to wrong type. From server definition we take only info on
path structure. Although we can augment it with info from RouteInfo and compare it at runtime with
things that we get from the client route type. And if they do not match we can try to warn user and produce run-time error.
It's some safety against blunder errors.