package biotk

You can search for identifiers within the package.

in-package search v0.2.0

Bioinformatics toolkit

Install

Dune Dependency

github.com Readme Edit opam file Versions (4)

Authors

P

Philippe Veber

Maintainers

P

philippe.veber@gmail.com

Sources

biotk-v0.0.0.tbz

sha256=4d487ddb8951d51f0c461a42da2e7f4a8fedcc3691718a93ac577da5d3058b2e

sha512=491ccccba2edb4565946361bbf3a0e764b57238cc8ee8af469a717dcdf18711cf9516becc91956997b870c8944ebe6d1662a2edbb5567c439991c5afd3bceb15

doc/biotk.pipes/Biotk_pipes/Pipe/Make/index.html

Module `Pipe.Make`Source

Parameters

module M : Monad

Signature

Sourcetype 'a monad = 'a M.t

Sourcetype 'a thunk = unit -> 'a

Sourcetype finalizer = (unit -> unit monad) option

Sourcetype ('i, 'o, 'r) t =

| Has_output of 'o * ('i, 'o, 'r) t thunk * finalizer
| Needs_input of 'i option -> ('i, 'o, 'r) t
| Done of 'r
| PipeM of ('i, 'o, 'r) t monad thunk

Sourcetype 'a source = (void, 'a, unit) t

Sourcetype 'a sink = ('a, void, unit) t

Sourceval return : 'r -> (_, _, 'r) t

Sourceval bind : ('i, 'o, 'a) t -> ('a -> ('i, 'o, 'b) t) -> ('i, 'o, 'b) t

Sourcemodule Monad_infix : sig ... end

Sourceval await : unit -> ('a, _, 'a option) t

Sourceval yield : 'o -> (_, 'o, unit) t

Sourceval compose : ('i, 'a, _) t -> ('a, 'o, 'r) t -> ('i, 'o, 'r) t

Sourceval ($$) : ('i, 'a, _) t -> ('a, 'o, 'r) t -> ('i, 'o, 'r) t

Sourceval run : (void, void, 'r) t -> 'r monad

Source

val bracket : 
  (unit -> 'a monad) ->
  ('a -> unit monad) ->
  ('a -> ('i, 'o, 'r) t) ->
  ('i, 'o, 'r) t

Sourceval fold : 'r -> ('i -> 'r -> 'r) -> ('i, void, 'r) t

Sourceval map : ('i -> 'o) -> ('i, 'o, unit) t

Sourceval mapi : (int -> 'i -> 'o) -> ('i, 'o, unit) t

Sourceval filter : ('i -> bool) -> ('i, 'i, unit) t

Sourceval filter_map : ('i -> 'o option) -> ('i, 'o, unit) t

Sourceval from_list : 'a list -> 'a source

Sourceval to_list : unit -> ('a, void, 'a list) t

Sourceval all : unit -> (('a, 'b) result, void, ('a list, 'b) result) t

Sourceval loop : ('a -> 'b option -> 'a * 'c list) -> 'a -> ('b, 'c, unit) t