monads.types — bwo/monads 0.2.2

cond-instance clj macro

(cond-instance obj & cls-and-forms)

defprotocol+ clj macro

(defprotocol+ nm & args)

Define a protocol, and a predicate for testing for satisfaction. The predicate will be the name of the protocol, lowercased and with a ? appended.

either clj

(either onleft onright e)

from-just clj

(from-just v)

from-left clj

(from-left e)

from-right clj

(from-right e)

fst clj

(fst o)

if-instance clj macro

(if-instance cls obj then else)

just clj

just? clj

(just? v)

left clj

(left x)

left? clj

(left? o)

maybe clj

(maybe on-nothing on-just m)

Monad clj protocol

bind clj

(bind this m f)

mreturn clj

(mreturn this o)

MonadError clj protocol

catch-error clj

(catch-error this comp handler)

throw-error clj

(throw-error this error)

monaderror? clj

(monaderror? o__1168__auto__)

MonadFail clj protocol

fail clj

(fail this msg)

monadfail? clj

(monadfail? o__1168__auto__)

MonadPlus clj protocol

mplus clj

(mplus this lr)

mzero clj

(mzero this)

monadplus? clj

(monadplus? o__1168__auto__)

MonadReader clj protocol

ask clj

(ask me)

local clj

(local me f comp)

monadreader? clj

(monadreader? o__1168__auto__)

MonadState clj protocol

get-state clj

(get-state this)

put-state clj

(put-state this o)

monadstate? clj

(monadstate? o__1168__auto__)

MonadTrans clj protocol

inner clj

(inner this)

lift clj

(lift this comp)

monadtrans? clj

(monadtrans? o__1168__auto__)

MonadWriter clj protocol

listen clj

(listen me c)

pass clj

(pass me c)

tell clj

(tell me w)

monadwriter? clj

(monadwriter? o__1168__auto__)

MRun clj protocol

mrun clj

(mrun this m)

nothing clj

nothing? clj

right clj

(right x)

right? clj

(right? o)

snd clj

(snd o)

thd clj

(thd o)

when-instance clj macro

(when-instance cls obj & forms)