foolang icon indicating copy to clipboard operation
foolang copied to clipboard

member types

Open nikodemus opened this issue 3 years ago • 0 comments

A way to express "objects of this type are members of this (constant) set".

Ideally also a way to conveniently express that for sets of one.

Syntax sketching:

Is exactly: 42

Is either: 42 or: 13

Is oneOf: [1,2,3]

Eq to: 42

is 42 -- prefix usage for 'is'

nikodemus avatar Aug 14 '20 06:08 nikodemus