Recentlly, I am learning crocks.js ADT libaray. In the beginning, it is hard to understand when to use 'runWith', 'evalWith', 'execWith'. Until I went though the coursea thrid times... I finally have some feelings for it.

State has 'get, put, modify' methods for use, and you can build them by yourself as well:

// getState :: () -> State s

const getState = () => State(s => Pair(s, s))

//putState :: s -> State s ()

const putState = state => State(() => Pair(Unit(), state));

// modifyState :: (s -> s) -> State s ()

const modifyState = fn => State(s => Pair(Unit(), fn(s)));

As well can see, for those methods, they are all using 'Pair'.

Pair(a, s):

On the left part of Pair, is 'a': stand for variable; On the right part of Pair, 's' is the State.

Now rules for using 'runWith', 'evalWith', 'execWith':

1. If you want to get result as Pair(a, s), you should use 'runWith':

const bubble = {

    bubbles:

};

const add = x => y => x+ y;

console.log(

    modify(mapProps({bubbles: add()}))

        .runWith(bubble) // Pair( (), { bubbles: 41 } )

)

2. If you only instreaded in the variable 'a', you should use 'evalWith':

const bubble = {

    bubbles:

};

const add = x => y => x+ y;

console.log(

    modify(mapProps({bubbles: add()}))

        .evalWith(bubble) // () Unit

)

3. If you instested in State, which is on the right part of Pair, you should use 'execWith':

const bubble = {

    bubbles:

};

const add = x => y => x+ y;

console.log(

    modify(mapProps({bubbles: add()}))

        .execWith(bubble) // { bubbles: 41 }

)