Skip to content

Fix broken links and typo #6069

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 11, 2019
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/docs/reference/contextual/typeclasses.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ implied for Monoid[String] {

implied for Monoid[Int] {
def (x: Int) combine (y: Int): Int = x + y
def unit: String = 0
def unit: Int = 0
}

def sum[T: Monoid](xs: List[T]): T =
Expand Down
6 changes: 3 additions & 3 deletions docs/docs/reference/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@ The primary goal of the language constructs in this section is to make the langu
be deprecated in the future). Intersection types are one of the core features of DOT. They
are commutative: `A & B` and `B & A` represent the same type.

- [Implicit function types](http://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html) `implicit A => B`.
- [Context query types](http://dotty.epfl.ch/docs/reference/contextual/query-types.html) `given A => B`.

Methods and lambdas can have implicit parameters, so it's natural to extend the
same property to function types. Implicit function types help ergonomics and performance
same property to function types. context query types help ergonomics and performance
as well. They can replace many uses of monads, offering better composability and an order of magnitude improvement in runtime speed.

- [Dependent function types](http://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html) `(x: T) => x.S`.
Expand Down Expand Up @@ -59,7 +59,7 @@ Listed in this section are new language constructs that help precise, typechecke
precise domain modeling. They are also very useful for interoperating with
Javascript libraries and JSON protocols.

- [Multiversal Equality](http://dotty.epfl.ch/docs/reference/other-new-features/multiversal-equality.html)
- [Multiversal Equality](http://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html)

Multiversal equality is an opt-in way to check that comparisons using `==` and
`!=` only apply to compatible types. It thus removes the biggest remaining hurdle
Expand Down