package jupyter

  1. Overview
  2. Docs

A library for Jupyter notebooks

type ctx
type display_id
val cell_context : unit -> ctx

Returns the current cell context.

val display : ?ctx:ctx -> ?display_id:display_id -> ?metadata:Yojson.Safe.t -> ?base64:bool -> string -> string -> display_id

display ?ctx ?base64 mime data shows data at ctx. mime is the mime type of data.

  • parameter ctx

    default = the current cell.

  • parameter display_id

    default = a fresh ID (since 1.0.0)

  • parameter metadata

    default = nothing (since 1.0.0)

  • parameter base64

    default = false.

val display_file : ?ctx:ctx -> ?display_id:display_id -> ?metadata:Yojson.Safe.t -> ?base64:bool -> string -> string -> display_id

display_file ?ctx ?base64 mime filename shows data in the file of path filename at ctx. mime is the mime type of the data.

  • parameter ctx

    default = the current cell.

  • parameter display_id

    default = a fresh ID (since 1.0.0)

  • parameter metadata

    default = nothing (since 1.0.0)

  • parameter base64

    default = false.

  • since 1.1.0
val clear_output : ?ctx:ctx -> ?wait:bool -> unit -> unit

clear_output ?ctx ?wait () removes displayed elements from ctx.

  • parameter ctx

    default = the current cell.

  • parameter wait

    default = false. Wait to clear the output until new output is available.

Printf

val formatter : Format.formatter

The formatter for displaying data on notebooks.

  • since 1.1.0
val printf : ('a, Format.formatter, unit) format -> 'a

Same as Format.printf, but output on JupyterNotebook.formatter.

  • since 1.1.0
val display_formatter : ?ctx:ctx -> ?display_id:display_id -> ?metadata:Yojson.Safe.t -> ?base64:bool -> string -> display_id

display_formatter ?ctx ?base64 mime shows data written in JupyterNotebook.formatter at ctx. mime is the mime type of the data.

JupyterNotebook.formatter is flushed and data in the formatter is cleaned by calling this function.

  • parameter ctx

    default = the current cell.

  • parameter display_id

    default = a fresh ID (since 1.0.0)

  • parameter metadata

    default = nothing (since 1.0.0)

  • parameter base64

    default = false.

  • since 1.1.0