newtype-ts

TypeScriptでHaskellのnewtypeのような型を作る

手動でfp-tsとmonocle-tsを別途入れる必要がある

入れないとiso()の返り値がanyになるmrsekut.icon

READMEに書いている例

code:ts

import { Newtype, iso } from 'newtype-ts'

// この2つを定義しておく

interface EUR extends Newtype<{ readonly EUR: unique symbol }, number> {}

const isoEUR = iso<EUR>() // :: Iso<EUR, number>

const myamount = isoEUR.wrap(0.85) // :: EUR

const n = isoEUR.unwrap(myamount) // :: number = 0.85

ここで、isoEUR.wrap()がいわゆるsmart constructorに相当する

table:対応

newtype-ts haskell

interface EUR extends Newtype<..> newtype EUR = EUR ..

const isoEUR = ..

isoEUR.wrap mkEUR

isoEUR.unwrap unEUR