monnit.core — com.deepbeginnings/monnit 0.1.0-alpha5

A library of Functors, Monads and other category theory abstractions.

Alternative clj/s protocol

A generalization of or.

alt clj/s

(alt self other)

Return self unless it is considered a failure; otherwise return other.

flat-map clj/s

(flat-map f mv)

For a Monad mv (of type T<a>), call the function f (of type a -> T<b>) on the contained values and combine the results back into on result (of type T<b>).

fmap clj/s

(fmap f a)

(fmap f a b)

(fmap f a b c)

(fmap f a b c d)

(fmap f a b c d & args)

Map the function f over the Functor-implementing arguments, producing a new value of the same Functor type.

Functor clj/s protocol

A type whose 'contents' can be mapped with a function, producing a new value of the same type.

-fmap clj/s

(-fmap a f)

(-fmap a f b)

(-fmap a f b c)

(-fmap a f b c d)

(-fmap a f b c d args)

fmap with the first Functor value first. An implementation detail, call fmap instead.

Monad clj/s protocol

A type whose 'contents' can be mapped with a function to other values of the containing type and then combined. When implementing this on a type, you should also implement pure for that type.

bind clj/s

(bind self f)

flat-map, but with the Monad value first.

pure clj/s multimethod

Wrap v into the Monad type.

sconcat clj/s

(sconcat a)

(sconcat a b)

(sconcat a b c)

(sconcat a b c d)

(sconcat a b c d & args)

Combine the arguments with their Semigroup combination operation.

Semigroup clj/s protocol

A type whose values can be combined with an associative binary operation.

-sconcat clj/s

(-sconcat self b)

(-sconcat self b c)

(-sconcat self b c d)

(-sconcat self b c d args)

Combine self with the other arguments, left to right. An implementation detail, call sconcat instead.