Module Preface_stdlib.ContinuationSource

Implementation for Continuation.t.

Type

Sourcetype '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.

Sourceval pure : 'a -> 'a t

Create a value from 'a to 'a t.