package prbnmcn-dagger

You can search for identifiers within the package.

in-package search v0.2.0

package prbnmcn-dagger

Dagger
- Library prbnmcn-dagger
  - Dagger
    
    Cps_monad
    
    Make
    
    Infix
    
    Dist
    
    Foldable
    
    Make_list
    
    Make_seq
    
    Make_array
    
    Identity_monad
    
    M
    
    Infix
    
    Infix
    
    Incremental_monad
    
    Incr
    
    M
    
    Infix
    
    Infix
    
    Intf
    
    Foldable
    
    Infix
    
    Core
    
    Infix
    
    S
    
    Infix
    
    List_ops
    
    Array_ops
    
    Seq_ops
    
    Lmh_incremental_inference
    
    List_ops
    
    Array_ops
    
    Seq_ops
    
    Infix
    
    Make_shared
    
    Lmh_inference
    
    Infix
    
    List_ops
    
    Array_ops
    
    Seq_ops
    
    Log_space
    
    RNG
    
    Traced_monad
    
    Trace
    
    Make
    
    Infix
- Sources
  - prbnmcn-dagger
    
    RNG.ml
    
    cps_monad.ml
    
    dagger.ml
    
    dist.ml
    
    foldable.ml
    
    identity_monad.ml
    
    incremental_monad.ml
    
    intf.ml
    
    lmh_incremental_inference.ml
    
    lmh_inference.ml
    
    log_space.ml
    
    traced_monad.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Dagger.Intf`Source

Module type definitions

Sourcemodule type Foldable = sig ... end

Abstract foldable containers

Sourcemodule type Infix = sig ... end

Infix operators

Sourcemodule type Core = sig ... end

Sourcemodule type S = sig ... end

Module type describing the DSL, implemented by inference backends.