package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

prbnmcn-dagger-test
- Dagger_tests
  - Basic_consistency
    
    Gen
    
    Infix
    
    Rational
    
    Lmh
    
    Lmh_incremental
    
    Make
    
    Lang
    
    Array_ops
    
    Infix
    
    List_ops
    
    Seq_ops
    
    N
    
    Runner
    
    Smc_stratified
    
    Smc_systematic
  - Biased_coin
  - Diffusions
  - Linear_regression
    
    Smc
    
    FM
    
    Basis
    
    Map
    
    R
    
    R2
    
    R
    
    Table
    
    Traced
    
    Traced_incremental
  - Map_array
    
    Pure
    
    Infix
  - Poly
    
    Poly
    
    Smc
    
    Array_ops
    
    Infix
    
    List_ops
    
    Seq_ops
    
    Smc_types
  - Random_walks
  - Resampling_test
    
    Dist
    
    R
    
    Rat
  - Sprinkler
    
    Traced
    
    Traced_incremental
  - Yield

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (!'r, !'a) cont = {

cont : 'b. ('a -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t) -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t;

}

type (!'r, 'a) m =
  handler:'r handler ->
  ('r, 'a Dagger.Internal.Identity_monad.t) cont

and !'r handler = {

handler : 'a 'b. 'a Dagger__Cps_monad.effect -> ('a Dagger.Internal.Identity_monad.t -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t) -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t;

}

val return : 'a -> ('r, 'a) m

val if_ : 
  (handler:'a -> ('b, bool Dagger.Internal.Identity_monad.t) cont) ->
  (bool -> handler:'a -> ('b, 'c) cont) ->
  handler:'a ->
  ('b, 'c) cont

val map : ('r, 'a) m -> ('a -> 'b) -> ('r, 'b) m

val map2 : ('r, 'a) m -> ('r, 'b) m -> ('a -> 'b -> 'c) -> ('r, 'c) m

val map_array : ('r, 'a) m array -> ('a array -> 'b) -> ('r, 'b) m

val bind : ('r, 'a) m -> ('a -> ('r, 'b) m) -> ('r, 'b) m

val handle : 
  'a Dagger__Cps_monad.effect ->
  handler:'b handler ->
  ('b, 'a Dagger.Internal.Identity_monad.t) cont

module Infix : sig ... end