From 6bfe76144bb14ffa30ac4b9098b56b67b892a62a Mon Sep 17 00:00:00 2001 From: David Ellis Date: Tue, 27 Aug 2024 17:08:25 -0500 Subject: [PATCH] Simplify the type binding a bit --- docs/tutorial.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/tutorial.md b/docs/tutorial.md index 51428e1..163b21f 100644 --- a/docs/tutorial.md +++ b/docs/tutorial.md @@ -1098,11 +1098,11 @@ which reduces some redundant syntax, but also eliminates the wrapper function fr ### Binding Types -Similarly, binding types is done with the `Binds{T}` and `BindsGeneric{T, A, ...}` generic types. +Similarly, binding types is done with the `Binds{T, ...}` type. ```rs type Foo = Binds{"Foo"}; -type Bar{A, B} = BindsGeneric{"Bar", A, B}; // Becomes Bar in Rust +type Bar{A, B} = Binds{"Bar", A, B}; // Becomes Bar in Rust ``` Bound types are different from normal Alan types in that *zero* constructor and accessor functions are automatically defined for them. It is up to you `Call` Rust functions that create and work with this type.