package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

Various function combinators lifted into the Kleisli category.

val id : 'a -> ('a, 'e) t

id x a monadic identity function

val ignore : ('a, 'e) t -> (unit, 'e) t

ignore m computes m and discards the result.

val nothing : unit -> (unit, 'e) t

nothing is a computation that does nothing.

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

non f returns a negation of the function f.

val apply_n_times : n:int -> ('a -> ('a, 'e) t) -> 'a -> ('a, 'e) 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, 'e) t) -> ('a -> ('b, 'e) t) -> 'a -> ('c, 'e) t

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