package preface

  1. Overview
  2. Docs
package preface
Legend:
Library
Module
Module type
Parameter
Class
Class type

Implementation for Continuation.t.

Type

type 'a t = {
  1. run : 'r. ('a -> 'r) -> 'r;
}

Implementation

Functor

module Functor : Preface_specs.FUNCTOR with type 'a t = 'a t

Applicative

module Applicative : Preface_specs.APPLICATIVE with type 'a t = 'a t

Monad

module Monad : Preface_specs.MONAD with type 'a t = 'a t

Addtional functions

Additional functions to facilitate practical work with Continuation.t.

val pure : 'a -> 'a t

Create a value from 'a to 'a t.