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

Re-add re-exports of Ordering and Boolean #56

Closed hdgarrood closed 4 years ago

hdgarrood commented 4 years ago

Fixes #55. This re-adds the re-exports of the Ordering and Boolean kinds to the module Type.Prelude, as they were erroneously removed due to an incorrect compiler warning.