package yocaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=fddf61500e828ac88d86ba982084cc817299302082a6e797b36787ff18235ec2
sha512=8b71a8cecd3e101df55eef0bba7a24d4dde9d66b5ecedd9f6d55834fcdc8d33fd875092ca73a398e1715664caee06cdc1bdb1b4da85bff0a687faac5c0445023
doc/yocaml/Yocaml/Required/index.html
Module Yocaml.Required
Signatures enabling modules to be created, via functors or first-class modules.
Dealing with Metadata
type provider_error = | Parsing_error of {}| Validation_error of {entity : string;error : Data.Validation.value_error;
}| Required_metadata of {}
module type DATA_PROVIDER = sig ... endA Data Provider is used to deserialise metadata to data of type Yocaml.Data.t in order to apply validations.
module type DATA_READABLE = sig ... endDescribes a type capable of being readable as metadata of type Yocaml.Data.t. Used to lift a module into a validator for data described by a Yocaml.Required.DATA_PROVIDER.
module type DATA_INJECTABLE = sig ... endDescribes a type capable of being injected as metadata of type Yocaml.Data.t. Used to lift a module into an injecter of arbitrary types to a template (for example).
module type DATA_TEMPLATE = sig ... endDescribes a language capable of applying a template by assigning data to it (normalized using Yocaml.Required.DATA_INJECTABLE).
module type DATA_READER = sig ... endDescribes a provider for reading Metadata from a DATA_PROVIDER.
Runtime
A runtime is a context for executing a YOCaml program (for example, Unix). It allows all the primitives described by the effects to be implemented without having to worry about implementing an effects handler.
module type RUNTIME = sig ... endRunner
A Runner is used to run a Yocaml program in the context of a Yocaml.Required.RUNTIME.
module type RUNNER = sig ... end