List Char -> StringPurescriptで関数を記述する慣用的な方法を探しています。
これは簡単なことのように思えますが、私は Purescript を初めて使用し、ドキュメントをしばらく閲覧していましたが、進展がありません!
背景情報: Haskell から Purescript に単純な関数を移植しています
generateId :: Int -> [Char]
これにより、指定された長さの文字列が生成されます。List Char操作を使用するようにコードを変換するのは非常に簡単でした( Purescript のどこListから)。Data.ListHaskell[Char]では同じなので他の処理は必要ありませんが、PurescriptでネイティブにString変換する関数が見つかりません!List CharString
検索fromCharArray :: Array Char -> Stringで inにたどり着きましたが、 から!Data.Stringに変換する方法が見つかりませんでしList Charた。Array Char
フォールド オーバーしてusingList Charをビルドすることで手動で変換できますが、Purescript での基本的な文字列操作のように見える組み込みのソリューションが欠けているに違いありません。
Array Charsnoc
編集: fromList any Unfoldable(配列など) からList. これを達成するためのより慣用的な方法がある場合に備えて、この質問はまだ開いたままにしておきます。