From 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 10 Jun 2026 13:34:38 -0400 Subject: specify type representation --- docs/type_system/function.md | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'docs/type_system/function.md') diff --git a/docs/type_system/function.md b/docs/type_system/function.md index cd25254..d0fabc5 100644 --- a/docs/type_system/function.md +++ b/docs/type_system/function.md @@ -3,20 +3,15 @@ --- ```text -Function_class `alias Enum[Void - .unknown; .incomplete; .native - .task; process; .generator; .iterator; .closure; - .bound; - .regex -] - -Function[Function_class; STATE; List; RETURN_TYPE; Collection[TYPE.SYMBOL]] +KIND : UNKNOWN | INCOMPLETE | NATIVE | TASK | PROCESS | GENERATOR | ITERATOR | CLOSURE | BOUND | REGEX + +Function[[KIND] STATE; List; RETURN_TYPE; Collection[TYPE.SYMBOL]] ``` # Alias ```text -Fn[Generic.T; Collection[TYPE.SYMBOL]] `alias Function[Any; STATE; List; Generic.T; Collection[TYPE.SYMBOL]] +Fn[Generic.T; Collection[TYPE.SYMBOL]] `alias Function[[KIND]; STATE; List; Generic.T; Collection[TYPE.SYMBOL]] ``` # Inline Definition -- cgit v1.2.3