package prbnmcn-dagger

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Intf.Core

type 'a cont = {

}

type 'a m = 'a M.t

type 'a t = handler:handler -> 'a cont

and handler = {

}

and 'a payload =

type 'a res = handler:handler -> 'a M.res

val return : 'a -> 'a0 t

val if_ : 
  (handler:'a -> bool cont) ->
  (bool -> handler:'b -> 'c cont) ->
  handler:'d ->
  'e cont

val map : 'a t -> ('a0 -> 'b) -> 'b0 t

val map2 : 'a t -> 'b t -> ('a0 -> 'b0 -> 'c) -> 'c0 t

val map_array : 'a t array -> ('a0 array -> 'b) -> 'b0 t

val bind : 'a t -> ('a0 -> 'b t) -> 'b0 t

val log_score : Log_space.t -> unit t

val score : float -> unit t

val map_log_score : 'a. 'a t -> ('a -> Log_space.t) -> 'a t

val map_score : 'a t -> ('b -> float) -> 'a t

val samplei : 'a Dist.t t -> handler:handler -> 'a0 cont

val sample : 'a Dist.t -> handler:handler -> 'a0 cont

val run : 'a t -> 'a0 res

module Infix : sig ... end