package yocaml

You can search for identifiers within the package.

in-package search v0.2.0

Core engine of the YOCaml Static Site Generator

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (14)

Authors

T

The XHTMLBoy <xhtmlboi@gmail.com>

Maintainers

T

The XHTMLBoy <xhtmlboi@gmail.com>

Sources

yocaml-2.1.0.tbz

sha256=e5ab173efd4c356dfee3e9af2165762ec4f1b5d38bdf1000d13e5eb6f18edbae

sha512=77ce2f269a6058c91ed75dee164cf9073147aa5d48c5dbdb2d6b282fc184d3a9b8155e772dd24acb8c0618ef7e47c0222bf65e13ecc3e08fab87351ea4f27192

doc/yocaml/Yocaml/Data/Validation/Infix/index.html

Module `Validation.Infix`Source

Infix operators are essentially used to compose data validators (unlike binding operators, which are used to compose record validation fragments).

Infix operators are used to trivially compose validators. If you have a complicated set of validation rules, it is advisable to build a dedicated function to avoid making the validation rule complex to read.

Source

val (&) : 
  ('a -> 'b validated_value) ->
  ('b -> 'c validated_value) ->
  'a ->
  'c validated_value

(v1 & v2) x sequentially compose v2 (v1 x), so v1 following by v2. For example : int &> positive &> c.

Source

val (/) : 
  ('a -> 'b validated_value) ->
  ('a -> 'b validated_value) ->
  'a ->
  'b validated_value

(v1 / v2) x perform v1 x and if it fail, performs v2 x.

Sourceval ($) : ('a -> 'b validated_value) -> ('b -> 'c) -> 'a -> 'c validated_value

(v1 $ f) x perform f on the result of v1 x.