diff options
| author | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-10 19:13:33 +0000 |
|---|---|---|
| committer | ยท๐๐ด๐๐๐ฉ๐ค | 2025-12-10 19:13:33 +0000 |
| commit | dac55b99fb5aa7008e2f7f1c981096912b0441aa (patch) | |
| tree | 0b1895980f71d8cfd351660e22ef25d106a98057 /lib/manifest.ml | |
| parent | aad71a2f2d3fd12e2388bed64ba5284147202f73 (diff) | |
| download | nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.gz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.bz2 nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.lz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.xz nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.tar.zst nixtaml-dac55b99fb5aa7008e2f7f1c981096912b0441aa.zip | |
set up QCheck
Diffstat (limited to 'lib/manifest.ml')
| -rw-r--r-- | lib/manifest.ml | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lib/manifest.ml b/lib/manifest.ml index b79ebb9..68d5690 100644 --- a/lib/manifest.ml +++ b/lib/manifest.ml @@ -39,7 +39,7 @@ module File = struct url: Template.t; mirrors: Template.t list; } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({url; mirrors; _}: Input.File.t) : t = make ~url ~mirrors () @@ -78,7 +78,7 @@ module Archive = struct url: Template.t; mirrors: Template.t list; } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({url; mirrors; _}: Input.Archive.t) : t = make ~url ~mirrors () @@ -115,7 +115,7 @@ end module Git = struct module Reference = struct type t = Input.Git.Reference.t - [@@deriving show] + [@@deriving show, qcheck] let codec : t Util.KDL.node_codec = { to_node = (fun ref -> @@ -147,7 +147,7 @@ module Git = struct submodules: bool; [@default false] lfs: bool; [@default false] } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({repository; mirrors; reference; submodules; lfs; _}: Input.Git.t) : t = make ~repository ~mirrors ~reference ~submodules ~lfs () @@ -209,7 +209,7 @@ end module Darcs = struct module Reference = struct type t = Input.Darcs.Reference.t - [@@deriving show] + [@@deriving show, qcheck] let codec : t Util.KDL.codec = { to_kdl = (fun ref -> @@ -240,7 +240,7 @@ module Darcs = struct mirrors: Template.t list; reference: Reference.t; } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({repository; mirrors; reference; _}: Input.Darcs.t) : t = make ~repository ~mirrors ~reference () @@ -281,7 +281,7 @@ end module Pijul = struct module Reference = struct type t = Input.Pijul.Reference.t - [@@deriving show] + [@@deriving show, qcheck] let codec : t Util.KDL.node_codec = { to_node = (fun ref -> @@ -314,7 +314,7 @@ module Pijul = struct mirrors: Template.t list; reference: Reference.t; } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({remote; mirrors; reference; _}: Input.Pijul.t) : t = make ~remote ~mirrors ~reference () @@ -360,7 +360,7 @@ module Hash = struct algorithm: Input.Hash.algorithm; [@default Input.Hash.default_algorithm] expected: string option; } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest ({algorithm; expected; _}: Input.Hash.t) : t = make ~algorithm ?expected () @@ -441,7 +441,7 @@ module Kind = struct | `Darcs of Darcs.t | `Pijul of Pijul.t ] - [@@deriving show] + [@@deriving show, qcheck] let to_manifest : Input.Kind.t -> t = function | `File f -> `File (File.to_manifest f) @@ -498,7 +498,7 @@ module Input' = struct hash: Hash.t; frozen: bool; [@default false] } - [@@deriving show, make] + [@@deriving show, make, qcheck] let [@inline]to_manifest (input : Input.t) : t = { name = input.name; @@ -623,7 +623,7 @@ type t = { version: string; inputs: Input'.t list; } -[@@deriving show, make] +[@@deriving show, make, qcheck] let document_to_t (doc : Kdl.t) : t Util.KDL.Valid.t = let open Util.KDL.L in |