{"version":3,"file":"GraphicsDVIPortInfo.mjs","names":["common.UInt8_1","common.withDefault","common.UInt16"],"sources":["../generated/GraphicsDVIPortInfo.ts"],"sourcesContent":["import * as t from 'io-ts';\nimport * as common from '../lib/common';\n/**\n * Codec for interface {@link GraphicsDVIPortInfo}\n * @category Codecs\n * @see Automatically generated from ../decompiled/Nova.LCT.GigabitSystem.DataClass.decompiled.cs:68023\n */\nexport const GraphicsDVIPortInfo = t.intersection(\n  [\n    t.type({\n      DviPortCols: common.UInt8_1, // #68026\n      DviPortRows: common.UInt8_1, // #68028\n      GraphicsWidth: common.withDefault(common.UInt16, 1440), // #68034\n      GraphicsHeight: common.withDefault(common.UInt16, 900),\n    }),\n    t.partial({}),\n  ],\n  'GraphicsDVIPortInfo'\n);\nexport interface GraphicsDVIPortInfo extends t.TypeOf<typeof GraphicsDVIPortInfo> {}\n"],"mappings":";;;;;;;;;AAOA,MAAa,sBAAsB,EAAE,aACnC,CACE,EAAE,KAAK;CACL,aAAaA;CACb,aAAaA;CACb,eAAeC,YAAmBC,QAAe,IAAI;CACrD,gBAAgBD,YAAmBC,QAAe,GAAG;AACvD,CAAC,GACD,EAAE,QAAQ,CAAC,CAAC,CACd,GACA,qBACF"}