前三篇的快速链接
pipe与flow
option, map, flatten 与 chain
either, left & right
TaskEither就是Either方法的异步版本,需要异步实现的场景会用到TaskEither,如异步http请求。 代码示例如下:
import axios from 'axios'
import { pipe } from 'fp-ts/lib/function'
import * as TE from 'fp-ts/lib/TaskEither'
(async () => {
const ok = await pipe(
TE.tryCatch(
() => axios.get('https://httpstat.us/200'),
(reason) => new Error(`${reason}`),
),
TE.map((resp) => resp.data),
)()
console.log(ok)
// { _tag: 'Right', right: { code: 200, description: 'OK' } }
})();
(async () => {
const result = await pipe(
TE.tryCatch(
() => axios.get('https://httpstat.us/500'),
(reason) => new Error(`${reason}`),
),
TE.map((resp) => resp.data),
)();
console.log(result)
/**
* {
* _tag: 'Left',
* left: Error: Error: Request failed with status code 500
* at /tmp/either-demo/taskeither.ts:19:19
* at /tmp/either-demo/node_modules/fp-ts/lib/TaskEither.js:94:85
* at processTicksAndRejections (internal/process/task_queues.js:97:5)
* }
*/
})()
tryCatch在Either下也有同样的实现,只是因为这里用到了async/await,所以才要用TaskEither。