@nfdi4plants/arctrl 1.0.0-alpha6

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

@@ -0,0 +1,137 @@
+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";
+import { OptionalSource$1__get_Source, RequiredSource$1__get_Source, OptionalSource$1_$ctor_2B595, RequiredSource$1_$ctor_2B595 } from "./Expression.fs.js";
+
+export class ColumnBuilder {
+    constructor() {
+    }
+}
+
+export function ColumnBuilder_$reflection() {
+    return class_type("FsSpreadsheet.DSL.ColumnBuilder", void 0, ColumnBuilder);
+}
+
+export function ColumnBuilder_$ctor() {
+    return new ColumnBuilder();
+}
+
+export function ColumnBuilder_get_Empty() {
+    return SheetEntity$1_some_2B595(empty());
+}
+
+export function ColumnBuilder__SignMessages_3F89FFFC(this$, messages) {
+    return map((m) => {
+        let clo;
+        return Message__MapText_11D407F6(m, (clo = toText(printf("In Column: %s")), clo));
+    }, messages);
+}
+
+export function ColumnBuilder__Combine_Z14A04580(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)]);
+    }
+}
+
+export function ColumnBuilder__Combine_89C473F(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(wx2);
+}
+
+export function ColumnBuilder__Combine_740C071F(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(wx1);
+}
+
+export function ColumnBuilder__Combine_1B6D0B58(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(wx2);
+}
+
+export function ColumnBuilder__Combine_Z4E78BCA8(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(wx1);
+}
+
+export function ColumnBuilder__Combine_F0E07EF(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(ColumnBuilder__Combine_Z14A04580(this$, RequiredSource$1__get_Source(wx1), wx2));
+}
+
+export function ColumnBuilder__Combine_48CBECF(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(ColumnBuilder__Combine_Z14A04580(this$, wx1, RequiredSource$1__get_Source(wx2)));
+}
+
+export function ColumnBuilder__Combine_Z172253D8(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(ColumnBuilder__Combine_Z14A04580(this$, OptionalSource$1__get_Source(wx1), wx2));
+}
+
+export function ColumnBuilder__Combine_Z73B7C9D8(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(ColumnBuilder__Combine_Z14A04580(this$, wx1, OptionalSource$1__get_Source(wx2)));
+}
+

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

@@ -0,0 +1,61 @@
+namespace FsSpreadsheet.DSL
+
+open Microsoft.FSharp.Quotations
+open FsSpreadsheet
+open Expression
+
+[<AutoOpen>]
+type DSL =
+    
+    /// Create a cell from a value
+    static member inline cell = CellBuilder()
+
+    /// Create a row from cells
+    static member inline row = RowBuilder()
+    
+    /// Create a column from cells
+    static member inline column = ColumnBuilder()
+
+    /// Create a table from either exclusively rows or exclusively columns. 
+    static member inline table name = TableBuilder(name)
+
+    /// Create a sheet from rows, tables and columns
+    static member inline sheet name = SheetBuilder(name)
+
+    /// Create a workbook from sheets
+    static member inline workbook = WorkbookBuilder()
+
+    /// Transforms any given missing element to an optional.
+    static member opt (elem : SheetEntity<'T list>) = 
+        match elem with
+        | Some (f,messages) -> elem
+        | NoneOptional (messages) -> NoneOptional(messages)
+        | NoneRequired (messages) -> NoneOptional(messages)
+
+    #if FABLE_COMPILER
+    #else
+    /// Transforms any given missing element expression to an optional.
+    static member opt (elem : Expr<SheetEntity<'T list>>) = 
+        try 
+            let elem = eval<SheetEntity<'T list>> elem
+            DSL.opt elem
+        with
+        | err -> 
+            NoneOptional([message err.Message])
+    #endif
+
+    /// Drops the cell with the given message
+    static member dropCell message : SheetEntity<Value> = NoneRequired [message]
+
+    /// Drops the row with the given message
+    static member dropRow message : SheetEntity<RowElement> = NoneRequired [message]
+
+    /// Drops the column with the given message
+    static member dropColumn message : SheetEntity<ColumnElement> = NoneRequired [message]
+
+    /// Drops the sheet with the given message
+    static member dropSheet message : SheetEntity<SheetElement> = NoneRequired [message]
+
+    /// Drops the workbook with the given message
+    static member dropWorkbook message : SheetEntity<WorkbookElement> = NoneRequired [message]
+

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

@@ -0,0 +1,62 @@
+import { class_type } from "../../fable-library.4.1.4/Reflection.js";
+import { SheetEntity$1 } from "./Types.fs.js";
+import { singleton } from "../../fable-library.4.1.4/List.js";
+
+export class DSL {
+    constructor() {
+    }
+}
+
+export function DSL_$reflection() {
+    return class_type("FsSpreadsheet.DSL.DSL", void 0, DSL);
+}
+
+/**
+ * Transforms any given missing element to an optional.
+ */
+export function DSL_opt_Z6AB9374C(elem) {
+    switch (elem.tag) {
+        case 1:
+            return new SheetEntity$1(1, [elem.fields[0]]);
+        case 2:
+            return new SheetEntity$1(1, [elem.fields[0]]);
+        default:
+            return elem;
+    }
+}
+
+/**
+ * Drops the cell with the given message
+ */
+export function DSL_dropCell_6CC5727E(message) {
+    return new SheetEntity$1(2, [singleton(message)]);
+}
+
+/**
+ * Drops the row with the given message
+ */
+export function DSL_dropRow_6CC5727E(message) {
+    return new SheetEntity$1(2, [singleton(message)]);
+}
+
+/**
+ * Drops the column with the given message
+ */
+export function DSL_dropColumn_6CC5727E(message) {
+    return new SheetEntity$1(2, [singleton(message)]);
+}
+
+/**
+ * Drops the sheet with the given message
+ */
+export function DSL_dropSheet_6CC5727E(message) {
+    return new SheetEntity$1(2, [singleton(message)]);
+}
+
+/**
+ * Drops the workbook with the given message
+ */
+export function DSL_dropWorkbook_6CC5727E(message) {
+    return new SheetEntity$1(2, [singleton(message)]);
+}
+

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

@@ -0,0 +1,24 @@
+namespace FsSpreadsheet.DSL
+
+
+module Expression =
+
+    [<NoComparison; NoEquality; Sealed>]
+    type OptionalSource<'T>(s : 'T) =
+        member this.Source = s
+
+    [<NoComparison; NoEquality; Sealed>]
+    type RequiredSource<'T>(s : 'T) =
+        member this.Source = s
+
+    [<NoComparison; NoEquality; Sealed>]
+    type ExpressionSource<'T>(s : 'T) =
+
+        member this.Source = s
+
+    #if FABLE_COMPILER
+    #else
+    open Microsoft.FSharp.Linq.RuntimeHelpers
+
+    let eval<'T> q = LeafExpressionConverter.EvaluateQuotation q :?> 'T
+    #endif

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

@@ -0,0 +1,56 @@
+import { class_type } from "../../fable-library.4.1.4/Reflection.js";
+
+export class OptionalSource$1 {
+    constructor(s) {
+        this.s = s;
+    }
+}
+
+export function OptionalSource$1_$reflection(gen0) {
+    return class_type("FsSpreadsheet.DSL.Expression.OptionalSource`1", [gen0], OptionalSource$1);
+}
+
+export function OptionalSource$1_$ctor_2B595(s) {
+    return new OptionalSource$1(s);
+}
+
+export function OptionalSource$1__get_Source(this$) {
+    return this$.s;
+}
+
+export class RequiredSource$1 {
+    constructor(s) {
+        this.s = s;
+    }
+}
+
+export function RequiredSource$1_$reflection(gen0) {
+    return class_type("FsSpreadsheet.DSL.Expression.RequiredSource`1", [gen0], RequiredSource$1);
+}
+
+export function RequiredSource$1_$ctor_2B595(s) {
+    return new RequiredSource$1(s);
+}
+
+export function RequiredSource$1__get_Source(this$) {
+    return this$.s;
+}
+
+export class ExpressionSource$1 {
+    constructor(s) {
+        this.s = s;
+    }
+}
+
+export function ExpressionSource$1_$reflection(gen0) {
+    return class_type("FsSpreadsheet.DSL.Expression.ExpressionSource`1", [gen0], ExpressionSource$1);
+}
+
+export function ExpressionSource$1_$ctor_2B595(s) {
+    return new ExpressionSource$1(s);
+}
+
+export function ExpressionSource$1__get_Source(this$) {
+    return this$.s;
+}
+

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

@@ -0,0 +1,102 @@
+namespace FsSpreadsheet.DSL
+
+open Microsoft.FSharp.Quotations
+open FsSpreadsheet
+open Expression
+
+[<AutoOpen>]
+module Operators = 
+ 
+    #if FABLE_COMPILER
+    #else
+    let inline parseExpression (def : string -> SheetEntity<Value>) (s : Expr<'a>) : SheetEntity<Value> =
+        try 
+            let value = eval<'a> s |> DataType.InferCellValue
+            SheetEntity.some value         
+        with
+        | err -> def err.Message
+    #endif
+
+    let inline parseOption (def : string -> SheetEntity<Value>) (s : Option<'a>) : SheetEntity<Value> =
+        match s with
+        | Option.Some value ->
+            DataType.InferCellValue value
+            |> SheetEntity.some  
+        | None -> def "Value was missing"
+    
+    let inline parseResult (def : string -> SheetEntity<Value>) (s : Result<'a,exn>) : SheetEntity<Value> =
+        match s with
+        | Result.Ok value ->
+            DataType.InferCellValue value
+            |> SheetEntity.some  
+        | Result.Error exn -> def exn.Message
+
+    let inline parseAny (f : string -> SheetEntity<Value>) (v: 'T) : SheetEntity<Value> =
+        match box v with
+        #if FABLE_COMPILER
+        #else
+        | :? Expr<string> as e ->           parseExpression f e
+        | :? Expr<int> as e ->              parseExpression f e
+        | :? Expr<float> as e ->            parseExpression f e
+        | :? Expr<single> as e ->           parseExpression f e
+        | :? Expr<byte> as e ->             parseExpression f e
+        | :? Expr<System.DateTime> as e ->  parseExpression f e
+        #endif  
+
+        | :? Option<string> as o ->             parseOption f o
+        | :? Option<int> as o ->                parseOption f o
+        | :? Option<float> as o ->              parseOption f o
+        | :? Option<single> as o ->             parseOption f o
+        | :? Option<byte> as o ->               parseOption f o
+        | :? Option<System.DateTime> as o ->    parseOption f o
+
+        | :? Result<string,exn> as r -> parseResult f r
+        | :? Result<int,exn> as r -> parseResult f r
+        | :? Result<float,exn> as r -> parseResult f r
+        | :? Result<single,exn> as r -> parseResult f r
+        | :? Result<byte,exn> as r -> parseResult f r
+        | :? Result<System.DateTime,exn> as r -> parseResult f r
+
+        | v -> failwith $"Could not parse value {v}. Only string,int,float,single,byte,System.DateTime allowed."
+
+    /// Required value operator
+    ///
+    /// If expression does fail, returns a missing required value
+    let inline (~+.) (v : 'T) : SheetEntity<Value> =
+        let f = fun s -> NoneRequired([message s])
+        parseAny f v
+
+    /// Optional value operator
+    ///
+    /// If expression does fail, returns a missing optional value
+    let inline (~-.) (v : 'T) : SheetEntity<Value> =
+        let f = fun s -> NoneOptional([message s])
+        parseAny f v 
+
+    /// Required value operator
+    ///
+    /// If expression does fail, returns a missing required value
+    let inline (+.) (f : 'T -> 'U) (v : 'T) : SheetEntity<Value> =
+        try 
+            f v 
+            |> DataType.InferCellValue
+            |> SheetEntity.some
+        with 
+        | err -> NoneRequired([Exception err])
+
+    /// Optional value operator
+    ///
+    /// If expression does fail, returns a missing optional value
+    let inline (-.) (f : 'T -> 'U) (v : 'T) : SheetEntity<Value> =
+        try 
+            f v 
+            |> DataType.InferCellValue
+            |> SheetEntity.some
+        with 
+        | err -> NoneOptional([Exception err])
+
+    /// Optional operators for cell, row, column and sheet expressions
+    let optional = OptionalSource()
+
+    /// Required operators for cell, row, column and sheet expressions
+    let required = RequiredSource()

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

@@ -0,0 +1,6 @@
+import { RequiredSource$1_$ctor_2B595, OptionalSource$1_$ctor_2B595 } from "./Expression.fs.js";
+
+export const optional = OptionalSource$1_$ctor_2B595(void 0);
+
+export const required = RequiredSource$1_$ctor_2B595(void 0);
+

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

@@ -0,0 +1,200 @@
+namespace FsSpreadsheet.DSL
+
+open FsSpreadsheet
+open FsSpreadsheet.DSL
+
+open Microsoft.FSharp.Quotations
+open Expression
+
+type RowBuilder() =
+
+    static member Empty : SheetEntity<RowElement list> = SheetEntity.some []
+
+    // -- Computation Expression methods --> 
+    #if FABLE_COMPILER
+    #else
+    member _.Quote  (quotation: Quotations.Expr<'T>) =
+        quotation
+    #endif
+
+    member inline this.Zero() : SheetEntity<RowElement list> = SheetEntity.some []
+
+    member this.SignMessages (messages : Message list) : Message list =
+        messages
+        |> List.map (fun m -> m.MapText (sprintf "In Row: %s"))
+
+    member inline this.Yield(n: RequiredSource<unit>) = 
+        n
+
+    member inline this.Yield(n: OptionalSource<unit>) = 
+        n
+
+    member inline _.Yield(c: RowElement) =
+        SheetEntity.some [c]
+
+    member inline _.Yield(cs: RowElement list) =
+        SheetEntity.some cs
+
+    member inline _.Yield(c: SheetEntity<RowElement>) =
+        match c with 
+        | Some (re,messages) -> 
+            SheetEntity.Some ([re], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline _.Yield(cs: SheetEntity<RowElement list>) =
+        cs
+
+    member inline _.Yield(c: SheetEntity<CellElement>) =
+        match c with 
+        | Some ((v,Option.Some i),messages) -> 
+            SheetEntity.Some ([RowElement.IndexedCell (Col i,v)], messages)
+        | Some ((v,None),messages) -> 
+            SheetEntity.Some ([RowElement.UnindexedCell v], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline _.Yield(c: CellElement) =
+        let re = 
+            match c with
+            | v, Option.Some i -> RowElement.IndexedCell (Col i, v)
+            | v, None -> RowElement.UnindexedCell v
+        SheetEntity.some [re]
+
+    member inline _.Yield(c: SheetEntity<Value>) =
+        match c with 
+        | Some ((v),messages) -> 
+            SheetEntity.Some ([RowElement.UnindexedCell v], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline this.Yield(cs: seq<SheetEntity<CellElement>>) : SheetEntity<RowElement list>=
+        cs
+        |> Seq.map this.Yield
+        |> Seq.reduce (fun a b -> this.Combine(a,b))
+
+    member inline _.Yield(c: Value) =
+        SheetEntity.some [RowElement.UnindexedCell c]
+
+    member inline this.Yield(n: 'a when 'a :> System.IFormattable) = 
+        let v = DataType.InferCellValue n
+        SheetEntity.some [RowElement.UnindexedCell v]
+
+    member inline _.Yield(s : string) = 
+        let v = DataType.InferCellValue s
+        SheetEntity.some [RowElement.UnindexedCell v]
+
+    member inline this.YieldFrom(ns: SheetEntity<RowElement list> seq) =   
+        ns
+        |> Seq.fold (fun (state : SheetEntity<RowElement list>) we ->
+            this.Combine(state,we)
+
+        ) RowBuilder.Empty
+
+    member inline this.For(vs : seq<'T>, f : 'T -> SheetEntity<RowElement list>) =
+        vs
+        |> Seq.map f
+        |> this.YieldFrom
+
+    member this.Combine(wx1: SheetEntity<RowElement list>, wx2: SheetEntity<RowElement list>) : SheetEntity<RowElement 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 this.Combine(wx1: RequiredSource<unit>, wx2: SheetEntity<RowElement list>) =
+        RequiredSource (wx2)
+        
+    member this.Combine(wx1: SheetEntity<RowElement list>, wx2: RequiredSource<unit>) =
+        RequiredSource (wx1)
+
+    member this.Combine(wx1: OptionalSource<unit>, wx2: SheetEntity<RowElement list>) =
+        OptionalSource wx2
+
+    member this.Combine(wx1: SheetEntity<RowElement list>, wx2: OptionalSource<unit>) =
+        OptionalSource wx1
+
+    member this.Combine(wx1: RequiredSource<SheetEntity<RowElement list>>, wx2: SheetEntity<RowElement list>) =
+        this.Combine(wx1.Source,wx2) 
+        |> RequiredSource
+
+    member this.Combine(wx1: SheetEntity<RowElement list>, wx2: RequiredSource<SheetEntity<RowElement list>>) =
+        this.Combine(wx1,wx2.Source) 
+        |> RequiredSource
+
+    member this.Combine(wx1: OptionalSource<SheetEntity<RowElement list>>, wx2: SheetEntity<RowElement list>) =
+        this.Combine(wx1.Source,wx2) 
+        |> OptionalSource
+
+    member this.Combine(wx1: SheetEntity<RowElement list>, wx2: OptionalSource<SheetEntity<RowElement list>>) =
+        this.Combine(wx1,wx2.Source) 
+        |> OptionalSource
+
+    #if FABLE_COMPILER
+    member inline this.Run(children: OptionalSource<SheetEntity<RowElement list>>) =
+        try 
+            match children.Source with
+            | NoneRequired m -> NoneOptional m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: RequiredSource<SheetEntity<RowElement list>>) =
+        try 
+            match children.Source with
+            | NoneOptional m -> NoneRequired m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: SheetEntity<RowElement list>) =
+        children.Value
+    #else
+    member inline this.Run(children: Expr<OptionalSource<SheetEntity<RowElement list>>>) =
+        try 
+            match (eval<OptionalSource<SheetEntity<RowElement list>>> children).Source with
+            | NoneRequired m -> NoneOptional m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: Expr<RequiredSource<SheetEntity<RowElement list>>>) =
+        try 
+            match (eval<RequiredSource<SheetEntity<RowElement list>>> children).Source with
+            | NoneOptional m -> NoneRequired m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: Expr<SheetEntity<RowElement list>>) =
+        (eval<SheetEntity<RowElement list>> children).Value
+    #endif
+
+    member inline _.Delay(n: unit -> 'T) = n()