@nfdi4plants/arctrl 1.0.0-alpha6

package/fable_modules/FsSpreadsheet.4.1.0/DSL/Types.fs

@@ -0,0 +1,151 @@
+namespace FsSpreadsheet.DSL
+
+open FsSpreadsheet
+
+[<AutoOpen>]
+type Message = 
+    | Text of string
+    | Exception of exn
+
+    static member message (s : string) = Text s
+
+    static member message (e : #exn) = Exception e
+
+    member this.MapText(m : string -> string) =
+        match this with
+        | Text s -> Text (m s)
+        | Exception e -> this
+
+    member this.AsString() = 
+        match this with
+        | Text s -> s
+        | Exception e -> e.Message
+
+    member this.TryText() = 
+        match this with
+        | Text s -> Some s
+        | _ -> None
+
+    member this.TryException() = 
+        match this with
+        | Exception e -> Some e
+        | _ -> None
+
+    member this.IsTxt = 
+        match this with
+        | Text s -> true
+        | _ -> false
+
+    member this.IsExc = 
+        match this with
+        | Text s -> true
+        | _ -> false
+
+
+module Messages =
+    
+    let format (ms : Message list) =
+        ms
+        |> List.map (fun m -> m.AsString())
+        |> List.reduce (fun a b -> a + ";" + b)
+
+    let fail (ms : Message list) =
+        let s = format ms
+        if ms |> List.exists (fun m -> m.IsExc) then
+            printfn "s"
+            raise (ms |> List.pick (fun m -> m.TryException()))
+        else
+            failwith s
+
+
+[<AutoOpen>]
+type SheetEntity<'T> =
+
+    | Some of 'T * Message list
+    | NoneOptional of Message list
+    | NoneRequired of Message list
+
+    static member some (v : 'T) : SheetEntity<'T> = SheetEntity.Some (v,[])
+
+    /// Get messages
+    member this.Messages =
+
+        match this with 
+        | Some (f,errs) -> errs
+        | NoneOptional errs -> errs
+        | NoneRequired errs -> errs
+
+[<AutoOpen>]
+module SheetEntityExtensions =
+    type SheetEntity<'T> with
+        member inline this.Value =
+            match this with 
+            | Some (f,errs) -> f
+            | NoneOptional ms | NoneRequired ms when ms = [] -> 
+                #if FABLE_COMPILER
+                failwith $"SheetEntity does not contain Value."
+                #else
+                failwith $"SheetEntity of type {typeof<'T>.Name} does not contain Value."
+                #endif
+            | NoneOptional ms | NoneRequired ms -> 
+                let appendedMessages = Messages.format ms
+                #if FABLE_COMPILER
+                failwith $"SheetEntity does not contain Value: \n\t{appendedMessages}"
+                #else
+                failwith $"SheetEntity of type {typeof<'T>.Name} does not contain Value: \n\t{appendedMessages}"
+                #endif
+
+type Value = DataType * string
+
+type CellElement = Value * int option
+
+type ColumnIndex = 
+    
+    | Col of int 
+
+    member self.Index = match self with | Col i -> i
+
+type RowIndex = 
+    
+    | Row of int
+
+    member self.Index = match self with | Row i -> i
+
+type ColumnElement =
+    | IndexedCell of RowIndex * Value
+    | UnindexedCell of Value
+
+type RowElement =
+    | IndexedCell of ColumnIndex * Value
+    | UnindexedCell of Value
+
+type TableElement = 
+    | UnindexedRow of RowElement list
+    | UnindexedColumn of ColumnElement list
+
+    member this.IsRow =
+        match this with 
+        | UnindexedRow _ -> true
+        | _ -> false
+
+    member this.IsColumn =
+        match this with 
+        | UnindexedColumn _ -> true
+        | _ -> false
+
+type SheetElement = 
+    | Table of string * TableElement list
+    | IndexedRow of RowIndex * RowElement list
+    | UnindexedRow of RowElement list
+    | IndexedColumn of ColumnIndex * ColumnElement list
+    | UnindexedColumn of ColumnElement list
+    | IndexedCell of RowIndex * ColumnIndex * Value
+    | UnindexedCell of Value
+
+
+type WorkbookElement =
+    | UnnamedSheet of SheetElement list
+    | NamedSheet of string * SheetElement list
+
+type Workbook =
+    | Workbook of WorkbookElement list

package/fable_modules/FsSpreadsheet.4.1.0/DSL/Types.fs.js

@@ -0,0 +1,277 @@
+import { Union } from "../../fable-library.4.1.4/Types.js";
+import { tuple_type, int32_type, list_type, union_type, class_type, string_type } from "../../fable-library.4.1.4/Reflection.js";
+import { empty, pick, exists, map, reduce } from "../../fable-library.4.1.4/List.js";
+import { printf, toConsole } from "../../fable-library.4.1.4/String.js";
+import { DataType_$reflection } from "../Cells/FsCell.fs.js";
+
+export class Message extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Text", "Exception"];
+    }
+}
+
+export function Message_$reflection() {
+    return union_type("FsSpreadsheet.DSL.Message", [], Message, () => [[["Item", string_type]], [["Item", class_type("System.Exception")]]]);
+}
+
+export function Message_message_Z721C83C5(s) {
+    return new Message(0, [s]);
+}
+
+export function Message_message_2BC701FD(e) {
+    return new Message(1, [e]);
+}
+
+export function Message__MapText_11D407F6(this$, m) {
+    if (this$.tag === 1) {
+        return this$;
+    }
+    else {
+        return new Message(0, [m(this$.fields[0])]);
+    }
+}
+
+export function Message__AsString(this$) {
+    if (this$.tag === 1) {
+        return this$.fields[0].message;
+    }
+    else {
+        return this$.fields[0];
+    }
+}
+
+export function Message__TryText(this$) {
+    if (this$.tag === 0) {
+        return this$.fields[0];
+    }
+    else {
+        return void 0;
+    }
+}
+
+export function Message__TryException(this$) {
+    if (this$.tag === 1) {
+        return this$.fields[0];
+    }
+    else {
+        return void 0;
+    }
+}
+
+export function Message__get_IsTxt(this$) {
+    if (this$.tag === 0) {
+        return true;
+    }
+    else {
+        return false;
+    }
+}
+
+export function Message__get_IsExc(this$) {
+    if (this$.tag === 0) {
+        return true;
+    }
+    else {
+        return false;
+    }
+}
+
+export function Messages_format(ms) {
+    return reduce((a, b) => ((a + ";") + b), map(Message__AsString, ms));
+}
+
+export function Messages_fail(ms) {
+    const s = Messages_format(ms);
+    if (exists(Message__get_IsExc, ms)) {
+        toConsole(printf("s"));
+        throw pick(Message__TryException, ms);
+    }
+    else {
+        throw new Error(s);
+    }
+}
+
+export class SheetEntity$1 extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Some", "NoneOptional", "NoneRequired"];
+    }
+}
+
+export function SheetEntity$1_$reflection(gen0) {
+    return union_type("FsSpreadsheet.DSL.SheetEntity`1", [gen0], SheetEntity$1, () => [[["Item1", gen0], ["Item2", list_type(Message_$reflection())]], [["Item", list_type(Message_$reflection())]], [["Item", list_type(Message_$reflection())]]]);
+}
+
+export function SheetEntity$1_some_2B595(v) {
+    return new SheetEntity$1(0, [v, empty()]);
+}
+
+/**
+ * Get messages
+ */
+export function SheetEntity$1__get_Messages(this$) {
+    switch (this$.tag) {
+        case 1:
+            return this$.fields[0];
+        case 2:
+            return this$.fields[0];
+        default:
+            return this$.fields[1];
+    }
+}
+
+export class ColumnIndex extends Union {
+    constructor(Item) {
+        super();
+        this.tag = 0;
+        this.fields = [Item];
+    }
+    cases() {
+        return ["Col"];
+    }
+}
+
+export function ColumnIndex_$reflection() {
+    return union_type("FsSpreadsheet.DSL.ColumnIndex", [], ColumnIndex, () => [[["Item", int32_type]]]);
+}
+
+export function ColumnIndex__get_Index(self) {
+    return self.fields[0];
+}
+
+export class RowIndex extends Union {
+    constructor(Item) {
+        super();
+        this.tag = 0;
+        this.fields = [Item];
+    }
+    cases() {
+        return ["Row"];
+    }
+}
+
+export function RowIndex_$reflection() {
+    return union_type("FsSpreadsheet.DSL.RowIndex", [], RowIndex, () => [[["Item", int32_type]]]);
+}
+
+export function RowIndex__get_Index(self) {
+    return self.fields[0];
+}
+
+export class ColumnElement extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["IndexedCell", "UnindexedCell"];
+    }
+}
+
+export function ColumnElement_$reflection() {
+    return union_type("FsSpreadsheet.DSL.ColumnElement", [], ColumnElement, () => [[["Item1", RowIndex_$reflection()], ["Item2", tuple_type(DataType_$reflection(), string_type)]], [["Item", tuple_type(DataType_$reflection(), string_type)]]]);
+}
+
+export class RowElement extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["IndexedCell", "UnindexedCell"];
+    }
+}
+
+export function RowElement_$reflection() {
+    return union_type("FsSpreadsheet.DSL.RowElement", [], RowElement, () => [[["Item1", ColumnIndex_$reflection()], ["Item2", tuple_type(DataType_$reflection(), string_type)]], [["Item", tuple_type(DataType_$reflection(), string_type)]]]);
+}
+
+export class TableElement extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["UnindexedRow", "UnindexedColumn"];
+    }
+}
+
+export function TableElement_$reflection() {
+    return union_type("FsSpreadsheet.DSL.TableElement", [], TableElement, () => [[["Item", list_type(RowElement_$reflection())]], [["Item", list_type(ColumnElement_$reflection())]]]);
+}
+
+export function TableElement__get_IsRow(this$) {
+    if (this$.tag === 0) {
+        return true;
+    }
+    else {
+        return false;
+    }
+}
+
+export function TableElement__get_IsColumn(this$) {
+    if (this$.tag === 1) {
+        return true;
+    }
+    else {
+        return false;
+    }
+}
+
+export class SheetElement extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Table", "IndexedRow", "UnindexedRow", "IndexedColumn", "UnindexedColumn", "IndexedCell", "UnindexedCell"];
+    }
+}
+
+export function SheetElement_$reflection() {
+    return union_type("FsSpreadsheet.DSL.SheetElement", [], SheetElement, () => [[["Item1", string_type], ["Item2", list_type(TableElement_$reflection())]], [["Item1", RowIndex_$reflection()], ["Item2", list_type(RowElement_$reflection())]], [["Item", list_type(RowElement_$reflection())]], [["Item1", ColumnIndex_$reflection()], ["Item2", list_type(ColumnElement_$reflection())]], [["Item", list_type(ColumnElement_$reflection())]], [["Item1", RowIndex_$reflection()], ["Item2", ColumnIndex_$reflection()], ["Item3", tuple_type(DataType_$reflection(), string_type)]], [["Item", tuple_type(DataType_$reflection(), string_type)]]]);
+}
+
+export class WorkbookElement extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["UnnamedSheet", "NamedSheet"];
+    }
+}
+
+export function WorkbookElement_$reflection() {
+    return union_type("FsSpreadsheet.DSL.WorkbookElement", [], WorkbookElement, () => [[["Item", list_type(SheetElement_$reflection())]], [["Item1", string_type], ["Item2", list_type(SheetElement_$reflection())]]]);
+}
+
+export class Workbook extends Union {
+    constructor(Item) {
+        super();
+        this.tag = 0;
+        this.fields = [Item];
+    }
+    cases() {
+        return ["Workbook"];
+    }
+}
+
+export function Workbook_$reflection() {
+    return union_type("FsSpreadsheet.DSL.Workbook", [], Workbook, () => [[["Item", list_type(WorkbookElement_$reflection())]]]);
+}
+

package/fable_modules/FsSpreadsheet.4.1.0/DSL/WorkbookBuilder.fs

@@ -0,0 +1,114 @@
+namespace FsSpreadsheet.DSL
+
+open FsSpreadsheet
+open FsSpreadsheet.DSL
+
+open Microsoft.FSharp.Quotations
+open Expression
+
+type WorkbookBuilder() =
+
+    static member Empty : SheetEntity<WorkbookElement list> = SheetEntity.some []
+
+    // -- Computation Expression methods --> 
+
+    member inline this.Zero() : SheetEntity<WorkbookElement list> = SheetEntity.some []
+
+    member this.SignMessages (messages : Message list) : Message list =
+        messages
+        |> List.map (fun m -> m.MapText (sprintf "In Workbook: %s"))
+
+    member inline _.Yield(c: WorkbookElement) =
+        SheetEntity.some [c]
+
+    member inline _.Yield(w: SheetEntity<WorkbookElement>) =
+        match w with 
+        | Some (w, messages) -> 
+            SheetEntity.Some ([w], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline _.Yield(cs: WorkbookElement list) =
+        SheetEntity.some cs
+    
+    member inline _.Yield(cs: SheetEntity<WorkbookElement list> ) =
+        cs
+
+    member inline _.Yield(c: SheetEntity<SheetElement list>) =
+        match c with 
+        | Some (re,messages) -> 
+            SheetEntity.Some ([WorkbookElement.UnnamedSheet re], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline _.Yield(cs: SheetElement list) =
+        SheetEntity.some [WorkbookElement.UnnamedSheet cs]
+
+    member inline _.Yield(c: SheetEntity<string * SheetElement list>) =
+        match c with 
+        | Some ((name,re),messages) -> 
+            SheetEntity.Some ([WorkbookElement.NamedSheet (name,re)], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline _.Yield(cs: string * SheetElement list) =
+        SheetEntity.some [WorkbookElement.NamedSheet (cs)]
+
+
+    member inline this.YieldFrom(ns: SheetEntity<WorkbookElement list> seq) =   
+        ns
+        |> Seq.fold (fun state we ->
+            this.Combine(state,we)
+
+        ) WorkbookBuilder.Empty
+
+
+    member inline this.For(vs : seq<'T>, f : 'T -> SheetEntity<WorkbookElement list>) =
+        vs
+        |> Seq.map f
+        |> this.YieldFrom
+
+
+    member inline this.Run(children: SheetEntity<WorkbookElement list>) =
+        match children with 
+        | Some (children,messages) -> 
+            SheetEntity.Some (Workbook children, messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member this.Combine(wx1: SheetEntity<WorkbookElement list>, wx2: SheetEntity<WorkbookElement list>) : SheetEntity<WorkbookElement list>=
+        match wx1,wx2 with
+        // If both contain content, combine the content
+        | Some (l1,messages1), Some (l2,messages2) ->
+            Some (List.append l1 l2
+            ,List.append messages1 messages2)
+
+        // If any of the two is missing and was required, return a missing required
+        | _, NoneRequired messages2 ->
+            NoneRequired (List.append wx1.Messages messages2)
+
+        | NoneRequired messages1, _ ->
+            NoneRequired (List.append messages1 wx2.Messages)
+
+        // If only one of the two is missing and was optional, take the content of the functioning one
+        | Some (f1,messages1), NoneOptional messages2 ->
+            Some (f1
+            ,List.append messages1 messages2)
+
+        | NoneOptional messages1, Some (f2,messages2) ->
+            Some (f2
+            ,List.append messages1 messages2)
+
+        // If both are missing and were optional, return a missing optional
+        | NoneOptional messages1, NoneOptional messages2 ->
+            NoneOptional (List.append messages1 messages2)
+        
+    member inline _.Delay(n: unit -> SheetEntity<WorkbookElement list>) = n()

package/fable_modules/FsSpreadsheet.4.1.0/DSL/WorkbookBuilder.fs.js

@@ -0,0 +1,104 @@
+import { class_type } from "../../fable-library.4.1.4/Reflection.js";
+import { SheetEntity$1__get_Messages, SheetEntity$1, Message__MapText_11D407F6, SheetEntity$1_some_2B595 } from "./Types.fs.js";
+import { append, map, empty } from "../../fable-library.4.1.4/List.js";
+import { printf, toText } from "../../fable-library.4.1.4/String.js";
+
+export class WorkbookBuilder {
+    constructor() {
+    }
+}
+
+export function WorkbookBuilder_$reflection() {
+    return class_type("FsSpreadsheet.DSL.WorkbookBuilder", void 0, WorkbookBuilder);
+}
+
+export function WorkbookBuilder_$ctor() {
+    return new WorkbookBuilder();
+}
+
+export function WorkbookBuilder_get_Empty() {
+    return SheetEntity$1_some_2B595(empty());
+}
+
+export function WorkbookBuilder__SignMessages_3F89FFFC(this$, messages) {
+    return map((m) => {
+        let clo;
+        return Message__MapText_11D407F6(m, (clo = toText(printf("In Workbook: %s")), clo));
+    }, messages);
+}
+
+export function WorkbookBuilder__Combine_49CE2EC0(this$, wx1, wx2) {
+    let matchResult, l1, l2, messages1, messages2, messages2_1, messages1_1, f1, messages1_2, messages2_2, f2, messages1_3, messages2_3, messages1_4, messages2_4;
+    switch (wx1.tag) {
+        case 2: {
+            if (wx2.tag === 2) {
+                matchResult = 1;
+                messages2_1 = wx2.fields[0];
+            }
+            else {
+                matchResult = 2;
+                messages1_1 = wx1.fields[0];
+            }
+            break;
+        }
+        case 1: {
+            switch (wx2.tag) {
+                case 0: {
+                    matchResult = 4;
+                    f2 = wx2.fields[0];
+                    messages1_3 = wx1.fields[0];
+                    messages2_3 = wx2.fields[1];
+                    break;
+                }
+                case 1: {
+                    matchResult = 5;
+                    messages1_4 = wx1.fields[0];
+                    messages2_4 = wx2.fields[0];
+                    break;
+                }
+                default: {
+                    matchResult = 1;
+                    messages2_1 = wx2.fields[0];
+                }
+            }
+            break;
+        }
+        default:
+            switch (wx2.tag) {
+                case 2: {
+                    matchResult = 1;
+                    messages2_1 = wx2.fields[0];
+                    break;
+                }
+                case 1: {
+                    matchResult = 3;
+                    f1 = wx1.fields[0];
+                    messages1_2 = wx1.fields[1];
+                    messages2_2 = wx2.fields[0];
+                    break;
+                }
+                default: {
+                    matchResult = 0;
+                    l1 = wx1.fields[0];
+                    l2 = wx2.fields[0];
+                    messages1 = wx1.fields[1];
+                    messages2 = wx2.fields[1];
+                }
+            }
+    }
+    switch (matchResult) {
+        case 0:
+            return new SheetEntity$1(0, [append(l1, l2), append(messages1, messages2)]);
+        case 1:
+            return new SheetEntity$1(2, [append(SheetEntity$1__get_Messages(wx1), messages2_1)]);
+        case 2:
+            return new SheetEntity$1(2, [append(messages1_1, SheetEntity$1__get_Messages(wx2))]);
+        case 3:
+            return new SheetEntity$1(0, [f1, append(messages1_2, messages2_2)]);
+        case 4:
+            return new SheetEntity$1(0, [f2, append(messages1_3, messages2_3)]);
+        default:
+            return new SheetEntity$1(1, [append(messages1_4, messages2_4)]);
+    }
+}
+