@nfdi4plants/arctrl 3.2.3 → 3.3.0

package/dist/ts/ts/CWL/CWLTypes.js

@@ -1,13 +1,119 @@
-import { Union } from '../../node_modules/@fable-org/fable-library-ts/Types.js';
-import { union_type, string_type, class_type, array_type } from '../../node_modules/@fable-org/fable-library-ts/Reflection.js';
+import { yamlNodeEqual, hashYamlNode, seqEqual, mergeHashes, hashSeq, hashFields, optionSeqEqual, hashOptionSeq } from './HashHelpers.js';
+import { Record, Union } from '../../node_modules/@fable-org/fable-library-ts/Types.js';
+import { YamlNode_$reflection } from '../fable_modules/YAMLicious.2.0.0/Model.fs.js';
+import { record_type, union_type, string_type, bool_type, int64_type, array_type, class_type, option_type } from '../../node_modules/@fable-org/fable-library-ts/Reflection.js';
+import { defaultArg, some, unwrap, orElse } from '../../node_modules/@fable-org/fable-library-ts/Option.js';
+import { tryPick, ofArray } from '../../node_modules/@fable-org/fable-library-ts/List.js';
+import { YamlNodeModule_isMissingValue } from '../fable_modules/YAMLicious.2.0.0/Node.fs.js';
+import { isInfinity } from '../../node_modules/@fable-org/fable-library-ts/Double.js';
+import { toInt64_unchecked, fromFloat64 } from '../../node_modules/@fable-org/fable-library-ts/BigInt.js';
 import { toText, printf } from '../../node_modules/@fable-org/fable-library-ts/String.js';
-import { unwrap, value, defaultArg, orElse } from '../../node_modules/@fable-org/fable-library-ts/Option.js';
-import { fileInstance, directoryInstance, direntInstance, inputEnumSchema, inputRecordField, inputRecordSchema, inputArraySchema, schemaDefRequirementType, softwarePackage } from './CWLKnownFieldNames.js';
-import { arrayHash, equals, safeHash, numberHash } from '../../node_modules/@fable-org/fable-library-ts/Util.js';
+import { choose, map, forAll2, toList, tryFind, exists, append } from '../../node_modules/@fable-org/fable-library-ts/Seq.js';
+import { equals, safeHash, arrayHash, comparePrimitives, numberHash } from '../../node_modules/@fable-org/fable-library-ts/Util.js';
+import { fileInstance, directoryInstance, direntInstance, inputEnumSchema, inputRecordField, inputRecordSchema, inputArraySchema, softwarePackage } from './CWLKnownFieldNames.js';
+import { empty } from '../../node_modules/@fable-org/fable-library-ts/Set.js';
 import { hashDynamicProperties, dynamicPropertiesEqual } from './DynamicObjHelpers.js';
 import { DynamicObj, DynamicObj_$reflection } from '../fable_modules/DynamicObj.8.0.0/DynamicObj.fs.js';
-import { forAll2, toList, map, tryFind, exists } from '../../node_modules/@fable-org/fable-library-ts/Seq.js';
 
+class RawYaml extends Record {
+  constructor(Node$) {
+    super();
+    this.Node = Node$;
+  }
+  Equals(o) {
+    let other = void 0;
+    const this$ = this;
+    return o instanceof RawYaml && (other = o, yamlNodeEqual(this$.Node, other.Node));
+  }
+  GetHashCode() {
+    const this$ = this;
+    return hashYamlNode(this$.Node) | 0;
+  }
+}
+function RawYaml_$reflection() {
+  return record_type("ARCtrl.CWL.RawYaml", [], RawYaml, () => [["Node", YamlNode_$reflection()]]);
+}
+function RawYaml__get_MixinPath(this$) {
+  const matchValue = this$.Node.Kind;
+  if (matchValue.tag === /* Mapping */
+  1) {
+    return defaultArg(tryPick((entry) => {
+      const matchValue_1 = entry.Key.Kind;
+      const matchValue_2 = entry.Value.Kind;
+      let matchResult = void 0, key_1 = void 0, path_1 = void 0;
+      if (matchValue_1.tag === /* Scalar */
+      0) {
+        if (matchValue_2.tag === /* Scalar */
+        0) {
+          if (matchValue_2.fields[0], matchValue_1.fields[0].Value === "$mixin") {
+            matchResult = 0;
+            key_1 = matchValue_1.fields[0];
+            path_1 = matchValue_2.fields[0];
+          } else {
+            matchResult = 1;
+          }
+        } else {
+          matchResult = 1;
+        }
+      } else {
+        matchResult = 1;
+      }
+      switch (matchResult) {
+        case 0:
+          return path_1.Value;
+        default:
+          return void 0;
+      }
+    }, matchValue.fields[0].Items), "");
+  } else {
+    return "";
+  }
+}
+function RawYaml__TryScalarField_Z721C83C5(this$, field) {
+  const matchValue = this$.Node.Kind;
+  if (matchValue.tag === /* Mapping */
+  1) {
+    return tryPick((entry) => {
+      const matchValue_1 = entry.Key.Kind;
+      const matchValue_2 = entry.Value.Kind;
+      let matchResult = void 0, key_1 = void 0, value_1 = void 0;
+      if (matchValue_1.tag === /* Scalar */
+      0) {
+        if (matchValue_2.tag === /* Scalar */
+        0) {
+          if (matchValue_2.fields[0], matchValue_1.fields[0].Value === field && !YamlNodeModule_isMissingValue(entry.Value)) {
+            matchResult = 0;
+            key_1 = matchValue_1.fields[0];
+            value_1 = matchValue_2.fields[0];
+          } else {
+            matchResult = 1;
+          }
+        } else {
+          matchResult = 1;
+        }
+      } else {
+        matchResult = 1;
+      }
+      switch (matchResult) {
+        case 0:
+          return value_1.Value;
+        default:
+          return void 0;
+      }
+    }, matchValue.fields[0].Items);
+  } else {
+    return void 0;
+  }
+}
+function IntegerOf_tryNumber(value) {
+  if ((Number.isNaN(value) ? true : isInfinity(value)) ? true : value !== Math.floor(value)) {
+    return void 0;
+  } else if (value >= -9223372036854776e3 && value < 9223372036854776e3) {
+    return toInt64_unchecked(fromFloat64(value));
+  } else {
+    return void 0;
+  }
+}
 function SchemaSaladString_Literal(Item) {
   return new SchemaSaladString(0, [Item]);
 }
@@ -17,6 +123,12 @@ function SchemaSaladString_Include(Item) {
 function SchemaSaladString_Import(Item) {
   return new SchemaSaladString(2, [Item]);
 }
+function SchemaSaladString_Mixin(Item) {
+  return new SchemaSaladString(3, [Item]);
+}
+function SchemaSaladString_Mixed(Item) {
+  return new SchemaSaladString(4, [Item]);
+}
 class SchemaSaladString extends Union {
   constructor(tag, fields) {
     super();
@@ -24,46 +136,101 @@ class SchemaSaladString extends Union {
     this.fields = fields;
   }
   cases() {
-    return ["Literal", "Include", "Import"];
+    return ["Literal", "Include", "Import", "Mixin", "Mixed"];
   }
-}
-function SchemaSaladString_$reflection() {
-  return union_type("ARCtrl.CWL.SchemaSaladString", [], SchemaSaladString, () => [[["Item", string_type]], [["Item", string_type]], [["Item", string_type]]]);
-}
-function SchemaSaladString__get_Value(this$) {
-  let value = void 0;
-  switch (this$.tag) {
-    case /* Include */
-    1: {
-      value = this$.fields[0];
-      break;
+  static literal(value) {
+    return SchemaSaladString_Literal(value);
+  }
+  static include(value) {
+    return SchemaSaladString_Include(value);
+  }
+  static import(value) {
+    return SchemaSaladString_Import(value);
+  }
+  static mixin(value) {
+    return SchemaSaladString_Mixin(value);
+  }
+  static mixed(value) {
+    return SchemaSaladString_Mixed(value);
+  }
+  /**
+   * The text of a literal and the path of a directive.
+   */
+  get Value() {
+    const this$ = this;
+    let matchResult = void 0, value = void 0;
+    switch (this$.tag) {
+      case /* Include */
+      1: {
+        matchResult = 0;
+        value = this$.fields[0];
+        break;
+      }
+      case /* Import */
+      2: {
+        matchResult = 0;
+        value = this$.fields[0];
+        break;
+      }
+      case /* Mixin */
+      3: {
+        matchResult = 0;
+        value = this$.fields[0];
+        break;
+      }
+      case /* Mixed */
+      4: {
+        matchResult = 1;
+        break;
+      }
+      default: {
+        matchResult = 0;
+        value = this$.fields[0];
+      }
     }
-    case /* Import */
-    2: {
-      value = this$.fields[0];
-      break;
+    switch (matchResult) {
+      case 0:
+        return value;
+      default:
+        return RawYaml__get_MixinPath(this$.fields[0]);
     }
-    default:
-      value = this$.fields[0];
   }
-  return value;
-}
-function SchemaSaladString__get_AsDirectiveString(this$) {
-  switch (this$.tag) {
-    case /* Include */
-    1: {
-      const value_1 = this$.fields[0];
-      return toText(printf("$include: %s"))(value_1);
-    }
-    case /* Import */
-    2: {
-      const value_2 = this$.fields[0];
-      return toText(printf("$import: %s"))(value_2);
+  /**
+   * The text as a document spells it, with the directive in front of the path. The description of an expression tool in
+   * an RO-Crate and the properties of a node of the workflow graph show a string through it, so it is a text for display.
+   * The decoder and the encoder keep the directive as a case, so a document never holds this text.
+   */
+  get AsDirectiveString() {
+    const this$ = this;
+    switch (this$.tag) {
+      case /* Include */
+      1: {
+        const value_1 = this$.fields[0];
+        return toText(printf("$include: %s"))(value_1);
+      }
+      case /* Import */
+      2: {
+        const value_2 = this$.fields[0];
+        return toText(printf("$import: %s"))(value_2);
+      }
+      case /* Mixin */
+      3: {
+        const value_3 = this$.fields[0];
+        return toText(printf("$mixin: %s"))(value_3);
+      }
+      case /* Mixed */
+      4: {
+        const arg_3 = RawYaml__get_MixinPath(this$.fields[0]);
+        return toText(printf("$mixin: %s"))(arg_3);
+      }
+      default:
+        return this$.fields[0];
     }
-    default:
-      return this$.fields[0];
   }
 }
+function SchemaSaladString_$reflection() {
+  return union_type("ARCtrl.CWL.SchemaSaladString", [], SchemaSaladString, () => [[["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", RawYaml_$reflection()]]]);
+}
 function SchemaSaladStringModule_literal(value) {
   return SchemaSaladString_Literal(value);
 }
@@ -73,11 +240,203 @@ function SchemaSaladStringModule_includePath(value) {
 function SchemaSaladStringModule_importPath(value) {
   return SchemaSaladString_Import(value);
 }
+function SchemaSaladStringModule_mixinPath(value) {
+  return SchemaSaladString_Mixin(value);
+}
 function SchemaSaladStringModule_value(saladString) {
-  return SchemaSaladString__get_Value(saladString);
+  return saladString.Value;
+}
+function SchemaSaladStringModule_tryLiteral(saladString) {
+  switch (saladString.tag) {
+    case /* Include */
+    1:
+    case /* Import */
+    2:
+    case /* Mixin */
+    3:
+    case /* Mixed */
+    4:
+      return void 0;
+    default:
+      return saladString.fields[0];
+  }
 }
-function SchemaSaladStringModule_toDirectiveString(saladString) {
-  return SchemaSaladString__get_AsDirectiveString(saladString);
+function ListEntry$1_Value(Item) {
+  return new ListEntry$1(0, [Item]);
+}
+function ListEntry$1_Imported(Item) {
+  return new ListEntry$1(1, [Item]);
+}
+function ListEntry$1_Mixed(Item) {
+  return new ListEntry$1(2, [Item]);
+}
+class ListEntry$1 extends Union {
+  constructor(tag, fields) {
+    super();
+    this.tag = tag;
+    this.fields = fields;
+  }
+  cases() {
+    return ["Value", "Imported", "Mixed"];
+  }
+  /**
+   * The object of a value entry, and none for an import or a mixin.
+   */
+  static tryValue(entry) {
+    switch (entry.tag) {
+      case /* Imported */
+      1:
+      case /* Mixed */
+      2:
+        return void 0;
+      default:
+        return some(entry.fields[0]);
+    }
+  }
+  /**
+   * The objects of the value entries, in order. The imports and the mixins stand for objects that the decoder does not
+   * read, so they are left out. The result is a new list.
+   */
+  static values(entries) {
+    const collection = choose((entry) => ListEntry$1.tryValue(entry), entries);
+    return Array.from(collection);
+  }
+  /**
+   * The value entries for these objects, in order.
+   */
+  static ofValues(values) {
+    const collection = map(ListEntry$1_Value, values);
+    return Array.from(collection);
+  }
+  /**
+   * The entry with another object, and the same import or mixin.
+   */
+  static map(mapping, entry) {
+    return entry.tag === /* Imported */
+    1 ? ListEntry$1_Imported(entry.fields[0]) : entry.tag === /* Mixed */
+    2 ? ListEntry$1_Mixed(entry.fields[0]) : ListEntry$1_Value(mapping(entry.fields[0]));
+  }
+}
+function ListEntry$1_$reflection(gen0) {
+  return union_type("ARCtrl.CWL.ListEntry`1", [gen0], ListEntry$1, () => [[["Item", gen0]], [["Item", string_type]], [["Item", RawYaml_$reflection()]]]);
+}
+function SchemaSaladBool_Value(Item) {
+  return new SchemaSaladBool(0, [Item]);
+}
+function SchemaSaladBool_Imported(Item) {
+  return new SchemaSaladBool(1, [Item]);
+}
+function SchemaSaladBool_Mixed(Item) {
+  return new SchemaSaladBool(2, [Item]);
+}
+class SchemaSaladBool extends Union {
+  constructor(tag, fields) {
+    super();
+    this.tag = tag;
+    this.fields = fields;
+  }
+  cases() {
+    return ["Value", "Imported", "Mixed"];
+  }
+  /**
+   * The boolean of a value, and none for a directive, which names a file whose data the model does not hold.
+   */
+  static tryValue(value) {
+    switch (value.tag) {
+      case /* Imported */
+      1:
+      case /* Mixed */
+      2:
+        return void 0;
+      default:
+        return value.fields[0];
+    }
+  }
+}
+function SchemaSaladBool_$reflection() {
+  return union_type("ARCtrl.CWL.SchemaSaladBool", [], SchemaSaladBool, () => [[["Item", bool_type]], [["Item", string_type]], [["Item", RawYaml_$reflection()]]]);
+}
+function FileSize_Bytes(Item) {
+  return new FileSize(0, [Item]);
+}
+function FileSize_Imported(Item) {
+  return new FileSize(1, [Item]);
+}
+function FileSize_Mixed(Item) {
+  return new FileSize(2, [Item]);
+}
+class FileSize extends Union {
+  constructor(tag, fields) {
+    super();
+    this.tag = tag;
+    this.fields = fields;
+  }
+  cases() {
+    return ["Bytes", "Imported", "Mixed"];
+  }
+  /**
+   * The number of bytes of a size, and none for a directive.
+   */
+  static tryBytes(size) {
+    switch (size.tag) {
+      case /* Imported */
+      1:
+      case /* Mixed */
+      2:
+        return void 0;
+      default:
+        return size.fields[0];
+    }
+  }
+}
+function FileSize_$reflection() {
+  return union_type("ARCtrl.CWL.FileSize", [], FileSize, () => [[["Item", int64_type]], [["Item", string_type]], [["Item", RawYaml_$reflection()]]]);
+}
+function DocText_Text$(Item) {
+  return new DocText(0, [Item]);
+}
+function DocText_Parts(Item) {
+  return new DocText(1, [Item]);
+}
+class DocText extends Union {
+  constructor(tag, fields) {
+    super();
+    this.tag = tag;
+    this.fields = fields;
+  }
+  cases() {
+    return ["Text", "Parts"];
+  }
+  Equals(o) {
+    let other = void 0, left_1 = void 0, right_1 = void 0, left = void 0, right = void 0;
+    const this$ = this;
+    return o instanceof DocText && (other = o, this$.tag === /* Parts */
+    1 ? other.tag === /* Parts */
+    1 && (left_1 = this$.fields[0], right_1 = other.fields[0], seqEqual(left_1, right_1)) : other.tag === /* Text */
+    0 && (left = this$.fields[0], right = other.fields[0], equals(left, right)));
+  }
+  GetHashCode() {
+    const this$ = this;
+    return (this$.tag === /* Parts */
+    1 ? mergeHashes(2, hashSeq(this$.fields[0])) : mergeHashes(1, safeHash(this$.fields[0]))) | 0;
+  }
+  /**
+   * The doc that is the given text.
+   */
+  static literal(text) {
+    return DocText_Text$(SchemaSaladString_Literal(text));
+  }
+  /**
+   * The text of the doc, and none for a doc with a directive.
+   */
+  get TryText() {
+    const this$ = this;
+    return unwrap(this$.tag === /* Parts */
+    1 ? void 0 : SchemaSaladStringModule_tryLiteral(this$.fields[0]));
+  }
+}
+function DocText_$reflection() {
+  return union_type("ARCtrl.CWL.DocText", [], DocText, () => [[["Item", SchemaSaladString_$reflection()]], [["Item", array_type(SchemaSaladString_$reflection())]]]);
 }
 class FileInstance extends DynamicObj {
   constructor(location, path, basename, dirname, nameroot, nameext, checksum, size, secondaryFiles, format, contents) {
@@ -187,7 +546,7 @@ class FileInstance extends DynamicObj {
   }
   GetHashCode() {
     const this$ = this;
-    return arrayHash([this$.Location, this$.Path, this$.Basename, this$.Dirname, this$.Nameroot, this$.Nameext, this$.Checksum, this$.Size, this$.SecondaryFiles, this$.Format, this$.Contents, hashDynamicProperties(this$)]) | 0;
+    return hashFields(ofArray([this$.Location, this$.Path, this$.Basename, this$.Dirname, this$.Nameroot, this$.Nameext, this$.Checksum, this$.Size, this$.SecondaryFiles, this$.Format, this$.Contents, hashDynamicProperties(this$)])) | 0;
   }
   Equals(o) {
     let o_1 = void 0;
@@ -198,7 +557,7 @@ class FileInstance extends DynamicObj {
 function FileInstance_$reflection() {
   return class_type("ARCtrl.CWL.FileInstance", void 0, FileInstance, DynamicObj_$reflection());
 }
-function FileInstance_$ctor_75C1B52E(location, path, basename, dirname, nameroot, nameext, checksum, size, secondaryFiles, format, contents) {
+function FileInstance_$ctor_150431C5(location, path, basename, dirname, nameroot, nameext, checksum, size, secondaryFiles, format, contents) {
   return new FileInstance(location, path, basename, dirname, nameroot, nameext, checksum, size, secondaryFiles, format, contents);
 }
 class DirectoryInstance extends DynamicObj {
@@ -257,7 +616,7 @@ class DirectoryInstance extends DynamicObj {
 function DirectoryInstance_$reflection() {
   return class_type("ARCtrl.CWL.DirectoryInstance", void 0, DirectoryInstance, DynamicObj_$reflection());
 }
-function DirectoryInstance_$ctor_Z4C1E59AE(location, path, basename, listing) {
+function DirectoryInstance_$ctor_219ADA02(location, path, basename, listing) {
   return new DirectoryInstance(location, path, basename, listing);
 }
 class DirentInstance extends DynamicObj {
@@ -307,9 +666,31 @@ class DirentInstance extends DynamicObj {
 function DirentInstance_$reflection() {
   return class_type("ARCtrl.CWL.DirentInstance", void 0, DirentInstance, DynamicObj_$reflection());
 }
-function DirentInstance_$ctor_Z61DE5D76(entry, entryname, writable) {
+function DirentInstance_$ctor_F8980C3(entry, entryname, writable) {
   return new DirentInstance(entry, entryname, writable);
 }
+class SourceNodes extends Record {
+  constructor(Doc, Label, WholeFields) {
+    super();
+    this.Doc = Doc;
+    this.Label = Label;
+    this.WholeFields = WholeFields;
+  }
+  Equals(o) {
+    return o instanceof SourceNodes;
+  }
+  GetHashCode() {
+    return 0;
+  }
+}
+function SourceNodes_$reflection() {
+  return record_type("ARCtrl.CWL.SourceNodes", [], SourceNodes, () => [["Doc", option_type(YamlNode_$reflection())], ["Label", option_type(YamlNode_$reflection())], ["WholeFields", class_type("Microsoft.FSharp.Collections.FSharpSet`1", [string_type])]]);
+}
+function SourceNodes_get_Empty() {
+  return new SourceNodes(void 0, void 0, empty({
+    Compare: (x, y) => comparePrimitives(x, y) | 0
+  }));
+}
 class InputEnumSchema extends DynamicObj {
   constructor(symbols, label, doc, name) {
     super();
@@ -317,6 +698,7 @@ class InputEnumSchema extends DynamicObj {
     this._label = label;
     this._doc = doc;
     this._name = name;
+    this._sourceNodes = SourceNodes_get_Empty();
   }
   get Symbols() {
     const this$ = this;
@@ -350,6 +732,22 @@ class InputEnumSchema extends DynamicObj {
     const this$ = this;
     this$._name = value;
   }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  get SourceNodes() {
+    const this$ = this;
+    return this$._sourceNodes;
+  }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  set SourceNodes(value) {
+    const this$ = this;
+    this$._sourceNodes = value;
+  }
   /**
    * Equality comparison that treats symbol order as significant.
    * Two enums are equal only if their symbols appear in the same order.
@@ -358,7 +756,7 @@ class InputEnumSchema extends DynamicObj {
   Equals(o) {
     let other = void 0;
     const this$ = this;
-    return o instanceof InputEnumSchema && (other = o, equals(this$.Label, other.Label) && equals(this$.Doc, other.Doc) && equals(this$.Name, other.Name) && this$.Symbols.length === other.Symbols.length && forAll2((x, y) => x === y, this$.Symbols, other.Symbols) && dynamicPropertiesEqual(this$, other));
+    return o instanceof InputEnumSchema && (other = o, equals(this$.Label, other.Label) && equals(this$.Doc, other.Doc) && equals(this$.Name, other.Name) && this$.Symbols.length === other.Symbols.length && forAll2(equals, this$.Symbols, other.Symbols) && dynamicPropertiesEqual(this$, other));
   }
   GetHashCode() {
     const this$ = this;
@@ -367,11 +765,19 @@ class InputEnumSchema extends DynamicObj {
   static get KnownFieldNames() {
     return inputEnumSchema;
   }
+  /**
+   * Returns a new list of the symbols that the document writes out as strings. The directives are left out, so a change
+   * of the list changes nothing in the enum. The entries of the enum are in Symbols.
+   */
+  static getSymbolValues(schema) {
+    const collection = choose(SchemaSaladStringModule_tryLiteral, schema.Symbols);
+    return Array.from(collection);
+  }
 }
 function InputEnumSchema_$reflection() {
   return class_type("ARCtrl.CWL.InputEnumSchema", void 0, InputEnumSchema, DynamicObj_$reflection());
 }
-function InputEnumSchema_$ctor_Z998ED46(symbols, label, doc, name) {
+function InputEnumSchema_$ctor_162689D3(symbols, label, doc, name) {
   return new InputEnumSchema(symbols, label, doc, name);
 }
 class InputRecordField extends DynamicObj {
@@ -381,6 +787,7 @@ class InputRecordField extends DynamicObj {
     this._type = type_;
     this._doc = doc;
     this._label = label;
+    this._sourceNodes = SourceNodes_get_Empty();
   }
   get Name() {
     const this$ = this;
@@ -414,6 +821,22 @@ class InputRecordField extends DynamicObj {
     const this$ = this;
     this$._label = value;
   }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  get SourceNodes() {
+    const this$ = this;
+    return this$._sourceNodes;
+  }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  set SourceNodes(value) {
+    const this$ = this;
+    this$._sourceNodes = value;
+  }
   Equals(o) {
     let other = void 0;
     const this$ = this;
@@ -430,7 +853,7 @@ class InputRecordField extends DynamicObj {
 function InputRecordField_$reflection() {
   return class_type("ARCtrl.CWL.InputRecordField", void 0, InputRecordField, DynamicObj_$reflection());
 }
-function InputRecordField_$ctor_Z155BDB64(name, type_, doc, label) {
+function InputRecordField_$ctor_ZBF0B4CA(name, type_, doc, label) {
   return new InputRecordField(name, type_, doc, label);
 }
 class InputRecordSchema extends DynamicObj {
@@ -440,6 +863,7 @@ class InputRecordSchema extends DynamicObj {
     this._label = label;
     this._doc = doc;
     this._name = name;
+    this._sourceNodes = SourceNodes_get_Empty();
   }
   get Fields() {
     const this$ = this;
@@ -473,24 +897,49 @@ class InputRecordSchema extends DynamicObj {
     const this$ = this;
     this$._name = value;
   }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  get SourceNodes() {
+    const this$ = this;
+    return this$._sourceNodes;
+  }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  set SourceNodes(value) {
+    const this$ = this;
+    this$._sourceNodes = value;
+  }
   Equals(o) {
     let other = void 0, matchValue = void 0, matchValue_1 = void 0, f1 = void 0, f2 = void 0;
     const this$ = this;
-    return o instanceof InputRecordSchema && (other = o, equals(this$.Label, other.Label) && equals(this$.Doc, other.Doc) && equals(this$.Name, other.Name) && (matchValue = this$.Fields, matchValue_1 = other.Fields, matchValue != null ? matchValue_1 != null && (f1 = value(matchValue), f2 = value(matchValue_1), f1.length === f2.length && forAll2(equals, f1, f2)) : matchValue_1 == null) && dynamicPropertiesEqual(this$, other));
+    return o instanceof InputRecordSchema && (other = o, equals(this$.Label, other.Label) && equals(this$.Doc, other.Doc) && equals(this$.Name, other.Name) && (matchValue = this$.Fields, matchValue_1 = other.Fields, matchValue != null ? matchValue_1 != null && (f1 = matchValue, f2 = matchValue_1, seqEqual(f1, f2)) : matchValue_1 == null) && dynamicPropertiesEqual(this$, other));
   }
   GetHashCode() {
     let option_1 = void 0;
     const this$ = this;
-    return arrayHash([(option_1 = this$.Fields, option_1 != null ? toList(map((field) => safeHash(field) | 0, value(option_1))) : void 0), this$.Label, this$.Doc, this$.Name, hashDynamicProperties(this$)]) | 0;
+    return arrayHash([(option_1 = this$.Fields, option_1 != null ? toList(map((field) => safeHash(field) | 0, option_1)) : void 0), this$.Label, this$.Doc, this$.Name, hashDynamicProperties(this$)]) | 0;
   }
   static get KnownFieldNames() {
     return inputRecordSchema;
   }
+  /**
+   * Returns a new list of the fields of the record that are objects, or an empty list for a record without fields. The
+   * imports and the mixins are left out, so a change of the list changes nothing in the record. The entries of the
+   * record are in Fields.
+   */
+  static getFieldValuesOrEmpty(schema) {
+    let option_1 = void 0, entries = void 0;
+    return defaultArg((option_1 = schema.Fields, option_1 != null ? (entries = option_1, ListEntry$1.values(entries)) : void 0), []);
+  }
 }
 function InputRecordSchema_$reflection() {
   return class_type("ARCtrl.CWL.InputRecordSchema", void 0, InputRecordSchema, DynamicObj_$reflection());
 }
-function InputRecordSchema_$ctor_Z52C4D9E4(fields, label, doc, name) {
+function InputRecordSchema_$ctor_6F045035(fields, label, doc, name) {
   return new InputRecordSchema(fields, label, doc, name);
 }
 class InputArraySchema extends DynamicObj {
@@ -500,6 +949,7 @@ class InputArraySchema extends DynamicObj {
     this._label = label;
     this._doc = doc;
     this._name = name;
+    this._sourceNodes = SourceNodes_get_Empty();
   }
   get Items() {
     const this$ = this;
@@ -533,6 +983,22 @@ class InputArraySchema extends DynamicObj {
     const this$ = this;
     this$._name = value;
   }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  get SourceNodes() {
+    const this$ = this;
+    return this$._sourceNodes;
+  }
+  /**
+   * The nodes that the doc and the label were read from. The encoder writes the layout of the author from them.
+   * They stay out of the equality and the hash of the object.
+   */
+  set SourceNodes(value) {
+    const this$ = this;
+    this$._sourceNodes = value;
+  }
   Equals(o) {
     let other = void 0;
     const this$ = this;
@@ -549,17 +1015,14 @@ class InputArraySchema extends DynamicObj {
 function InputArraySchema_$reflection() {
   return class_type("ARCtrl.CWL.InputArraySchema", void 0, InputArraySchema, DynamicObj_$reflection());
 }
-function InputArraySchema_$ctor_4E4FFD9F(items, label, doc, name) {
+function InputArraySchema_$ctor_24D6AC35(items, label, doc, name) {
   return new InputArraySchema(items, label, doc, name);
 }
-function CWLType_File(Item) {
-  return new CWLType(0, [Item]);
-}
-function CWLType_Directory(Item) {
-  return new CWLType(1, [Item]);
+function CWLType_File() {
+  return CWLType.File;
 }
-function CWLType_Dirent(Item) {
-  return new CWLType(2, [Item]);
+function CWLType_Directory() {
+  return CWLType.Directory;
 }
 function CWLType_String$() {
   return CWLType.String$;
@@ -579,23 +1042,47 @@ function CWLType_Double() {
 function CWLType_Boolean$() {
   return CWLType.Boolean$;
 }
+function CWLType_Any() {
+  return CWLType.Any;
+}
 function CWLType_Stdout() {
   return CWLType.Stdout;
 }
+function CWLType_Stderr() {
+  return CWLType.Stderr;
+}
+function CWLType_Stdin() {
+  return CWLType.Stdin;
+}
+function CWLType_Reference(Item) {
+  return new CWLType(12, [Item]);
+}
+function CWLType_ImportedType(Item) {
+  return new CWLType(13, [Item]);
+}
+function CWLType_IncludedType(Item) {
+  return new CWLType(14, [Item]);
+}
+function CWLType_MixedType(Item) {
+  return new CWLType(15, [Item]);
+}
+function CWLType_RawType(Item) {
+  return new CWLType(16, [Item]);
+}
 function CWLType_Null() {
   return CWLType.Null;
 }
 function CWLType_Array$(Item) {
-  return new CWLType(11, [Item]);
+  return new CWLType(18, [Item]);
 }
 function CWLType_Record(Item) {
-  return new CWLType(12, [Item]);
+  return new CWLType(19, [Item]);
 }
 function CWLType_Enum(Item) {
-  return new CWLType(13, [Item]);
+  return new CWLType(20, [Item]);
 }
 function CWLType_Union(Item) {
-  return new CWLType(14, [Item]);
+  return new CWLType(21, [Item]);
 }
 class CWLType extends Union {
   constructor(tag, fields) {
@@ -604,134 +1091,227 @@ class CWLType extends Union {
     this.fields = fields;
   }
   cases() {
-    return ["File", "Directory", "Dirent", "String", "Int", "Long", "Float", "Double", "Boolean", "Stdout", "Null", "Array", "Record", "Enum", "Union"];
+    return ["File", "Directory", "String", "Int", "Long", "Float", "Double", "Boolean", "Any", "Stdout", "Stderr", "Stdin", "Reference", "ImportedType", "IncludedType", "MixedType", "RawType", "Null", "Array", "Record", "Enum", "Union"];
+  }
+  static {
+    this.File = new CWLType(0, []);
+  }
+  static {
+    this.Directory = new CWLType(1, []);
+  }
+  static {
+    this.String$ = new CWLType(2, []);
   }
   static {
-    this.String$ = new CWLType(3, []);
+    this.Int = new CWLType(3, []);
   }
   static {
-    this.Int = new CWLType(4, []);
+    this.Long = new CWLType(4, []);
   }
   static {
-    this.Long = new CWLType(5, []);
+    this.Float = new CWLType(5, []);
   }
   static {
-    this.Float = new CWLType(6, []);
+    this.Double = new CWLType(6, []);
   }
   static {
-    this.Double = new CWLType(7, []);
+    this.Boolean$ = new CWLType(7, []);
   }
   static {
-    this.Boolean$ = new CWLType(8, []);
+    this.Any = new CWLType(8, []);
   }
   static {
     this.Stdout = new CWLType(9, []);
   }
   static {
-    this.Null = new CWLType(10, []);
+    this.Stderr = new CWLType(10, []);
+  }
+  static {
+    this.Stdin = new CWLType(11, []);
+  }
+  static {
+    this.Null = new CWLType(17, []);
   }
   Equals(o) {
-    let other = void 0, d1 = void 0, d2 = void 0, di1 = void 0, di2 = void 0, a1 = void 0, a2 = void 0, r1 = void 0, r2 = void 0, e1 = void 0, e2 = void 0, u1 = void 0, u2 = void 0, f1 = void 0, f2 = void 0;
+    let other = void 0, left = void 0, right = void 0, left_1 = void 0, right_1 = void 0, left_2 = void 0, right_2 = void 0, left_3 = void 0, right_3 = void 0, left_4 = void 0, right_4 = void 0, a1 = void 0, a2 = void 0, r1 = void 0, r2 = void 0, e1 = void 0, e2 = void 0, u1 = void 0, u2 = void 0;
     const this$ = this;
     return o instanceof CWLType && (other = o, this$.tag === /* Directory */
     1 ? other.tag === /* Directory */
-    1 && (d1 = this$.fields[0], d2 = other.fields[0], equals(d1, d2)) : this$.tag === /* Dirent */
-    2 ? other.tag === /* Dirent */
-    2 && (di1 = this$.fields[0], di2 = other.fields[0], equals(di1, di2)) : this$.tag === /* String */
-    3 ? other.tag === /* String */
-    3 : this$.tag === /* Int */
-    4 ? other.tag === /* Int */
-    4 : this$.tag === /* Long */
-    5 ? other.tag === /* Long */
-    5 : this$.tag === /* Float */
-    6 ? other.tag === /* Float */
-    6 : this$.tag === /* Double */
-    7 ? other.tag === /* Double */
-    7 : this$.tag === /* Boolean */
-    8 ? other.tag === /* Boolean */
+    1 : this$.tag === /* String */
+    2 ? other.tag === /* String */
+    2 : this$.tag === /* Int */
+    3 ? other.tag === /* Int */
+    3 : this$.tag === /* Long */
+    4 ? other.tag === /* Long */
+    4 : this$.tag === /* Float */
+    5 ? other.tag === /* Float */
+    5 : this$.tag === /* Double */
+    6 ? other.tag === /* Double */
+    6 : this$.tag === /* Boolean */
+    7 ? other.tag === /* Boolean */
+    7 : this$.tag === /* Any */
+    8 ? other.tag === /* Any */
     8 : this$.tag === /* Stdout */
     9 ? other.tag === /* Stdout */
-    9 : this$.tag === /* Null */
-    10 ? other.tag === /* Null */
-    10 : this$.tag === /* Array */
-    11 ? other.tag === /* Array */
-    11 && (a1 = this$.fields[0], a2 = other.fields[0], equals(a1, a2)) : this$.tag === /* Record */
-    12 ? other.tag === /* Record */
-    12 && (r1 = this$.fields[0], r2 = other.fields[0], equals(r1, r2)) : this$.tag === /* Enum */
-    13 ? other.tag === /* Enum */
-    13 && (e1 = this$.fields[0], e2 = other.fields[0], equals(e1, e2)) : this$.tag === /* Union */
-    14 ? other.tag === /* Union */
-    14 && (u1 = this$.fields[0], u2 = other.fields[0], u1.length === u2.length && forAll2(equals, u1, u2)) : other.tag === /* File */
-    0 && (f1 = this$.fields[0], f2 = other.fields[0], equals(f1, f2)));
+    9 : this$.tag === /* Stderr */
+    10 ? other.tag === /* Stderr */
+    10 : this$.tag === /* Stdin */
+    11 ? other.tag === /* Stdin */
+    11 : this$.tag === /* Reference */
+    12 ? other.tag === /* Reference */
+    12 && (left = this$.fields[0], right = other.fields[0], left === right) : this$.tag === /* ImportedType */
+    13 ? other.tag === /* ImportedType */
+    13 && (left_1 = this$.fields[0], right_1 = other.fields[0], left_1 === right_1) : this$.tag === /* IncludedType */
+    14 ? other.tag === /* IncludedType */
+    14 && (left_2 = this$.fields[0], right_2 = other.fields[0], left_2 === right_2) : this$.tag === /* MixedType */
+    15 ? other.tag === /* MixedType */
+    15 && (left_3 = this$.fields[0], right_3 = other.fields[0], equals(left_3, right_3)) : this$.tag === /* RawType */
+    16 ? other.tag === /* RawType */
+    16 && (left_4 = this$.fields[0], right_4 = other.fields[0], equals(left_4, right_4)) : this$.tag === /* Null */
+    17 ? other.tag === /* Null */
+    17 : this$.tag === /* Array */
+    18 ? other.tag === /* Array */
+    18 && (a1 = this$.fields[0], a2 = other.fields[0], equals(a1, a2)) : this$.tag === /* Record */
+    19 ? other.tag === /* Record */
+    19 && (r1 = this$.fields[0], r2 = other.fields[0], equals(r1, r2)) : this$.tag === /* Enum */
+    20 ? other.tag === /* Enum */
+    20 && (e1 = this$.fields[0], e2 = other.fields[0], equals(e1, e2)) : this$.tag === /* Union */
+    21 ? other.tag === /* Union */
+    21 && (u1 = this$.fields[0], u2 = other.fields[0], u1.length === u2.length && forAll2(equals, u1, u2)) : other.tag === /* File */
+    0);
   }
   GetHashCode() {
     const this$ = this;
     return (this$.tag === /* Directory */
-    1 ? arrayHash([1, safeHash(this$.fields[0])]) : this$.tag === /* Dirent */
-    2 ? arrayHash([2, this$.fields[0]]) : this$.tag === /* String */
-    3 ? numberHash(3) : this$.tag === /* Int */
-    4 ? numberHash(4) : this$.tag === /* Long */
-    5 ? numberHash(5) : this$.tag === /* Float */
-    6 ? numberHash(6) : this$.tag === /* Double */
-    7 ? numberHash(7) : this$.tag === /* Boolean */
-    8 ? numberHash(8) : this$.tag === /* Stdout */
+    1 ? numberHash(1) : this$.tag === /* String */
+    2 ? numberHash(3) : this$.tag === /* Int */
+    3 ? numberHash(4) : this$.tag === /* Long */
+    4 ? numberHash(5) : this$.tag === /* Float */
+    5 ? numberHash(6) : this$.tag === /* Double */
+    6 ? numberHash(7) : this$.tag === /* Boolean */
+    7 ? numberHash(8) : this$.tag === /* Stdout */
     9 ? numberHash(9) : this$.tag === /* Null */
-    10 ? numberHash(10) : this$.tag === /* Array */
-    11 ? arrayHash([11, this$.fields[0]]) : this$.tag === /* Record */
-    12 ? arrayHash([12, this$.fields[0]]) : this$.tag === /* Enum */
-    13 ? arrayHash([13, this$.fields[0]]) : this$.tag === /* Union */
-    14 ? arrayHash([14, toList(map((t) => safeHash(t) | 0, this$.fields[0]))]) : arrayHash([0, safeHash(this$.fields[0])])) | 0;
+    17 ? numberHash(10) : this$.tag === /* Array */
+    18 ? arrayHash([11, this$.fields[0]]) : this$.tag === /* Record */
+    19 ? arrayHash([12, this$.fields[0]]) : this$.tag === /* Enum */
+    20 ? arrayHash([13, this$.fields[0]]) : this$.tag === /* Union */
+    21 ? arrayHash([14, toList(map((t) => safeHash(t) | 0, this$.fields[0]))]) : this$.tag === /* Any */
+    8 ? numberHash(15) : this$.tag === /* Stderr */
+    10 ? numberHash(16) : this$.tag === /* Stdin */
+    11 ? numberHash(17) : this$.tag === /* Reference */
+    12 ? arrayHash([18, this$.fields[0]]) : this$.tag === /* ImportedType */
+    13 ? arrayHash([19, this$.fields[0]]) : this$.tag === /* MixedType */
+    15 ? arrayHash([20, this$.fields[0]]) : this$.tag === /* RawType */
+    16 ? arrayHash([22, this$.fields[0]]) : this$.tag === /* IncludedType */
+    14 ? arrayHash([21, this$.fields[0]]) : numberHash(0)) | 0;
+  }
+  static file() {
+    return CWLType.File;
+  }
+  static directory() {
+    return CWLType.Directory;
+  }
+  static string() {
+    return CWLType.String$;
+  }
+  static int() {
+    return CWLType.Int;
+  }
+  static long() {
+    return CWLType.Long;
+  }
+  static float() {
+    return CWLType.Float;
+  }
+  static double() {
+    return CWLType.Double;
+  }
+  static boolean() {
+    return CWLType.Boolean$;
+  }
+  static any() {
+    return CWLType.Any;
+  }
+  static stdout() {
+    return CWLType.Stdout;
+  }
+  static stderr() {
+    return CWLType.Stderr;
+  }
+  static stdin() {
+    return CWLType.Stdin;
+  }
+  static reference(value) {
+    return CWLType_Reference(value);
+  }
+  static importedType(value) {
+    return CWLType_ImportedType(value);
+  }
+  static includedType(value) {
+    return CWLType_IncludedType(value);
+  }
+  static mixedType(value) {
+    return CWLType_MixedType(value);
+  }
+  static rawType(value) {
+    return CWLType_RawType(value);
+  }
+  static null() {
+    return CWLType.Null;
+  }
+  static array(value) {
+    return CWLType_Array$(value);
+  }
+  static enum(value) {
+    return CWLType_Enum(value);
+  }
+  static record(value) {
+    return CWLType_Record(value);
+  }
+  static union(value) {
+    return CWLType_Union(value);
   }
 }
 function CWLType_$reflection() {
-  return union_type("ARCtrl.CWL.CWLType", [], CWLType, () => [[["Item", FileInstance_$reflection()]], [["Item", DirectoryInstance_$reflection()]], [["Item", DirentInstance_$reflection()]], [], [], [], [], [], [], [], [], [["Item", InputArraySchema_$reflection()]], [["Item", InputRecordSchema_$reflection()]], [["Item", InputEnumSchema_$reflection()]], [["Item", array_type(CWLType_$reflection())]]]);
+  return union_type("ARCtrl.CWL.CWLType", [], CWLType, () => [[], [], [], [], [], [], [], [], [], [], [], [], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", RawYaml_$reflection()]], [["Item", RawYaml_$reflection()]], [], [["Item", InputArraySchema_$reflection()]], [["Item", InputRecordSchema_$reflection()]], [["Item", InputEnumSchema_$reflection()]], [["Item", array_type(CWLType_$reflection())]]]);
 }
-function CWLType_file() {
-  return CWLType_File(new FileInstance());
+function SchemaDefinition_Record(Item) {
+  return new SchemaDefinition(0, [Item]);
 }
-function CWLType_directory() {
-  return CWLType_Directory(new DirectoryInstance());
+function SchemaDefinition_Enum(Item) {
+  return new SchemaDefinition(1, [Item]);
 }
-class SchemaDefRequirementType extends DynamicObj {
-  constructor(name, type_) {
+function SchemaDefinition_Array$(Item) {
+  return new SchemaDefinition(2, [Item]);
+}
+class SchemaDefinition extends Union {
+  constructor(tag, fields) {
     super();
-    this._name = name;
-    this._type = type_;
-  }
-  get Name() {
-    const this$ = this;
-    return this$._name;
-  }
-  set Name(value) {
-    const this$ = this;
-    this$._name = value;
-  }
-  get Type_() {
-    const this$ = this;
-    return this$._type;
+    this.tag = tag;
+    this.fields = fields;
   }
-  set Type_(value) {
-    const this$ = this;
-    this$._type = value;
+  cases() {
+    return ["Record", "Enum", "Array"];
   }
   Equals(o) {
-    let other = void 0;
+    let other = void 0, left_1 = void 0, right_1 = void 0, left_2 = void 0, right_2 = void 0, left = void 0, right = void 0;
     const this$ = this;
-    return o instanceof SchemaDefRequirementType && (other = o, this$.Name === other.Name && equals(this$.Type_, other.Type_) && dynamicPropertiesEqual(this$, other));
+    return o instanceof SchemaDefinition && (other = o, this$.tag === /* Enum */
+    1 ? other.tag === /* Enum */
+    1 && (left_1 = this$.fields[0], right_1 = other.fields[0], equals(left_1, right_1)) : this$.tag === /* Array */
+    2 ? other.tag === /* Array */
+    2 && (left_2 = this$.fields[0], right_2 = other.fields[0], equals(left_2, right_2)) : other.tag === /* Record */
+    0 && (left = this$.fields[0], right = other.fields[0], equals(left, right)));
   }
   GetHashCode() {
     const this$ = this;
-    return arrayHash([this$.Name, this$.Type_, hashDynamicProperties(this$)]) | 0;
+    return (this$.tag === /* Enum */
+    1 ? arrayHash([1, this$.fields[0]]) : this$.tag === /* Array */
+    2 ? arrayHash([2, this$.fields[0]]) : arrayHash([0, this$.fields[0]])) | 0;
   }
-  static get KnownFieldNames() {
-    return schemaDefRequirementType;
-  }
-}
-function SchemaDefRequirementType_$reflection() {
-  return class_type("ARCtrl.CWL.SchemaDefRequirementType", void 0, SchemaDefRequirementType, DynamicObj_$reflection());
 }
-function SchemaDefRequirementType_$ctor_Z1662A364(name, type_) {
-  return new SchemaDefRequirementType(name, type_);
+function SchemaDefinition_$reflection() {
+  return union_type("ARCtrl.CWL.SchemaDefinition", [], SchemaDefinition, () => [[["Item", InputRecordSchema_$reflection()]], [["Item", InputEnumSchema_$reflection()]], [["Item", InputArraySchema_$reflection()]]]);
 }
 class SoftwarePackage extends DynamicObj {
   constructor(package$, version, specs) {
@@ -767,11 +1347,11 @@ class SoftwarePackage extends DynamicObj {
   Equals(o) {
     let other = void 0;
     const this$ = this;
-    return o instanceof SoftwarePackage && (other = o, this$.Package === other.Package && equals(this$.Version, other.Version) && equals(this$.Specs, other.Specs) && dynamicPropertiesEqual(this$, other));
+    return o instanceof SoftwarePackage && (other = o, equals(this$.Package, other.Package) && optionSeqEqual(this$.Version, other.Version) && optionSeqEqual(this$.Specs, other.Specs) && dynamicPropertiesEqual(this$, other));
   }
   GetHashCode() {
     const this$ = this;
-    return arrayHash([this$.Package, this$.Version, this$.Specs, hashDynamicProperties(this$)]) | 0;
+    return arrayHash([this$.Package, hashOptionSeq(this$.Version), hashOptionSeq(this$.Specs), hashDynamicProperties(this$)]) | 0;
   }
   static get KnownFieldNames() {
     return softwarePackage;
@@ -780,22 +1360,24 @@ class SoftwarePackage extends DynamicObj {
 function SoftwarePackage_$reflection() {
   return class_type("ARCtrl.CWL.SoftwarePackage", void 0, SoftwarePackage, DynamicObj_$reflection());
 }
-function SoftwarePackage_$ctor_7A38CADB(package$, version, specs) {
+function SoftwarePackage_$ctor_Z14DD0A28(package$, version, specs) {
   return new SoftwarePackage(package$, version, specs);
 }
 function FileInstanceModule_pathOrLocation(value) {
-  return defaultArg(orElse(value.Path, value.Location), "");
+  let option_1 = void 0, option_3 = void 0;
+  return defaultArg(orElse((option_1 = value.Path, option_1 != null ? SchemaSaladStringModule_tryLiteral(option_1) : void 0), (option_3 = value.Location, option_3 != null ? SchemaSaladStringModule_tryLiteral(option_3) : void 0)), "");
 }
 function DirectoryInstanceModule_pathOrLocation(value) {
-  return defaultArg(orElse(value.Path, value.Location), "");
+  let option_1 = void 0, option_3 = void 0;
+  return defaultArg(orElse((option_1 = value.Path, option_1 != null ? SchemaSaladStringModule_tryLiteral(option_1) : void 0), (option_3 = value.Location, option_3 != null ? SchemaSaladStringModule_tryLiteral(option_3) : void 0)), "");
 }
 function InputRecordSchemaModule_tryGetFieldType(name, schema) {
   let field_1 = void 0;
   const option_3 = schema.Fields;
   if (option_3 != null) {
-    const option_1 = tryFind((field) => field.Name === name, value(option_3));
+    const option_1 = tryFind((field) => field.Name === name, choose((entry) => ListEntry$1.tryValue(entry), option_3));
     if (option_1 != null) {
-      return field_1 = value(option_1), field_1.Type;
+      return field_1 = option_1, field_1.Type;
     } else {
       return void 0;
     }
@@ -809,88 +1391,66 @@ function CWLTypeModule_typesEqual(left_mut, right_mut) {
       const left = left_mut, right = right_mut;
       let matchResult = void 0, left_1 = void 0, right_1 = void 0, left_2 = void 0, right_2 = void 0, left_4 = void 0, right_4 = void 0;
       switch (left.tag) {
-        case /* File */
-        0: {
-          if (right.tag === /* File */
-          0) {
-            matchResult = 0;
-          } else {
-            matchResult = 4;
-          }
-          break;
-        }
-        case /* Directory */
-        1: {
-          if (right.tag === /* Directory */
-          1) {
-            matchResult = 0;
-          } else {
-            matchResult = 4;
-          }
-          break;
-        }
         case /* Array */
-        11: {
+        18: {
           if (right.tag === /* Array */
-          11) {
-            matchResult = 1;
+          18) {
+            matchResult = 0;
             left_1 = left.fields[0];
             right_1 = right.fields[0];
           } else {
-            matchResult = 4;
+            matchResult = 3;
           }
           break;
         }
         case /* Union */
-        14: {
+        21: {
           if (right.tag === /* Union */
-          14) {
-            matchResult = 2;
+          21) {
+            matchResult = 1;
             left_2 = left.fields[0];
             right_2 = right.fields[0];
           } else {
-            matchResult = 4;
+            matchResult = 3;
           }
           break;
         }
         case /* Record */
-        12: {
+        19: {
           if (right.tag === /* Record */
-          12) {
-            matchResult = 3;
+          19) {
+            matchResult = 2;
             left_4 = left.fields[0];
             right_4 = right.fields[0];
           } else {
-            matchResult = 4;
+            matchResult = 3;
           }
           break;
         }
         default:
-          matchResult = 4;
+          matchResult = 3;
       }
       switch (matchResult) {
-        case 0:
-          return true;
-        case 1: {
+        case 0: {
           left_mut = left_1.Items;
           right_mut = right_1.Items;
           continue CWLTypeModule_typesEqual;
         }
-        case 2:
+        case 1:
           if (left_2.length === right_2.length) {
             return forAll2(CWLTypeModule_typesEqual, left_2, right_2);
           } else {
             return false;
           }
-        case 3: {
+        case 2: {
           const matchValue_1 = left_4.Fields;
           const matchValue_2 = right_4.Fields;
           let matchResult_1 = void 0, leftFields = void 0, rightFields = void 0;
           if (matchValue_1 != null) {
             if (matchValue_2 != null) {
               matchResult_1 = 1;
-              leftFields = value(matchValue_1);
-              rightFields = value(matchValue_2);
+              leftFields = matchValue_1;
+              rightFields = matchValue_2;
             } else {
               matchResult_1 = 2;
             }
@@ -904,7 +1464,54 @@ function CWLTypeModule_typesEqual(left_mut, right_mut) {
               return true;
             case 1:
               if (leftFields.length === rightFields.length) {
-                return forAll2((leftField, rightField) => leftField.Name === rightField.Name && CWLTypeModule_typesEqual(leftField.Type, rightField.Type), leftFields, rightFields);
+                return forAll2((leftEntry, rightEntry) => {
+                  let matchResult_2 = void 0, leftField = void 0, rightField = void 0, leftPath = void 0, rightPath = void 0, leftRaw = void 0, rightRaw = void 0;
+                  switch (leftEntry.tag) {
+                    case /* Imported */
+                    1: {
+                      if (rightEntry.tag === /* Imported */
+                      1) {
+                        matchResult_2 = 1;
+                        leftPath = leftEntry.fields[0];
+                        rightPath = rightEntry.fields[0];
+                      } else {
+                        matchResult_2 = 3;
+                      }
+                      break;
+                    }
+                    case /* Mixed */
+                    2: {
+                      if (rightEntry.tag === /* Mixed */
+                      2) {
+                        matchResult_2 = 2;
+                        leftRaw = leftEntry.fields[0];
+                        rightRaw = rightEntry.fields[0];
+                      } else {
+                        matchResult_2 = 3;
+                      }
+                      break;
+                    }
+                    default:
+                      if (rightEntry.tag === /* Value */
+                      0) {
+                        matchResult_2 = 0;
+                        leftField = leftEntry.fields[0];
+                        rightField = rightEntry.fields[0];
+                      } else {
+                        matchResult_2 = 3;
+                      }
+                  }
+                  switch (matchResult_2) {
+                    case 0:
+                      return leftField.Name === rightField.Name && CWLTypeModule_typesEqual(leftField.Type, rightField.Type);
+                    case 1:
+                      return leftPath === rightPath;
+                    case 2:
+                      return equals(leftRaw, rightRaw);
+                    default:
+                      return false;
+                  }
+                }, leftFields, rightFields);
               } else {
                 return false;
               }
@@ -918,16 +1525,95 @@ function CWLTypeModule_typesEqual(left_mut, right_mut) {
       break;
     }
 }
+function CWLTypeModule_admits(parameterType_mut, valueType_mut) {
+  CWLTypeModule_admits:
+    while (true) {
+      const parameterType = parameterType_mut, valueType = valueType_mut;
+      switch (parameterType.tag) {
+        case /* Any */
+        8:
+        case /* Reference */
+        12:
+        case /* ImportedType */
+        13:
+        case /* IncludedType */
+        14:
+        case /* MixedType */
+        15:
+        case /* RawType */
+        16:
+          return true;
+        case /* Union */
+        21:
+          return exists((item) => CWLTypeModule_admits(item, valueType), parameterType.fields[0]);
+        case /* Array */
+        18: {
+          const parameterArray = parameterType.fields[0];
+          if (valueType.tag === /* Array */
+          18) {
+            const valueArray = valueType.fields[0];
+            parameterType_mut = parameterArray.Items;
+            valueType_mut = valueArray.Items;
+            continue CWLTypeModule_admits;
+          } else {
+            return false;
+          }
+        }
+        case /* Stdin */
+        11: {
+          parameterType_mut = CWLType.File;
+          valueType_mut = valueType;
+          continue CWLTypeModule_admits;
+        }
+        default:
+          return CWLTypeModule_typesEqual(parameterType, valueType);
+      }
+      break;
+    }
+}
+function CWLTypeModule_isOptional(type_) {
+  if (type_.tag === /* Union */
+  21) {
+    return exists((_arg) => {
+      if (_arg.tag === /* Null */
+      17) {
+        return true;
+      } else {
+        return false;
+      }
+    }, type_.fields[0]);
+  } else {
+    return false;
+  }
+}
+function CWLTypeModule_makeOptional(type_) {
+  switch (type_.tag) {
+    case /* Null */
+    17:
+      return type_;
+    case /* Union */
+    21:
+      if (type_.fields[0], CWLTypeModule_isOptional(type_)) {
+        const types_1 = type_.fields[0];
+        return type_;
+      } else {
+        const types_2 = type_.fields[0];
+        return CWLType_Union(Array.from(append([CWLType.Null], types_2)));
+      }
+    default:
+      return CWLType_Union([CWLType.Null, type_]);
+  }
+}
 function CWLTypeModule_isArrayType(type_) {
   switch (type_.tag) {
     case /* Array */
-    11:
+    18:
       return true;
     case /* Union */
-    14:
+    21:
       return exists((_arg) => {
         if (_arg.tag === /* Array */
-        11) {
+        18) {
           return true;
         } else {
           return false;
@@ -939,10 +1625,10 @@ function CWLTypeModule_isArrayType(type_) {
 }
 function CWLTypeModule_tryGetNonNullUnionType(type_) {
   if (type_.tag === /* Union */
-  14) {
+  21) {
     return tryFind((_arg) => {
       if (_arg.tag === /* Null */
-      10) {
+      17) {
         return false;
       } else {
         return true;
@@ -953,4 +1639,4 @@ function CWLTypeModule_tryGetNonNullUnionType(type_) {
   }
 }
 
-export { CWLType, CWLTypeModule_isArrayType, CWLTypeModule_tryGetNonNullUnionType, CWLTypeModule_typesEqual, CWLType_$reflection, CWLType_Array$, CWLType_Boolean$, CWLType_Directory, CWLType_Dirent, CWLType_Double, CWLType_Enum, CWLType_File, CWLType_Float, CWLType_Int, CWLType_Long, CWLType_Null, CWLType_Record, CWLType_Stdout, CWLType_String$, CWLType_Union, CWLType_directory, CWLType_file, DirectoryInstance, DirectoryInstanceModule_pathOrLocation, DirectoryInstance_$ctor_Z4C1E59AE, DirectoryInstance_$reflection, DirentInstance, DirentInstance_$ctor_Z61DE5D76, DirentInstance_$reflection, FileInstance, FileInstanceModule_pathOrLocation, FileInstance_$ctor_75C1B52E, FileInstance_$reflection, InputArraySchema, InputArraySchema_$ctor_4E4FFD9F, InputArraySchema_$reflection, InputEnumSchema, InputEnumSchema_$ctor_Z998ED46, InputEnumSchema_$reflection, InputRecordField, InputRecordField_$ctor_Z155BDB64, InputRecordField_$reflection, InputRecordSchema, InputRecordSchemaModule_tryGetFieldType, InputRecordSchema_$ctor_Z52C4D9E4, InputRecordSchema_$reflection, SchemaDefRequirementType, SchemaDefRequirementType_$ctor_Z1662A364, SchemaDefRequirementType_$reflection, SchemaSaladString, SchemaSaladStringModule_importPath, SchemaSaladStringModule_includePath, SchemaSaladStringModule_literal, SchemaSaladStringModule_toDirectiveString, SchemaSaladStringModule_value, SchemaSaladString_$reflection, SchemaSaladString_Import, SchemaSaladString_Include, SchemaSaladString_Literal, SchemaSaladString__get_AsDirectiveString, SchemaSaladString__get_Value, SoftwarePackage, SoftwarePackage_$ctor_7A38CADB, SoftwarePackage_$reflection };
+export { CWLType, CWLTypeModule_admits, CWLTypeModule_isArrayType, CWLTypeModule_isOptional, CWLTypeModule_makeOptional, CWLTypeModule_tryGetNonNullUnionType, CWLTypeModule_typesEqual, CWLType_$reflection, CWLType_Any, CWLType_Array$, CWLType_Boolean$, CWLType_Directory, CWLType_Double, CWLType_Enum, CWLType_File, CWLType_Float, CWLType_ImportedType, CWLType_IncludedType, CWLType_Int, CWLType_Long, CWLType_MixedType, CWLType_Null, CWLType_RawType, CWLType_Record, CWLType_Reference, CWLType_Stderr, CWLType_Stdin, CWLType_Stdout, CWLType_String$, CWLType_Union, DirectoryInstance, DirectoryInstanceModule_pathOrLocation, DirectoryInstance_$ctor_219ADA02, DirectoryInstance_$reflection, DirentInstance, DirentInstance_$ctor_F8980C3, DirentInstance_$reflection, DocText, DocText_$reflection, DocText_Parts, DocText_Text$, FileInstance, FileInstanceModule_pathOrLocation, FileInstance_$ctor_150431C5, FileInstance_$reflection, FileSize, FileSize_$reflection, FileSize_Bytes, FileSize_Imported, FileSize_Mixed, InputArraySchema, InputArraySchema_$ctor_24D6AC35, InputArraySchema_$reflection, InputEnumSchema, InputEnumSchema_$ctor_162689D3, InputEnumSchema_$reflection, InputRecordField, InputRecordField_$ctor_ZBF0B4CA, InputRecordField_$reflection, InputRecordSchema, InputRecordSchemaModule_tryGetFieldType, InputRecordSchema_$ctor_6F045035, InputRecordSchema_$reflection, IntegerOf_tryNumber, ListEntry$1, ListEntry$1_$reflection, ListEntry$1_Imported, ListEntry$1_Mixed, ListEntry$1_Value, RawYaml, RawYaml_$reflection, RawYaml__TryScalarField_Z721C83C5, RawYaml__get_MixinPath, SchemaDefinition, SchemaDefinition_$reflection, SchemaDefinition_Array$, SchemaDefinition_Enum, SchemaDefinition_Record, SchemaSaladBool, SchemaSaladBool_$reflection, SchemaSaladBool_Imported, SchemaSaladBool_Mixed, SchemaSaladBool_Value, SchemaSaladString, SchemaSaladStringModule_importPath, SchemaSaladStringModule_includePath, SchemaSaladStringModule_literal, SchemaSaladStringModule_mixinPath, SchemaSaladStringModule_tryLiteral, SchemaSaladStringModule_value, SchemaSaladString_$reflection, SchemaSaladString_Import, SchemaSaladString_Include, SchemaSaladString_Literal, SchemaSaladString_Mixed, SchemaSaladString_Mixin, SoftwarePackage, SoftwarePackage_$ctor_Z14DD0A28, SoftwarePackage_$reflection, SourceNodes, SourceNodes_$reflection, SourceNodes_get_Empty };