Module Preface_stdlib.Continuation

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

Invariant Functor

module Invariant : Preface_specs.INVARIANT with type 'a t = 'a t

Additional functions

Additional functions to facilitate practical work with Continuation.t.

val pure : 'a -> 'a t

Create a value from 'a to 'a t.