Abstractions of Category Theory over that cats library is build.
Functions of this namespace are not indented to be used directly. Is a private api but exposes as public for documentation purposes.
Abstractions of Category Theory over that cats library is build. Functions of this namespace are not indented to be used directly. Is a private api but exposes as public for documentation purposes.
The Applicative abstraction.
The Applicative abstraction.
(fapply app af av)
Applies the function(s) inside ag's context to the value(s) inside av's context while preserving the context.
Applies the function(s) inside ag's context to the value(s) inside av's context while preserving the context.
(pure app v)
Takes any context monadic value ctx and any value v, and puts the value v in the most minimal context of same type of ctx
Takes any context monadic value ctx and any value v, and puts the value v in the most minimal context of same type of ctx
Abstraction that establish a membership of types with one concrete monad.
This is a way that cats establishes the relation between a type and the monad that that should play.
A great example es Maybe monad type Just. It implements this abstraction for establish that Just is part of Maybe monad.
Abstraction that establish a membership of types with one concrete monad. This is a way that cats establishes the relation between a type and the monad that that should play. A great example es Maybe monad type Just. It implements this abstraction for establish that Just is part of Maybe monad.
(get-context _)
Get the monad instance for curent value.
Get the monad instance for curent value.
A type class responsible of extract the value from a monad context.
A type class responsible of extract the value from a monad context.
(extract mv)
Extract the value from monad context.
Extract the value from monad context.
The Functor abstraction.
The Functor abstraction.
(fmap ftor f fv)
Applies function f to the value(s) inside the context of the functor fv.
Applies function f to the value(s) inside the context of the functor fv.
The Monad abstraction.
The Monad abstraction.
(mbind m mv f)
(mreturn m v)
A complement abstraction for Monad that supports the notion of addition.
A complement abstraction for Monad that supports the notion of addition.
(mplus m mv mv')
An associative addition operation.
An associative addition operation.
A specific case of Monad abstraction that allows a read only access to an environment.
A specific case of Monad abstraction that allows a read only access to an environment.
(ask m)
Return the current environment.
Return the current environment.
(local m f reader)
Create a reader in a modified version of the environment.
Create a reader in a modified version of the environment.
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.
A common abstraction for all monad transformers.
A common abstraction for all monad transformers.
(base mt)
Return the base monad of this transformer.
Return the base monad of this transformer.
(inner mt)
Return the monad that this transformer wraps.
Return the monad that this transformer wraps.
(lift m mv)
Lift a value from the parameterized monad to the transformer.
Lift a value from the parameterized monad to the transformer.
A specific case of Monad abstraction that allows emulate write operations in pure functional way.
A great example is writing a log message.
A specific case of Monad abstraction that allows emulate write operations in pure functional way. A great example is writing a log message.
(listen m mv)
Given a writer, yield a (value, log) pair as a value.
Given a writer, yield a (value, log) pair as a value.
(pass m mv)
Given a writer whose value is a pair with a function as its second element, yield a writer which has the first element of the pair as the value and the result of applying the aforementioned function to the log as the new log.
Given a writer whose value is a pair with a function as its second element, yield a writer which has the first element of the pair as the value and the result of applying the aforementioned function to the log as the new log.
(tell m v)
Add the given value to the log.
Add the given value to the log.
A complement abstraction for monad that supports the notion of an identity element.
A complement abstraction for monad that supports the notion of an identity element.
(mzero m)
The identity element for ctx
.
The identity element for `ctx`.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close