mirror of
https://github.com/zhigang1992/DefinitelyTyped.git
synced 2026-05-30 18:43:21 +08:00
8 lines
330 B
TypeScript
8 lines
330 B
TypeScript
/// <reference path="../tsmonad.d.ts" />
|
|
|
|
var is_true = TsMonad.Writer.writer(['Started with 0'], 0)
|
|
.bind(x => TsMonad.Writer.writer(['+ 8'], x + 8))
|
|
.bind(x => TsMonad.Writer.writer(['- 6', '* 8'], 8 * (x - 6)))
|
|
.caseOf({
|
|
writer: (s, v) => v === 16 && s.join(', ') === 'Started with 0, + 8, - 6, * 8'
|
|
}); |