@effect/platform 0.70.6 → 0.71.0

package/dist/esm/OpenApiJsonSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"OpenApiJsonSchema.js","names":["Arr","Option","Predicate","Record","AST","make","schema","$defs","out","makeWithDefs","defs","isEmptyRecord","options","defsPath","getRef","id","go","ast","constAny","$id","constUnknown","constVoid","constAnyObject","constEmpty","getJsonSchemaAnnotations","annotated","getSomes","description","getDescriptionAnnotation","title","getTitleAnnotation","examples","getExamplesAnnotation","default","getDefaultAnnotation","removeDefaultJsonSchemaAnnotations","jsonSchemaAnnotations","annotations","TitleAnnotationId","DescriptionAnnotationId","getASTJsonSchemaAnnotations","_tag","stringKeyword","numberKeyword","booleanKeyword","pruneUndefinedFromPropertySignature","isNone","getJSONSchemaAnnotation","types","filter","type","isUndefinedKeyword","length","Union","isParseJsonTransformation","from","to","getRefinementInnerTransformation","f","isRefinement","SchemaIdAnnotationId","ParseJsonSchemaId","isOverrideAnnotation","jsonSchema","handleIdentifier","path","hook","isSome","handler","value","t","undefined","e","surrogate","getSurrogateAnnotation","identifier","getJSONIdentifier","$ref","has","Error","getJSONSchemaMissingAnnotationErrorMessage","literal","enum","isString","isNumber","isBoolean","elements","map","i","concat","rest","annotatedAST","output","len","minItems","element","isOptional","items","restLength","head","isHomogeneous","every","additionalItems","getJSONSchemaUnsupportedPostRestElementsErrorMessage","maxItems","propertySignatures","indexSignatures","patternProperties","propertyNames","is","parameter","pattern","getTemplateLiteralRegExp","source","getJSONSchemaUnsupportedParameterErrorMessage","required","properties","additionalProperties","ps","name","pruned","push","getJSONSchemaUnsupportedKeyErrorMessage","enums","anyOf","Object","keys","$comment","encodedBoundAST","regex","orElse","getJSONSchemaMissingIdentifierAnnotationErrorMessage","contentMediaType","contentSchema","getMissingAnnotationErrorMessage","getErrorMessage","key","formatPropertyKey","details","reason","isNonEmptyReadonlyArray","formatPath","formatPathKey","isNonEmpty","join","x","Array","isArray","JSON","stringify","String"],"sources":["../../src/OpenApiJsonSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,cAAc;AACnC,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,OAAO,KAAKC,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,OAAO,KAAKC,GAAG,MAAM,kBAAkB;AA0MvC;;;;AAIA,OAAO,MAAMC,IAAI,GAAaC,MAA8B,IAAU;EACpE,MAAMC,KAAK,GAAwB,EAAE;EACrC,MAAMC,GAAG,GAAGC,YAAY,CAACH,MAAM,EAAE;IAAEI,IAAI,EAAEH;EAAK,CAAE,CAAC;EACjD,IAAI,CAACJ,MAAM,CAACQ,aAAa,CAACJ,KAAK,CAAC,EAAE;IAChCC,GAAG,CAACD,KAAK,GAAGA,KAAK;EACnB;EACA,OAAOC,GAAG;AACZ,CAAC;AAED;;;;AAIA,OAAO,MAAMC,YAAY,GAAGA,CAAUH,MAA8B,EAAEM,OAGrE,KAAU;EACT,MAAMC,QAAQ,GAAGD,OAAO,CAACC,QAAQ,IAAI,UAAU;EAC/C,MAAMC,MAAM,GAAIC,EAAU,IAAK,GAAGF,QAAQ,GAAGE,EAAE,EAAE;EACjD,MAAMP,GAAG,GAAGQ,EAAE,CAACV,MAAM,CAACW,GAAG,EAAEL,OAAO,CAACF,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;IAAEI;EAAM,CAAE,CAAS;EACtE,KAAK,MAAMC,EAAE,IAAIH,OAAO,CAACF,IAAI,EAAE;IAC7B,IAAIE,OAAO,CAACF,IAAI,CAACK,EAAE,CAAC,CAAC,MAAM,CAAC,KAAKD,MAAM,CAACC,EAAE,CAAC,EAAE;MAC3C,OAAOH,OAAO,CAACF,IAAI,CAACK,EAAE,CAAC;IACzB;EACF;EACA,OAAOP,GAAG;AACZ,CAAC;AAED,MAAMU,QAAQ,GAAe;EAAEC,GAAG,EAAE;AAAc,CAAE;AAEpD,MAAMC,YAAY,GAAe;EAAED,GAAG,EAAE;AAAkB,CAAE;AAE5D,MAAME,SAAS,GAAe;EAAEF,GAAG,EAAE;AAAe,CAAE;AAEtD,MAAMG,cAAc,GAAe;EACjC,KAAK,EAAE,iBAAiB;EACxB,OAAO,EAAE,CACP;IAAE,MAAM,EAAE;EAAQ,CAAE,EACpB;IAAE,MAAM,EAAE;EAAO,CAAE;CAEtB;AAED,MAAMC,UAAU,GAAe;EAC7B,KAAK,EAAE,aAAa;EACpB,OAAO,EAAE,CACP;IAAE,MAAM,EAAE;EAAQ,CAAE,EACpB;IAAE,MAAM,EAAE;EAAO,CAAE;CAEtB;AAED,MAAMC,wBAAwB,GAAIC,SAAwB,IACxDtB,MAAM,CAACuB,QAAQ,CAAC;EACdC,WAAW,EAAEvB,GAAG,CAACwB,wBAAwB,CAACH,SAAS,CAAC;EACpDI,KAAK,EAAEzB,GAAG,CAAC0B,kBAAkB,CAACL,SAAS,CAAC;EACxCM,QAAQ,EAAE3B,GAAG,CAAC4B,qBAAqB,CAACP,SAAS,CAAC;EAC9CQ,OAAO,EAAE7B,GAAG,CAAC8B,oBAAoB,CAACT,SAAS;CAC5C,CAAC;AAEJ,MAAMU,kCAAkC,GAAGA,CACzCC,qBAAkC,EAClCnB,GAAY,KACG;EACf,IAAImB,qBAAqB,CAAC,OAAO,CAAC,KAAKnB,GAAG,CAACoB,WAAW,CAACjC,GAAG,CAACkC,iBAAiB,CAAC,EAAE;IAC7E,OAAOF,qBAAqB,CAAC,OAAO,CAAC;EACvC;EACA,IAAIA,qBAAqB,CAAC,aAAa,CAAC,KAAKnB,GAAG,CAACoB,WAAW,CAACjC,GAAG,CAACmC,uBAAuB,CAAC,EAAE;IACzF,OAAOH,qBAAqB,CAAC,aAAa,CAAC;EAC7C;EACA,OAAOA,qBAAqB;AAC9B,CAAC;AAED,MAAMI,2BAA2B,GAAIvB,GAAY,IAAiB;EAChE,MAAMmB,qBAAqB,GAAGZ,wBAAwB,CAACP,GAAG,CAAC;EAC3D,QAAQA,GAAG,CAACwB,IAAI;IACd,KAAK,eAAe;MAClB,OAAON,kCAAkC,CAACC,qBAAqB,EAAEhC,GAAG,CAACsC,aAAa,CAAC;IACrF,KAAK,eAAe;MAClB,OAAOP,kCAAkC,CAACC,qBAAqB,EAAEhC,GAAG,CAACuC,aAAa,CAAC;IACrF,KAAK,gBAAgB;MACnB,OAAOR,kCAAkC,CAACC,qBAAqB,EAAEhC,GAAG,CAACwC,cAAc,CAAC;IACtF;MACE,OAAOR,qBAAqB;EAChC;AACF,CAAC;AAED,MAAMS,mCAAmC,GAAI5B,GAAY,IAAyB;EAChF,IAAIhB,MAAM,CAAC6C,MAAM,CAAC1C,GAAG,CAAC2C,uBAAuB,CAAC9B,GAAG,CAAC,CAAC,EAAE;IACnD,QAAQA,GAAG,CAACwB,IAAI;MACd,KAAK,OAAO;QAAE;UACZ,MAAMO,KAAK,GAAG/B,GAAG,CAAC+B,KAAK,CAACC,MAAM,CAAEC,IAAI,IAAK,CAAC9C,GAAG,CAAC+C,kBAAkB,CAACD,IAAI,CAAC,CAAC;UACvE,IAAIF,KAAK,CAACI,MAAM,GAAGnC,GAAG,CAAC+B,KAAK,CAACI,MAAM,EAAE;YACnC,OAAOhD,GAAG,CAACiD,KAAK,CAAChD,IAAI,CAAC2C,KAAK,EAAE/B,GAAG,CAACoB,WAAW,CAAC;UAC/C;UACA;QACF;MACA,KAAK,gBAAgB;QACnB,OAAOQ,mCAAmC,CAACS,yBAAyB,CAACrC,GAAG,CAACsC,IAAI,CAAC,GAAGtC,GAAG,CAACuC,EAAE,GAAGvC,GAAG,CAACsC,IAAI,CAAC;IACvG;EACF;AACF,CAAC;AAED,MAAME,gCAAgC,GAAIxC,GAAmB,IAAyB;EACpF,QAAQA,GAAG,CAACsC,IAAI,CAACd,IAAI;IACnB,KAAK,gBAAgB;MACnB,OAAOxB,GAAG,CAACsC,IAAI;IACjB,KAAK,YAAY;MACf,OAAOE,gCAAgC,CAACxC,GAAG,CAACsC,IAAI,CAAC;IACnD,KAAK,SAAS;MAAE;QACd,MAAMA,IAAI,GAAGtC,GAAG,CAACsC,IAAI,CAACG,CAAC,EAAE;QACzB,IAAItD,GAAG,CAACuD,YAAY,CAACJ,IAAI,CAAC,EAAE;UAC1B,OAAOE,gCAAgC,CAACF,IAAI,CAAC;QAC/C;MACF;EACF;AACF,CAAC;AAED,MAAMD,yBAAyB,GAAIrC,GAAY,IAC7CA,GAAG,CAACoB,WAAW,CAACjC,GAAG,CAACwD,oBAAoB,CAAC,KAAKxD,GAAG,CAACyD,iBAAiB;AAErE,MAAMC,oBAAoB,GAAIC,UAAsB,IAAa;EAC/D,OAAQ,MAAM,IAAIA,UAAU,IAAM,OAAO,IAAIA,UAAW,IAAK,OAAO,IAAIA,UAAW,IAAK,OAAO,IAAIA,UAAW,IAC3G,MAAM,IAAIA,UAAW,IAAK,MAAM,IAAIA,UAAW;AACpD,CAAC;AAED,MAAM/C,EAAE,GAAGA,CACTC,GAAY,EACZV,KAAiC,EACjCyD,gBAAyB,EACzBC,IAAgC,EAChCrD,OAEC,KACa;EACd,MAAMsD,IAAI,GAAG9D,GAAG,CAAC2C,uBAAuB,CAAC9B,GAAG,CAAC;EAC7C,IAAIhB,MAAM,CAACkE,MAAM,CAACD,IAAI,CAAC,EAAE;IACvB,MAAME,OAAO,GAAGF,IAAI,CAACG,KAAmB;IACxC,IAAIjE,GAAG,CAACuD,YAAY,CAAC1C,GAAG,CAAC,EAAE;MACzB,MAAMqD,CAAC,GAAGb,gCAAgC,CAACxC,GAAG,CAAC;MAC/C,IAAIqD,CAAC,KAAKC,SAAS,EAAE;QACnB,IAAI;UACF,OAAO;YACL,GAAGvD,EAAE,CAACC,GAAG,CAACsC,IAAI,EAAEhD,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;YAC3C,GAAGY,wBAAwB,CAACP,GAAG,CAAC;YAChC,GAAGmD;WACJ;QACH,CAAC,CAAC,OAAOI,CAAC,EAAE;UACV,OAAO;YACL,GAAGhD,wBAAwB,CAACP,GAAG,CAAC;YAChC,GAAGmD;WACJ;QACH;MACF,CAAC,MAAM,IAAI,CAACN,oBAAoB,CAACM,OAAO,CAAC,EAAE;QACzC,OAAO;UACL,GAAGpD,EAAE,CAACsD,CAAC,EAAE/D,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;UACpC,GAAGY,wBAAwB,CAACP,GAAG;SAChC;MACH;IACF;IACA,OAAOmD,OAAO;EAChB;EACA,MAAMK,SAAS,GAAGrE,GAAG,CAACsE,sBAAsB,CAACzD,GAAG,CAAC;EACjD,IAAI+C,gBAAgB,IAAI,CAAC5D,GAAG,CAACuD,YAAY,CAAC1C,GAAG,CAAC,EAAE;IAC9C,MAAM0D,UAAU,GAAGvE,GAAG,CAACwE,iBAAiB,CACtC3E,MAAM,CAACkE,MAAM,CAACM,SAAS,CAAC,GACtB;MACEpC,WAAW,EAAE;QACX,IAAIpB,GAAG,CAACwB,IAAI,KAAK,gBAAgB,GAAGxB,GAAG,CAACuC,EAAE,CAACnB,WAAW,GAAG,EAAE,CAAC;QAC5D,GAAGpB,GAAG,CAACoB;;KAEV,GACDpB,GAAG,CACN;IACD,IAAIhB,MAAM,CAACkE,MAAM,CAACQ,UAAU,CAAC,EAAE;MAC7B,MAAM5D,EAAE,GAAG4D,UAAU,CAACN,KAAK;MAC3B,MAAM7D,GAAG,GAAG;QAAEqE,IAAI,EAAEjE,OAAO,CAACE,MAAM,CAACC,EAAE;MAAC,CAAE;MACxC,IAAI,CAACZ,MAAM,CAAC2E,GAAG,CAACvE,KAAK,EAAEQ,EAAE,CAAC,EAAE;QAC1BR,KAAK,CAACQ,EAAE,CAAC,GAAGP,GAAG;QACfD,KAAK,CAACQ,EAAE,CAAC,GAAGC,EAAE,CAACC,GAAG,EAAEV,KAAK,EAAE,KAAK,EAAE0D,IAAI,EAAErD,OAAO,CAAC;MAClD;MACA,OAAOJ,GAAG;IACZ;EACF;EACA,IAAIP,MAAM,CAACkE,MAAM,CAACM,SAAS,CAAC,EAAE;IAC5B,OAAO;MACL,GAAGzD,EAAE,CAACyD,SAAS,CAACJ,KAAK,EAAE9D,KAAK,EAAEyD,gBAAgB,EAAEC,IAAI,EAAErD,OAAO,CAAC;MAC9D,IAAIK,GAAG,CAACwB,IAAI,KAAK,gBAAgB,GAAGjB,wBAAwB,CAACP,GAAG,CAACuC,EAAE,CAAC,GAAG,EAAE,CAAC;MAC1E,GAAGhC,wBAAwB,CAACP,GAAG;KAChC;EACH;EACA,QAAQA,GAAG,CAACwB,IAAI;IACd,KAAK,aAAa;MAChB,MAAM,IAAIsC,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,SAAS;MAAE;QACd,MAAMgE,OAAO,GAAGhE,GAAG,CAACgE,OAAO;QAC3B,IAAIA,OAAO,KAAK,IAAI,EAAE;UACpB,OAAO;YACLC,IAAI,EAAE,CAAC,IAAI,CAAC;YACZ,GAAG1D,wBAAwB,CAACP,GAAG;WAChC;QACH,CAAC,MAAM,IAAIf,SAAS,CAACiF,QAAQ,CAACF,OAAO,CAAC,IAAI/E,SAAS,CAACkF,QAAQ,CAACH,OAAO,CAAC,IAAI/E,SAAS,CAACmF,SAAS,CAACJ,OAAO,CAAC,EAAE;UACrG,OAAO;YACLC,IAAI,EAAE,CAACD,OAAO,CAAC;YACf,GAAGzD,wBAAwB,CAACP,GAAG;WAChC;QACH;QACA,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;MACxE;IACA,KAAK,cAAc;MACjB,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,kBAAkB;MACrB,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,aAAa;MAChB,OAAO;QACL,GAAGI,SAAS;QACZ,GAAGG,wBAAwB,CAACP,GAAG;OAChC;IACH,KAAK,cAAc;MACjB,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,gBAAgB;MACnB,OAAO;QACL,GAAGG,YAAY;QACf,GAAGI,wBAAwB,CAACP,GAAG;OAChC;IAEH,KAAK,YAAY;MACf,OAAO;QACL,GAAGC,QAAQ;QACX,GAAGM,wBAAwB,CAACP,GAAG;OAChC;IACH,KAAK,eAAe;MAClB,OAAO;QACL,GAAGK,cAAc;QACjB,GAAGE,wBAAwB,CAACP,GAAG;OAChC;IACH,KAAK,eAAe;MAClB,OAAO;QAAEiC,IAAI,EAAE,QAAQ;QAAE,GAAGV,2BAA2B,CAACvB,GAAG;MAAC,CAAE;IAChE,KAAK,eAAe;MAClB,OAAO;QAAEiC,IAAI,EAAE,QAAQ;QAAE,GAAGV,2BAA2B,CAACvB,GAAG;MAAC,CAAE;IAChE,KAAK,gBAAgB;MACnB,OAAO;QAAEiC,IAAI,EAAE,SAAS;QAAE,GAAGV,2BAA2B,CAACvB,GAAG;MAAC,CAAE;IACjE,KAAK,eAAe;MAClB,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,eAAe;MAClB,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;IACxE,KAAK,WAAW;MAAE;QAChB,MAAMqE,QAAQ,GAAGrE,GAAG,CAACqE,QAAQ,CAACC,GAAG,CAAC,CAACf,CAAC,EAAEgB,CAAC,MAAM;UAC3C,GAAGxE,EAAE,CAACwD,CAAC,CAACtB,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,CAACwB,MAAM,CAACD,CAAC,CAAC,EAAE5E,OAAO,CAAC;UACnD,GAAGY,wBAAwB,CAACgD,CAAC;SAC9B,CAAC,CAAC;QACH,MAAMkB,IAAI,GAAGzE,GAAG,CAACyE,IAAI,CAACH,GAAG,CAAEI,YAAY,KAAM;UAC3C,GAAG3E,EAAE,CAAC2E,YAAY,CAACzC,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;UACpD,GAAGY,wBAAwB,CAACmE,YAAY;SACzC,CAAC,CAAC;QACH,MAAMC,MAAM,GAAU;UAAE1C,IAAI,EAAE;QAAO,CAAE;QACvC;QACA;QACA;QACA,MAAM2C,GAAG,GAAG5E,GAAG,CAACqE,QAAQ,CAAClC,MAAM;QAC/B,IAAIyC,GAAG,GAAG,CAAC,EAAE;UACXD,MAAM,CAACE,QAAQ,GAAGD,GAAG,GAAG5E,GAAG,CAACqE,QAAQ,CAACrC,MAAM,CAAE8C,OAAO,IAAKA,OAAO,CAACC,UAAU,CAAC,CAAC5C,MAAM;UACnFwC,MAAM,CAACK,KAAK,GAAGX,QAAQ;QACzB;QACA;QACA;QACA;QACA,MAAMY,UAAU,GAAGR,IAAI,CAACtC,MAAM;QAC9B,IAAI8C,UAAU,GAAG,CAAC,EAAE;UAClB,MAAMC,IAAI,GAAGT,IAAI,CAAC,CAAC,CAAC;UACpB,MAAMU,aAAa,GAAGF,UAAU,KAAK,CAAC,IAAIjF,GAAG,CAACqE,QAAQ,CAACe,KAAK,CAAE7B,CAAC,IAAKA,CAAC,CAACtB,IAAI,KAAKjC,GAAG,CAACyE,IAAI,CAAC,CAAC,CAAC,CAACxC,IAAI,CAAC;UAChG,IAAIkD,aAAa,EAAE;YACjBR,MAAM,CAACK,KAAK,GAAGE,IAAI;UACrB,CAAC,MAAM;YACLP,MAAM,CAACU,eAAe,GAAGH,IAAI;UAC/B;UAEA;UACA;UACA;UACA,IAAID,UAAU,GAAG,CAAC,EAAE;YAClB,MAAM,IAAInB,KAAK,CAACwB,oDAAoD,CAACtC,IAAI,CAAC,CAAC;UAC7E;QACF,CAAC,MAAM;UACL,IAAI4B,GAAG,GAAG,CAAC,EAAE;YACXD,MAAM,CAACU,eAAe,GAAG,KAAK;UAChC,CAAC,MAAM;YACLV,MAAM,CAACY,QAAQ,GAAG,CAAC;UACrB;QACF;QAEA,OAAO;UACL,GAAGZ,MAAM;UACT,GAAGpE,wBAAwB,CAACP,GAAG;SAChC;MACH;IACA,KAAK,aAAa;MAAE;QAClB,IAAIA,GAAG,CAACwF,kBAAkB,CAACrD,MAAM,KAAK,CAAC,IAAInC,GAAG,CAACyF,eAAe,CAACtD,MAAM,KAAK,CAAC,EAAE;UAC3E,OAAO;YACL,GAAG7B,UAAU;YACb,GAAGC,wBAAwB,CAACP,GAAG;WAChC;QACH;QACA,IAAI0F,iBAAiB,GAA2BpC,SAAS;QACzD,IAAIqC,aAAa,GAA2BrC,SAAS;QACrD,KAAK,MAAMsC,EAAE,IAAI5F,GAAG,CAACyF,eAAe,EAAE;UACpC,MAAMI,SAAS,GAAGD,EAAE,CAACC,SAAS;UAC9B,QAAQA,SAAS,CAACrE,IAAI;YACpB,KAAK,eAAe;cAAE;gBACpBkE,iBAAiB,GAAG3F,EAAE,CAAC6F,EAAE,CAAC3D,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;gBAC3D;cACF;YACA,KAAK,iBAAiB;cAAE;gBACtB+F,iBAAiB,GAAG3F,EAAE,CAAC6F,EAAE,CAAC3D,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;gBAC3DgG,aAAa,GAAG;kBACd1D,IAAI,EAAE,QAAQ;kBACd6D,OAAO,EAAE3G,GAAG,CAAC4G,wBAAwB,CAACF,SAAS,CAAC,CAACG;iBAClD;gBACD;cACF;YACA,KAAK,YAAY;cAAE;gBACjBN,iBAAiB,GAAG3F,EAAE,CAAC6F,EAAE,CAAC3D,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;gBAC3DgG,aAAa,GAAG5F,EAAE,CAAC8F,SAAS,EAAEvG,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;gBACzD;cACF;YACA,KAAK,eAAe;cAClB,MAAM,IAAImE,KAAK,CAACmC,6CAA6C,CAACjD,IAAI,EAAE6C,SAAS,CAAC,CAAC;UACnF;QACF;QACA,MAAMlB,MAAM,GAAW;UACrB1C,IAAI,EAAE,QAAQ;UACdiE,QAAQ,EAAE,EAAE;UACZC,UAAU,EAAE,EAAE;UACdC,oBAAoB,EAAE;SACvB;QACD;QACA;QACA;QACA,KAAK,IAAI7B,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGvE,GAAG,CAACwF,kBAAkB,CAACrD,MAAM,EAAEoC,CAAC,EAAE,EAAE;UACtD,MAAM8B,EAAE,GAAGrG,GAAG,CAACwF,kBAAkB,CAACjB,CAAC,CAAC;UACpC,MAAM+B,IAAI,GAAGD,EAAE,CAACC,IAAI;UACpB,IAAIrH,SAAS,CAACiF,QAAQ,CAACoC,IAAI,CAAC,EAAE;YAC5B,MAAMC,MAAM,GAAG3E,mCAAmC,CAACyE,EAAE,CAACpE,IAAI,CAAC;YAC3D0C,MAAM,CAACwB,UAAU,CAACG,IAAI,CAAC,GAAG;cACxB,GAAGvG,EAAE,CAACwG,MAAM,GAAGA,MAAM,GAAGF,EAAE,CAACpE,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,CAACwB,MAAM,CAAC6B,EAAE,CAACC,IAAI,CAAC,EAAE3G,OAAO,CAAC;cAC5E,GAAGY,wBAAwB,CAAC8F,EAAE;aAC/B;YACD;YACA;YACA;YACA,IAAI,CAACA,EAAE,CAACtB,UAAU,IAAIwB,MAAM,KAAKjD,SAAS,EAAE;cAC1CqB,MAAM,CAACuB,QAAQ,CAACM,IAAI,CAACF,IAAI,CAAC;YAC5B;UACF,CAAC,MAAM;YACL,MAAM,IAAIxC,KAAK,CAAC2C,uCAAuC,CAACH,IAAI,EAAEtD,IAAI,CAAC,CAAC;UACtE;QACF;QACA;QACA;QACA;QACA,IAAI0C,iBAAiB,KAAKpC,SAAS,EAAE;UACnC,OAAOqB,MAAM,CAACyB,oBAAoB;UAClCzB,MAAM,CAACe,iBAAiB,GAAG;YAAE,EAAE,EAAEA;UAAiB,CAAE;QACtD;QACA,IAAIC,aAAa,KAAKrC,SAAS,EAAE;UAC/BqB,MAAM,CAACgB,aAAa,GAAGA,aAAa;QACtC;QAEA,OAAO;UACL,GAAGhB,MAAM;UACT,GAAGpE,wBAAwB,CAACP,GAAG;SAChC;MACH;IACA,KAAK,OAAO;MAAE;QACZ,MAAM0G,KAAK,GAAuC,EAAE;QACpD,MAAMC,KAAK,GAAiC,EAAE;QAC9C,KAAK,MAAM1E,IAAI,IAAIjC,GAAG,CAAC+B,KAAK,EAAE;UAC5B,MAAM1C,MAAM,GAAGU,EAAE,CAACkC,IAAI,EAAE3C,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;UACnD,IAAI,MAAM,IAAIN,MAAM,EAAE;YACpB,IAAIuH,MAAM,CAACC,IAAI,CAACxH,MAAM,CAAC,CAAC8C,MAAM,GAAG,CAAC,EAAE;cAClCwE,KAAK,CAACH,IAAI,CAACnH,MAAM,CAAC;YACpB,CAAC,MAAM;cACL,KAAK,MAAMkE,CAAC,IAAIlE,MAAM,CAAC4E,IAAI,EAAE;gBAC3ByC,KAAK,CAACF,IAAI,CAACjD,CAAC,CAAC;cACf;YACF;UACF,CAAC,MAAM;YACLoD,KAAK,CAACH,IAAI,CAACnH,MAAM,CAAC;UACpB;QACF;QACA,IAAIsH,KAAK,CAACxE,MAAM,KAAK,CAAC,EAAE;UACtB,OAAO;YAAE8B,IAAI,EAAEyC,KAAK;YAAE,GAAGnG,wBAAwB,CAACP,GAAG;UAAC,CAAE;QAC1D,CAAC,MAAM;UACL,IAAI0G,KAAK,CAACvE,MAAM,IAAI,CAAC,EAAE;YACrBwE,KAAK,CAACH,IAAI,CAAC;cAAEvC,IAAI,EAAEyC;YAAK,CAAE,CAAC;UAC7B;UACA,OAAO;YAAEC,KAAK;YAAE,GAAGpG,wBAAwB,CAACP,GAAG;UAAC,CAAE;QACpD;MACF;IACA,KAAK,OAAO;MAAE;QACZ,OAAO;UACL8G,QAAQ,EAAE,gBAAgB;UAC1BH,KAAK,EAAE3G,GAAG,CAAC0G,KAAK,CAACpC,GAAG,CAAEf,CAAC,KAAM;YAAE3C,KAAK,EAAE2C,CAAC,CAAC,CAAC,CAAC;YAAEU,IAAI,EAAE,CAACV,CAAC,CAAC,CAAC,CAAC;UAAC,CAAE,CAAC,CAAC;UAC5D,GAAGhD,wBAAwB,CAACP,GAAG;SAChC;MACH;IACA,KAAK,YAAY;MAAE;QACjB,IAAIb,GAAG,CAAC4H,eAAe,CAAC/G,GAAG,CAAC,KAAKA,GAAG,EAAE;UACpC,MAAM,IAAI8D,KAAK,CAACC,0CAA0C,CAACf,IAAI,EAAEhD,GAAG,CAAC,CAAC;QACxE;QACA,OAAOD,EAAE,CAACC,GAAG,CAACsC,IAAI,EAAEhD,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;MACjD;IACA,KAAK,iBAAiB;MAAE;QACtB,MAAMqH,KAAK,GAAG7H,GAAG,CAAC4G,wBAAwB,CAAC/F,GAAG,CAAC;QAC/C,OAAO;UACLiC,IAAI,EAAE,QAAQ;UACdvB,WAAW,EAAE,oBAAoB;UACjCoF,OAAO,EAAEkB,KAAK,CAAChB,MAAM;UACrB,GAAGzF,wBAAwB,CAACP,GAAG;SAChC;MACH;IACA,KAAK,SAAS;MAAE;QACd,MAAM0D,UAAU,GAAG1E,MAAM,CAACiI,MAAM,CAAC9H,GAAG,CAACwE,iBAAiB,CAAC3D,GAAG,CAAC,EAAE,MAAMb,GAAG,CAACwE,iBAAiB,CAAC3D,GAAG,CAACyC,CAAC,EAAE,CAAC,CAAC;QAClG,IAAIzD,MAAM,CAAC6C,MAAM,CAAC6B,UAAU,CAAC,EAAE;UAC7B,MAAM,IAAII,KAAK,CAACoD,oDAAoD,CAAClE,IAAI,EAAEhD,GAAG,CAAC,CAAC;QAClF;QACA,OAAO;UACL,GAAGD,EAAE,CAACC,GAAG,CAACyC,CAAC,EAAE,EAAEnD,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;UAC1C,GAAGY,wBAAwB,CAACP,GAAG;SAChC;MACH;IACA,KAAK,gBAAgB;MAAE;QACrB;QACA;QACA;QACA;QACA,IAAIqC,yBAAyB,CAACrC,GAAG,CAACsC,IAAI,CAAC,EAAE;UACvC,OAAO;YACLL,IAAI,EAAE,QAAQ;YACdkF,gBAAgB,EAAE,kBAAkB;YACpCC,aAAa,EAAErH,EAAE,CAACC,GAAG,CAACuC,EAAE,EAAEjD,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;YACrD,GAAGY,wBAAwB,CAACP,GAAG;WAChC;QACH;QACA,OAAO;UACL,GAAGuB,2BAA2B,CAACvB,GAAG,CAACuC,EAAE,CAAC;UACtC,GAAGxC,EAAE,CAACC,GAAG,CAACsC,IAAI,EAAEhD,KAAK,EAAE,IAAI,EAAE0D,IAAI,EAAErD,OAAO,CAAC;UAC3C,GAAGY,wBAAwB,CAACP,GAAG;SAChC;MACH;EACF;AACF,CAAC;AAED,MAAM+D,0CAA0C,GAAGA,CACjDf,IAAgC,EAChChD,GAAY,KAEZqH,gCAAgC,CAC9B,6EAA6E,EAC7ErE,IAAI,EACJhD,GAAG,CACJ;AAEH,MAAMkH,oDAAoD,GAAGA,CAC3DlE,IAAgC,EAChChD,GAAY,KAEZqH,gCAAgC,CAC9B,8EAA8E,EAC9ErE,IAAI,EACJhD,GAAG,CACJ;AAEH,MAAMiG,6CAA6C,GAAGA,CACpDjD,IAAgC,EAChC6C,SAAkB,KACPyB,eAAe,CAAC,uCAAuC,EAAEhE,SAAS,EAAEN,IAAI,EAAE6C,SAAS,CAAC;AAEjG,MAAMP,oDAAoD,GAAItC,IAAgC,IAC5FsE,eAAe,CACb,uIAAuI,EACvIhE,SAAS,EACTN,IAAI,CACL;AAEH,MAAMyD,uCAAuC,GAAGA,CAACc,GAAgB,EAAEvE,IAAgC,KACjGsE,eAAe,CAAC,iBAAiB,EAAE,iBAAiBE,iBAAiB,CAACD,GAAG,CAAC,qBAAqB,EAAEvE,IAAI,CAAC;AAExG,MAAMqE,gCAAgC,GAAGA,CAACI,OAAgB,EAAEzE,IAAiC,EAAEhD,GAAa,KAC1GsH,eAAe,CAAC,oBAAoB,EAAEG,OAAO,EAAEzE,IAAI,EAAEhD,GAAG,CAAC;AAE3D,MAAMsH,eAAe,GAAGA,CACtBI,MAAc,EACdD,OAAgB,EAChBzE,IAAiC,EACjChD,GAAa,KACH;EACV,IAAIT,GAAG,GAAGmI,MAAM;EAEhB,IAAI1E,IAAI,IAAIjE,GAAG,CAAC4I,uBAAuB,CAAC3E,IAAI,CAAC,EAAE;IAC7CzD,GAAG,IAAI,cAAcqI,UAAU,CAAC5E,IAAI,CAAC,EAAE;EACzC;EAEA,IAAIyE,OAAO,KAAKnE,SAAS,EAAE;IACzB/D,GAAG,IAAI,cAAckI,OAAO,EAAE;EAChC;EAEA,IAAIzH,GAAG,EAAE;IACPT,GAAG,IAAI,aAAaS,GAAG,CAACwB,IAAI,MAAMxB,GAAG,EAAE;EACzC;EAEA,OAAOT,GAAG;AACZ,CAAC;AAED,MAAMsI,aAAa,GAAIN,GAAgB,IAAa,IAAIC,iBAAiB,CAACD,GAAG,CAAC,GAAG;AAEjF,MAAMK,UAAU,GAAI5E,IAAsB,IACxC8E,UAAU,CAAC9E,IAAI,CAAC,GAAGA,IAAI,CAACsB,GAAG,CAACuD,aAAa,CAAC,CAACE,IAAI,CAAC,EAAE,CAAC,GAAGF,aAAa,CAAC7E,IAAI,CAAC;AAE3E,MAAM8E,UAAU,GAAOE,CAAkC,IAAwCC,KAAK,CAACC,OAAO,CAACF,CAAC,CAAC;AAEjH,MAAMR,iBAAiB,GAAIlB,IAAiB,IAAa,OAAOA,IAAI,KAAK,QAAQ,GAAG6B,IAAI,CAACC,SAAS,CAAC9B,IAAI,CAAC,GAAG+B,MAAM,CAAC/B,IAAI,CAAC","ignoreList":[]}
+{"version":3,"file":"OpenApiJsonSchema.js","names":["JSONSchema","Record","make","schema","defs","out","makeWithDefs","isEmptyRecord","$defs","options","fromAST","ast","definitions","definitionPath","defsPath","target","topLevelReferenceStrategy"],"sources":["../../src/OpenApiJsonSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,UAAU,MAAM,mBAAmB;AAC/C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAkOvC;;;;AAIA,OAAO,MAAMC,IAAI,GAAaC,MAA8B,IAAU;EACpE,MAAMC,IAAI,GAA+B,EAAE;EAC3C,MAAMC,GAAG,GAASC,YAAY,CAACH,MAAM,EAAE;IAAEC;EAAI,CAAE,CAAC;EAChD,IAAI,CAACH,MAAM,CAACM,aAAa,CAACH,IAAI,CAAC,EAAE;IAC/BC,GAAG,CAACG,KAAK,GAAGJ,IAAI;EAClB;EACA,OAAOC,GAAG;AACZ,CAAC;AAED;;;;;;;;;;;;AAYA,OAAO,MAAMC,YAAY,GAAGA,CAAUH,MAA8B,EAAEM,OAIrE,KAAgB;EACf,OAAOT,UAAU,CAACU,OAAO,CAACP,MAAM,CAACQ,GAAG,EAAE;IACpCC,WAAW,EAAEH,OAAO,CAACL,IAAI;IACzBS,cAAc,EAAEJ,OAAO,CAACK,QAAQ,IAAI,uBAAuB;IAC3DC,MAAM,EAAE,YAAY;IACpBC,yBAAyB,EAAEP,OAAO,CAACO,yBAAyB,IAAI;GACjE,CAAC;AACJ,CAAC","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/platform",
-  "version": "0.70.6",
+  "version": "0.71.0",
   "description": "Unified interfaces for common platform-specific services",
   "license": "MIT",
   "repository": {
@@ -14,7 +14,7 @@
     "multipasta": "^0.2.5"
   },
   "peerDependencies": {
-    "effect": "^3.11.4"
+    "effect": "^3.11.6"
   },
   "publishConfig": {
     "provenance": true

package/src/HttpApi.ts

@@ -45,12 +45,14 @@ export const isHttpApi = (u: unknown): u is HttpApi.Any => Predicate.hasProperty
  * @category models
  */
 export interface HttpApi<
+  out Id extends string,
   out Groups extends HttpApiGroup.HttpApiGroup.Any = never,
   in out E = never,
   out R = never
 > extends Pipeable {
   new(_: never): {}
   readonly [TypeId]: TypeId
+  readonly identifier: Id
   readonly groups: Record.ReadonlyRecord<string, Groups>
   readonly annotations: Context.Context<never>
   readonly errorSchema: Schema.Schema<E, unknown, R>
@@ -59,11 +61,14 @@ export interface HttpApi<
   /**
    * Add a `HttpApiGroup` to the `HttpApi`.
    */
-  add<A extends HttpApiGroup.HttpApiGroup.Any>(group: A): HttpApi<Groups | A, E, R>
+  add<A extends HttpApiGroup.HttpApiGroup.Any>(group: A): HttpApi<Id, Groups | A, E, R>
   /**
    * Add another `HttpApi` to the `HttpApi`.
    */
-  addHttpApi<Groups2 extends HttpApiGroup.HttpApiGroup.Any, E2, R2>(api: HttpApi<Groups2, E2, R2>): HttpApi<
+  addHttpApi<Id2 extends string, Groups2 extends HttpApiGroup.HttpApiGroup.Any, E2, R2>(
+    api: HttpApi<Id2, Groups2, E2, R2>
+  ): HttpApi<
+    Id,
     Groups | HttpApiGroup.HttpApiGroup.AddContext<Groups2, R2>,
     E | E2,
     R
@@ -76,11 +81,11 @@ export interface HttpApi<
     annotations?: {
       readonly status?: number | undefined
     }
-  ): HttpApi<Groups, E | A, R | RX>
+  ): HttpApi<Id, Groups, E | A, R | RX>
   /**
    * Prefix all endpoints in the `HttpApi`.
    */
-  prefix(prefix: PathInput): HttpApi<Groups, E, R>
+  prefix(prefix: PathInput): HttpApi<Id, Groups, E, R>
   /**
    * Add a middleware to a `HttpApi`. It will be applied to all endpoints in the
    * `HttpApi`.
@@ -88,6 +93,7 @@ export interface HttpApi<
   middleware<I extends HttpApiMiddleware.HttpApiMiddleware.AnyId, S>(
     middleware: Context.Tag<I, S>
   ): HttpApi<
+    Id,
     Groups,
     E | HttpApiMiddleware.HttpApiMiddleware.Error<I>,
     R | I | HttpApiMiddleware.HttpApiMiddleware.ErrorContext<I>
@@ -95,11 +101,11 @@ export interface HttpApi<
   /**
    * Annotate the `HttpApi`.
    */
-  annotate<I, S>(tag: Context.Tag<I, S>, value: S): HttpApi<Groups, E, R>
+  annotate<I, S>(tag: Context.Tag<I, S>, value: S): HttpApi<Id, Groups, E, R>
   /**
    * Annotate the `HttpApi` with a Context.
    */
-  annotateContext<I>(context: Context.Context<I>): HttpApi<Groups, E, R>
+  annotateContext<I>(context: Context.Context<I>): HttpApi<Id, Groups, E, R>
 }
 
 /**
@@ -109,7 +115,7 @@ export interface HttpApi<
 export class Api extends Context.Tag("@effect/platform/HttpApi/Api")<
   Api,
   {
-    readonly api: HttpApi<HttpApiGroup.HttpApiGroup.AnyWithProps>
+    readonly api: HttpApi<string, HttpApiGroup.HttpApiGroup.AnyWithProps>
     readonly context: Context.Context<never>
   }
 >() {}
@@ -131,7 +137,7 @@ export declare namespace HttpApi {
    * @since 1.0.0
    * @category models
    */
-  export type AnyWithProps = HttpApi<HttpApiGroup.HttpApiGroup.AnyWithProps, any, any>
+  export type AnyWithProps = HttpApi<string, HttpApiGroup.HttpApiGroup.AnyWithProps, any, any>
 }
 
 const Proto = {
@@ -144,6 +150,7 @@ const Proto = {
     group: HttpApiGroup.HttpApiGroup.AnyWithProps
   ) {
     return makeProto({
+      identifier: this.identifier,
       groups: Record.set(this.groups, group.identifier, group),
       errorSchema: this.errorSchema,
       annotations: this.annotations,
@@ -158,10 +165,11 @@ const Proto = {
     for (const key in api.groups) {
       const newGroup: Mutable<HttpApiGroup.HttpApiGroup.AnyWithProps> = api.groups[key].annotateContext(Context.empty())
       newGroup.annotations = Context.merge(api.annotations, newGroup.annotations)
-      newGroup.middlewares = new Set([...this.middlewares, ...newGroup.middlewares])
+      newGroup.middlewares = new Set([...api.middlewares, ...newGroup.middlewares])
       newGroups[key] = newGroup as any
     }
     return makeProto({
+      identifier: this.identifier,
       groups: newGroups,
       errorSchema: HttpApiSchema.UnionUnify(this.errorSchema, api.errorSchema),
       annotations: this.annotations,
@@ -174,6 +182,7 @@ const Proto = {
     annotations?: { readonly status?: number }
   ) {
     return makeProto({
+      identifier: this.identifier,
       groups: this.groups,
       errorSchema: HttpApiSchema.UnionUnify(
         this.errorSchema,
@@ -187,6 +196,7 @@ const Proto = {
   },
   prefix(this: HttpApi.AnyWithProps, prefix: PathInput) {
     return makeProto({
+      identifier: this.identifier,
       groups: Record.map(this.groups, (group) => group.prefix(prefix)),
       errorSchema: this.errorSchema,
       annotations: this.annotations,
@@ -195,6 +205,7 @@ const Proto = {
   },
   middleware(this: HttpApi.AnyWithProps, tag: HttpApiMiddleware.TagClassAny) {
     return makeProto({
+      identifier: this.identifier,
       groups: this.groups,
       errorSchema: HttpApiSchema.UnionUnify(
         this.errorSchema,
@@ -208,6 +219,7 @@ const Proto = {
   },
   annotate(this: HttpApi.AnyWithProps, tag: Context.Tag<any, any>, value: any) {
     return makeProto({
+      identifier: this.identifier,
       groups: this.groups,
       errorSchema: this.errorSchema,
       annotations: Context.add(this.annotations, tag, value),
@@ -216,6 +228,7 @@ const Proto = {
   },
   annotateContext(this: HttpApi.AnyWithProps, context: Context.Context<any>) {
     return makeProto({
+      identifier: this.identifier,
       groups: this.groups,
       errorSchema: this.errorSchema,
       annotations: Context.merge(this.annotations, context),
@@ -224,14 +237,15 @@ const Proto = {
   }
 }
 
-const makeProto = <Groups extends HttpApiGroup.HttpApiGroup.Any, E, I, R>(
+const makeProto = <Id extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, E, I, R>(
   options: {
+    readonly identifier: Id
     readonly groups: Record.ReadonlyRecord<string, Groups>
     readonly errorSchema: Schema.Schema<E, I, R>
     readonly annotations: Context.Context<never>
     readonly middlewares: ReadonlySet<HttpApiMiddleware.TagClassAny>
   }
-): HttpApi<Groups, E, R> => {
+): HttpApi<Id, Groups, E, R> => {
   function HttpApi() {}
   Object.setPrototypeOf(HttpApi, Proto)
   HttpApi.groups = options.groups
@@ -250,12 +264,14 @@ const makeProto = <Groups extends HttpApiGroup.HttpApiGroup.Any, E, I, R>(
  * @since 1.0.0
  * @category constructors
  */
-export const empty: HttpApi<never, HttpApiDecodeError> = makeProto({
-  groups: new Map() as any,
-  errorSchema: HttpApiDecodeError,
-  annotations: Context.empty(),
-  middlewares: new Set()
-})
+export const make = <const Id extends string>(identifier: Id): HttpApi<Id, never, HttpApiDecodeError> =>
+  makeProto({
+    identifier,
+    groups: new Map() as any,
+    errorSchema: HttpApiDecodeError,
+    annotations: Context.empty(),
+    middlewares: new Set()
+  })
 
 /**
  * Extract metadata from an `HttpApi`, which can be used to generate documentation
@@ -266,8 +282,8 @@ export const empty: HttpApi<never, HttpApiDecodeError> = makeProto({
  * @since 1.0.0
  * @category reflection
  */
-export const reflect = <Groups extends HttpApiGroup.HttpApiGroup.Any, Error, R>(
-  self: HttpApi<Groups, Error, R>,
+export const reflect = <Id extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, Error, R>(
+  self: HttpApi<Id, Groups, Error, R>,
   options: {
     readonly predicate?: Predicate.Predicate<{
       readonly endpoint: HttpApiEndpoint.HttpApiEndpoint.AnyWithProps

package/src/HttpApiBuilder.ts

@@ -55,12 +55,12 @@ export class Router extends HttpRouter.Tag("@effect/platform/HttpApiBuilder/Rout
  * @since 1.0.0
  * @category constructors
  */
-export const api = <Groups extends HttpApiGroup.HttpApiGroup.Any, E, R>(
-  api: HttpApi.HttpApi<Groups, E, R>
+export const api = <Id extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, E, R>(
+  api: HttpApi.HttpApi<Id, Groups, E, R>
 ): Layer.Layer<
   HttpApi.Api,
   never,
-  HttpApiGroup.HttpApiGroup.ToService<Groups> | R | HttpApiGroup.HttpApiGroup.ErrorContext<Groups>
+  HttpApiGroup.HttpApiGroup.ToService<Id, Groups> | R | HttpApiGroup.HttpApiGroup.ErrorContext<Groups>
 > =>
   Layer.effect(
     HttpApi.Api,
@@ -132,7 +132,7 @@ export const httpApp: Effect.Effect<
  * import { HttpApi, HttpApiBuilder, HttpServer } from "@effect/platform"
  * import { Layer } from "effect"
  *
- * class MyApi extends HttpApi.empty {}
+ * class MyApi extends HttpApi.make("api") {}
  *
  * const MyApiLive = HttpApiBuilder.api(MyApi)
  *
@@ -429,19 +429,20 @@ const makeHandlers = <E, Provides, R, Endpoints extends HttpApiEndpoint.HttpApiE
  * @category handlers
  */
 export const group = <
+  ApiId extends string,
   Groups extends HttpApiGroup.HttpApiGroup.Any,
   ApiError,
   ApiR,
   const Name extends HttpApiGroup.HttpApiGroup.Name<Groups>,
   Return
 >(
-  api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+  api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   groupName: Name,
   build: (
     handlers: Handlers.FromGroup<ApiError, ApiR, HttpApiGroup.HttpApiGroup.WithName<Groups, Name>>
   ) => Handlers.ValidateReturn<Return>
 ): Layer.Layer<
-  HttpApiGroup.ApiGroup<Name>,
+  HttpApiGroup.ApiGroup<ApiId, Name>,
   Handlers.Error<Return>,
   | Handlers.Context<Return>
   | HttpApiGroup.HttpApiGroup.MiddlewareWithName<Groups, Name>
@@ -481,6 +482,7 @@ export const group = <
  * @category handlers
  */
 export const handler = <
+  ApiId extends string,
   Groups extends HttpApiGroup.HttpApiGroup.Any,
   ApiError,
   ApiR,
@@ -488,7 +490,7 @@ export const handler = <
   const Name extends HttpApiGroup.HttpApiGroup.EndpointsWithName<Groups, GroupName>["name"],
   R
 >(
-  _api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+  _api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   _groupName: GroupName,
   _name: Name,
   f: HttpApiEndpoint.HttpApiEndpoint.HandlerWithName<
@@ -842,8 +844,8 @@ export const middleware: {
    * @since 1.0.0
    * @category middleware
    */
-  <Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, EX = never, RX = never>(
-    api: HttpApi.HttpApi<Groups, Error, ErrorR>,
+  <ApiId extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, EX = never, RX = never>(
+    api: HttpApi.HttpApi<ApiId, Groups, Error, ErrorR>,
     middleware: MiddlewareFn<NoInfer<Error>> | Effect.Effect<MiddlewareFn<NoInfer<Error>>, EX, RX>,
     options?: {
       readonly withContext?: false | undefined
@@ -855,8 +857,8 @@ export const middleware: {
    * @since 1.0.0
    * @category middleware
    */
-  <Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, R, EX = never, RX = never>(
-    api: HttpApi.HttpApi<Groups, Error, ErrorR>,
+  <ApiId extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, R, EX = never, RX = never>(
+    api: HttpApi.HttpApi<ApiId, Groups, Error, ErrorR>,
     middleware: MiddlewareFn<NoInfer<Error>, R> | Effect.Effect<MiddlewareFn<NoInfer<Error>, R>, EX, RX>,
     options: {
       readonly withContext: true
@@ -926,8 +928,8 @@ export const middlewareScoped: {
    * @since 1.0.0
    * @category middleware
    */
-  <Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, EX, RX>(
-    api: HttpApi.HttpApi<Groups, Error, ErrorR>,
+  <ApiId extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, EX, RX>(
+    api: HttpApi.HttpApi<ApiId, Groups, Error, ErrorR>,
     middleware: Effect.Effect<MiddlewareFn<NoInfer<Error>>, EX, RX>,
     options?: {
       readonly withContext?: false | undefined
@@ -940,8 +942,8 @@ export const middlewareScoped: {
    * @since 1.0.0
    * @category middleware
    */
-  <Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, R, EX, RX>(
-    api: HttpApi.HttpApi<Groups, Error, ErrorR>,
+  <ApiId extends string, Groups extends HttpApiGroup.HttpApiGroup.Any, Error, ErrorR, R, EX, RX>(
+    api: HttpApi.HttpApi<ApiId, Groups, Error, ErrorR>,
     middleware: Effect.Effect<MiddlewareFn<NoInfer<Error>, R>, EX, RX>,
     options: {
       readonly withContext: true

package/src/HttpApiClient.ts

@@ -102,8 +102,8 @@ export declare namespace Client {
 /**
  * @internal
  */
-const makeClient = <Groups extends HttpApiGroup.Any, ApiError, ApiR>(
-  api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+const makeClient = <ApiId extends string, Groups extends HttpApiGroup.Any, ApiError, ApiR>(
+  api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   options: {
     readonly predicate?: Predicate.Predicate<{
       readonly endpoint: HttpApiEndpoint.AnyWithProps
@@ -240,8 +240,8 @@ const makeClient = <Groups extends HttpApiGroup.Any, ApiError, ApiR>(
  * @since 1.0.0
  * @category constructors
  */
-export const make = <Groups extends HttpApiGroup.Any, ApiError, ApiR>(
-  api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+export const make = <ApiId extends string, Groups extends HttpApiGroup.Any, ApiError, ApiR>(
+  api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   options?: {
     readonly transformClient?: ((client: HttpClient.HttpClient) => HttpClient.HttpClient) | undefined
     readonly transformResponse?:
@@ -272,12 +272,13 @@ export const make = <Groups extends HttpApiGroup.Any, ApiError, ApiR>(
  * @category constructors
  */
 export const group = <
+  ApiId extends string,
   Groups extends HttpApiGroup.Any,
   ApiError,
   ApiR,
   const GroupName extends Groups["identifier"]
 >(
-  api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+  api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   groupId: GroupName,
   options?: {
     readonly transformClient?: ((client: HttpClient.HttpClient) => HttpClient.HttpClient) | undefined
@@ -311,13 +312,14 @@ export const group = <
  * @category constructors
  */
 export const endpoint = <
+  ApiId extends string,
   Groups extends HttpApiGroup.Any,
   ApiError,
   ApiR,
   const GroupName extends HttpApiGroup.Name<Groups>,
   const EndpointName extends HttpApiEndpoint.Name<HttpApiGroup.EndpointsWithName<Groups, GroupName>>
 >(
-  api: HttpApi.HttpApi<Groups, ApiError, ApiR>,
+  api: HttpApi.HttpApi<ApiId, Groups, ApiError, ApiR>,
   groupName: GroupName,
   endpointName: EndpointName,
   options?: {

package/src/HttpApiError.ts

@@ -109,3 +109,111 @@ export class HttpApiDecodeError extends Schema.TaggedError<HttpApiDecodeError>()
     return Effect.flatMap(HttpApiDecodeError.fromParseError(error), Effect.fail)
   }
 }
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class BadRequest extends HttpApiSchema.EmptyError<BadRequest>()({
+  tag: "BadRequest",
+  status: 400
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class Unauthorized extends HttpApiSchema.EmptyError<Unauthorized>()({
+  tag: "Unauthorized",
+  status: 401
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class Forbidden extends HttpApiSchema.EmptyError<Forbidden>()({
+  tag: "Forbidden",
+  status: 403
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class NotFound extends HttpApiSchema.EmptyError<NotFound>()({
+  tag: "NotFound",
+  status: 404
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class MethodNotAllowed extends HttpApiSchema.EmptyError<MethodNotAllowed>()({
+  tag: "MethodNotAllowed",
+  status: 405
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class NotAcceptable extends HttpApiSchema.EmptyError<NotAcceptable>()({
+  tag: "NotAcceptable",
+  status: 406
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class RequestTimeout extends HttpApiSchema.EmptyError<RequestTimeout>()({
+  tag: "RequestTimeout",
+  status: 408
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class Conflict extends HttpApiSchema.EmptyError<Conflict>()({
+  tag: "Conflict",
+  status: 409
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class Gone extends HttpApiSchema.EmptyError<Gone>()({
+  tag: "Gone",
+  status: 410
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class InternalServerError extends HttpApiSchema.EmptyError<InternalServerError>()({
+  tag: "InternalServerError",
+  status: 500
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class NotImplemented extends HttpApiSchema.EmptyError<NotImplemented>()({
+  tag: "NotImplemented",
+  status: 501
+}) {}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export class ServiceUnavailable extends HttpApiSchema.EmptyError<ServiceUnavailable>()({
+  tag: "ServiceUnavailable",
+  status: 503
+}) {}

package/src/HttpApiGroup.ts

@@ -139,8 +139,9 @@ export interface HttpApiGroup<
  * @since 1.0.0
  * @category models
  */
-export interface ApiGroup<Name extends string> {
+export interface ApiGroup<ApiId extends string, Name extends string> {
   readonly _: unique symbol
+  readonly apiId: ApiId
   readonly name: Name
 }
 
@@ -168,8 +169,8 @@ export declare namespace HttpApiGroup {
    * @since 1.0.0
    * @category models
    */
-  export type ToService<A> = A extends
-    HttpApiGroup<infer Name, infer _Endpoints, infer _Error, infer _R, infer _TopLevel> ? ApiGroup<Name>
+  export type ToService<ApiId extends string, A> = A extends
+    HttpApiGroup<infer Name, infer _Endpoints, infer _Error, infer _R, infer _TopLevel> ? ApiGroup<ApiId, Name>
     : never
 
   /**

package/src/HttpApiSchema.ts

@@ -2,9 +2,12 @@
  * @since 1.0.0
  */
 import type { Brand } from "effect/Brand"
+import * as Effect from "effect/Effect"
+import * as Effectable from "effect/Effectable"
 import type { LazyArg } from "effect/Function"
-import { constVoid, dual } from "effect/Function"
+import { constant, constVoid, dual } from "effect/Function"
 import { globalValue } from "effect/GlobalValue"
+import { hasProperty } from "effect/Predicate"
 import * as Schema from "effect/Schema"
 import * as AST from "effect/SchemaAST"
 import * as Struct from "effect/Struct"
@@ -245,7 +248,7 @@ export const asEmpty: {
     self: S,
     options: {
       readonly status: number
-      readonly decode?: LazyArg<Schema.Schema.Type<S>>
+      readonly decode: LazyArg<Schema.Schema.Type<S>>
     }
   ): asEmpty<S>
 } = dual(
@@ -254,14 +257,14 @@ export const asEmpty: {
     self: S,
     options: {
       readonly status: number
-      readonly decode?: LazyArg<Schema.Schema.Type<S>>
+      readonly decode: LazyArg<Schema.Schema.Type<S>>
     }
   ): asEmpty<S> =>
     Schema.transform(
-      Schema.Void,
+      Schema.Void.annotations(self.ast.annotations),
       Schema.typeSchema(self),
       {
-        decode: options.decode as any,
+        decode: options.decode,
         encode: constVoid
       }
     ).annotations(annotations({
@@ -482,3 +485,58 @@ export const deunionize = (
     schemas.add(schema)
   }
 }
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export interface EmptyErrorClass<Self, Tag> extends Schema.Schema<Self, void> {
+  new(_: void): { readonly _tag: Tag } & Effect.Effect<never, Self>
+}
+
+/**
+ * @since 1.0.0
+ * @category empty errors
+ */
+export const EmptyError = <Self>() =>
+<const Tag extends string>(options: {
+  readonly tag: Tag
+  readonly status: number
+}): EmptyErrorClass<Self, Tag> => {
+  const symbol = Symbol.for(`@effect/platform/HttpApiSchema/EmptyError/${options.tag}`)
+  class EmptyError extends Effectable.StructuralClass<never, Self> {
+    readonly _tag: Tag = options.tag
+    commit(): Effect.Effect<never, Self> {
+      return Effect.fail(this) as any
+    }
+  }
+  ;(EmptyError as any).prototype[symbol] = symbol
+  Object.assign(EmptyError, {
+    [Schema.TypeId]: Schema.Void[Schema.TypeId],
+    pipe: Schema.Void.pipe,
+    annotations(this: any, annotations: any) {
+      return Schema.make(this.ast).annotations(annotations)
+    }
+  })
+  let transform: Schema.Schema.Any | undefined
+  Object.defineProperty(EmptyError, "ast", {
+    get() {
+      if (transform) {
+        return transform.ast
+      }
+      const self = this as any
+      transform = asEmpty(
+        Schema.declare((u) => hasProperty(u, symbol), {
+          identifier: options.tag,
+          title: options.tag
+        }),
+        {
+          status: options.status,
+          decode: constant(new self())
+        }
+      )
+      return transform.ast
+    }
+  })
+  return EmptyError as any
+}