eggheadio-projects/getting-to-know-the-state-monad-in-javascript: null

(function(root) {
  const { get, modify } = crocks.State
  const { constant } = crocks

  // add :: Number -> Number -> Number
  const add =
    x => y => x + y

  // inc :: Number -> Number
  const inc =
    add(1)

  // multiply :: Number -> Number -> Number
  const multiply =
    x => y => x * y

  // addState :: Number -> State Number
  const addState = n =>
    get(add(n))

  // incState :: Number -> State Number
  const incState = n =>
    modify(inc)
      .map(constant(n))

  // multiplyState :: Number -> State Number
  const multiplyState = n =>
    get(multiply(n))

  root.helpers = {
    addState,
    incState,
    multiplyState
  }
})(window)

<!DOCTYPE html>
<html>

  <head>
    <script data-require="crocks@*" data-semver="0.8.1" src="https://unpkg.com/crocks@0.8.1/dist/crocks.min.js"></script>
    <link rel="stylesheet" href="style.css" />
  </head>

  <body>
    <script src="logger.js"></script>
    <script src="helpers.js"></script>
    <script src="script.js"></script>
  </body>

</html>

(function(e){const n=console.log;const o=document.querySelector(e.selector);const t=e.globalName||"logger";i(o,{background:e.colors.background,color:e.colors.foreground,fontFamily:"monospace"});function r(e){return{}.toString.call(e)==="[object Array]"}function l(e){return{}.toString.call(e)==="[object Object]"}function c(e){return e&&typeof e.inspect==="function"}function i(e,n){Object.assign(e.style,n);return e}function u(e){const n=document.createElement("span");if(e.tagName){n.appendChild(e)}else{n.innerText=e}return n}function a(n){const o=document.createElement("span");o.appendChild(u("{ "));Object.keys(n).reduce(function(o,t,r,l){o.appendChild(i(u(t+": "),{color:e.colors.key}));o.appendChild(s(n[t]));if(r<l.length-1){o.appendChild(u(", "))}return o},o);o.appendChild(u(" }"));return o}function d(e){const n=document.createElement("span");n.appendChild(u("[ "));e.reduce(function(n,o,t){n.appendChild(s(o));if(t<e.length-1){n.appendChild(u(", "))}return n},n);n.appendChild(u(" ]"));return n}function s(n){if(c(n)){return s(n.inspect())}else if(typeof n==="number"){return i(u(n),{color:e.colors.number})}else if(typeof n==="string"){return i(u("'"+n+"'"),{color:e.colors.string})}else if(typeof n==="boolean"){return i(u(n),{color:e.colors.boolean})}else if(typeof n==="function"){return i(u("Function"))}else if(r(n)){return u(d(n))}else if(l(n)){return u(a(n))}else if(n===undefined){return i(u("undefined"),{fontStyle:"italic",color:e.colors.boolean})}else if(n===null){return i(u("null"),{fontStyle:"italic",color:e.colors.boolean})}}function f(n,o){const t=document.createElement("dl");const r=document.createElement("dt");const l=document.createElement("dd");i(t,{padding:"0",margin:"0",marginBottom:"0.6em",fontSize:e.fontSize});i(r,{color:e.colors.label,fontWeight:600,fontSize:"1.1em",margin:"0"});i(l,{padding:"0 0.75em",margin:"0"});r.innerText=n+":";l.appendChild(s(o));t.appendChild(r);t.appendChild(l);return t}function p(n){return i(u(s(n)),{display:"block",margin:"0",marginBottom:"0.6em",fontSize:e.fontSize})}function g(){o.appendChild(arguments.length>1?f(arguments[0],arguments[1]):p(arguments[0]));n.apply(console,arguments)}e.root[t]=g;console.log=g})({
  globalName:"log",
  root:window,
  selector:"body",
  fontSize:"28px",
  colors: {
    background:"transparent",
    foreground:"gray",
    label:"blue",
    nil:"green",
    number:"violet",
    string:"red",
    key:"blue",
    "boolean":"green"
  }
});

const { State }  = crocks

const { composeK } = crocks

const {
  addState,
  incState,
  multiplyState
} = helpers

// compute :: Number -> State Number
const compute = n =>
  State.of(n)
    .chain(addState)
    .chain(incState)
    .chain(multiplyState)

log(
  'compute instance',
  compute(10)
)

log(
  'compute runWith 2',
  compute(10)
    .runWith(2)
)

// chain :: State s a ~> (a -> State s b) -> State s b
// (State s) m => a -> m b

// addAndInc :: Number -> State Number
const addAndInc =
  composeK(incState, addState)

// chainAddAndInc :: Number -> State Number
const chainAddAndInc = n =>
  State.of(n)
    .chain(addAndInc)
    .chain(multiplyState)

log(
  'chainAddAndInc',
  chainAddAndInc(10)
    .runWith(2)
)

// chainNoOf:: Number -> State Number
const chainNoOf = n =>
  addAndInc(n)
    .chain(multiplyState)

log(
  'chainNoOf',
  chainNoOf(10)
    .runWith(2)
)

const composeAll =
  composeK(multiplyState, addAndInc)

log(
  'composeAll',
  composeAll(10)
    .runWith(2)
)