package notty_async

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Notty_async.TermSource

Sourcetype t
Sourceval create : ?dispose:Base.bool -> ?nosig:Base.bool -> ?mouse:Base.bool -> ?bpaste:Base.bool -> ?reader:Async.Reader.t -> ?writer:Async.Writer.t -> Base.unit -> t Async.Deferred.t
Sourceval refresh : t -> Base.unit Async.Deferred.t
Sourceval image : t -> Notty.image -> Base.unit Async.Deferred.t
Sourceval cursor : t -> (Base.int * Base.int) Base.option -> Base.unit Async.Deferred.t
Sourceval size : t -> Base.int * Base.int
Sourceval release : t -> Base.unit Async.Deferred.t

Release the terminal, restoring it to a state where ordinary I/O can be performed.

Sourceval events : t -> [ Notty.Unescape.event | `Resize of Base.int * Base.int ] Async.Pipe.Reader.t

This pipe will automatically be shut down once release is called, and closing this pipe will asynchronous trigger release to be called.