package bap-primus-promiscuous

You can search for identifiers within the package.

in-package search v0.2.0

Enables the promiscuous mode of execution

Install

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

Various function combinators lifted into the Kleisli category.

val id : 'a -> 'a t

id x a monadic identity function

val ignore : 'a t -> unit t

ignore m computes m and discards the result.

val nothing : unit -> unit t

nothing is a computation that does nothing.

val non : ('a -> bool t) -> 'a -> bool t

non f returns a negation of the function f.

val apply_n_times : n:int -> ('a -> 'a t) -> 'a -> 'a t

apply_n_times ~n f creates a chaing of computation of size n made from applications of the same function to its own result.

val compose : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t

compose f g creates a composition f.g of two function.