MoreLINQ Signatures

Legend:

x	y
type	`Type`
()	`void`
obj	`object`
bool	`bool`
bool?	`bool?`
i8	`sbyte`
u8	`byte`
i16	`short`
u16	`ushort`
i32	`int`
i32?	`int?`
u32	`uint`
i64	`long`
u64	`ulong`
f32	`float`
f64	`double`
dec	`decimal`
ch	`char`
str	`string`
rand	`Random`
error	`Exception`
table	`DataTable`

x	x	y
a	Generic type parameter	`T`
a → b	Function with 1 argument	`Func<,>`
(a, b) → c	Function with 2 arguments	`Func<,,>`
(a, b, c) → d	Function with 3 arguments	`Func<,,,>`
()	Unit	`void`
(a, b)	Tuple of 2 elements	`ValueTuple<,>`
(a, b, c)	Tuple of 3 elements	`ValueTuple<,,>`
obj…	Sequence of objects	`IEnumerable`
a…	Sequence of a elements	`IEnumerable<>`
{a}	Set of a elements	`HashSet<>`
[a]	List or an array of a	`[]` or `List<>`
k =	Equality comparer for k	`IEqualityComarer<>`
k	Key	`TKey`
r	Result	`TResult`
s, s_N	State or accumulator	`TState` or `TAccumulator`
k comparer	Comparer for k	`IComparer<>`
“a → b”	Quoted function	`Expresion<Func<,>>`
a ordered	Ordered sequence of a	`IOrderedEnumerable<>`
(k, v) grouping	Grouping of v by key k	`IGrouping<,>`
(k, v) pair	Kev-value pair	`KeyValuePair<,>`
[k → v]	Map from k to v	`Dictionary<,>`
[k → v…]	Map from k to many v	`ILookup<,>`
{ `A` \| `B` \| `C` }	Enumeration values	`Enum` sub-type

`Acquire`

a… → [a]

`Aggregate`

(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, (s₁, s₂) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, (s₁, s₂, s₃) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, s₄, (s₄, a) → s₄, (s₁, s₂, s₃, s₄) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, s₄, (s₄, a) → s₄, s₅, (s₅, a) → s₅, (s₁, s₂, s₃, s₄, s₅) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, s₄, (s₄, a) → s₄, s₅, (s₅, a) → s₅, s₆, (s₆, a) → s₆, (s₁, s₂, s₃, s₄, s₅, s₆) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, s₄, (s₄, a) → s₄, s₅, (s₅, a) → s₅, s₆, (s₆, a) → s₆, s₇, (s₇, a) → s₇, (s₁, s₂, s₃, s₄, s₅, s₆, s₇) → r) → r
(a…, s₁, (s₁, a) → s₁, s₂, (s₂, a) → s₂, s₃, (s₃, a) → s₃, s₄, (s₄, a) → s₄, s₅, (s₅, a) → s₅, s₆, (s₆, a) → s₆, s₇, (s₇, a) → s₇, s₈, (s₈, a) → s₈, (s₁, s₂, s₃, s₄, s₅, s₆, s₇, s₈) → r) → r

`AggregateRight`

(a…, (a, a) → a) → a
(a…, b, (a, b) → b) → b
(a…, b, (a, b) → b, b → r) → r

`Append`

(a…, a) → a…

`Concat`

(a…, a) → a…

`Assert`

(a…, a → bool) → a…
(a…, a → bool, a → error) → a…

`AssertCount`

(a…, i32) → a…
(a…, i32, (i32, i32) → error) → a…

`Backsert`

(a…, a…, i32) → a…

`Batch`

(a…, i32) → a……
(a…, i32, a… → r) → r…

`Cartesian`

(a…, b…, (a, b) → r) → r…
(a…, b…, c…, (a, b, c) → r) → r…
(a…, b…, c…, d…, (a, b, c, d) → r) → r…
(a…, b…, c…, d…, e…, (a, b, c, d, e) → r) → r…
(a…, b…, c…, d…, e…, f…, (a, b, c, d, e, f) → r) → r…
(a…, b…, c…, d…, e…, f…, g…, (a, b, c, d, e, f, g) → r) → r…
(a…, b…, c…, d…, e…, f…, g…, h…, (a, b, c, d, e, f, g, h) → r) → r…

`Choose`

(a…, a → (bool, r)) → r…

`Consume`

a… → ()

`CountBy`

(a…, a → k) → (k, i32) pair…
(a…, a → k, k =) → (k, i32) pair…

`CountDown`

(a…, i32, (a, i32?) → r) → r…

`AtLeast`

(a…, i32) → bool

`AtMost`

(a…, i32) → bool

`Exactly`

(a…, i32) → bool

`CountBetween`

(a…, i32, i32) → bool

`CompareCount`

(a…, b…) → i32

`DistinctBy`

(a…, a → k) → a…
(a…, a → k, k =) → a…

`EndsWith`

(a…, a…) → bool
(a…, a…, a =) → bool

`EquiZip`

(a…, b…, (a, b) → r) → r…
(a…, b…, c…, (a, b, c) → r) → r…
(a…, b…, c…, d…, (a, b, c, d) → r) → r…

`Evaluate`

() → a… → a…

`ExceptBy`

(a…, a…, a → k) → a…
(a…, a…, a → k, k =) → a…

`Exclude`

(a…, i32, i32) → a…

`FallbackIfEmpty`

(a…, a) → a…
(a…, a, a) → a…
(a…, a, a, a) → a…
(a…, a, a, a, a) → a…
(a…, [a]) → a…
(a…, a…) → a…

`FillBackward`

a… → a…
(a…, a → bool) → a…
(a…, a → bool, (a, a) → a) → a…

`FillForward`

a… → a…
(a…, a → bool) → a…
(a…, a → bool, (a, a) → a) → a…

`Flatten`

obj… → obj…
(obj…, obj… → bool) → obj…
(obj…, obj → obj…) → obj…

`Fold`

(a…, a → r) → r
(a…, (a, a) → r) → r
(a…, (a, a, a) → r) → r
(a…, (a, a, a, a) → r) → r
(a…, (a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) → r) → r
(a…, (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) → r) → r

`ForEach`

(a…, a → ()) → ()
(a…, (a, i32) → ()) → ()

`From`

() → a → a…
(() → a, () → a) → a…
(() → a, () → a, () → a) → a…
[() → a] → a…

`FullGroupJoin`

(a…, b…, a → k, b → k) → (k, a…, b…)…
(a…, b…, a → k, b → k, k =) → (k, a…, b…)…
(a…, b…, a → k, b → k, (k, a…, b…) → r) → r…
(a…, b…, a → k, b → k, (k, a…, b…) → r, k =) → r…

`FullJoin`

(a…, a…, a → k, a → r, a → r, (a, a) → r) → r…
(a…, a…, a → k, a → r, a → r, (a, a) → r, k =) → r…
(a…, b…, a → k, b → k, a → r, b → r, (a, b) → r) → r…
(a…, b…, a → k, b → k, a → r, b → r, (a, b) → r, k =) → r…

`Generate`

(r, r → r) → r…

`GenerateByIndex`

i32 → r → r…

`GroupAdjacent`

(a…, a → k) → (k, a) grouping…
(a…, a → k, k =) → (k, a) grouping…
(a…, a → k, a → b) → (k, b) grouping…
(a…, a → k, a → b, k =) → (k, b) grouping…
(a…, a → k, (k, a…) → r) → r…
(a…, a → k, (k, a…) → r, k =) → r…

`Index`

a… → (i32, a) pair…
(a…, i32) → (i32, a) pair…

`IndexBy`

(a…, a → k) → (i32, a) pair…
(a…, a → k, k =) → (i32, a) pair…

`Insert`

(a…, a…, i32) → a…

`Interleave`

(a…, [a…]) → a…

`Lag`

(a…, i32, (a, a) → r) → r…
(a…, i32, a, (a, a) → r) → r…

`Lead`

(a…, i32, (a, a) → r) → r…
(a…, i32, a, (a, a) → r) → r…

`LeftJoin`

(a…, a…, a → k, a → r, (a, a) → r) → r…
(a…, a…, a → k, a → r, (a, a) → r, k =) → r…
(a…, b…, a → k, b → k, a → r, (a, b) → r) → r…
(a…, b…, a → k, b → k, a → r, (a, b) → r, k =) → r…

`First`

a… → a

`FirstOrDefault`

a… → a

`Last`

a… → a

`LastOrDefault`

a… → a

`Single`

a… → a

`SingleOrDefault`

a… → a

`MaxBy`

(a…, a → k) → a…
(a…, a → k, k comparer) → a…

`MinBy`

(a…, a → k) → a…
(a…, a → k, k comparer) → a…

`Move`

(a…, i32, i32, i32) → a…

`OrderBy`

(a…, a → k, { Ascending | Descending }) → a ordered
(a…, a → k, k comparer, { Ascending | Descending }) → a ordered

`ThenBy`

(a ordered, a → k, { Ascending | Descending }) → a ordered
(a ordered, a → k, k comparer, { Ascending | Descending }) → a ordered

`OrderedMerge`

(a…, a…) → a…
(a…, a…, a comparer) → a…
(a…, a…, a → k) → a…
(a…, a…, a → k, a → r, a → r, (a, a) → r) → r…
(a…, a…, a → k, a → r, a → r, (a, a) → r, k comparer) → r…
(a…, b…, a → k, b → k, a → r, b → r, (a, b) → r) → r…
(a…, b…, a → k, b → k, a → r, b → r, (a, b) → r, k comparer) → r…

`Pad`

(a…, i32) → a…
(a…, i32, a) → a…
(a…, i32, i32 → a) → a…

`PadStart`

(a…, i32) → a…
(a…, i32, a) → a…
(a…, i32, i32 → a) → a…

`Pairwise`

(a…, (a, a) → r) → r…

`PartialSort`

(a…, i32) → a…
(a…, i32, { Ascending | Descending }) → a…
(a…, i32, a comparer) → a…
(a…, i32, a comparer, { Ascending | Descending }) → a…

`PartialSortBy`

(a…, i32, a → k) → a…
(a…, i32, a → k, { Ascending | Descending }) → a…
(a…, i32, a → k, k comparer) → a…
(a…, i32, a → k, k comparer, { Ascending | Descending }) → a…

`Partition`

(a…, a → bool) → (a…, a…)
(a…, a → bool, (a…, a…) → r) → r
((bool, a) grouping…, (a…, a…) → r) → r
((bool?, a) grouping…, (a…, a…, a…) → r) → r
((k, a) grouping…, k, (a…, (k, a) grouping…) → r) → r
((k, a) grouping…, k, k =, (a…, (k, a) grouping…) → r) → r
((k, a) grouping…, k, k, (a…, a…, (k, a) grouping…) → r) → r
((k, a) grouping…, k, k, k =, (a…, a…, (k, a) grouping…) → r) → r
((k, a) grouping…, k, k, k, (a…, a…, a…, (k, a) grouping…) → r) → r
((k, a) grouping…, k, k, k, k =, (a…, a…, a…, (k, a) grouping…) → r) → r

`Permutations`

a… → [a]…

`Pipe`

(a…, a → ()) → a…

`Prepend`

(a…, a) → a…

`PreScan`

(a…, (a, a) → a, a) → a…

`Random`

() → i32…
rand → i32…
i32 → i32…
(rand, i32) → i32…
(i32, i32) → i32…
(rand, i32, i32) → i32…

`RandomDouble`

() → f64…
rand → f64…

`RandomSubset`

(a…, i32) → a…
(a…, i32, rand) → a…

`Rank`

a… → i32…
(a…, a comparer) → i32…

`RankBy`

(a…, a → k) → i32…
(a…, a → k, k comparer) → i32…

`Repeat`

(a…, i32) → a…
a… → a…

`Return`

a → a…

`RightJoin`

(a…, a…, a → k, a → r, (a, a) → r) → r…
(a…, a…, a → k, a → r, (a, a) → r, k =) → r…
(a…, b…, a → k, b → k, b → r, (a, b) → r) → r…
(a…, b…, a → k, b → k, b → r, (a, b) → r, k =) → r…

`RunLengthEncode`

a… → (a, i32) pair…
(a…, a =) → (a, i32) pair…

`Scan`

(a…, (a, a) → a) → a…
(a…, s, (s, a) → s) → s…

`ScanBy`

(a…, a → k, k → s, (s, k, a) → s) → (k, s) pair…
(a…, a → k, k → s, (s, k, a) → s, k =) → (k, s) pair…

`ScanRight`

(a…, (a, a) → a) → a…
(a…, b, (a, b) → b) → b…

`Segment`

(a…, a → bool) → a……
(a…, (a, i32) → bool) → a……
(a…, (a, a, i32) → bool) → a……

`Sequence`

(i32, i32) → i32…
(i32, i32, i32) → i32…

`Shuffle`

a… → a…
(a…, rand) → a…

`SkipLast`

(a…, i32) → a…

`SkipUntil`

(a…, a → bool) → a…

`Slice`

(a…, i32, i32) → a…

`SortedMerge`

(a…, { Ascending | Descending }, [a…]) → a…
(a…, { Ascending | Descending }, a comparer, [a…]) → a…

`Split`

(a…, a) → a……
(a…, a, i32) → a……
(a…, a, a… → r) → r…
(a…, a, i32, a… → r) → r…
(a…, a, a =) → a……
(a…, a, a =, i32) → a……
(a…, a, a =, a… → r) → r…
(a…, a, a =, i32, a… → r) → r…
(a…, a → bool) → a……
(a…, a → bool, i32) → a……
(a…, a → bool, a… → r) → r…
(a…, a → bool, i32, a… → r) → r…

`StartsWith`

(a…, a…) → bool
(a…, a…, a =) → bool

`Subsets`

a… → [a]…
(a…, i32) → [a]…

`TagFirstLast`

(a…, (a, bool, bool) → r) → r…

`TakeEvery`

(a…, i32) → a…

`TakeLast`

(a…, i32) → a…

`TakeUntil`

(a…, a → bool) → a…

`ToArrayByIndex`

(a…, a → i32) → [a]
(a…, a → i32, a → r) → [r]
(a…, a → i32, (a, i32) → r) → [r]
(a…, i32, a → i32) → [a]
(a…, i32, a → i32, a → r) → [r]
(a…, i32, a → i32, (a, i32) → r) → [r]

`ToDataTable`

(a…, b) → b
(a…, [“a → obj”]) → table
a… → table
(a…, b, [“a → obj”]) → b

`ToDelimitedString`

(a…, str) → str
(bool…, str) → str
(u8…, str) → str
(ch…, str) → str
(dec…, str) → str
(f64…, str) → str
(f32…, str) → str
(i32…, str) → str
(i64…, str) → str
(i8…, str) → str
(i16…, str) → str
(str…, str) → str
(u32…, str) → str
(u64…, str) → str
(u16…, str) → str

`ToDictionary`

(k, a) pair… → [k → a]
((k, a) pair…, k =) → [k → a]
(k, a)… → [k → a]
((k, a)…, k =) → [k → a]

`ToHashSet`

a… → {a}
(a…, a =) → {a}

`ToLookup`

(k, a) pair… → [k → a…]
((k, a) pair…, k =) → [k → a…]
(k, a)… → [k → a…]
((k, a)…, k =) → [k → a…]

`Trace`

a… → a…
(a…, str) → a…
(a…, a → str) → a…

`Transpose`

a…… → a……

`TraverseBreadthFirst`

(a, a → a…) → a…

`TraverseDepthFirst`

(a, a → a…) → a…

`Unfold`

(s, s → a, a → bool, a → s, a → r) → r…

`Window`

(a…, i32) → [a]…

`Windowed`

(a…, i32) → a……

`WindowLeft`

(a…, i32) → [a]…

`WindowRight`

(a…, i32) → [a]…

`ZipLongest`

(a…, b…, (a, b) → r) → r…
(a…, b…, c…, (a, b, c) → r) → r…
(a…, b…, c…, d…, (a, b, c, d) → r) → r…

`ZipShortest`

(a…, b…, (a, b) → r) → r…
(a…, b…, c…, (a, b, c) → r) → r…
(a…, b…, c…, d…, (a, b, c, d) → r) → r…

atifaziz/morelinq.md

MoreLINQ Signatures

Acquire

Aggregate

AggregateRight

Append

Concat

Assert

AssertCount

Backsert

Batch

Cartesian

Choose

Consume

CountBy

CountDown

AtLeast

AtMost

Exactly

CountBetween

CompareCount

DistinctBy

EndsWith

EquiZip

Evaluate

ExceptBy

Exclude

FallbackIfEmpty

FillBackward

FillForward

Flatten

Fold

ForEach

From

FullGroupJoin

FullJoin

Generate

GenerateByIndex

GroupAdjacent

Index

IndexBy

Insert

Interleave

Lag

Lead

LeftJoin

First

FirstOrDefault

Last

LastOrDefault

Single

SingleOrDefault

MaxBy

MinBy

Move

OrderBy

ThenBy

OrderedMerge

Pad

PadStart

Pairwise

PartialSort

PartialSortBy

Partition

Permutations

Pipe

Prepend

PreScan

Random

RandomDouble

RandomSubset

Rank

RankBy

Repeat

Return

RightJoin

RunLengthEncode

Scan

ScanBy

ScanRight

`Acquire`

`Aggregate`

`AggregateRight`

`Append`

`Concat`

`Assert`

`AssertCount`

`Backsert`

`Batch`

`Cartesian`

`Choose`

`Consume`

`CountBy`

`CountDown`

`AtLeast`

`AtMost`

`Exactly`

`CountBetween`

`CompareCount`

`DistinctBy`

`EndsWith`

`EquiZip`

`Evaluate`

`ExceptBy`

`Exclude`

`FallbackIfEmpty`

`FillBackward`

`FillForward`

`Flatten`

`Fold`

`ForEach`

`From`

`FullGroupJoin`

`FullJoin`

`Generate`

`GenerateByIndex`

`GroupAdjacent`

`Index`

`IndexBy`

`Insert`

`Interleave`

`Lag`

`Lead`

`LeftJoin`

`First`

`FirstOrDefault`

`Last`

`LastOrDefault`

`Single`

`SingleOrDefault`

`MaxBy`

`MinBy`

`Move`

`OrderBy`

`ThenBy`

`OrderedMerge`

`Pad`

`PadStart`

`Pairwise`

`PartialSort`

`PartialSortBy`

`Partition`

`Permutations`

`Pipe`

`Prepend`

`PreScan`

`Random`

`RandomDouble`

`RandomSubset`

`Rank`

`RankBy`

`Repeat`

`Return`

`RightJoin`

`RunLengthEncode`

`Scan`

`ScanBy`

`ScanRight`

`Segment`

`Sequence`