Provide a custom UX for Z4/Type
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	DVrandecic
	Oct 9 2021, 2:38 AM

Description

Have a component that shows and allows editing of Z4s.

Details

	Subject	Repo	Branch	Lines +/-
	Provide a custom UX for Z4	mediawiki/extensions/WikiLambda	master	+157 -28

Customize query in gerrit

Related Objects
Search...

Status	Assigned	Task
Open	None	T278321 Provide a special page listing invalid ZObjects
Open	None	T278318 Let users validate an unstored ZObject / edit on a ZObject
Stalled	None	T269177 ZObject DAO should have a isWellFormed method
Resolved	cmassaro	T260861 Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded
Open	None	T278316 Provide a validation API endpoint for arbitrary ZObjects from both MediaWiki and the orchestrator
Open	None	T292240 Save Un- (or Under-) Validated ZObjects, Validate Asynchronously via Orchestrator, Then Annotate ZObjects As Valid or Not
Open	None	T278325 Store that a page contains an invalid ZObject in a tracking table
Open	None	T278320 Allow to store an invalid ZObject explicitly, so we can have failure examples for Validator functions' Testers
Open	None	T294045 Create a "Validate" Endpoint in Orchestrator
Resolved	None	T290119 Phase η root task
Resolved	None	T290118 User-defined types work with validation
Resolved	None	T291028 Instances of a user-defined type which should not validate indeed do not validate
Resolved	cmassaro	T291026 Let user implementations throw a user-defined error during a user-defined validation
Resolved	None	T291027 Users can create error types
Resolved	DVrandecic	T293423 Create a function that turns an error type into a type
Resolved	cmassaro	T289687 Allow users to create instances of errors in composition
Duplicate	None	T273125 Migrate hard-coded validators to validation defined on-wiki
Open	None	T278319 Provide functionality for users to trigger a re-validation of a stored object
Resolved	None	T273124 Use evaluation for validation
Resolved	SimoneThisDot	T291022 Validators for user-defined types can be defined and linked
Resolved	SimoneThisDot	T291021 Make the UX for creating a user-defined type straightforward
Resolved	SimoneThisDot	T292891 Provide a custom UX for Z4/Type

Event Timeline

DVrandecic created this task.Oct 9 2021, 2:38 AM

Create a component for Z4 that does the following:

Z4K1 is automatically set to Z0, i.e. itself (i.e. Z4K1 is invisible)
Z4K2 is the default component for a list (or later, a typed list of keys)
Z4K3 is set per default to Z101

Dreaming: later it would be great if Z4K3 would create a new Z8 and a new Z14, but there is some circularity problems here. The new Z8 has the new Z4 as its input and output, but the Z4 has no ZID assigned yet, so we cannot create the Z8 yet. Instead we can probably use the Z101 approach as above for now, and then have a button later that, once the Z4 is saved, allows to "Create bespoke validator", that then creates a new Z8 and a Z14 which calls Z101 per composition.

DVrandecic renamed this task from Component for Z4 to Provide a custom UX for Z4.Oct 13 2021, 4:25 PM

DVrandecic moved this task from To triage to Phase η – Generic types on the Abstract Wikipedia team board.

DVrandecic edited projects, added Abstract Wikipedia team (Phase η – Generic types); removed Abstract Wikipedia team.

SimoneThisDot claimed this task.Oct 18 2021, 2:51 PM

Jdforrester-WMF renamed this task from Provide a custom UX for Z4 to Provide a custom UX for Z4/Type.Oct 20 2021, 11:02 PM

Jdforrester-WMF added a project: WikiLambda Front-end.

DVrandecic added a parent task: T291021: Make the UX for creating a user-defined type straightforward.Oct 20 2021, 11:05 PM

Change 732685 had a related patch set uploaded (by Simone Cuomo; author: Simone Cuomo):

[mediawiki/extensions/WikiLambda@master] Provide a custom UX for Z4

https://gerrit.wikimedia.org/r/732685

gerritbot added a project: Patch-For-Review.Oct 21 2021, 1:49 PM

Change 732685 merged by jenkins-bot: