documentation icon indicating copy to clipboard operation
documentation copied to clipboard

Published 20 hours ago • verified publisher icon purescript

Add docs for user-defined kinds

Open chexxor opened this issue 8 years ago • 1 comments

We recently merged user-defined kinds, but I don't see any docs here for it. Is "foreign import kind" the new syntax? I would expect to find the docs in language/FFI.md.

chexxor avatar Feb 05 '17 02:02 chexxor

Yes: https://github.com/purescript/purescript-typelevel-prelude/blob/v1.0.0/src/Type/Data/Ordering.purs#L18-L18

I'm not sure the FFI page is the right place for it, though; I don't think it really has anything to do with the FFI (in fact I think it's a bit unfortunate that the syntax suggests that it is). I think language/Syntax.md is a more appropriate place for it, and also the "Kind System" heading in language/Types.md will need some minor adjustments.

hdgarrood avatar Feb 05 '17 19:02 hdgarrood