package pidgin

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Types
Inference/Deduction
Building kinds
Equality and comparison
Misc

A common language for describing and validating data structures

Install

dune-project

Dependency

github.com Edit opam file Versions (3)

Authors

Maintainers

Sources

pidgin-1.2.0.tbz

sha256=c6bb3f9332bcefc0488f03fcfa75e86cfa43a96e64cc4c293a9c37006c5f9785

sha512=887ac838a474d148abaeecb08d117bcca44d3c78ede7f1d81bb45930f1a5941085a6a1d9ab9ac4df44105dcff140569d1eb67088e223ca51fe4d5ea81be1b2ce

doc/pidgin/Pidgin/Kind/index.html

Module `Pidgin.Kind`Source

A Kind is a type of light type. It holds less information than a full-fledged type system and is used primarily for generating error messages (and perhaps, in the near future, for defunctionalize validation functions). Naively, they can be viewed as a representation that does not hold the value of a term described by Repr.t.

Even though the API is user-facing, it's best to build validators that allow users to ignore it.

Types

Sourcetype t = private

| Any
| Or of t list
| Null
| Bool
| Int
| Float
| String
| List of t
| Branch of string * t
| Pair of t * t
| Record of (string * t) list

The type describing a Kind. Unlike representations, a user does not want to manipulate them explicitly, which is why they remain private. (Not abstract for inspection)

Inference/Deduction

Sourceval infer : Repr.t -> t

infer repr deduce the kind of the given repr.

Building kinds

For validation function, we want to be able to create kinds for error reporting. (Remember that kinds are mapped to Repr.t)

Sourceval any : t

Describe the sad any kind. When a value is not unifiable or inferable.

Sourceval null : t

Describe the kind for Repr.null.

Sourceval bool : t

Describe the kind for Repr.bool.

Sourceval int : t

Describe the kind for Repr.int.

Sourceval float : t

Describe the kind for Repr.float.

Sourceval string : t

Describe the kind for Repr.string.

Sourceval list : t -> t

Describe the kind for Repr.list.

Sourceval record : ?normalize_keys:bool -> (string * t) list -> t

Describe the kind for Repr.record.

Sourceval or_ : t -> t -> t

Describe an union of kind.

Sourceval unify : t Nel.t -> t

Reduce a list of kind one kind, using or_.

Sourceval branch : string -> t -> t

Describe a branch.

Sourceval sum : (string * t) Nel.t -> t

Describe a sum type using or_.

Sourceval pair : t -> t -> t

Describe a special kind for pair.

Sourceval tuple : t Nel.t -> t

Build a tuple, if there is one value, it return it, otherwise it build a pair (possibly of pairs). Non Tail-recursive.

Sourceval triple : t -> t -> t -> t

triple a b c is pair a (pair b c).

Equality and comparison

Sourceval equal : t -> t -> bool

Equality between kinds.

Sourceval compare : t -> t -> int

Comparison between kinds.

Misc

Sourceval to_string : t -> string

to_string kind dump the given kind in a readdable way.