Skip to content

Commit

Permalink
Update generated documentation for version 1.4.0
Browse files Browse the repository at this point in the history
  • Loading branch information
Thorium committed Sep 27, 2024
1 parent c74cf84 commit fd89191
Show file tree
Hide file tree
Showing 73 changed files with 714 additions and 5,298 deletions.
20 changes: 10 additions & 10 deletions core/async.html

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions core/composable.html
Original file line number Diff line number Diff line change
Expand Up @@ -484,10 +484,10 @@ <h2><a name="Generate-composable-queries-from-quotations" class="anchor" href="#
inherit IEnumerable
member ElementType: Type
member Expression: Expression
member Provider: IQueryProvider<br /><br />--------------------<br />type IQueryable&lt;&#39;T&gt; =
member Provider: IQueryProvider<br /><em>&lt;summary&gt;Provides functionality to evaluate queries against a specific data source wherein the type of the data is not specified.&lt;/summary&gt;</em><br /><br />--------------------<br />type IQueryable&lt;&#39;T&gt; =
inherit IEnumerable&lt;&#39;T&gt;
inherit IEnumerable
inherit IQueryable</div>
inherit IQueryable<br /><em>&lt;summary&gt;Provides functionality to evaluate queries against a specific data source wherein the type of the data is known.&lt;/summary&gt;<br />&lt;typeparam name=&quot;T&quot;&gt;The type of the data in the data source.&lt;/typeparam&gt;</em></div>
<div class="fsdocs-tip" id="fs34">&#39;T</div>
<div class="fsdocs-tip" id="fs35">val x: obj</div>
<div class="fsdocs-tip" id="fs36">type CustomersEntity = SqlDataProvider&lt;...&gt;.dataContext.main.CustomersEntity</div>
Expand Down
13 changes: 5 additions & 8 deletions core/crud.html
Original file line number Diff line number Diff line change
Expand Up @@ -535,7 +535,7 @@ <h3><a name="What-to-do-if-your-creation-fails-systematically-every-time" class=
<div class="fsdocs-tip" id="fs29">val now: DateTime</div>
<div class="fsdocs-tip" id="fs30">Multiple items<br />[&lt;Struct&gt;]
type DateTime =
new: date: DateOnly * time: TimeOnly -&gt; unit + 16 overloads
new: year: int * month: int * day: int -&gt; unit + 16 overloads
member Add: value: TimeSpan -&gt; DateTime
member AddDays: value: float -&gt; DateTime
member AddHours: value: float -&gt; DateTime
Expand All @@ -545,8 +545,8 @@ <h3><a name="What-to-do-if-your-creation-fails-systematically-every-time" class=
member AddMonths: months: int -&gt; DateTime
member AddSeconds: value: float -&gt; DateTime
member AddTicks: value: int64 -&gt; DateTime
...<br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
<div class="fsdocs-tip" id="fs31">property DateTime.Now: DateTime with get</div>
...<br /><em>&lt;summary&gt;Represents an instant in time, typically expressed as a date and time of day.&lt;/summary&gt;</em><br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
<div class="fsdocs-tip" id="fs31">property DateTime.Now: DateTime with get<br /><em>&lt;summary&gt;Gets a &lt;see cref=&quot;T:System.DateTime&quot; /&gt; object that is set to the current date and time on this computer, expressed as the local time.&lt;/summary&gt;<br />&lt;returns&gt;An object whose value is the current local date and time.&lt;/returns&gt;</em></div>
<div class="fsdocs-tip" id="fs32">val row: SqlDataProvider&lt;...&gt;.dataContext.main.OrdersEntity</div>
<div class="fsdocs-tip" id="fs33">SqlDataProvider&lt;...&gt;.dataContext.mainSchema.main.Orders.Create() : SqlDataProvider&lt;...&gt;.dataContext.main.OrdersEntity<br />SqlDataProvider&lt;...&gt;.dataContext.mainSchema.main.Orders.Create(data: Collections.Generic.IEnumerable&lt;string * obj&gt;) : SqlDataProvider&lt;...&gt;.dataContext.main.OrdersEntity<br /><em>&lt;summary&gt;Item array of database columns:
&lt;/summary&gt;</em></div>
Expand Down Expand Up @@ -650,10 +650,7 @@ <h3><a name="What-to-do-if-your-creation-fails-systematically-every-time" class=
| Throw
| Update
| DoNothing
member Equals: OnConflict * IEqualityComparer -&gt; bool
member IsDoNothing: bool
member IsThrow: bool
member IsUpdate: bool</div>
member Equals: OnConflict * IEqualityComparer -&gt; bool</div>
<div class="fsdocs-tip" id="fs94">union case Common.OnConflict.Update: Common.OnConflict<br /><em>&lt;summary&gt;
If the primary key already exists, updates the existing row&#39;s columns to match the new entity.
Currently supported only on PostgreSQL 9.5+
Expand Down Expand Up @@ -685,7 +682,7 @@ <h3><a name="What-to-do-if-your-creation-fails-systematically-every-time" class=
<div class="fsdocs-tip" id="fs108">val bdate: DateTime</div>
<div class="fsdocs-tip" id="fs109">DateTime.Parse(s: string) : DateTime<br />DateTime.Parse(s: string, provider: IFormatProvider) : DateTime<br />DateTime.Parse(s: ReadOnlySpan&lt;char&gt;, provider: IFormatProvider) : DateTime<br />DateTime.Parse(s: string, provider: IFormatProvider, styles: Globalization.DateTimeStyles) : DateTime<br />DateTime.Parse(s: ReadOnlySpan&lt;char&gt;, ?provider: IFormatProvider, ?styles: Globalization.DateTimeStyles) : DateTime</div>
<div class="fsdocs-tip" id="fs110">DateTime.AddYears(value: int) : DateTime</div>
<div class="fsdocs-tip" id="fs111">property DateTime.UtcNow: DateTime with get</div>
<div class="fsdocs-tip" id="fs111">property DateTime.UtcNow: DateTime with get<br /><em>&lt;summary&gt;Gets a &lt;see cref=&quot;T:System.DateTime&quot; /&gt; object that is set to the current date and time on this computer, expressed as the Coordinated Universal Time (UTC).&lt;/summary&gt;<br />&lt;returns&gt;An object whose value is the current UTC date and time.&lt;/returns&gt;</em></div>
<div class="fsdocs-tip" id="fs112">val failwith: message: string -&gt; &#39;T</div>
<div class="fsdocs-tip" id="fs113">DateTime.ToString() : string<br />DateTime.ToString(format: string) : string<br />DateTime.ToString(provider: IFormatProvider) : string<br />DateTime.ToString(format: string, provider: IFormatProvider) : string</div>
<div class="fsdocs-tip" id="fs114">val others: string * obj</div>
Expand Down
4 changes: 2 additions & 2 deletions core/mappers.html
Original file line number Diff line number Diff line change
Expand Up @@ -370,7 +370,7 @@ <h2><a name="Adding-a-Mapper-using-dataContext-to-use-generated-types-from-db" c
<div class="fsdocs-tip" id="fs19">Multiple items<br />val string: value: &#39;T -&gt; string<br /><br />--------------------<br />type string = String</div>
<div class="fsdocs-tip" id="fs20">Multiple items<br />[&lt;Struct&gt;]
type DateTime =
new: date: DateOnly * time: TimeOnly -&gt; unit + 16 overloads
new: year: int * month: int * day: int -&gt; unit + 16 overloads
member Add: value: TimeSpan -&gt; DateTime
member AddDays: value: float -&gt; DateTime
member AddHours: value: float -&gt; DateTime
Expand All @@ -380,7 +380,7 @@ <h2><a name="Adding-a-Mapper-using-dataContext-to-use-generated-types-from-db" c
member AddMonths: months: int -&gt; DateTime
member AddSeconds: value: float -&gt; DateTime
member AddTicks: value: int64 -&gt; DateTime
...<br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
...<br /><em>&lt;summary&gt;Represents an instant in time, typically expressed as a date and time of day.&lt;/summary&gt;</em><br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
<div class="fsdocs-tip" id="fs21">val mapEmployee: dbRecord: SqlDataProvider&lt;...&gt;.dataContext.main.EmployeesEntity -&gt; Employee</div>
<div class="fsdocs-tip" id="fs22">val dbRecord: SqlDataProvider&lt;...&gt;.dataContext.main.EmployeesEntity</div>
<div class="fsdocs-tip" id="fs23">type dataContext =
Expand Down
10 changes: 5 additions & 5 deletions core/mysql.html
Original file line number Diff line number Diff line change
Expand Up @@ -456,17 +456,17 @@ <h3><a name="Example-performance-difference-from-our-unit-tests" class="anchor"
member GetHashCode: unit -&gt; int
member ToByteArray: unit -&gt; byte array + 1 overload
member ToString: unit -&gt; string + 2 overloads
member TryFormat: utf8Destination: Span&lt;byte&gt; * bytesWritten: byref&lt;int&gt; * ?format: ReadOnlySpan&lt;char&gt; -&gt; bool + 1 overload
member TryFormat: destination: Span&lt;char&gt; * charsWritten: byref&lt;int&gt; * ?format: ReadOnlySpan&lt;char&gt; -&gt; bool + 1 overload
member TryWriteBytes: destination: Span&lt;byte&gt; -&gt; bool + 1 overload
static member (&lt;) : left: Guid * right: Guid -&gt; bool
static member (&lt;=) : left: Guid * right: Guid -&gt; bool
...<br /><br />--------------------<br />Guid ()<br />Guid(b: byte array) : Guid<br />Guid(b: ReadOnlySpan&lt;byte&gt;) : Guid<br />Guid(g: string) : Guid<br />Guid(b: ReadOnlySpan&lt;byte&gt;, bigEndian: bool) : Guid<br />Guid(a: int, b: int16, c: int16, d: byte array) : Guid<br />Guid(a: int, b: int16, c: int16, d: byte, e: byte, f: byte, g: byte, h: byte, i: byte, j: byte, k: byte) : Guid<br />Guid(a: uint32, b: uint16, c: uint16, d: byte, e: byte, f: byte, g: byte, h: byte, i: byte, j: byte, k: byte) : Guid</div>
...<br /><em>&lt;summary&gt;Represents a globally unique identifier (GUID).&lt;/summary&gt;</em><br /><br />--------------------<br />Guid ()<br />Guid(b: byte array) : Guid<br />Guid(b: ReadOnlySpan&lt;byte&gt;) : Guid<br />Guid(g: string) : Guid<br />Guid(b: ReadOnlySpan&lt;byte&gt;, bigEndian: bool) : Guid<br />Guid(a: int, b: int16, c: int16, d: byte array) : Guid<br />Guid(a: int, b: int16, c: int16, d: byte, e: byte, f: byte, g: byte, h: byte, i: byte, j: byte, k: byte) : Guid<br />Guid(a: uint32, b: uint16, c: uint16, d: byte, e: byte, f: byte, g: byte, h: byte, i: byte, j: byte, k: byte) : Guid</div>
<div class="fsdocs-tip" id="fs36">Guid.NewGuid() : Guid</div>
<div class="fsdocs-tip" id="fs37">val myGuidAsString: string</div>
<div class="fsdocs-tip" id="fs38">Guid.ToString() : string<br />Guid.ToString(format: string) : string<br />Guid.ToString(format: string, provider: IFormatProvider) : string</div>
<div class="fsdocs-tip" id="fs39">Multiple items<br />[&lt;Struct&gt;]
type DateTime =
new: date: DateOnly * time: TimeOnly -&gt; unit + 16 overloads
new: year: int * month: int * day: int -&gt; unit + 16 overloads
member Add: value: TimeSpan -&gt; DateTime
member AddDays: value: float -&gt; DateTime
member AddHours: value: float -&gt; DateTime
Expand All @@ -476,8 +476,8 @@ <h3><a name="Example-performance-difference-from-our-unit-tests" class="anchor"
member AddMonths: months: int -&gt; DateTime
member AddSeconds: value: float -&gt; DateTime
member AddTicks: value: int64 -&gt; DateTime
...<br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
<div class="fsdocs-tip" id="fs40">property DateTime.UtcNow: DateTime with get</div>
...<br /><em>&lt;summary&gt;Represents an instant in time, typically expressed as a date and time of day.&lt;/summary&gt;</em><br /><br />--------------------<br />DateTime ()<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(ticks: int64, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(date: DateOnly, time: TimeOnly, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, kind: DateTimeKind) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em><br />DateTime(year: int, month: int, day: int, hour: int, minute: int, second: int, calendar: Globalization.Calendar) : DateTime<br />&#160;&#160;&#160;<em>(+0 other overloads)</em></div>
<div class="fsdocs-tip" id="fs40">property DateTime.UtcNow: DateTime with get<br /><em>&lt;summary&gt;Gets a &lt;see cref=&quot;T:System.DateTime&quot; /&gt; object that is set to the current date and time on this computer, expressed as the Coordinated Universal Time (UTC).&lt;/summary&gt;<br />&lt;returns&gt;An object whose value is the current UTC date and time.&lt;/returns&gt;</em></div>
<div class="fsdocs-tip" id="fs41">DateTime.ToString() : string<br />DateTime.ToString(format: string) : string<br />DateTime.ToString(provider: IFormatProvider) : string<br />DateTime.ToString(format: string, provider: IFormatProvider) : string</div>
<div class="fsdocs-tip" id="fs42">val box: value: &#39;T -&gt; obj</div>
<div class="fsdocs-tip" id="fs43">val longAgo: obj</div>
Expand Down
2 changes: 1 addition & 1 deletion core/programmability.html
Original file line number Diff line number Diff line change
Expand Up @@ -331,7 +331,7 @@ <h1><a name="Programmability" class="anchor" href="#Programmability">Programmabi
member CopyTo: array: Array * index: int -&gt; unit + 1 overload
member GetEnumerator: unit -&gt; IEnumerator
member GetLength: dimension: int -&gt; int
...</div>
...<br /><em>&lt;summary&gt;Provides methods for creating, manipulating, searching, and sorting arrays, thereby serving as the base class for all arrays in the common language runtime.&lt;/summary&gt;</em></div>
<div class="fsdocs-tip" id="fs18">val map: mapping: (&#39;T -&gt; &#39;U) -&gt; array: &#39;T array -&gt; &#39;U array</div>
<div class="fsdocs-tip" id="fs19">val i: obj</div>
<div class="fsdocs-tip" id="fs20">Multiple items<br />module Map
Expand Down
Loading

0 comments on commit fd89191

Please sign in to comment.