(eval state seed)
Given a State instance, execute the
wrapped computation and return the resultant
value, ignoring the state.
Equivalent to taking the first value of the pair instance
returned by run
function.
Given a State instance, execute the wrapped computation and return the resultant value, ignoring the state. Equivalent to taking the first value of the pair instance returned by `run` function.
(exec state seed)
Given a State instance, execute the
wrapped computation and return the resultant
state.
Equivalent to taking the second value of the pair instance
returned by run
function.
Given a State instance, execute the wrapped computation and return the resultant state. Equivalent to taking the second value of the pair instance returned by `run` function.
(get)
(get context)
Return a State instance with computation that returns the current state.
Return a State instance with computation that returns the current state.
(gets projfn)
(gets projfn context)
State monad that returns the result of applying a function to a state
State monad that returns the result of applying a function to a state
A specific case of Monad abstraction for work with state in pure functional way.
A specific case of Monad abstraction for work with state in pure functional way.
(-get-state m)
Return the current state.
Return the current state.
(-put-state m newstate)
Update the state.
Update the state.
(-swap-state m f)
Apply a function to the current state and update it.
Apply a function to the current state and update it.
(put newstate)
(put newstate context)
Return a State instance with computation that replaces the current state with specified new state.
Return a State instance with computation that replaces the current state with specified new state.
(run state seed)
Given a State instance, execute the wrapped computation and returns a cats.data.Pair instance with result and new state. (def computation (mlet [x (get-state) y (put-state (inc x))] (return y))) (def initial-state 1) (run computation initial-state) This should return something to: #<Pair [1 2]>
Given a State instance, execute the wrapped computation and returns a cats.data.Pair instance with result and new state. (def computation (mlet [x (get-state) y (put-state (inc x))] (return y))) (def initial-state 1) (run computation initial-state) This should return something to: #<Pair [1 2]>
(state f)
(state f state-context)
The State type constructor. The purpose of State type is wrap a simple function that fullfill the state signature. It exists just for avoid extend the clojure function type because is very generic type.
The State type constructor. The purpose of State type is wrap a simple function that fullfill the state signature. It exists just for avoid extend the clojure function type because is very generic type.
(state? s)
Return true if s
is instance of
the State type.
Return true if `s` is instance of the State type.
(swap f)
(swap f context)
Return a State instance with computation that applies the specified function to state and returns the old state.
Return a State instance with computation that applies the specified function to state and returns the old state.
(wrap-fn my-fn)
Wraps a (possibly side-effecting) function to a state monad
Wraps a (possibly side-effecting) function to a state monad
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close