search

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Feature Request: RowCompose #42

Closed eric-corumdigital closed 2 years ago

eric-corumdigital commented 5 years ago

type RowCompose (r :: # Type -> # Type) (s :: # Type -> # Type) (a :: # Type) = r (s a)

Can have variants for right-to-left and left-to-right, as well as operator names. I found this to have utility where RowApply is insufficient. Specifically when I need a # Type -> # Type and not a # Type.

JordanMartinez commented 2 years ago

This was added in #63 via the APPLY/$ type. It's polymorphic, so it works on rows and other types, too.