Ailrun / typed-f

Typed functional programming utilities
MIT License
20 stars 2 forks source link

Support function monoid #11

Closed Ailrun closed 6 years ago

Ailrun commented 6 years ago

Description

One or more functions can be composed if there argument type and return type pairs are matched. Furthermore, we can imagine zero function composition (id), which is the identity of function composition. These functions (compose and id) are useful in FP, but @typed-f currently does not have one.