nrc / darkly

40 stars 2 forks source link

lattice specialisation #4

Open nrc opened 7 years ago

nrc commented 7 years ago

We need specialisation with the 'lattice rule' to offer a nice inference-based API which can use the same functions for scanning T as Result<T>.