tmp: complete the implement part

Signed-off-by: Etienne Marais <[email protected]>

Author: maiste

doc/tutorials/oxcaml-parameterized-library/implement.md

@@ -1,3 +1,119 @@
 # Implement a Library Parameter
 
-TODO @maiste: create an implementation of the interface.
+Now we have our parameter, we have our interface. In this section, we will
+focus on how to write a library that implements our parameter.
+
+## Structure Our Project
+
+As we did for the `parameter`, we are going to add a new directory in our
+structure under `lib/`. We create a directory `impl/` under `lib/`. At the root
+of the directory, we can run:
+
+```{code-block} shell
+mkdir -p lib/impl
+```
+
+## Creating an Implementation
+
+As for the parameter, we start with our `lib/impl/dune`
+
+:::{literalinclude} implement/lib/impl/dune
+:language: dune
+:::
+
+To create an implementation, we write two files:
+- The first one is `lib/impl/impl.ml`. It contains the implementation.
+- The second one is `lib/impl/impl.mli`. It contains the interface of the implementation.
+
+
+We define an additional `create` function to send our element in the abstract
+type. Our project now implements a parameter.
+
+:::{literalinclude} implement/lib/impl/impl.mli
+:language: ocaml
+:::
+
+To have an abstract interface, we define an `mli` file.
+
+:::{literalinclude} implement/lib/impl/impl.ml
+:language: ocaml
+:::
+
+
+## Conclusion
+
+In this section you have learned to implement a parameter. We have added the
+following files:
+
+::::{dropdown} `lib/impl/dune`
+:icon: file-code
+
+:::{literalinclude} implement/lib/impl/dune
+:language: dune
+:::
+::::
+
+::::{dropdown} `lib/impl/impl.ml`
+:icon: file-code
+
+:::{literalinclude} implement/lib/impl/impl.ml
+:language: ocaml
+:::
+::::
+
+::::{dropdown} `lib/impl/impl.mli`
+:icon: file-code
+
+:::{literalinclude} implement/lib/impl/impl.mli
+:language: ocaml
+:::
+::::
+
+You should also have the previous files:
+
+::::{dropdown} `dune-project`
+:icon: file-code
+
+:::{literalinclude} implement/dune-project
+:language: dune
+:::
+::::
+
+::::{dropdown} `test/dune`
+:icon: file-code
+
+:::{literalinclude} implement/test/dune
+:language: dune
+:::
+::::
+
+::::
+
+::::{dropdown} `test/simple.t`
+:icon: file-code
+
+:::{literalinclude} implement/test/simple.t
+:language: dune
+:::
+::::
+
+::::{dropdown} `lib/param/dune`
+:icon: file-code
+
+:::{literalinclude} implement/lib/param/dune
+:language: dune
+:::
+::::
+
+::::{dropdown} `lib/param/param.mli`
+:icon: file-code
+
+:::{literalinclude} implement/lib/param/param.mli
+:language: ocaml
+:::
+::::
+
+::::
+
+In the next section, we will see how we write a library parameterized by our
+parameter.

doc/tutorials/oxcaml-parameterized-library/implement/dune-project

@@ -0,0 +1,4 @@
+(lang dune 3.20)
+(using oxcaml 0.1)
+
+(package (name param))

doc/tutorials/oxcaml-parameterized-library/implement/lib/impl/dune

@@ -0,0 +1,3 @@
+(library
+  (name impl)
+  (implement param))

doc/tutorials/oxcaml-parameterized-library/implement/lib/impl/impl.ml

@@ -0,0 +1,5 @@
+type t = int
+
+let create t = t
+
+let compare = Int.compare

doc/tutorials/oxcaml-parameterized-library/implement/lib/impl/impl.mli

@@ -0,0 +1,3 @@
+type t 
+val create : int -> t
+val compare: t -> t -> int

doc/tutorials/oxcaml-parameterized-library/implement/lib/param/dune

@@ -0,0 +1,2 @@
+(library_parameter
+  (public_name param))

doc/tutorials/oxcaml-parameterized-library/implement/lib/param/param.mli

@@ -0,0 +1,2 @@
+type t
+val compare: t -> t -> int

doc/tutorials/oxcaml-parameterized-library/implement/test/dune

@@ -0,0 +1,3 @@
+(cram
+ (applies_to :whole_subtree)
+ (enabled_if %{oxcaml_supported}))

doc/tutorials/oxcaml-parameterized-library/implement/test/simple.t

@@ -0,0 +1,4 @@
+This test shows the behavior of the program and ensures it does not have
+regression.
+
+  $ dune build