Purescript:将Char转换为小写版本

我想最快的方法就是使用外国金融机构。写起来很容易 toLower 这种方式:

// Foreign/Char.js

module.exports.toLower = function charToLower(c) {
  return c.toLower();
}

-- Foreign/Char.purs
module Foreign.Char where

foreign import toLower :: Char -> Char

import Unsafe.Coerce (unsafeCoerce)
import Data.String as S

toLower :: Char -> Char
toLower = unsafeCoerce >>> S.toLower >>> unsafeCoerce

最终归结为相同的js代码。你不能打破 Char String 具有相同的运行时表示形式。