blancas.morph.monads
Basic Monads.
Basic Monads.
askclj
Returns a Reader whose value is the environment.
Returns a Reader whose value is the environment.
asksclj
(asks f)Returns a Reader whose value the result of applying f to the current environment.
Returns a Reader whose value the result of applying f to the current environment.
eithercljmacro
(either [v m] right-form)(either [v m] left-form right-form)Evaluates m. If the result is Left, binds its Left contents to v and evaluates left-form; otherwise binds its Right contents to v and evaluates right-form.
Evaluates m. If the result is Left, binds its Left contents to v and evaluates left-form; otherwise binds its Right contents to v and evaluates right-form.
eval-stateclj
(eval-state m s)Performs an action m with an initial state s. Returns the value.
Performs an action m with an initial state s. Returns the value.
eval-writerclj
(eval-writer m)Returns the value of a writer.
Returns the value of a writer.
exec-stateclj
(exec-state m s)Performs an action m with an initial state s. Returns the state.
Performs an action m with an initial state s. Returns the state.
exec-writerclj
(exec-writer m)Returns the output of a writer.
Returns the output of a writer.
get-stateclj
Produces an action to return current state as the value.
Produces an action to return current state as the value.
getsclj
(gets f)Like get-state, but applies the function f (usually a selector) on the state being return as the value of the inner monad.
Like get-state, but applies the function f (usually a selector) on the state being return as the value of the inner monad.
justclj
(just x)Maybe constructor. If x is not nil, it creates a Just value. If x is nil it creates a Nothing.
Maybe constructor. If x is not nil, it creates a Just value. If x is nil it creates a Nothing.
just?clj
(just? m)Checks for a maybe with a value.
Checks for a maybe with a value.
justsclj
(justs coll)Filters Just values from a collection. Returns unboxed values.
Filters Just values from a collection. Returns unboxed values.
left?clj
(left? x)Tests if the receiver is a Left value.
Tests if the receiver is a Left value.
leftsclj
(lefts coll)Extracts the Left values from a collection. Returns unboxed values.
Extracts the Left values from a collection. Returns unboxed values.
listenclj
(listen m)Allows chained Writers to peek at the current output w by returning a value as a pair (v, w).
Allows chained Writers to peek at the current output w by returning a value as a pair (v, w).
localclj
(local f m)Returns a Reader whose value is the result of running the Reader m under a changed environment, which is produced by applying f on the previous environment.
Returns a Reader whose value is the result of running the Reader m under a changed environment, which is produced by applying f on the previous environment.
make-eithercljmacro
(make-either form)(make-either message form)(make-either message pred form)Either constructor for a boxed value. It takes a value or a form that may evaluate to nil or throw an exception, both of which cases result in a Left value. Otherwise it is a Right value.
Either constructor for a boxed value. It takes a value or a form that may evaluate to nil or throw an exception, both of which cases result in a Left value. Otherwise it is a Right value.
map-eitherclj
(map-either f coll)Maps an Either-producing function over a collection. Returns a sequence with Left values removed, as unboxed values.
Maps an Either-producing function over a collection. Returns a sequence with Left values removed, as unboxed values.
map-maybeclj
(map-maybe f coll)Maps a Maybe-producing function over a collection. Filters out Nothing values and returns unboxed values.
Maps a Maybe-producing function over a collection. Filters out Nothing values and returns unboxed values.
maycljmacro
(may [x m] then-form)(may [x m] then-form else-form)Like if-let for Maybe values. If m has a value, binds it to x and evaluates the then-form. Otherwise, evaluates the optional else-form.
Like if-let for Maybe values. If m has a value, binds it to x and evaluates the then-form. Otherwise, evaluates the optional else-form.
maybecljmacro
(maybe form)(maybe pred form)Maybe constructor for a boxed value. It takes a value or a form that may evaluate to nil or throw an exception, both of which cases result in a Nothing value.
Maybe constructor for a boxed value. It takes a value or a form that may evaluate to nil or throw an exception, both of which cases result in a Nothing value.
modify-stateclj
(modify-state f & more)Produces an action to apply f to the current state, using any given (optional) arguments. The result becomes the new state.
Produces an action to apply f to the current state, using any given (optional) arguments. The result becomes the new state.
nothing?clj
(nothing? m)Checks for a maybe with nothing.
Checks for a maybe with nothing.
passclj
(pass m)Performs an action that returns a Writer similar to (listen), but instead of output it adds an output-transforming function to the value's pair. Returns a Writer whose output is the result of that function.
Performs an action that returns a Writer similar to (listen), but instead of output it adds an output-transforming function to the value's pair. Returns a Writer whose output is the result of that function.
put-stateclj
(put-state s)Produces an action to set the current state.
Produces an action to set the current state.
right?clj
(right? x)Tests if the receiver is a Right value.
Tests if the receiver is a Right value.
rightsclj
(rights coll)Extracts the Right values from a collection. Returns unboxed values.
Extracts the Right values from a collection. Returns unboxed values.
run-idclj
(run-id m)Returns the value held by an Identity type.
Returns the value held by an Identity type.
run-justclj
(run-just m)Returns the boxed value of m.
Returns the boxed value of m.
run-leftclj
(run-left m)Accessor for the Left value.
Accessor for the Left value.
run-readerclj
(run-reader m e)Performs a Reader action m with an environment e. Returns the value produced by the action.
Performs a Reader action m with an environment e. Returns the value produced by the action.
run-rightclj
(run-right m)Accessor for the Right value.
Accessor for the Right value.
run-stateclj
(run-state m s)Performs an action m with an initial state s. Returns a pair with the value and the state.
Performs an action m with an initial state s. Returns a pair with the value and the state.
writerclj
(writer a)(writer a w)Writer monad constructor for value a and output w. The value w must implement Monoid. If w is not supplied, it defaults to the empty vector.
Writer monad constructor for value a and output w. The value w must implement Monoid. If w is not supplied, it defaults to the empty vector.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close