package mirage-types

  1. Overview
  2. Docs
On This Page
  1. Abstract devices

Abstract devices

Defines the functions to define what is a device state and how to disconnect such a device.

type +'a io

The type for potentially blocking I/O operation

type t

The type representing the internal state of the device

type error

The type for errors signalled by the device

type id

This type is no longer used and will be removed once other * modules stop using it in their type signatures.

val disconnect : t -> unit io

Disconnect from the device. While this might take some time to complete, it can never result in an error.