ballerina-core 1.0.27 → 1.0.30

package/package.json

@@ -2,7 +2,7 @@
   "name": "ballerina-core",
   "author": "Dr. Giuseppe Maggiore",
   "private": false,
-  "version": "1.0.27",
+  "version": "1.0.30",
   "main": "main.ts",
   "dependencies": {
     "immutable": "^5.0.0-beta.5",

package/src/forms/domains/launcher/domains/edit/coroutines/runner.ts

@@ -46,7 +46,7 @@ export const editFormRunner = <E, FS>() => {
             5,
             50
           ),
-          current.debounceRateMs ?? 15
+          15
         ).embed(
           (_) => ({ ..._, ..._.apiRunner }),
           EditFormState<E, FS>().Updaters.Core.apiRunner
@@ -71,8 +71,9 @@ export const editFormRunner = <E, FS>() => {
     Co.Template<EditFormForeignMutationsExpected<E, FS>>(synchronize, {
       interval: 100,
       runFilter: (props) =>
-        Debounced.Operations.shouldCoroutineRun(props.context.apiRunner) ||
-        !ApiResponseChecker.Operations.checked(props.context),
+        props.context.entity.sync.kind == "loaded" &&
+        (Debounced.Operations.shouldCoroutineRun(props.context.apiRunner) ||
+        !ApiResponseChecker.Operations.checked(props.context)),
     }),
   ]);
 };

package/src/forms/domains/launcher/domains/edit/state.ts

@@ -9,8 +9,7 @@ export type EditFormContext<E,FS> = {
     get:() => Promise<E>,
     update:BasicFun<E, Promise<ApiErrors>>
   },
-  actualForm:Template<Value<E> & FS, FS, { onChange:SimpleCallback<BasicUpdater<E>> }>
-  debounceRateMs?: number
+  actualForm:Template<Value<E> & FS, FS, { onChange:SimpleCallback<BasicUpdater<E>>}>
 }
 
 export type EditFormState<E,FS> = {
@@ -27,7 +26,7 @@ export const EditFormState = <E,FS>() => ({
       Synchronized.Default(unit)
     ),
     formState:initialFormState,
-    ...ApiResponseChecker.Default(false),
+    ...ApiResponseChecker.Default(true),
   }),
   Updaters:{
     Core:{
@@ -39,19 +38,19 @@ export const EditFormState = <E,FS>() => ({
       toChecked: () => ApiResponseChecker.Updaters.toChecked<EditFormState<E, FS>>(),
       toUnchecked: () => ApiResponseChecker.Updaters.toUnchecked<EditFormState<E, FS>>(),
       entity:(_:BasicUpdater<E>) : Updater<EditFormState<E,FS>> => 
-        EditFormState<E,FS>().Updaters.Core.apiRunner(
-          Debounced.Updaters.Template.value(
+          EditFormState<E,FS>().Updaters.Core.entity(
             Synchronized.Updaters.sync(
               AsyncState.Operations.map(
-                  id
+                  _
               )
             )
-          )
-        ).then(
-          EditFormState<E,FS>().Updaters.Core.entity(
+          ),
+      submit: () : Updater<EditFormState<E,FS>> =>
+        EditFormState<E,FS>().Updaters.Core.apiRunner(
+          Debounced.Updaters.Template.value(
             Synchronized.Updaters.sync(
               AsyncState.Operations.map(
-                  _
+                  id
               )
             )
           )

package/src/forms/domains/launcher/domains/edit/template.tsx

@@ -1,19 +1,41 @@
-import { AsyncState, editFormRunner, replaceWith, unit } from "../../../../../../main";
+import { AsyncState, editFormRunner, replaceWith, SimpleCallback, unit } from "../../../../../../main";
 import { Template } from "../../../../../template/state";
 import { EditFormContext, EditFormForeignMutationsExpected, EditFormState, EditFormWritableState } from "./state";
 
+export type EditFormView<E, FS> =
+  Template<
+  EditFormContext<E, FS> & EditFormWritableState<E, FS>,
+  EditFormWritableState<E, FS>,
+  EditFormForeignMutationsExpected<E, FS> & { onSubmit: SimpleCallback<void> },
+    {
+      actualForm: JSX.Element | undefined
+    }>
 export type EditFormTemplate<E, FS> =
   Template<
     EditFormContext<E, FS> & EditFormWritableState<E, FS>,
     EditFormWritableState<E, FS>,
-    EditFormForeignMutationsExpected<E, FS>>
+    EditFormForeignMutationsExpected<E, FS>,
+    EditFormView<E, FS>>
 export const EditFormTemplate = <E, FS>() : EditFormTemplate<E,FS> =>
   Template.Default<
     EditFormContext<E, FS> & EditFormWritableState<E, FS>,
     EditFormWritableState<E, FS>,
-    EditFormForeignMutationsExpected<E, FS>>(props =>
+    EditFormForeignMutationsExpected<E, FS>,
+    EditFormView<E, FS>
+    >(props =>
       <>
-        {
+      {
+        props.view({
+          ...props,
+          foreignMutations: {
+            ...props.foreignMutations,
+            onSubmit: () => {
+              props.setState(EditFormState<E, FS>().Updaters.Template.submit())
+            }
+          },
+          view: {
+            ...props.view,
+            actualForm:
           !AsyncState.Operations.hasValue(props.context.entity.sync) ? undefined :
             props.context.actualForm({
               context: {
@@ -28,11 +50,13 @@ export const EditFormTemplate = <E, FS>() : EditFormTemplate<E,FS> =>
               foreignMutations: {
                 onChange: (e) => {
                   props.setState(EditFormState<E, FS>().Updaters.Template.entity(e))
-                }
+                },
               },
               view: unit
             })
-        }
+          }
+        })
+      }
       </>
     ).any([
       editFormRunner<E, FS>().mapContextFromProps(props => ({

package/src/forms/domains/launcher/state.ts

@@ -6,8 +6,8 @@ export type FormRef = {
   formName:string
 } & ({
   kind:"edit",
+  submitButtonWrapper:any
   entityId:Guid,
-  debounceRateMs?:number
   apiHandlers?: {
     success?: (_: any) => void,
     error?: (_: any) => void,

package/src/forms/domains/launcher/template.tsx

@@ -25,7 +25,6 @@ export const FormRunnerTemplate =
         <props.context.form.value.form
           context={{
             ...props.context.form.value.formState,
-            debounceRateMs: props.context.formRef.kind == "edit" ? props.context.formRef.debounceRateMs : undefined,
             entityId: props.context.formRef.kind == "edit" ? props.context.formRef.entityId : undefined,
             value: props.context.formRef.kind == "map" ? props.context.formRef.value : undefined,
             formState: props.context.formRef.kind == "map" ? props.context.form.value.formState : props.context.form.value.formState.formState,
@@ -35,7 +34,7 @@ export const FormRunnerTemplate =
                 props.context.formRef.kind == "map" ? props.context.form.value.mapping.from(props.context.formRef.value) :
                   props.context.form.value.formState?.entity.sync?.value,
             },
-            submitButtonWrapper: props.context.formRef.kind == "create" ? props.context.formRef.submitButtonWrapper : undefined
+            submitButtonWrapper: (props.context.formRef.kind == "create" || props.context.formRef.kind == "edit" )  ? props.context.formRef.submitButtonWrapper : undefined
           }}
           setState={(_: BasicUpdater<any>) => props.setState(
             FormRunnerState.Updaters.form(

package/src/forms/domains/parser/state.tsx

@@ -27,43 +27,43 @@ export const FieldView = //<Context, FieldViews extends DefaultFieldViews, EnumF
   (fieldViews: any, viewType: any, viewName: any, fieldName: string, label: string, enumFieldConfigs: EnumOptionsSources, enumSources: any, leafPredicates: any): any => // FieldView<Context, FieldViews, ViewType, ViewName> => 
   {
     if (viewType == "maybeBoolean")
-      return MaybeBooleanForm<any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return MaybeBooleanForm<any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & SharedFormState & Value<boolean>>(_ => ({ ..._, label: label })) as any
     if (viewType == "boolean")
-      return BooleanForm<any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return BooleanForm<any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & SharedFormState & Value<boolean>>(_ => ({ ..._, label: label })) as any
     if (viewType == "date")
-      return DateForm<any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return DateForm<any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & DateFormState & Value<Date>>(_ => ({ ..._, label: label })) as any
     if (viewType == "number")
-      return NumberForm<any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return NumberForm<any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & SharedFormState & Value<number>>(_ => ({ ..._, label: label })) as any
     if (viewType == "string")
-      return StringForm<any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return StringForm<any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & SharedFormState & Value<string>>(_ => ({ ..._, label: label })) as any
     if (viewType == "enumSingleSelection")
-      return EnumForm<any & FormLabel & BaseEnumContext<any, CollectionReference>, Unit, CollectionReference>(_ => PromiseRepo.Default.mock(() => []))
+      return EnumForm<any & FormLabel & BaseEnumContext<any, CollectionReference>, Unit, CollectionReference>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & EnumFormState<any & BaseEnumContext<any, CollectionReference>, CollectionReference> & Value<CollectionSelection<CollectionReference>>>(_ => ({
           ..._, label: label, getOptions: () => ((enumFieldConfigs as any)(((enumSources as any)[fieldName]))() as Promise<any>).then(options => parseOptions(leafPredicates, options))
         })) as any
     if (viewType == "enumMultiSelection")
-      return EnumMultiselectForm<any & FormLabel & BaseEnumContext<any, CollectionReference>, Unit, CollectionReference>(_ => PromiseRepo.Default.mock(() => []))
+      return EnumMultiselectForm<any & FormLabel & BaseEnumContext<any, CollectionReference>, Unit, CollectionReference>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & EnumFormState<any & BaseEnumContext<any, CollectionReference>, CollectionReference> & Value<OrderedMap<Guid, CollectionReference>>>(_ => ({
           ..._, label: label, getOptions: () => ((enumFieldConfigs as any)(((enumSources as any)[fieldName]))() as Promise<any>).then(options => parseOptions(leafPredicates, options))
         })) as any
     if (viewType == "streamSingleSelection")
-      return SearchableInfiniteStreamForm<CollectionReference, any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return SearchableInfiniteStreamForm<CollectionReference, any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & SearchableInfiniteStreamState<CollectionReference> & Value<CollectionSelection<CollectionReference>>>(_ => ({ ..._, label: label })) as any
     if (viewType == "streamMultiSelection")
-      return InfiniteMultiselectDropdownForm<CollectionReference, any & FormLabel, Unit>(_ => PromiseRepo.Default.mock(() => []))
+      return InfiniteMultiselectDropdownForm<CollectionReference, any & FormLabel, Unit>()
         .withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
         .mapContext<any & FormLabel & SharedFormState & SearchableInfiniteStreamState<CollectionReference> & Value<OrderedMap<Guid, CollectionReference>>>(_ => ({ ..._, label: label })) as any
     return `error: the view for ${viewType as string}::${viewName as string} cannot be found`;
@@ -167,8 +167,7 @@ export const ParseForm = (
           formConfig[fieldName] = ListForm<any, any, any & FormLabel, Unit>(
             { Default: () => ({ ...initialFormState }) },
             { Default: () => ({ ...initialElementValue }) },
-            _ => PromiseRepo.Default.mock(() => []),
-            elementForm.form.withView(nestedContainerFormView)
+            elementForm.form.withView(nestedContainerFormView),
           ).withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
             .mapContext<any>(_ => ({ ..._, label: label }))
         } else { // the list argument is a primitive
@@ -177,8 +176,7 @@ export const ParseForm = (
           formConfig[fieldName] = ListForm<any, any, any & FormLabel, Unit>(
             { Default: () => initialFormState },
             { Default: () => initialElementValue },
-            _ => PromiseRepo.Default.mock(() => []),
-            elementForm
+            elementForm,
           ).withView(((fieldViews as any)[viewType] as any)[viewName]() as any)
             .mapContext<any>(_ => ({ ..._, label: label }))
         }
@@ -222,7 +220,8 @@ export type EditLauncherContext<Entity, FormState, ExtraContext> =
     EditFormContext<Entity, FormState> &
     EditFormState<Entity, FormState> & {
       extraContext: ExtraContext,
-      containerFormView: any
+      containerFormView: any,
+      submitButtonWrapper: any
     }, "api" | "actualForm">
 
 export type CreateLauncherContext<Entity, FormState, ExtraContext> =
@@ -230,7 +229,7 @@ export type CreateLauncherContext<Entity, FormState, ExtraContext> =
     CreateFormContext<Entity, FormState> &
     CreateFormState<Entity, FormState> & {
       extraContext: ExtraContext,
-      containerFormView: any
+      containerFormView: any,
       submitButtonWrapper: any
     }, "api" | "actualForm">
 
@@ -361,9 +360,7 @@ export const parseForms =
           const formBuilder = Form<any, any, any, any>().Default<any>()
           const form = formBuilder.template({
             ...(parsedForm.formConfig)
-          }, _ => PromiseRepo.Default.mock(() =>
-            [
-            ])).mapContext<Unit>(_ => ({ ..._, disabledFields: parsedForm.disabledFields, visibleFields: parsedForm.visibleFields, layout: formConfig.tabs }))
+          }).mapContext<Unit>(_ => ({ ..._, disabledFields: parsedForm.disabledFields, visibleFields: parsedForm.visibleFields, layout: formConfig.tabs }))
           parsedForms = parsedForms.set(formName, { ...parsedForm, form })
         } catch (error: any) {
           errors.push(error)
@@ -396,7 +393,9 @@ export const parseForms =
                 ...parentContext,
                 api: api,
                 actualForm: form.withView(containerFormView).mapContext((_: any) => ({ ..._, rootValue: _.value, ...parentContext.extraContext }))
-              }) as any).mapForeignMutationsFromProps(props => props.foreignMutations as any),
+              }) as any)
+              .withViewFromProps(props => props.context.submitButtonWrapper)
+              .mapForeignMutationsFromProps(props => props.foreignMutations as any),
             initialState: EditFormState<Entity, FormState>().Default(initialState),
           })
         )

package/src/forms/domains/primitives/domains/boolean/template.tsx

@@ -7,7 +7,7 @@ import { FieldValidation, FieldValidationWithPath, FormValidatorSynchronized, On
 
 
 export const BooleanForm = <Context extends FormLabel, ForeignMutationsExpected>(
-  validation: BasicFun<boolean, Promise<FieldValidation>>
+  validation?: BasicFun<boolean, Promise<FieldValidation>>
 ) => {
   return Template.Default<Context & Value<boolean> & { disabled:boolean }, SharedFormState, ForeignMutationsExpected & { onChange: OnChange<boolean>; }, BooleanView<Context, ForeignMutationsExpected>>(props => <>
     <props.view {...props}
@@ -18,13 +18,13 @@ export const BooleanForm = <Context extends FormLabel, ForeignMutationsExpected>
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, SharedFormState, ForeignMutationsExpected, boolean>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ]);
 }
 
 export const MaybeBooleanForm = <Context extends FormLabel, ForeignMutationsExpected>(
-  validation: BasicFun<boolean | undefined, Promise<FieldValidation>>
+  validation?: BasicFun<boolean | undefined, Promise<FieldValidation>>
 ) => {
   return Template.Default<Context & Value<boolean | undefined> & { disabled:boolean }, SharedFormState, ForeignMutationsExpected & { onChange: OnChange<boolean | undefined>; }, MaybeBooleanView<Context, ForeignMutationsExpected>>(props => <>
     <props.view {...props}
@@ -35,7 +35,7 @@ export const MaybeBooleanForm = <Context extends FormLabel, ForeignMutationsExpe
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, SharedFormState, ForeignMutationsExpected, boolean | undefined>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ]);
 }

package/src/forms/domains/primitives/domains/date/template.tsx

@@ -7,7 +7,7 @@ import { FieldValidation, FieldValidationWithPath, FormValidatorSynchronized, On
 import { DateFormState, DateView } from "./state";
 
 export const DateForm = <Context extends FormLabel, ForeignMutationsExpected>(
-  validation: BasicFun<Date, Promise<FieldValidation>>
+  validation?: BasicFun<Date, Promise<FieldValidation>>
 ) => {
   return Template.Default<Context & Value<Date> & { disabled:boolean }, DateFormState, ForeignMutationsExpected & { onChange: OnChange<Date>; }, DateView<Context, ForeignMutationsExpected>>(props => <>
     <props.view {...props}
@@ -25,7 +25,7 @@ export const DateForm = <Context extends FormLabel, ForeignMutationsExpected>(
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, DateFormState, ForeignMutationsExpected, Date>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ]);
 }

package/src/forms/domains/primitives/domains/enum/template.tsx

@@ -10,7 +10,7 @@ import { BaseEnumContext, EnumFormState, EnumView } from "./state";
 
 
 export const EnumForm = <Context extends FormLabel & BaseEnumContext<Context, Element>, ForeignMutationsExpected, Element extends CollectionReference>(
-  validation: BasicFun<CollectionSelection<Element>, Promise<FieldValidation>>
+  validation?: BasicFun<CollectionSelection<Element>, Promise<FieldValidation>>
 ) => {
   const Co = CoTypedFactory<Context & Value<CollectionSelection<Element>> & { disabled:boolean }, EnumFormState<Context, Element>>()
   return Template.Default<Context & Value<CollectionSelection<Element>> & { disabled:boolean }, EnumFormState<Context, Element>, ForeignMutationsExpected & { onChange: OnChange<CollectionSelection<Element>>; },
@@ -36,7 +36,7 @@ export const EnumForm = <Context extends FormLabel & BaseEnumContext<Context, El
     </>
     ).any([
       ValidateRunner<Context & { disabled:boolean }, EnumFormState<Context, Element>, ForeignMutationsExpected, CollectionSelection<Element>>(
-        _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+        validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
       ),
       Co.Template<ForeignMutationsExpected & { onChange: OnChange<CollectionSelection<Element>>; }>(
         Co.GetState().then(current =>

package/src/forms/domains/primitives/domains/enum-multiselect/template.tsx

@@ -10,7 +10,7 @@ import { EnumMultiselectView } from "./state";
 
 
 export const EnumMultiselectForm = <Context extends FormLabel & BaseEnumContext<Context, Element>, ForeignMutationsExpected, Element extends CollectionReference>(
-  validation:BasicFun<OrderedMap<Guid, Element>, Promise<FieldValidation>>
+  validation?: BasicFun<OrderedMap<Guid, Element>, Promise<FieldValidation>>
 ) => {
   const Co = CoTypedFactory<Context & Value<OrderedMap<Guid, Element>> & EnumFormState<Context, Element> & { disabled:boolean }, EnumFormState<Context, Element>>()
   return Template.Default<Context & Value<OrderedMap<Guid, Element>> & { disabled: boolean }, EnumFormState<Context, Element>, ForeignMutationsExpected & { onChange: OnChange<OrderedMap<Guid, Element>>; }, EnumMultiselectView<Context, Element, ForeignMutationsExpected>>(props => <>
@@ -40,7 +40,7 @@ export const EnumMultiselectForm = <Context extends FormLabel & BaseEnumContext<
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, EnumFormState<Context, Element>, ForeignMutationsExpected, OrderedMap<Guid, Element>>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
     Co.Template<ForeignMutationsExpected & { onChange: OnChange<OrderedMap<Guid, Element>>; }>(
       Co.GetState().then(current =>

package/src/forms/domains/primitives/domains/list/template.tsx

@@ -9,13 +9,13 @@ import { ListFieldState, ListFieldView } from "./state";
 export const ListForm = <Element, ElementFormState, Context extends FormLabel, ForeignMutationsExpected>(
   ElementFormState: { Default: () => ElementFormState },
   Element: { Default: () => Element },
-  validation: BasicFun<List<Element>, Promise<FieldValidation>>,
   elementTemplate: Template<
     Context & Value<Element> & ElementFormState,
     ElementFormState,
     ForeignMutationsExpected & {
       onChange: OnChange<Element>;
-    }>
+    }>,
+  validation?: BasicFun<List<Element>, Promise<FieldValidation>>,
 ) => {
   const embeddedElementTemplate = (elementIndex:number) =>
       elementTemplate
@@ -68,7 +68,7 @@ export const ListForm = <Element, ElementFormState, Context extends FormLabel, F
     </>
     ).any([
       ValidateRunner<Context & { disabled: boolean }, ListFieldState<Element, ElementFormState>, ForeignMutationsExpected, List<Element>>(
-        _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+        validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
       ),
     ]);
 };

package/src/forms/domains/primitives/domains/number/template.tsx

@@ -7,7 +7,7 @@ import { FieldValidation, FieldValidationWithPath, FormValidatorSynchronized, On
 
 
 export const NumberForm = <Context extends FormLabel, ForeignMutationsExpected>(
-  validation:BasicFun<number, Promise<FieldValidation>>
+  validation?: BasicFun<number, Promise<FieldValidation>>
 ) => {
   const Co = CoTypedFactory<Context & Value<number> & SharedFormState & { disabled:boolean }, SharedFormState>()
   return Template.Default<Context & Value<number> & { disabled:boolean }, SharedFormState, ForeignMutationsExpected & { onChange: OnChange<number>; },
@@ -20,7 +20,7 @@ export const NumberForm = <Context extends FormLabel, ForeignMutationsExpected>(
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, SharedFormState, ForeignMutationsExpected, number>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ]);
 }

package/src/forms/domains/primitives/domains/searchable-infinite-stream/template.tsx

@@ -13,7 +13,7 @@ import { SearchableInfiniteStreamState, SearchableInfiniteStreamView } from "./s
 
 
 export const SearchableInfiniteStreamForm = <Element extends CollectionReference, Context extends FormLabel, ForeignMutationsExpected>(
-  validation:BasicFun<CollectionSelection<Element>, Promise<FieldValidation>>
+  validation?: BasicFun<CollectionSelection<Element>, Promise<FieldValidation>>
 ) => {
   const Co = CoTypedFactory<Context & Value<CollectionSelection<Element>> & { disabled:boolean }, SearchableInfiniteStreamState<Element>>();
   const DebouncerCo = CoTypedFactory<Context & { onDebounce: SimpleCallback<void>; } & Value<CollectionSelection<Element>>, SearchableInfiniteStreamState<Element>>();
@@ -108,7 +108,7 @@ export const SearchableInfiniteStreamForm = <Element extends CollectionReference
         )
       })),
       ValidateRunner<Context & { disabled:boolean }, SearchableInfiniteStreamState<Element>, ForeignMutationsExpected, CollectionSelection<Element>>(
-        _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+        validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
       ),
     ]);
 };

package/src/forms/domains/primitives/domains/searchable-infinite-stream-multiselect/template.tsx

@@ -13,7 +13,7 @@ import { InfiniteStreamMultiselectView } from "./state";
 
 
 export const InfiniteMultiselectDropdownForm = <Element extends CollectionReference, Context extends FormLabel, ForeignMutationsExpected>(
-  validation:BasicFun<OrderedMap<Guid, Element>, Promise<FieldValidation>>
+  validation? :BasicFun<OrderedMap<Guid, Element>, Promise<FieldValidation>>
 ) => {
   const Co = CoTypedFactory<Context & Value<OrderedMap<Guid, Element>> & { disabled:boolean }, SearchableInfiniteStreamState<Element>>();
   const DebouncerCo = CoTypedFactory<Context & { onDebounce: SimpleCallback<void>; } & Value<OrderedMap<Guid, Element>>, SearchableInfiniteStreamState<Element>>();
@@ -113,7 +113,7 @@ export const InfiniteMultiselectDropdownForm = <Element extends CollectionRefere
       )
     })),
     ValidateRunner<Context & { disabled:boolean }, SearchableInfiniteStreamState<Element>, ForeignMutationsExpected, OrderedMap<Guid, Element>>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ]);
 };

package/src/forms/domains/primitives/domains/string/template.tsx

@@ -8,7 +8,7 @@ import { StringView } from "./state";
 
 
 export const StringForm = <Context extends FormLabel, ForeignMutationsExpected>(
-  validation:BasicFun<string, Promise<FieldValidation>>) => {
+  validation?:BasicFun<string, Promise<FieldValidation>>) => {
   return Template.Default<Context & Value<string> & { disabled:boolean }, SharedFormState, ForeignMutationsExpected & { onChange: OnChange<string>; }, StringView<Context, ForeignMutationsExpected>>(props => <>
     <props.view {...props}
       foreignMutations={{
@@ -18,7 +18,7 @@ export const StringForm = <Context extends FormLabel, ForeignMutationsExpected>(
   </>
   ).any([
     ValidateRunner<Context & { disabled:boolean }, SharedFormState, ForeignMutationsExpected, string>(
-      _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation)
+      validation ? _ => validation(_).then(FieldValidationWithPath.Default.fromFieldValidation) : undefined
     ),
   ])
 }

package/src/forms/domains/singleton/template.tsx

@@ -11,7 +11,7 @@ export const Form = <Entity, FieldStates, Context, ForeignMutationsExpected>() =
 
     return {
       config: id<EntityFormConfig>,
-      template: (config: EntityFormConfig, validation:BasicFun<Entity, Promise<FieldValidationWithPath>>): EntityFormTemplate<Entity, Fields, FieldStates, Context, ForeignMutationsExpected> => {
+      template: (config: EntityFormConfig, validation?: BasicFun<Entity, Promise<FieldValidationWithPath>>): EntityFormTemplate<Entity, Fields, FieldStates, Context, ForeignMutationsExpected> => {
         const fieldTemplates: FieldTemplates<Entity, Fields, FieldStates, Context, ForeignMutationsExpected> = {} as FieldTemplates<Entity, Fields, FieldStates, Context, ForeignMutationsExpected>
         const setFieldTemplate = <field extends Fields>(field: field) => {
           fieldTemplates[field] =
@@ -26,7 +26,7 @@ export const Form = <Entity, FieldStates, Context, ForeignMutationsExpected>() =
               ({
                 ...props.foreignMutations,
                 onChange: (_: BasicUpdater<Entity[field]>, path) => {
-                  props.setState(_ => ({ ..._, 
+                  if(validation) {props.setState(_ => ({ ..._,
                     modifiedByUser: true, 
                     validation:Debounced.Updaters.Template.value<FormValidatorSynchronized>(Synchronized.Updaters.value(replaceWith(unit)))(_.validation),
                     [field]:({
@@ -34,6 +34,7 @@ export const Form = <Entity, FieldStates, Context, ForeignMutationsExpected>() =
                       modifiedByUser:true,
                       validation:Debounced.Updaters.Template.value<FormValidatorSynchronized>(Synchronized.Updaters.value(replaceWith(unit)))(_[field].validation),
                     }) }))
+                  }
                   setTimeout(() =>
                     props.foreignMutations.onChange((current: Entity): Entity => ({
                       ...current,
@@ -81,21 +82,21 @@ export const Form = <Entity, FieldStates, Context, ForeignMutationsExpected>() =
 })
 
 export const ValidateRunner = <Context, FormState extends SharedFormState, ForeignMutationsExpected, Entity,>(
-  validation:BasicFun<Entity, Promise<FieldValidationWithPath>>,
+  validation?:BasicFun<Entity, Promise<FieldValidationWithPath>>,
 ) => {
   const Co = CoTypedFactory<Context & Value<Entity> & FormState, FormState>()
   return Co.Template<ForeignMutationsExpected & { onChange: OnChange<Entity>; }>(
     Co.Repeat(
       Debounce<FormValidatorSynchronized, Value<Entity>>(
         Synchronize<Unit, FieldValidationWithPath, Value<Entity>>(
-          _ => validation(_.value),
+          _ => validation ? validation(_.value) : Promise.resolve([]),
           () => "transient failure", 3, 50
         ), 50
       ).embed(_ => ({..._.validation, value:_.value}), (_) => curr => ({...curr, validation:_(curr.validation)}))
     ),
     {
       interval:15,
-      runFilter:props => Debounced.Operations.shouldCoroutineRun(props.context.validation)
+      runFilter:props => Boolean(validation) && Debounced.Operations.shouldCoroutineRun(props.context.validation)
     }
   )
 }