homogenous array of value

[matt-beanland]

Characteristic.value (the main driver of Diffo.Type.Value which is an Ash.NewType subtype_of union holding either a Diffo.Type.Primitive or a Diffo.Type.Dynamic) should have an option for homogenous arrays.

This means all the same type of primitive, or all the same type of dynamic.

[matt-beanland]

Another option is to simply use the Characteristic to hold both values:{:array, Value} and value: Value with a validator that says can only be one or the other. It can implement Unwrap, Json.Encode, Outstanding and take care of the details. This is probably better as ash native arrays can also be used in TypedStruct. They can't be used directly in Value or Primitive or Dynamic.

The ash array has advantages as supported by Ash expressions and is homogenous.

[matt-beanland]

This is done, we also extended the provider dsl so can just express {:array, } for type of instance or feature characteristic.