rocratepcc 0.0.2__py3-none-any.whl

ROCratePCC/__init__.py

@@ -0,0 +1,4 @@
+from __future__ import annotations
+from collections.abc import Callable
+from typing import Any
+from .py.main import Author, Constraint, Profile, License, CustomResourceDescriptor, Specification, Example, Guidance, UsedType, TextualResource, ResourceDescriptor, RootDataEntity

ROCratePCC/py/fable_modules/arctrl_contract/arc.py

@@ -0,0 +1,68 @@
+from __future__ import annotations
+from ..arctrl_file_system.path import split as split_1
+from ..fable_library.types import Array
+from .arc_assay import _007CAssayPath_007C__007C
+from .arc_investigation import _007CInvestigationPath_007C__007C
+from .arc_run import _007CRunPath_007C__007C
+from .arc_study import _007CStudyPath_007C__007C
+from .arc_workflow import _007CWorkflowPath_007C__007C
+from .contract import (Contract, DTOType)
+from .datamap import _007CDatamapPath_007C__007C
+from .license import LicenseContractExtensions__007CLicensePath_007C__007C
+
+def try_isaread_contract_from_path(path: str) -> Contract | None:
+    split: Array[str] = split_1(path)
+    active_pattern_result: str | None = _007CInvestigationPath_007C__007C(split)
+    if active_pattern_result is not None:
+        p: str = active_pattern_result
+        return Contract.create_read(p, DTOType(4))
+
+    else: 
+        active_pattern_result_1: str | None = _007CAssayPath_007C__007C(split)
+        if active_pattern_result_1 is not None:
+            p_1: str = active_pattern_result_1
+            return Contract.create_read(p_1, DTOType(0))
+
+        else: 
+            active_pattern_result_2: str | None = _007CStudyPath_007C__007C(split)
+            if active_pattern_result_2 is not None:
+                p_2: str = active_pattern_result_2
+                return Contract.create_read(p_2, DTOType(1))
+
+            else: 
+                active_pattern_result_3: str | None = _007CWorkflowPath_007C__007C(split)
+                if active_pattern_result_3 is not None:
+                    p_3: str = active_pattern_result_3
+                    return Contract.create_read(p_3, DTOType(2))
+
+                else: 
+                    active_pattern_result_4: str | None = _007CRunPath_007C__007C(split)
+                    if active_pattern_result_4 is not None:
+                        p_4: str = active_pattern_result_4
+                        return Contract.create_read(p_4, DTOType(3))
+
+                    else: 
+                        active_pattern_result_5: str | None = _007CDatamapPath_007C__007C(split)
+                        if active_pattern_result_5 is not None:
+                            p_5: str = active_pattern_result_5
+                            return Contract.create_read(p_5, DTOType(5))
+
+                        else: 
+                            active_pattern_result_6: str | None = LicenseContractExtensions__007CLicensePath_007C__007C(split)
+                            if active_pattern_result_6 is not None:
+                                p_6: str = active_pattern_result_6
+                                return Contract.create_read(p_6, DTOType(10))
+
+                            else: 
+                                return None
+
+
+
+
+
+
+
+
+
+__all__ = ["try_isaread_contract_from_path"]
+

ROCratePCC/py/fable_modules/arctrl_contract/arc_assay.py

@@ -0,0 +1,125 @@
+from __future__ import annotations
+from typing import Any
+from ..arctrl_core.arc_types import ArcAssay
+from ..arctrl_core.Helper.identifier import Assay_fileNameFromIdentifier
+from ..arctrl_file_system.file_system_tree import FileSystemTree
+from ..arctrl_file_system.path import (combine_many, get_assay_folder_path)
+from ..arctrl_spreadsheet.arc_assay import (ARCtrl_ArcAssay__ArcAssay_toFsWorkbook_Static_Z2508BE4F, ARCtrl_ArcAssay__ArcAssay_fromFsWorkbook_Static_32154C9D)
+from ..fable_library.array_ import equals_with
+from ..fable_library.option import default_arg
+from ..fable_library.seq import (to_array, delay, append, collect, singleton, empty)
+from ..fable_library.types import Array
+from ..fable_library.util import IEnumerable_1
+from .contract import (Contract, DTOType, DTO)
+
+def _007CAssayPath_007C__007C(input: Array[str]) -> str | None:
+    (pattern_matching_result,) = (None,)
+    def _arrow3626(x: str, y: str, input: Any=input) -> bool:
+        return x == y
+
+    if (len(input) == 3) if (not equals_with(_arrow3626, input, None)) else False:
+        if input[0] == "assays":
+            if input[2] == "isa.assay.xlsx":
+                pattern_matching_result = 0
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        any_assay_name: str = input[1]
+        return combine_many(input)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+def ARCtrl_ArcAssay__ArcAssay_ToCreateContract_6FCE9E49(this: ArcAssay, WithFolder: bool | None=None) -> Array[Contract]:
+    with_folder: bool = default_arg(WithFolder, False)
+    path: str = Assay_fileNameFromIdentifier(this.Identifier)
+    c: Contract = Contract.create_create(path, DTOType(0), DTO(0, ARCtrl_ArcAssay__ArcAssay_toFsWorkbook_Static_Z2508BE4F(this)))
+    def _arrow3630(__unit: None=None, this: Any=this, WithFolder: Any=WithFolder) -> IEnumerable_1[Contract]:
+        def _arrow3628(__unit: None=None) -> IEnumerable_1[Contract]:
+            folder_fs: FileSystemTree = FileSystemTree.create_assays_folder([FileSystemTree.create_assay_folder(this.Identifier)])
+            def _arrow3627(p: str) -> IEnumerable_1[Contract]:
+                return singleton(Contract.create_create(p, DTOType(10))) if ((p != "assays/.gitkeep") if (p != path) else False) else empty()
+
+            return collect(_arrow3627, folder_fs.ToFilePaths(False))
+
+        def _arrow3629(__unit: None=None) -> IEnumerable_1[Contract]:
+            return singleton(c)
+
+        return append(_arrow3628() if with_folder else empty(), delay(_arrow3629))
+
+    return to_array(delay(_arrow3630))
+
+
+def ARCtrl_ArcAssay__ArcAssay_ToUpdateContract(this: ArcAssay) -> Contract:
+    path: str = Assay_fileNameFromIdentifier(this.Identifier)
+    return Contract.create_update(path, DTOType(0), DTO(0, ARCtrl_ArcAssay__ArcAssay_toFsWorkbook_Static_Z2508BE4F(this)))
+
+
+def ARCtrl_ArcAssay__ArcAssay_ToDeleteContract(this: ArcAssay) -> Contract:
+    path: str = get_assay_folder_path(this.Identifier)
+    return Contract.create_delete(path)
+
+
+def ARCtrl_ArcAssay__ArcAssay_toDeleteContract_Static_1501C0F8(assay: ArcAssay) -> Contract:
+    return ARCtrl_ArcAssay__ArcAssay_ToDeleteContract(assay)
+
+
+def ARCtrl_ArcAssay__ArcAssay_toCreateContract_Static_Z2508BE4F(assay: ArcAssay, WithFolder: bool | None=None) -> Array[Contract]:
+    return ARCtrl_ArcAssay__ArcAssay_ToCreateContract_6FCE9E49(assay, WithFolder)
+
+
+def ARCtrl_ArcAssay__ArcAssay_toUpdateContract_Static_1501C0F8(assay: ArcAssay) -> Contract:
+    return ARCtrl_ArcAssay__ArcAssay_ToUpdateContract(assay)
+
+
+def ARCtrl_ArcAssay__ArcAssay_tryFromReadContract_Static_7570923F(c: Contract) -> ArcAssay | None:
+    (pattern_matching_result, fsworkbook) = (None, None)
+    if c.Operation == "READ":
+        if c.DTOType is not None:
+            if c.DTOType.tag == 0:
+                if c.DTO is not None:
+                    if c.DTO.tag == 0:
+                        pattern_matching_result = 0
+                        fsworkbook = c.DTO.fields[0]
+
+                    else: 
+                        pattern_matching_result = 1
+
+
+                else: 
+                    pattern_matching_result = 1
+
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return ARCtrl_ArcAssay__ArcAssay_fromFsWorkbook_Static_32154C9D(fsworkbook)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+__all__ = ["_007CAssayPath_007C__007C", "ARCtrl_ArcAssay__ArcAssay_ToCreateContract_6FCE9E49", "ARCtrl_ArcAssay__ArcAssay_ToUpdateContract", "ARCtrl_ArcAssay__ArcAssay_ToDeleteContract", "ARCtrl_ArcAssay__ArcAssay_toDeleteContract_Static_1501C0F8", "ARCtrl_ArcAssay__ArcAssay_toCreateContract_Static_Z2508BE4F", "ARCtrl_ArcAssay__ArcAssay_toUpdateContract_Static_1501C0F8", "ARCtrl_ArcAssay__ArcAssay_tryFromReadContract_Static_7570923F"]
+

ROCratePCC/py/fable_modules/arctrl_contract/arc_investigation.py

@@ -0,0 +1,88 @@
+from __future__ import annotations
+from typing import Any
+from ..arctrl_core.arc_types import ArcInvestigation
+from ..arctrl_file_system.path import combine_many
+from ..arctrl_spreadsheet.arc_investigation import (ARCtrl_ArcInvestigation__ArcInvestigation_toFsWorkbook_Static_Z720BD3FF, ARCtrl_ArcInvestigation__ArcInvestigation_fromFsWorkbook_Static_32154C9D)
+from ..fable_library.array_ import equals_with
+from ..fable_library.types import Array
+from .contract import (Contract, DTOType, DTO)
+
+def _007CInvestigationPath_007C__007C(input: Array[str]) -> str | None:
+    (pattern_matching_result,) = (None,)
+    def _arrow3693(x: str, y: str, input: Any=input) -> bool:
+        return x == y
+
+    if (len(input) == 1) if (not equals_with(_arrow3693, input, None)) else False:
+        if input[0] == "isa.investigation.xlsx":
+            pattern_matching_result = 0
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return combine_many(input)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+def ARCtrl_ArcInvestigation__ArcInvestigation_ToCreateContract(this: ArcInvestigation) -> Contract:
+    return Contract.create_create("isa.investigation.xlsx", DTOType(4), DTO(0, ARCtrl_ArcInvestigation__ArcInvestigation_toFsWorkbook_Static_Z720BD3FF(this)))
+
+
+def ARCtrl_ArcInvestigation__ArcInvestigation_ToUpdateContract(this: ArcInvestigation) -> Contract:
+    return Contract.create_update("isa.investigation.xlsx", DTOType(4), DTO(0, ARCtrl_ArcInvestigation__ArcInvestigation_toFsWorkbook_Static_Z720BD3FF(this)))
+
+
+def ARCtrl_ArcInvestigation__ArcInvestigation_toCreateContract_Static_Z720BD3FF(inv: ArcInvestigation) -> Contract:
+    return ARCtrl_ArcInvestigation__ArcInvestigation_ToCreateContract(inv)
+
+
+def ARCtrl_ArcInvestigation__ArcInvestigation_toUpdateContract_Static_Z720BD3FF(inv: ArcInvestigation) -> Contract:
+    return ARCtrl_ArcInvestigation__ArcInvestigation_ToUpdateContract(inv)
+
+
+def ARCtrl_ArcInvestigation__ArcInvestigation_tryFromReadContract_Static_7570923F(c: Contract) -> ArcInvestigation | None:
+    (pattern_matching_result, fsworkbook) = (None, None)
+    if c.Operation == "READ":
+        if c.DTOType is not None:
+            if c.DTOType.tag == 4:
+                if c.DTO is not None:
+                    if c.DTO.tag == 0:
+                        pattern_matching_result = 0
+                        fsworkbook = c.DTO.fields[0]
+
+                    else: 
+                        pattern_matching_result = 1
+
+
+                else: 
+                    pattern_matching_result = 1
+
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return ARCtrl_ArcInvestigation__ArcInvestigation_fromFsWorkbook_Static_32154C9D(fsworkbook)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+__all__ = ["_007CInvestigationPath_007C__007C", "ARCtrl_ArcInvestigation__ArcInvestigation_ToCreateContract", "ARCtrl_ArcInvestigation__ArcInvestigation_ToUpdateContract", "ARCtrl_ArcInvestigation__ArcInvestigation_toCreateContract_Static_Z720BD3FF", "ARCtrl_ArcInvestigation__ArcInvestigation_toUpdateContract_Static_Z720BD3FF", "ARCtrl_ArcInvestigation__ArcInvestigation_tryFromReadContract_Static_7570923F"]
+

ROCratePCC/py/fable_modules/arctrl_contract/arc_run.py

@@ -0,0 +1,125 @@
+from __future__ import annotations
+from typing import Any
+from ..arctrl_core.arc_types import ArcRun
+from ..arctrl_core.Helper.identifier import Run_fileNameFromIdentifier
+from ..arctrl_file_system.file_system_tree import FileSystemTree
+from ..arctrl_file_system.path import (combine_many, get_run_folder_path)
+from ..arctrl_spreadsheet.arc_run import (ARCtrl_ArcRun__ArcRun_toFsWorkbook_Static_Z3EFAF6F8, ARCtrl_ArcRun__ArcRun_fromFsWorkbook_Static_32154C9D)
+from ..fable_library.array_ import equals_with
+from ..fable_library.option import default_arg
+from ..fable_library.seq import (to_array, delay, append, collect, singleton, empty)
+from ..fable_library.types import Array
+from ..fable_library.util import IEnumerable_1
+from .contract import (Contract, DTOType, DTO)
+
+def _007CRunPath_007C__007C(input: Array[str]) -> str | None:
+    (pattern_matching_result,) = (None,)
+    def _arrow3688(x: str, y: str, input: Any=input) -> bool:
+        return x == y
+
+    if (len(input) == 3) if (not equals_with(_arrow3688, input, None)) else False:
+        if input[0] == "runs":
+            if input[2] == "isa.run.xlsx":
+                pattern_matching_result = 0
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        any_run_name: str = input[1]
+        return combine_many(input)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+def ARCtrl_ArcRun__ArcRun_ToCreateContract_6FCE9E49(this: ArcRun, WithFolder: bool | None=None) -> Array[Contract]:
+    with_folder: bool = default_arg(WithFolder, False)
+    path: str = Run_fileNameFromIdentifier(this.Identifier)
+    c: Contract = Contract.create_create(path, DTOType(3), DTO(0, ARCtrl_ArcRun__ArcRun_toFsWorkbook_Static_Z3EFAF6F8(this)))
+    def _arrow3692(__unit: None=None, this: Any=this, WithFolder: Any=WithFolder) -> IEnumerable_1[Contract]:
+        def _arrow3690(__unit: None=None) -> IEnumerable_1[Contract]:
+            folder_fs: FileSystemTree = FileSystemTree.create_runs_folder([FileSystemTree.create_run_folder(this.Identifier)])
+            def _arrow3689(p: str) -> IEnumerable_1[Contract]:
+                return singleton(Contract.create_create(p, DTOType(10))) if ((p != "runs/.gitkeep") if (p != path) else False) else empty()
+
+            return collect(_arrow3689, folder_fs.ToFilePaths(False))
+
+        def _arrow3691(__unit: None=None) -> IEnumerable_1[Contract]:
+            return singleton(c)
+
+        return append(_arrow3690() if with_folder else empty(), delay(_arrow3691))
+
+    return to_array(delay(_arrow3692))
+
+
+def ARCtrl_ArcRun__ArcRun_ToUpdateContract(this: ArcRun) -> Contract:
+    path: str = Run_fileNameFromIdentifier(this.Identifier)
+    return Contract.create_update(path, DTOType(3), DTO(0, ARCtrl_ArcRun__ArcRun_toFsWorkbook_Static_Z3EFAF6F8(this)))
+
+
+def ARCtrl_ArcRun__ArcRun_ToDeleteContract(this: ArcRun) -> Contract:
+    path: str = get_run_folder_path(this.Identifier)
+    return Contract.create_delete(path)
+
+
+def ARCtrl_ArcRun__ArcRun_toDeleteContract_Static_Z3EFAF6F8(run: ArcRun) -> Contract:
+    return ARCtrl_ArcRun__ArcRun_ToDeleteContract(run)
+
+
+def ARCtrl_ArcRun__ArcRun_toCreateContract_Static_Z71974BBF(run: ArcRun, WithFolder: bool | None=None) -> Array[Contract]:
+    return ARCtrl_ArcRun__ArcRun_ToCreateContract_6FCE9E49(run, WithFolder)
+
+
+def ARCtrl_ArcRun__ArcRun_toUpdateContract_Static_Z3EFAF6F8(run: ArcRun) -> Contract:
+    return ARCtrl_ArcRun__ArcRun_ToUpdateContract(run)
+
+
+def ARCtrl_ArcRun__ArcRun_tryFromReadContract_Static_7570923F(c: Contract) -> ArcRun | None:
+    (pattern_matching_result, fsworkbook) = (None, None)
+    if c.Operation == "READ":
+        if c.DTOType is not None:
+            if c.DTOType.tag == 3:
+                if c.DTO is not None:
+                    if c.DTO.tag == 0:
+                        pattern_matching_result = 0
+                        fsworkbook = c.DTO.fields[0]
+
+                    else: 
+                        pattern_matching_result = 1
+
+
+                else: 
+                    pattern_matching_result = 1
+
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return ARCtrl_ArcRun__ArcRun_fromFsWorkbook_Static_32154C9D(fsworkbook)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+__all__ = ["_007CRunPath_007C__007C", "ARCtrl_ArcRun__ArcRun_ToCreateContract_6FCE9E49", "ARCtrl_ArcRun__ArcRun_ToUpdateContract", "ARCtrl_ArcRun__ArcRun_ToDeleteContract", "ARCtrl_ArcRun__ArcRun_toDeleteContract_Static_Z3EFAF6F8", "ARCtrl_ArcRun__ArcRun_toCreateContract_Static_Z71974BBF", "ARCtrl_ArcRun__ArcRun_toUpdateContract_Static_Z3EFAF6F8", "ARCtrl_ArcRun__ArcRun_tryFromReadContract_Static_7570923F"]
+

ROCratePCC/py/fable_modules/arctrl_contract/arc_study.py

@@ -0,0 +1,126 @@
+from __future__ import annotations
+from typing import Any
+from ..arctrl_core.arc_types import (ArcStudy, ArcAssay)
+from ..arctrl_core.Helper.identifier import Study_fileNameFromIdentifier
+from ..arctrl_file_system.file_system_tree import FileSystemTree
+from ..arctrl_file_system.path import (combine_many, get_study_folder_path)
+from ..arctrl_spreadsheet.arc_study import (ARCtrl_ArcStudy__ArcStudy_toFsWorkbook_Static_Z4CEFA522, ARCtrl_ArcStudy__ArcStudy_fromFsWorkbook_Static_32154C9D)
+from ..fable_library.array_ import equals_with
+from ..fable_library.list import FSharpList
+from ..fable_library.option import default_arg
+from ..fable_library.seq import (to_array, delay, append, collect, singleton, empty)
+from ..fable_library.types import Array
+from ..fable_library.util import IEnumerable_1
+from .contract import (Contract, DTOType, DTO)
+
+def _007CStudyPath_007C__007C(input: Array[str]) -> str | None:
+    (pattern_matching_result,) = (None,)
+    def _arrow3678(x: str, y: str, input: Any=input) -> bool:
+        return x == y
+
+    if (len(input) == 3) if (not equals_with(_arrow3678, input, None)) else False:
+        if input[0] == "studies":
+            if input[2] == "isa.study.xlsx":
+                pattern_matching_result = 0
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        any_study_name: str = input[1]
+        return combine_many(input)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+def ARCtrl_ArcStudy__ArcStudy_ToCreateContract_6FCE9E49(this: ArcStudy, WithFolder: bool | None=None) -> Array[Contract]:
+    with_folder: bool = default_arg(WithFolder, False)
+    path: str = Study_fileNameFromIdentifier(this.Identifier)
+    c: Contract = Contract.create_create(path, DTOType(1), DTO(0, ARCtrl_ArcStudy__ArcStudy_toFsWorkbook_Static_Z4CEFA522(this)))
+    def _arrow3682(__unit: None=None, this: Any=this, WithFolder: Any=WithFolder) -> IEnumerable_1[Contract]:
+        def _arrow3680(__unit: None=None) -> IEnumerable_1[Contract]:
+            folder_fs: FileSystemTree = FileSystemTree.create_studies_folder([FileSystemTree.create_study_folder(this.Identifier)])
+            def _arrow3679(p: str) -> IEnumerable_1[Contract]:
+                return singleton(Contract.create_create(p, DTOType(10))) if ((p != "studies/.gitkeep") if (p != path) else False) else empty()
+
+            return collect(_arrow3679, folder_fs.ToFilePaths(False))
+
+        def _arrow3681(__unit: None=None) -> IEnumerable_1[Contract]:
+            return singleton(c)
+
+        return append(_arrow3680() if with_folder else empty(), delay(_arrow3681))
+
+    return to_array(delay(_arrow3682))
+
+
+def ARCtrl_ArcStudy__ArcStudy_ToUpdateContract(this: ArcStudy) -> Contract:
+    path: str = Study_fileNameFromIdentifier(this.Identifier)
+    return Contract.create_update(path, DTOType(1), DTO(0, ARCtrl_ArcStudy__ArcStudy_toFsWorkbook_Static_Z4CEFA522(this)))
+
+
+def ARCtrl_ArcStudy__ArcStudy_ToDeleteContract(this: ArcStudy) -> Contract:
+    path: str = get_study_folder_path(this.Identifier)
+    return Contract.create_delete(path)
+
+
+def ARCtrl_ArcStudy__ArcStudy_toDeleteContract_Static_1680536E(study: ArcStudy) -> Contract:
+    return ARCtrl_ArcStudy__ArcStudy_ToDeleteContract(study)
+
+
+def ARCtrl_ArcStudy__ArcStudy_toCreateContract_Static_Z76BBA099(study: ArcStudy, WithFolder: bool | None=None) -> Array[Contract]:
+    return ARCtrl_ArcStudy__ArcStudy_ToCreateContract_6FCE9E49(study, WithFolder)
+
+
+def ARCtrl_ArcStudy__ArcStudy_toUpdateContract_Static_1680536E(study: ArcStudy) -> Contract:
+    return ARCtrl_ArcStudy__ArcStudy_ToUpdateContract(study)
+
+
+def ARCtrl_ArcStudy__ArcStudy_tryFromReadContract_Static_7570923F(c: Contract) -> tuple[ArcStudy, FSharpList[ArcAssay]] | None:
+    (pattern_matching_result, fsworkbook) = (None, None)
+    if c.Operation == "READ":
+        if c.DTOType is not None:
+            if c.DTOType.tag == 1:
+                if c.DTO is not None:
+                    if c.DTO.tag == 0:
+                        pattern_matching_result = 0
+                        fsworkbook = c.DTO.fields[0]
+
+                    else: 
+                        pattern_matching_result = 1
+
+
+                else: 
+                    pattern_matching_result = 1
+
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return ARCtrl_ArcStudy__ArcStudy_fromFsWorkbook_Static_32154C9D(fsworkbook)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+__all__ = ["_007CStudyPath_007C__007C", "ARCtrl_ArcStudy__ArcStudy_ToCreateContract_6FCE9E49", "ARCtrl_ArcStudy__ArcStudy_ToUpdateContract", "ARCtrl_ArcStudy__ArcStudy_ToDeleteContract", "ARCtrl_ArcStudy__ArcStudy_toDeleteContract_Static_1680536E", "ARCtrl_ArcStudy__ArcStudy_toCreateContract_Static_Z76BBA099", "ARCtrl_ArcStudy__ArcStudy_toUpdateContract_Static_1680536E", "ARCtrl_ArcStudy__ArcStudy_tryFromReadContract_Static_7570923F"]
+

ROCratePCC/py/fable_modules/arctrl_contract/arc_workflow.py

@@ -0,0 +1,125 @@
+from __future__ import annotations
+from typing import Any
+from ..arctrl_core.arc_types import ArcWorkflow
+from ..arctrl_core.Helper.identifier import Workflow_fileNameFromIdentifier
+from ..arctrl_file_system.file_system_tree import FileSystemTree
+from ..arctrl_file_system.path import (combine_many, get_workflow_folder_path)
+from ..arctrl_spreadsheet.arc_workflow import (ARCtrl_ArcWorkflow__ArcWorkflow_toFsWorkbook_Static_Z1C75CB0E, ARCtrl_ArcWorkflow__ArcWorkflow_fromFsWorkbook_Static_32154C9D)
+from ..fable_library.array_ import equals_with
+from ..fable_library.option import default_arg
+from ..fable_library.seq import (to_array, delay, append, collect, singleton, empty)
+from ..fable_library.types import Array
+from ..fable_library.util import IEnumerable_1
+from .contract import (Contract, DTOType, DTO)
+
+def _007CWorkflowPath_007C__007C(input: Array[str]) -> str | None:
+    (pattern_matching_result,) = (None,)
+    def _arrow3683(x: str, y: str, input: Any=input) -> bool:
+        return x == y
+
+    if (len(input) == 3) if (not equals_with(_arrow3683, input, None)) else False:
+        if input[0] == "workflows":
+            if input[2] == "isa.workflow.xlsx":
+                pattern_matching_result = 0
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        any_workflow_name: str = input[1]
+        return combine_many(input)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_ToCreateContract_6FCE9E49(this: ArcWorkflow, WithFolder: bool | None=None) -> Array[Contract]:
+    with_folder: bool = default_arg(WithFolder, False)
+    path: str = Workflow_fileNameFromIdentifier(this.Identifier)
+    c: Contract = Contract.create_create(path, DTOType(2), DTO(0, ARCtrl_ArcWorkflow__ArcWorkflow_toFsWorkbook_Static_Z1C75CB0E(this)))
+    def _arrow3687(__unit: None=None, this: Any=this, WithFolder: Any=WithFolder) -> IEnumerable_1[Contract]:
+        def _arrow3685(__unit: None=None) -> IEnumerable_1[Contract]:
+            folder_fs: FileSystemTree = FileSystemTree.create_workflows_folder([FileSystemTree.create_workflow_folder(this.Identifier)])
+            def _arrow3684(p: str) -> IEnumerable_1[Contract]:
+                return singleton(Contract.create_create(p, DTOType(10))) if ((p != "workflows/.gitkeep") if (p != path) else False) else empty()
+
+            return collect(_arrow3684, folder_fs.ToFilePaths(False))
+
+        def _arrow3686(__unit: None=None) -> IEnumerable_1[Contract]:
+            return singleton(c)
+
+        return append(_arrow3685() if with_folder else empty(), delay(_arrow3686))
+
+    return to_array(delay(_arrow3687))
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_ToUpdateContract(this: ArcWorkflow) -> Contract:
+    path: str = Workflow_fileNameFromIdentifier(this.Identifier)
+    return Contract.create_update(path, DTOType(2), DTO(0, ARCtrl_ArcWorkflow__ArcWorkflow_toFsWorkbook_Static_Z1C75CB0E(this)))
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_ToDeleteContract(this: ArcWorkflow) -> Contract:
+    path: str = get_workflow_folder_path(this.Identifier)
+    return Contract.create_delete(path)
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_toDeleteContract_Static_Z1C75CB0E(workflow: ArcWorkflow) -> Contract:
+    return ARCtrl_ArcWorkflow__ArcWorkflow_ToDeleteContract(workflow)
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_toCreateContract_Static_3B1E4D7B(workflow: ArcWorkflow, WithFolder: bool | None=None) -> Array[Contract]:
+    return ARCtrl_ArcWorkflow__ArcWorkflow_ToCreateContract_6FCE9E49(workflow, WithFolder)
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_toUpdateContract_Static_Z1C75CB0E(workflow: ArcWorkflow) -> Contract:
+    return ARCtrl_ArcWorkflow__ArcWorkflow_ToUpdateContract(workflow)
+
+
+def ARCtrl_ArcWorkflow__ArcWorkflow_tryFromReadContract_Static_7570923F(c: Contract) -> ArcWorkflow | None:
+    (pattern_matching_result, fsworkbook) = (None, None)
+    if c.Operation == "READ":
+        if c.DTOType is not None:
+            if c.DTOType.tag == 2:
+                if c.DTO is not None:
+                    if c.DTO.tag == 0:
+                        pattern_matching_result = 0
+                        fsworkbook = c.DTO.fields[0]
+
+                    else: 
+                        pattern_matching_result = 1
+
+
+                else: 
+                    pattern_matching_result = 1
+
+
+            else: 
+                pattern_matching_result = 1
+
+
+        else: 
+            pattern_matching_result = 1
+
+
+    else: 
+        pattern_matching_result = 1
+
+    if pattern_matching_result == 0:
+        return ARCtrl_ArcWorkflow__ArcWorkflow_fromFsWorkbook_Static_32154C9D(fsworkbook)
+
+    elif pattern_matching_result == 1:
+        return None
+
+
+
+__all__ = ["_007CWorkflowPath_007C__007C", "ARCtrl_ArcWorkflow__ArcWorkflow_ToCreateContract_6FCE9E49", "ARCtrl_ArcWorkflow__ArcWorkflow_ToUpdateContract", "ARCtrl_ArcWorkflow__ArcWorkflow_ToDeleteContract", "ARCtrl_ArcWorkflow__ArcWorkflow_toDeleteContract_Static_Z1C75CB0E", "ARCtrl_ArcWorkflow__ArcWorkflow_toCreateContract_Static_3B1E4D7B", "ARCtrl_ArcWorkflow__ArcWorkflow_toUpdateContract_Static_Z1C75CB0E", "ARCtrl_ArcWorkflow__ArcWorkflow_tryFromReadContract_Static_7570923F"]
+