From, let, where, join and orderby clauses

A query expression with a second from clause followed by a select clause

from x₁ in e₁
from x₂ in e₂
select v

is translated into

(e₁). SelectMany(x₁ => e₂, (x₁, x₂) => v)

A query expression with a second from clause followed by something other than a select clause:

from x₁ in e₁
from x₂ in e₂
…

is translated into

from * in (e₁). SelectMany(x₁ => e₂, (x₁, x₂) => new { x₁, x₂ })
…

A query expression with a let clause

from x in e
let y = f
…

is translated into

from * in (e). Select (x => new { x, y = f })
…

A query expression with a where clause

from x in e
where f
…

is translated into

from x in (e). Where (x => f)
…

A query expression with a join clause without an into followed by a select clause

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂
select v

is translated into

(e₁). Join(e₂, x₁ => k₁, x₂ => k₂, (x₁, x₂) => v)

A query expression with a join clause without an into followed by something other than a select clause

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂
…

is translated into

from * in (e₁). Join(
e₂, x₁ => k₁, x₂ => k₂, (x₁, x₂) => new { x₁, x₂ })
…

A query expression with a join clause with an into followed by a select clause

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂ into g
select v

is translated into

(e₁). GroupJoin(e₂, x₁ => k₁, x₂ => k₂, (x₁, g) => v)

A query expression with a join clause with an into followed by something other than a select clause

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂ into g
…

is translated into

from * in (e₁). GroupJoin(
e₂, x₁ => k₁, x₂ => k₂, (x₁, g) => new { x₁, g })
…

A query expression with an orderby clause

from x in e
orderby k₁, k₂, …, k_n
…

is translated into

from x in (e).
OrderBy (x => k₁).
ThenBy (x => k₂).
….
ThenBy (x => k_n)
…

If an ordering clause specifies a descending direction indicator, an invocation of OrderByDescending or ThenByDescending is produced instead.

The following translations assume that there are no let, where, join or orderby clauses, and no more than the one initial from clause in each query expression.

The example

from c in customers
from o in c.Orders
select new { c.Name, o.OrderID, o.Total }

is translated into

customers.
SelectMany(c => c.Orders,
(c,o) => new { c.Name, o.OrderID, o.Total }
)

The example

from c in customers
from o in c.Orders
orderby o.Total descending
select new { c.Name, o.OrderID, o.Total }

is translated into

from * in customers.
SelectMany(c => c.Orders, (c,o) => new { c, o })
orderby o.Total descending
select new { c.Name, o.OrderID, o.Total }

the final translation of which is

customers.
SelectMany(c => c.Orders, (c,o) => new { c, o }).
OrderByDescending(x => x.o.Total).
Select(x => new { x.c.Name, x.o.OrderID, x.o.Total })

where x is a compiler generated identifier that is otherwise invisible and inaccessible.

The example

from o in orders
let t = o.Details.Sum(d => d.UnitPrice * d.Quantity)
where t >= 1000
select new { o.OrderID, Total = t }

is translated into

from * in orders.
Select(o => new { o, t = o.Details.Sum(d => d.UnitPrice * d.Quantity) })
where t >= 1000
select new { o.OrderID, Total = t }

the final translation of which is

orders.
Select(o => new { o, t = o.Details.Sum(d => d.UnitPrice * d.Quantity) }).
Where(x => x.t >= 1000).
Select(x => new { x.o.OrderID, Total = x.t })

where x is a compiler generated identifier that is otherwise invisible and inaccessible.

The example

from c in customers
join o in orders on c.CustomerID equals o.CustomerID
select new { c.Name, o.OrderDate, o.Total }

is translated into

customers.Join(orders, c => c.CustomerID, o => o.CustomerID,
(c, o) => new { c.Name, o.OrderDate, o.Total })

The example

from c in customers
join o in orders on c.CustomerID equals o.CustomerID into co
let n = co.Count()
where n >= 10
select new { c.Name, OrderCount = n }

is translated into

from * in customers.
GroupJoin(orders, c => c.CustomerID, o => o.CustomerID,
(c, co) => new { c, co })
let n = co.Count()
where n >= 10
select new { c.Name, OrderCount = n }

the final translation of which is

customers.
GroupJoin(orders, c => c.CustomerID, o => o.CustomerID,
(c, co) => new { c, co }).
Select(x => new { x, n = x.co.Count() }).
Where(y => y.n >= 10).
Select(y => new { y.x.c.Name, OrderCount = y.n)

where x and y are compiler generated identifiers that are otherwise invisible and inaccessible.

The example

from o in orders
orderby o.Customer.Name, o.Total descending
select o

has the final translation

orders.
OrderBy(o => o.Customer.Name).
ThenByDescending(o => o.Total)