Class MilanoType

constructor

• new MilanoType(kind: MilanoTypeKind, optional?: boolean): MilanoType

  Parameters

  • kind: MilanoTypeKind
  • optional: boolean = false

  Returns MilanoType

Readonlykind

Readonlyoptional

name

• get name(): string

  The name used in error details: the kind, with ? when optional.

  Returns string

equals

• equals(other: MilanoType): boolean

  Parameters

  • other: MilanoType

  Returns boolean

validated

• validated(value: MilanoValue): MilanoValue | null

  Validates a value against this type and returns its canonical form, or null on mismatch.

  Rules, identical in every runtime:

  • null is valid only for optional types.
  • An int value is accepted where double is declared and is canonicalized to double, mirroring expression promotion. A double value never satisfies an int declaration.
  • An enum declaration is satisfied only by one of its members.
  • Records must match their declared shape exactly: missing non-optional fields and undeclared fields are mismatches, and a missing optional field canonicalizes to null.

  Parameters

  • value: MilanoValue

  Returns MilanoValue | null

Staticarray

• array(element: MilanoType, optional?: boolean): MilanoType

  Parameters

  • element: MilanoType
  • optional: boolean = false

  Returns MilanoType

Staticbool

• bool(optional?: boolean): MilanoType

  Parameters

  • optional: boolean = false

  Returns MilanoType

Staticdouble

• double(optional?: boolean): MilanoType

  Parameters

  • optional: boolean = false

  Returns MilanoType

Staticenumeration

• enumeration(members: Iterable<string>, optional?: boolean): MilanoType

  A closed set of member strings. Two enum types are the same exactly when their member sets are equal: enum identity is structural, like records.

  Parameters

  • members: Iterable<string>
  • optional: boolean = false

  Returns MilanoType

StaticfromDescriptor

• fromDescriptor(descriptor: MilanoValue): MilanoType | null

  Parses a JSON type descriptor:

  • a primitive name string, with a trailing ? for optional ("int", "string?")
  • {"enum": [<member>...], "optional": <bool>}
  • {"array": <descriptor>, "optional": <bool>}
  • {"record": {<field>: <descriptor>}, "optional": <bool>}

  Parameters

  • descriptor: MilanoValue

  Returns MilanoType | null

Staticint

• int(optional?: boolean): MilanoType

  Parameters

  • optional: boolean = false

  Returns MilanoType

Staticrecord

• record(
      fields: Readonly<Record<string, MilanoType>>,
      optional?: boolean,
  ): MilanoType

  Parameters

  • fields: Readonly<Record<string, MilanoType>>
  • optional: boolean = false

  Returns MilanoType

StaticsameKind

• sameKind(left: MilanoTypeKind, right: MilanoTypeKind): boolean

  Kind equality, member-aware for enums and structural for records.

  Parameters

  • left: MilanoTypeKind
  • right: MilanoTypeKind

  Returns boolean

Staticstring

• string(optional?: boolean): MilanoType

  Parameters

  • optional: boolean = false

  Returns MilanoType