|
| 1 | +import React from 'react'; |
| 2 | +import { render } from 'react-dom'; |
| 3 | +import Most, { connect } from 'react-most' |
| 4 | +import { |
| 5 | + injectorFrom, |
| 6 | + interpreterFrom, |
| 7 | + interpretExpr, |
| 8 | + Functor, |
| 9 | + interpreterFor, |
| 10 | + inject, |
| 11 | +} from 'alacarte.js' |
| 12 | + |
| 13 | +const compose = f => g => x=> f(g(x)) |
| 14 | +function Add(value0) { |
| 15 | + this.value0 = value0 |
| 16 | +} |
| 17 | + |
| 18 | +function Lit(value0) { |
| 19 | + this.value0 = value0 |
| 20 | +} |
| 21 | +function Over(value0, value1) { |
| 22 | + this.value0 = value0 |
| 23 | + this.value1 = value1 |
| 24 | +} |
| 25 | + |
| 26 | +const functorLit = new Functor(f => v => new Lit(v.value0)) |
| 27 | +const functorAdd = new Functor(f => v => new Add(f(v.value0))) |
| 28 | +const functorOver = new Functor(f => v => new Over(f(v.value0), f(v.value1))) |
| 29 | + |
| 30 | +function injectLit(injector) { |
| 31 | + return n => inject(injector(functorLit))(new Lit(n)) |
| 32 | +} |
| 33 | + |
| 34 | +function injectAdd(injector) { |
| 35 | + return (a, b) => inject(injector(functorAdd))(new Add(a, b)) |
| 36 | +} |
| 37 | + |
| 38 | +function injectOver(injector) { |
| 39 | + return (a, b) => inject(injector(functorOver))(new Over(a, b)) |
| 40 | +} |
| 41 | + |
| 42 | +function injectState(injector) { |
| 43 | + return n => inject(injector(functorState))(new State(n)) |
| 44 | +} |
| 45 | + |
| 46 | +const evalAdd = interpreterFor(functorAdd, function (v) { |
| 47 | + return x => x + v.value0 |
| 48 | +}); |
| 49 | + |
| 50 | +const evalLit = interpreterFor(functorLit, function (v) { |
| 51 | + return v.value0 |
| 52 | +}); |
| 53 | + |
| 54 | +const evalOver = interpreterFor(functorOver, function (v) { |
| 55 | + let newstate = {} |
| 56 | + return state => (newstate[v.value0] = v.value1(state[v.value0]), newstate) |
| 57 | +}); |
| 58 | + |
| 59 | +let interpreter = interpreterFrom([evalLit, evalAdd, evalOver]) |
| 60 | +let injector = injectorFrom([functorLit, functorAdd, functorOver]) |
| 61 | + |
| 62 | +let add = injectAdd(injector) |
| 63 | +let lit = injectLit(injector) |
| 64 | +let over = injectOver(injector) |
| 65 | + |
| 66 | +const printAdd = interpreterFor(functorAdd, function (v) { |
| 67 | + return `(_ + ${v.value0})` |
| 68 | +}); |
| 69 | + |
| 70 | +const printLit = interpreterFor(functorLit, function (v) { |
| 71 | + return v.value0.toString() |
| 72 | +}); |
| 73 | + |
| 74 | +const printOver = interpreterFor(functorOver, function (v) { |
| 75 | + return `over ${v.value0} do ${v.value1}` |
| 76 | +}); |
| 77 | + |
| 78 | +const printer = interpreterFrom([printLit, printAdd, printOver]) |
| 79 | +const CounterView = props => ( |
| 80 | + <div> |
| 81 | + <button onClick={props.actions.dec}>-</button> |
| 82 | + <span>{props.count}</span> |
| 83 | + <button onClick={props.actions.inc}>+</button> |
| 84 | +</div> |
| 85 | +) |
| 86 | + |
| 87 | +CounterView.defaultProps = { count: 0 }; |
| 88 | + |
| 89 | +const counterable = connect((intent$) => { |
| 90 | + return { |
| 91 | + sink$: intent$.tap(compose(console.log)(interpretExpr(printer))) |
| 92 | + .map(interpretExpr(interpreter)), |
| 93 | + inc: () => over(lit('count'), add(lit(1))), |
| 94 | + dec: () => over(lit('count'), add(lit(-1))), |
| 95 | + } |
| 96 | +}) |
| 97 | + |
| 98 | +const Counter = counterable(CounterView) |
| 99 | + |
| 100 | +render( |
| 101 | + <Most> |
| 102 | + <Counter /> |
| 103 | + </Most> |
| 104 | + , document.getElementById('app')); |
0 commit comments