InjectOne can be used to fix the value of one element in an array parameter whose element type is a function by allowing us to provide a function as a value for that element. The resulting function will still contain the array parameter but it will represent the remainder of the array. InjectLast also fixes the value of one element in an array parameter whose element type is a function (by allowing us to provide a function as a value for one element) but it also removes the array parameter from the resulting function, basically closing the array parameter. Like Inject, these operators allow us to supply functions that have extra parameters compared to the function represented by the array element type. The extra parameters will be bubbled up to the resulting function.

You can try the example in the browser here: https://divex.dev/try-in-the-browser-cscompose/?sample=InjectOneInjectLast

ReplaceOne can be used to fix the value of one element in an array parameter by allowing us to provide a function that returns a value for one element. The resulting function will still contain the array parameter but it will represent the remainder of the array. ReplaceLast also fixes the value of one element in an array parameter (by allowing us to provide a function that returns a value) but it also removes the array parameter from the resulting function, basically closing the array parameter.

You can try the example in the browser: https://divex.dev/try-in-the-browser-cscompose/?sample=ReplaceOneReplaceLast

ApplyOne can be used to fix the value of one element in an array parameter. The resulting function will still contain the array parameter but it will represent the remainder of the array. ApplyLast also fixes the value of one element in an array parameter but it also removes the array parameter from the resulting function, basically closing the array parameter.

You can try this example in the browser here: https://divex.dev/try-in-the-browser-cscompose/?sample=ApplyOneApplyLast

In F#, you need to fix all the dependencies of low-level functions before you pass them as arguments to high level functions (using partial application). When using DIVEX, you can inject low-level functions as arguments for high-level functions without fixing all the dependencies of low-level functions. This allows us to create potentially-pure functions and compose them without injecting impure functions. We can delay the injection of impure functions to the last possible moment.

The source code is here: https://github.com/ymassad/DivexExamples/tree/main/DivexVersusFSharpPartialApplication

This example cannot be tried in the browser. To try it, you need to download the DIVEX visual studio extension from http://divex.dev

Because DIVEX allows injection of a function, say function 1, into another function, say function 2, even if function 1 has extra parameters compared to the dependency parameter defined in function 2, we can delay the injection of impure dependencies to the last possible moment.

The code in this example is based on code from fsharpforfunandprofit.com (see https://fsharpforfunandprofit.com/posts/dependencies-2/).

The license for the original code can be found here: https://fsharpforfunandprofit.com/about/license/

You can download the DIVEX Visual Studio extension from https://divex.dev

In this example functions and types are defined using F#. Because this example is relatively large, it better demonstrates the benefits of DIVEX and Composition Language 1.

You cannot try this example in the browser. If you want to try it you have to download the Visual Studio extension from https://divex.dev

Source code can be found here: https://github.com/ymassad/DivexExamples/tree/main/DocumentTranslationFSharp

You can try this example in the browser here: https://divex.dev/try-in-the-browser-cscompose/?sample=JoinAllInputs

You can try the example in the browser here: https://divex.dev/try-in-the-browser-cscompose/?sample=JoinByType

The JoinByName operator allows you to join or merge two parameters of a function that have the same name. DIVEX functions are allowed to have parameters with the same name. This can happen for example if you inject two functions into a function, and these two functions have parameters with the same name.

You can try the example in the browser here: https://divex.dev/try-in-the-browser-cscompose/?sample=JoinByName

You can try this example in the browser: https://divex.dev/try-in-the-browser-cscompose/?sample=Inject