fp-ts クイックリファレンス

どの型を使うべき？

操作は非同期?
├─ いいえ: エラー処理が必要?
│   ├─ はい → Either<Error, Value>
│   └─ いいえ: 値が存在しない可能性がある?
│       ├─ はい → Option<Value>
│       └─ いいえ → 値をそのまま使用
└─ はい: エラー処理が必要?
    ├─ はい → TaskEither<Error, Value>
    └─ いいえ: 値が存在しない可能性がある?
        ├─ はい → TaskOption<Value>
        └─ いいえ → Task<Value>

よく使うインポート

// コア
import { pipe, flow } from 'fp-ts/function'

// 型
import * as O from 'fp-ts/Option'      // 値が存在するか未定義
import * as E from 'fp-ts/Either'      // 成功または失敗
import * as TE from 'fp-ts/TaskEither' // 非同期 + 失敗処理
import * as T from 'fp-ts/Task'        // 非同期（失敗処理なし）
import * as A from 'fp-ts/Array'       // 配列ユーティリティ

ワンラインパターン

パターンマッチング

// Option
pipe(maybe, O.match(
  () => 'nothing',
  (val) => `got ${val}`
))

// Either
pipe(result, E.match(
  (err) => `error: ${err}`,
  (val) => `success: ${val}`
))