3 ms·
One of the interesting properties of the Invertible datatype is that it can be made an instance of the Haskell Category type class, which makes invertible funct
by sfvisser 15y ago
One of the interesting properties of the Invertible datatype is that it can be made an instance of the Haskell Category type class, which makes invertible functions fully composable using the (.) operator.
- dons 15y agoYes, composable data structure editors (lenses) with an overloaded (.) make my day to day work much more pleasant.