Revision 0.34.27

[sinclairzx81]

This PR enables Transforms to be embedded within Module types. The updates include new inference paths for StaticDecode as well as updates to TComputed inference to rewrite the Transform signature (Ref(C)) to the reference target. This makes Transforms a form TComputed.

const Z = Type.Module({
  A: Type.String(),
  // └─────────┐
  B: Type.Ref('A'),
  // └─────────┐
  C: Type.Ref('B'),
  // └────────────────────────┐
  T: Type.Transform(Type.Ref('C'))
    .Decode((value) => parseInt(value as string)) // requires as assertion interior to module
    .Encode((value) => value.toString()),
  // └─────────┐
  X: Type.Ref('T'),
  // └─────────┐
  Y: Type.Ref('X'),
  // └─────────┐
  Z: Type.Ref('Y'),
  // └─────┐
}).Import('Z')

Expect(Z).ToStaticDecode<number>()
Expect(Z).ToStaticEncode<string>()

Using Transforms wrapped Ref types require type assertion as it's not possible to infer the reference target interior to the module.