fp-ts-std icon indicating copy to clipboard operation
fp-ts-std copied to clipboard

Published 20 hours ago • verified publisher icon samhh

Triple module

Open samhh opened this issue 3 years ago • 1 comments

Like Tuple.

samhh avatar Oct 21 '21 15:10 samhh

With fp-ts' typeclass encoding there are special "constrained" variants of typeclasses to support multiple type arguments, such as Apply2C, which is used by for example Tuple. Note that this doesn't appear to be needed for typeclasses like Either where applicative lifting for example only needs to know the Right type.

Unfortunately this doesn't scale to three type arguments, which is what a Triple module/type needs. We may need to wait for a new, better 3.x encoding.

samhh avatar Oct 23 '21 21:10 samhh