decodeModuleJson function

Module decodeModuleJson(
  1. Object? json
)

Decodes a Module from a ball file, or throws if it wraps a Program.

Implementation

Module decodeModuleJson(Object? json) => switch (decodeBallFileJson(json)) {
  BallModuleFile(:final module) => module,
  BallProgramFile() => throw BallFileFormatException(
    'expected a Module ball file but got a Program',
  ),
};