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-0.3.tbz

sha256=f5e45ddea62d794c6eff134450447f0c7a1dafa7130ae3ed48aaf7f31df68228

sha512=9181202293866e8ef8bc4bc973c0da3fef915d04bfb214b0e98522e979311868dccc8633e651de24ae8c257833ce021001cfae19036c1a5260eeaae27c26e49b

doc/biotk_pipes_unix/Biotk_pipes_unix/Pipe/index.html

Module `Biotk_pipes_unix.Pipe`Source

include Biotk_pipes.Pipe.S with type 'a monad = 'a

type 'a monad = 'a

type 'a thunk = unit -> 'a

type finalizer = (unit -> unit monad) option

type ('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

type 'a source = (Biotk_pipes.Pipe.void, 'a, unit) t

type 'a sink = ('a, Biotk_pipes.Pipe.void, unit) t

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

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

module Monad_infix : sig ... end

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

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

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

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

val run : (Biotk_pipes.Pipe.void, Biotk_pipes.Pipe.void, 'r) t -> 'r monad

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

val fold : 'r -> ('i -> 'r -> 'r) -> ('i, Biotk_pipes.Pipe.void, 'r) t

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

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

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

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

val from_list : 'a list -> 'a source

val to_list : unit -> ('a, Biotk_pipes.Pipe.void, 'a list) t

val all : 
  unit ->
  (('a, 'b) result, Biotk_pipes.Pipe.void, ('a list, 'b) result) t

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

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

val drop : int -> ('a, 'a, unit) t

Sourceval from_file : ?buffer_size:int -> string -> string source

Sourceval to_file : string -> string sink