@nfdi4plants/arctrl 1.0.0-alpha6

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

@@ -0,0 +1,195 @@
+namespace FsSpreadsheet.DSL
+
+open FsSpreadsheet
+open Microsoft.FSharp.Quotations
+open Expression
+
+type ReduceOperation =
+    | Concat of char
+
+    member this.Reduce (values : Value list) : Value =
+        match this with
+        | Concat separator -> 
+            DataType.String,
+            values 
+            |> List.map (snd >> string)
+            |> List.reduce (fun a b -> $"{a}{separator}{b}")
+
+type CellBuilder() =
+
+    let mutable reducer = Concat ','
+
+    static member Empty : SheetEntity<Value list> = SheetEntity.NoneOptional []
+
+    // -- Computation Expression methods --> 
+    #if FABLE_COMPILER
+    #else
+    member _.Quote  (quotation: Quotations.Expr<'T>) =
+        quotation
+    #endif
+
+    member inline this.Zero() : SheetEntity<Value list> = SheetEntity.NoneOptional []
+
+    member this.SignMessages (messages : Message list) : Message list =
+        messages
+        |> List.map (fun m -> m.MapText (sprintf "In Cell: %s"))
+
+    member inline this.Yield(n: RequiredSource<unit>) = 
+        n
+
+    member inline this.Yield(n: OptionalSource<unit>) = 
+        n
+
+    member this.Yield(ro : ReduceOperation) : SheetEntity<Value list> =
+        reducer <- ro
+        SheetEntity.NoneOptional []
+
+    member inline this.Yield(s : string) : SheetEntity<Value list> =
+        SheetEntity.some [DataType.String,s]
+
+    member inline this.Yield(value: Value) : SheetEntity<Value list> =
+        SheetEntity.some [value]
+
+    member inline this.Yield(value: SheetEntity<Value>) : SheetEntity<Value list> =
+        match value with 
+        | Some (v,messages) -> 
+            SheetEntity.Some ([v], messages)
+        | NoneOptional messages -> 
+            NoneOptional messages
+        | NoneRequired messages -> 
+            NoneRequired messages
+
+    member inline this.Yield(n: 'a when 'a :> System.IFormattable) = 
+        let v = DataType.InferCellValue n
+        SheetEntity.some [v]
+
+    member inline this.Yield(s : string option) : SheetEntity<Value list> =
+        match s with
+        | Option.Some s -> this.Yield s
+        | None -> NoneRequired [message "Value is missing"]
+
+    member inline this.Yield(n: 'a option when 'a :> System.IFormattable) = 
+        match n with
+        | Option.Some s -> this.Yield s
+        | None -> NoneRequired [message "Value is missing"]
+
+    member inline this.YieldFrom(ns: SheetEntity<Value list> seq) =   
+        ns
+        |> Seq.fold (fun (state : SheetEntity<Value list>) we ->
+            this.Combine(state,we)
+
+        ) CellBuilder.Empty
+
+    member inline this.For(vs : seq<'T>, f : 'T -> SheetEntity<Value list>) =
+        vs
+        |> Seq.map f
+        |> this.YieldFrom
+
+    member this.Combine(wx1: SheetEntity<Value list>, wx2: SheetEntity<Value list>) : SheetEntity<Value 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<Value list>) =
+        RequiredSource (wx2)
+        
+    member this.Combine(wx1: SheetEntity<Value list>, wx2: RequiredSource<unit>) =
+        RequiredSource (wx1)
+
+    member this.Combine(wx1: OptionalSource<unit>, wx2: SheetEntity<Value list>) =
+        OptionalSource wx2
+
+    member this.Combine(wx1: SheetEntity<Value list>, wx2: OptionalSource<unit>) =
+        OptionalSource wx1
+
+    member this.Combine(wx1: RequiredSource<SheetEntity<Value list>>, wx2: SheetEntity<Value list>) =
+        this.Combine(wx1.Source,wx2) 
+        |> RequiredSource
+
+    member this.Combine(wx1: SheetEntity<Value list>, wx2: RequiredSource<SheetEntity<Value list>>) =
+        this.Combine(wx1,wx2.Source) 
+        |> RequiredSource
+
+    member this.Combine(wx1: OptionalSource<SheetEntity<Value list>>, wx2: SheetEntity<Value list>) =
+        this.Combine(wx1.Source,wx2) 
+        |> OptionalSource
+
+    member this.Combine(wx1: SheetEntity<Value list>, wx2: OptionalSource<SheetEntity<Value list>>) =
+        this.Combine(wx1,wx2.Source) 
+        |> OptionalSource
+
+    member this.AsCellElement(children: SheetEntity<Value list>) : SheetEntity<CellElement> =
+        match children with
+        | Some (v :: [],messages) ->
+            let cellElement = v, None
+            SheetEntity.Some(cellElement, messages)
+        | Some (vals,messages) ->
+            let cellElement = reducer.Reduce (vals), None
+            SheetEntity.Some(cellElement, messages)
+        | NoneRequired messages -> NoneRequired messages
+        | NoneOptional messages -> NoneOptional messages
+
+    #if FABLE_COMPILER
+    member inline this.Run(children: OptionalSource<SheetEntity<Value list>>) =
+        try 
+            match this.AsCellElement (children.Source) with
+            | NoneRequired m -> NoneOptional m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: RequiredSource<SheetEntity<Value list>>) =
+        try 
+            match this.AsCellElement (children.Source) with
+            | NoneOptional m -> NoneRequired m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: SheetEntity<Value list>) =
+        this.AsCellElement (children)
+        |> fun v -> v.Value
+    #else
+    member inline this.Run(children: Expr<OptionalSource<SheetEntity<Value list>>>) =
+        try 
+            match this.AsCellElement ((eval<OptionalSource<SheetEntity<Value list>>> children).Source) with
+            | NoneRequired m -> NoneOptional m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: Expr<RequiredSource<SheetEntity<Value list>>>) =
+        try 
+            match this.AsCellElement ((eval<RequiredSource<SheetEntity<Value list>>> children).Source) with
+            | NoneOptional m -> NoneRequired m
+            | se -> se
+        with
+        | err -> NoneOptional [message err.Message]
+
+    member inline this.Run(children: Expr<SheetEntity<Value list>>) =
+        this.AsCellElement (eval<SheetEntity<Value list>> children)
+        |> fun v -> v.Value
+    #endif
+    member inline _.Delay(n: unit -> 'T) = n()

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

@@ -0,0 +1,208 @@
+import { Union } from "../../fable-library.4.1.4/Types.js";
+import { class_type, union_type, char_type } from "../../fable-library.4.1.4/Reflection.js";
+import { DataType } from "../Cells/FsCell.fs.js";
+import { head, tail, isEmpty, append, empty, map, reduce } from "../../fable-library.4.1.4/List.js";
+import { SheetEntity$1__get_Messages, Message__MapText_11D407F6, SheetEntity$1 } from "./Types.fs.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 ReduceOperation extends Union {
+    constructor(Item) {
+        super();
+        this.tag = 0;
+        this.fields = [Item];
+    }
+    cases() {
+        return ["Concat"];
+    }
+}
+
+export function ReduceOperation_$reflection() {
+    return union_type("FsSpreadsheet.DSL.ReduceOperation", [], ReduceOperation, () => [[["Item", char_type]]]);
+}
+
+export function ReduceOperation__Reduce_Z26A4E3C2(this$, values) {
+    return [new DataType(0, []), reduce((a, b) => (`${a}${this$.fields[0]}${b}`), map((arg) => arg[1], values))];
+}
+
+export class CellBuilder {
+    constructor() {
+        this.reducer = (new ReduceOperation(","));
+    }
+}
+
+export function CellBuilder_$reflection() {
+    return class_type("FsSpreadsheet.DSL.CellBuilder", void 0, CellBuilder);
+}
+
+export function CellBuilder_$ctor() {
+    return new CellBuilder();
+}
+
+export function CellBuilder_get_Empty() {
+    return new SheetEntity$1(1, [empty()]);
+}
+
+export function CellBuilder__SignMessages_3F89FFFC(this$, messages) {
+    return map((m) => {
+        let clo;
+        return Message__MapText_11D407F6(m, (clo = toText(printf("In Cell: %s")), clo));
+    }, messages);
+}
+
+export function CellBuilder__Yield_36B9E420(this$, ro) {
+    this$.reducer = ro;
+    return new SheetEntity$1(1, [empty()]);
+}
+
+export function CellBuilder__Combine_4F8B6A0(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 CellBuilder__Combine_2C6C5E1E(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(wx2);
+}
+
+export function CellBuilder__Combine_Z40A4EDE2(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(wx1);
+}
+
+export function CellBuilder__Combine_3F9D1279(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(wx2);
+}
+
+export function CellBuilder__Combine_7AD05659(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(wx1);
+}
+
+export function CellBuilder__Combine_Z674DE191(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(CellBuilder__Combine_4F8B6A0(this$, RequiredSource$1__get_Source(wx1), wx2));
+}
+
+export function CellBuilder__Combine_1F389C8F(this$, wx1, wx2) {
+    return RequiredSource$1_$ctor_2B595(CellBuilder__Combine_4F8B6A0(this$, wx1, RequiredSource$1__get_Source(wx2)));
+}
+
+export function CellBuilder__Combine_512E85C8(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(CellBuilder__Combine_4F8B6A0(this$, OptionalSource$1__get_Source(wx1), wx2));
+}
+
+export function CellBuilder__Combine_6390E688(this$, wx1, wx2) {
+    return OptionalSource$1_$ctor_2B595(CellBuilder__Combine_4F8B6A0(this$, wx1, OptionalSource$1__get_Source(wx2)));
+}
+
+export function CellBuilder__AsCellElement_825BA8D(this$, children) {
+    let matchResult, messages, v, messages_1, vals, messages_2, messages_3;
+    switch (children.tag) {
+        case 2: {
+            matchResult = 2;
+            messages_2 = children.fields[0];
+            break;
+        }
+        case 1: {
+            matchResult = 3;
+            messages_3 = children.fields[0];
+            break;
+        }
+        default:
+            if (!isEmpty(children.fields[0])) {
+                if (isEmpty(tail(children.fields[0]))) {
+                    matchResult = 0;
+                    messages = children.fields[1];
+                    v = head(children.fields[0]);
+                }
+                else {
+                    matchResult = 1;
+                    messages_1 = children.fields[1];
+                    vals = children.fields[0];
+                }
+            }
+            else {
+                matchResult = 1;
+                messages_1 = children.fields[1];
+                vals = children.fields[0];
+            }
+    }
+    switch (matchResult) {
+        case 0:
+            return new SheetEntity$1(0, [[v, void 0], messages]);
+        case 1:
+            return new SheetEntity$1(0, [[ReduceOperation__Reduce_Z26A4E3C2(this$.reducer, vals), void 0], messages_1]);
+        case 2:
+            return new SheetEntity$1(2, [messages_2]);
+        default:
+            return new SheetEntity$1(1, [messages_3]);
+    }
+}
+

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

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