package asn1-combinators

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Object identifiers
ASN.1 Abstract Syntax
Encoding formats
Encoding and decoding
Misc

Embed typed ASN.1 grammars in OCaml

Install

dune-project

Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

D

David Kaloper Meršinjak

Maintainers

D

David Kaloper Meršinjak <dk505@cam.ac.uk>

Sources

asn1-combinators-0.3.1.tbz

sha256=fa2984c6ea6e1e1c4fe2033f0165af611963c2400ce2ba051004b77dfc557c4e

sha512=710f6916e792d4134bf72cc1aa4696e1ba63cf472177439dfc17cee840f11c541287c00f923e9235c9c93825ca5570807ddd0b725738a657c4d5f2c230692c30

doc/asn1-combinators/Asn/index.html

Module `Asn`Source

Embed typed ASN.1 grammars in OCaml

Skip the notation part of Abstract Syntax Notation, and embed the abstract syntax directly in OCaml.

References

ITU-T. Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T X.680 | ISO/IEC 8824-1, 2015
ITU-T. ASN.1 encoding rules: Specification of Basic Encoding Rules (BER), Canonical Encoding Rules (CER) and Distinguished Encoding Rules (DER). ITU-T X.690 | ISO/IEC 8825-1, 2015

v0.3.1 — homepage

Object identifiers

Sourcetype oid

ASN.1 OBJECT IDENTIFIER.

Sourcemodule OID : sig ... end

Object identifiers.

ASN.1 Abstract Syntax

Sourcetype 'a t

Abstract syntax of values of type 'a.

Sourcemodule S : sig ... end

ASN.1 Abstract Syntax.

Encoding formats

Sourcetype encoding

Sourceval ber : encoding

ber is ASN.1 Basic Encoding Rules (BER).

Sourceval der : encoding

der is ASN.1 Distinguished Encoding Rules (DER).

Encoding and decoding

Sourcetype 'a codec

Sourceexception Ambiguous_syntax

Sourceval codec : encoding -> 'a t -> 'a codec

codec enc asn represents the syntax asn encoded under the rules enc.

This function performs work up-front, and is generally expected to be called in the static context on statically known syntaxes.

raises Ambiguous_syntax
if asn contains CHOICE constructs over sub-syntaxes with the same tags.

Sourceval encode : 'a codec -> 'a -> string

encode codec x is the encoding of x, using codec.

Sourceval encode_into : 'a codec -> 'a -> int * (bytes -> unit)

encode_into codec x is the pair (n, f), where n is the length of x encoded with codec, and f is a function that will write the encoded x to the first n bytes of the provided bytes.

Sourcetype error = [

| `Parse of string

]

Parse errors.

Sourceval pp_error : Format.formatter -> error -> unit

pp_error ppf err pretty-prints err on ppf.

Sourceval decode : 'a codec -> string -> ('a * string, error) result

decode codec cs is the pair (x, cs'), where x is the result of decoding the prefix of cs with codec and cs' are the trailing bytes, or an error.

Misc

Sourceval random : 'a t -> 'a

random asn is a random inhabitant of 'a.