Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Par_incr.Syntax
SourceIntroduces some convenient operators for map
, bind
, combine
and par
operations.
Syntactic sugar for map
.
NOTE: You can't provide your own cutoff
when using Syntax
module. You may use Cutoff.attach
to add it to the resultant incremental
, but there's no way to pass it as parameter initially like with map
.
Syntactic sugar for combine
. Recommended to be used together with let+
.
Syntactic sugar for combine
. Recommended to be used together with let*
.