package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module provides an adaptation of the

f_record_scan

interface for scanning CBOR map values.

module type Basis = sig ... end

The basis signature for record modules.

module type Profile = Cf_record_scan.Profile with type 'a form := 'a Annot.form and type 'a t := 'a t

The signature of CBOR map value scanners.

module Create (B : Basis) : Profile with type index := B.Index.t

Use Create(B) to make a record module for the index type in B. The scan function in this module extracts the minimum a and maximum b numbers of fields admitted by the schema, and uses them with the group ~a ~b `Map combinator defined above.