diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 658b96f..80c20e4 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -37,6 +37,8 @@ - [Traits](./traits.md) - [Essential Traits](./essential-traits.md) - [Automatic Derivation](./automatic-derivation.md) + - [Associated Types](./associated-types.md) + - [Associated Effects](./associated-effects.md) - [Higher-Kinded Types](./higher-kinded-types.md) - [Effects and Handlers](./effects-and-handlers.md) - [Laziness](./laziness.md) diff --git a/src/associated-effects.md b/src/associated-effects.md new file mode 100644 index 0000000..ecbf7bc --- /dev/null +++ b/src/associated-effects.md @@ -0,0 +1,6 @@ +## Associated Effects + +> **Warning:** Associated effects are an experimental feature. + +> **Warning:** Associated effects have not yet been released and are only +> available on nightly builds. diff --git a/src/associated-types.md b/src/associated-types.md new file mode 100644 index 0000000..2770626 --- /dev/null +++ b/src/associated-types.md @@ -0,0 +1,7 @@ +## Associated Types + +> **Warning:** Associated types are an experimental feature. + +> **Warning:** Associated types have not yet been released and are only +> available on nightly builds. + diff --git a/src/traits.md b/src/traits.md index fb773ad..4c58c89 100644 --- a/src/traits.md +++ b/src/traits.md @@ -4,6 +4,8 @@ Traits (also known as _type classes_) support abstraction and overloading. At a first-glance, the trait system in Flix is similar to that of Haskell and Rust, with some more important differences. +
+ ## Essentials The function `isSingleton` naively determines whether @@ -193,3 +195,5 @@ instance Primitive[Int32] instance Primitive[Float64] // ... and so on ``` + +
\ No newline at end of file