purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add `#` operator to the `Type.Function`

paluh opened this issue · comments

commented

I think that this operator can be useful. For example it is already defined (but named differently) in the context of React.Basic.Hooks:

https://github.com/spicydonuts/purescript-react-basic-hooks/blob/fde4198f55bbf2b6d95ecd7d0614510b9089658b/src/React/Basic/Hooks/Internal.purs#L188

Could you please tell me what do you think? Should I provide this simple PR?

commented

Thanks for quick response Jordan! I'm going to close this then.