@effect/ai 0.29.1 → 0.31.0

package/dist/esm/Tool.js.map

@@ -1 +1 @@
-{"version":3,"file":"Tool.js","names":["Context","Effect","constFalse","constTrue","identity","JsonSchema","Option","pipeArguments","Predicate","Schema","AST","AiError","TypeId","ProviderDefinedTypeId","isUserDefined","u","hasProperty","isProviderDefined","Proto","_Requirements","pipe","arguments","addDependency","userDefinedProto","setParameters","parametersSchema","isSchema","Struct","setSuccess","successSchema","setFailure","failureSchema","annotate","tag","value","annotations","add","annotateContext","context","merge","ProviderDefinedProto","decodeResult","result","decodeUnknown","orElse","mapError","cause","MalformedOutput","module","method","description","name","options","self","Object","assign","create","id","providerDefinedProto","constEmptyStruct","make","success","Void","failure","Never","parameters","empty","providerDefined","args","resultSchema","EitherFromUnion","right","left","toolkitName","providerName","argsSchema","requiresHandler","fromTaggedRequest","schema","_tag","getOrUndefined","getDescriptionAnnotation","ast","to","getDescription","tool","isNotUndefined","getDescriptionFromSchemaAst","DescriptionAnnotationId","undefined","getJsonSchema","getJsonSchemaFromSchemaAst","props","getPropertySignatures","length","type","properties","required","additionalProperties","$defs","fromAST","definitions","topLevelReferenceStrategy","keys","Title","Tag","Readonly","Reference","defaultValue","Destructive","Idempotent","OpenWorld","suspectProtoRx","suspectConstructorRx","_parse","text","obj","JSON","parse","test","filter","next","nodes","node","prototype","hasOwnProperty","call","SyntaxError","constructor","key","push","unsafeSecureJsonParse","stackTraceLimit","Error"],"sources":["../../src/Tool.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,KAAKA,OAAO,MAAM,gBAAgB;AACzC,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,SAASC,UAAU,EAAEC,SAAS,EAAEC,QAAQ,QAAQ,iBAAiB;AACjE,OAAO,KAAKC,UAAU,MAAM,mBAAmB;AAC/C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,SAASC,aAAa,QAAQ,iBAAiB;AAC/C,OAAO,KAAKC,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,GAAG,MAAM,kBAAkB;AAEvC,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;AACA;AACA;AAEA;;;;;;AAMA,OAAO,MAAMC,MAAM,GAAG,kBAAkB;AAUxC;;;;;;AAMA,OAAO,MAAMC,qBAAqB,GAAG,kCAAkC;AAkRvE;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMC,aAAa,GAAIC,CAAU,IACtCP,SAAS,CAACQ,WAAW,CAACD,CAAC,EAAEH,MAAM,CAAC,IAAI,CAACK,iBAAiB,CAACF,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAME,iBAAiB,GAAIF,CAAU,IAC1CP,SAAS,CAACQ,WAAW,CAACD,CAAC,EAAEF,qBAAqB,CAAC;AA6QjD;AACA;AACA;AAEA,MAAMK,KAAK,GAAG;EACZ,CAACN,MAAM,GAAG;IAAEO,aAAa,EAAEf;EAAQ,CAAE;EACrCgB,IAAIA,CAAA;IACF,OAAOb,aAAa,CAAC,IAAI,EAAEc,SAAS,CAAC;EACvC,CAAC;EACDC,aAAaA,CAAA;IACX,OAAOC,gBAAgB,CAAC;MAAE,GAAG;IAAI,CAAE,CAAC;EACtC,CAAC;EACDC,aAAaA,CAAYC,gBAA2D;IAClF,OAAOF,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPE,gBAAgB,EAAEhB,MAAM,CAACiB,QAAQ,CAACD,gBAAgB,CAAC,GAC/CA,gBAAuB,GACvBhB,MAAM,CAACkB,MAAM,CAACF,gBAAuB;KAC1C,CAAC;EACJ,CAAC;EACDG,UAAUA,CAAYC,aAAgC;IACpD,OAAON,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPM;KACD,CAAC;EACJ,CAAC;EACDC,UAAUA,CAAYC,aAAgC;IACpD,OAAOR,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPQ;KACD,CAAC;EACJ,CAAC;EACDC,QAAQA,CAAkBC,GAAsB,EAAEC,KAAQ;IACxD,OAAOX,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPY,WAAW,EAAEnC,OAAO,CAACoC,GAAG,CAAC,IAAI,CAACD,WAAW,EAAEF,GAAG,EAAEC,KAAK;KACtD,CAAC;EACJ,CAAC;EACDG,eAAeA,CAAeC,OAA2B;IACvD,OAAOf,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPY,WAAW,EAAEnC,OAAO,CAACuC,KAAK,CAAC,IAAI,CAACJ,WAAW,EAAEG,OAAO;KACrD,CAAC;EACJ;CACD;AAED,MAAME,oBAAoB,GAAG;EAC3B,GAAGtB,KAAK;EACR,CAACL,qBAAqB,GAAGA,qBAAqB;EAC9C4B,YAAYA,CAA2BC,MAAe;IACpD,OAAOjC,MAAM,CAACkC,aAAa,CAAC,IAAI,CAACd,aAAa,CAAC,CAACa,MAAM,CAAC,CAACtB,IAAI,CAC1DnB,MAAM,CAAC2C,MAAM,CAAC,MAAMnC,MAAM,CAACkC,aAAa,CAAC,IAAI,CAACZ,aAAoB,CAAC,CAACW,MAAM,CAAC,CAAC,EAC5EzC,MAAM,CAAC4C,QAAQ,CAAEC,KAAK,IACpB,IAAInC,OAAO,CAACoC,eAAe,CAAC;MAC1BC,MAAM,EAAE,MAAM;MACdC,MAAM,EAAE,8BAA8B;MACtCC,WAAW,EAAE,yDAAyD,IAAI,CAACC,IAAI,GAAG;MAClFL;KACD,CAAC,CACH,CACF;EACH;CACD;AAED,MAAMvB,gBAAgB,GAKpB6B,OAOD,IAOG;EACF,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACD,MAAM,CAACE,MAAM,CAACtC,KAAK,CAAC,EAAEkC,OAAO,CAAC;EACzDC,IAAI,CAACI,EAAE,GAAG,mBAAmBL,OAAO,CAACD,IAAI,EAAE;EAC3C,OAAOE,IAAI;AACb,CAAC;AAED,MAAMK,oBAAoB,GAOxBN,OAUD,IASIE,MAAM,CAACC,MAAM,CAACD,MAAM,CAACE,MAAM,CAAChB,oBAAoB,CAAC,EAAEY,OAAO,CAAC;AAEhE,MAAMO,gBAAgB,gBAAGlD,MAAM,CAACkB,MAAM,CAAC,EAAE,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMiC,IAAI,GAAGA;AAOlB;;;AAGAT,IAAU,EACVC,OAqBC,KASC;EACF,MAAMvB,aAAa,GAAGuB,OAAO,EAAES,OAAO,IAAIpD,MAAM,CAACqD,IAAI;EACrD,MAAM/B,aAAa,GAAGqB,OAAO,EAAEW,OAAO,IAAItD,MAAM,CAACuD,KAAK;EACtD,OAAOzC,gBAAgB,CAAC;IACtB4B,IAAI;IACJD,WAAW,EAAEE,OAAO,EAAEF,WAAW;IACjCzB,gBAAgB,EAAE2B,OAAO,EAAEa,UAAU,GACjCxD,MAAM,CAACkB,MAAM,CAACyB,OAAO,EAAEa,UAAiB,CAAC,GACzCN,gBAAgB;IACpB9B,aAAa;IACbE,aAAa;IACbI,WAAW,EAAEnC,OAAO,CAACkE,KAAK;GAC3B,CAAQ;AACX,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMC,eAAe,GAO1Bf,OAiCD,IACAgB,IAAkD,IAS/C;EACF,MAAMvC,aAAa,GAAGuB,OAAO,EAAES,OAAO,IAAIpD,MAAM,CAACqD,IAAI;EACrD,MAAM/B,aAAa,GAAGqB,OAAO,EAAEW,OAAO,IAAItD,MAAM,CAACuD,KAAK;EACtD,MAAMK,YAAY,GAAG5D,MAAM,CAAC6D,eAAe,CAAC;IAAEC,KAAK,EAAE1C,aAAa;IAAE2C,IAAI,EAAEzC;EAAa,CAAE,CAAC;EAC1F,OAAO2B,oBAAoB,CAAC;IAC1BD,EAAE,EAAEL,OAAO,CAACK,EAAE;IACdN,IAAI,EAAEC,OAAO,CAACqB,WAAW;IACzBC,YAAY,EAAEtB,OAAO,CAACsB,YAAY;IAClCN,IAAI;IACJO,UAAU,EAAElE,MAAM,CAACkB,MAAM,CAACyB,OAAO,CAACgB,IAAW,CAAC;IAC9CQ,eAAe,EAAExB,OAAO,CAACwB,eAAe,IAAI,KAAK;IACjDnD,gBAAgB,EAAE2B,OAAO,EAAEa,UAAU,GACjCxD,MAAM,CAACkB,MAAM,CAACyB,OAAO,EAAEa,UAAiB,CAAC,GACzCN,gBAAgB;IACpB9B,aAAa,EAAEuB,OAAO,CAACwB,eAAe,KAAK,IAAI,GAAG/C,aAAa,GAAGwC,YAAY;IAC9EtC,aAAa,EAAEqB,OAAO,CAACwB,eAAe,KAAK,IAAI,GAAG7C,aAAa,GAAGtB,MAAM,CAACuD;GAC1E,CAAQ;AACX,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,OAAO,MAAMa,iBAAiB,GAC5BC,MAAS,IAETvD,gBAAgB,CAAC;EACf4B,IAAI,EAAE2B,MAAM,CAACC,IAAI;EACjB7B,WAAW,EAAE5C,MAAM,CAAC0E,cAAc,CAACtE,GAAG,CAACuE,wBAAwB,CAAEH,MAAM,CAACI,GAAW,CAACC,EAAE,CAAC,CAAC;EACxF1D,gBAAgB,EAAEqD,MAAM;EACxBjD,aAAa,EAAEiD,MAAM,CAACjB,OAAO;EAC7B9B,aAAa,EAAE+C,MAAM,CAACf,OAAO;EAC7B5B,WAAW,EAAEnC,OAAO,CAACkE,KAAK;CAC3B,CAAQ;AAEX;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMkB,cAAc,GAAGA;AAQ5B;;;AAGAC,IAAwB,KACF;EACtB,IAAI7E,SAAS,CAAC8E,cAAc,CAACD,IAAI,CAACnC,WAAW,CAAC,EAAE;IAC9C,OAAOmC,IAAI,CAACnC,WAAW;EACzB;EACA,OAAOqC,2BAA2B,CAACF,IAAI,CAAC5D,gBAAgB,CAACyD,GAAG,CAAC;AAC/D,CAAC;AAED;;;;AAIA,OAAO,MAAMK,2BAA2B,GAAIL,GAAY,IAAwB;EAC9E,MAAM/C,WAAW,GAAG+C,GAAG,CAACH,IAAI,KAAK,gBAAgB,GAC/C;IACE,GAAGG,GAAG,CAACC,EAAE,CAAChD,WAAW;IACrB,GAAG+C,GAAG,CAAC/C;GACR,GACD+C,GAAG,CAAC/C,WAAW;EACjB,OAAOzB,GAAG,CAAC8E,uBAAuB,IAAIrD,WAAW,GAC7CA,WAAW,CAACzB,GAAG,CAAC8E,uBAAuB,CAAW,GACpDC,SAAS;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMC,aAAa,GAOxBL,IAAwB,IAA6BM,0BAA0B,CAACN,IAAI,CAAC5D,gBAAgB,CAACyD,GAAG,CAAC;AAE5G;;;;AAIA,OAAO,MAAMS,0BAA0B,GAAIT,GAAY,IAA4B;EACjF,MAAMU,KAAK,GAAGlF,GAAG,CAACmF,qBAAqB,CAACX,GAAG,CAAC;EAC5C,IAAIU,KAAK,CAACE,MAAM,KAAK,CAAC,EAAE;IACtB,OAAO;MACLC,IAAI,EAAE,QAAQ;MACdC,UAAU,EAAE,EAAE;MACdC,QAAQ,EAAE,EAAE;MACZC,oBAAoB,EAAE;KACvB;EACH;EACA,MAAMC,KAAK,GAAG,EAAE;EAChB,MAAMrB,MAAM,GAAGzE,UAAU,CAAC+F,OAAO,CAAClB,GAAG,EAAE;IACrCmB,WAAW,EAAEF,KAAK;IAClBG,yBAAyB,EAAE;GAC5B,CAAC;EACF,IAAIhD,MAAM,CAACiD,IAAI,CAACJ,KAAK,CAAC,CAACL,MAAM,KAAK,CAAC,EAAE,OAAOhB,MAAM;EAChDA,MAAc,CAACqB,KAAK,GAAGA,KAAK;EAC9B,OAAOrB,MAAM;AACf,CAAC;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;AAcA,OAAM,MAAO0B,KAAM,sBAAQxG,OAAO,CAACyG,GAAG,CAAC,uBAAuB,CAAC,EAAiB;AAEhF;;;;;;;;;;;;;;AAcA,OAAM,MAAOC,QAAS,sBAAQ1G,OAAO,CAAC2G,SAAS,EAAY,CAAC,0BAA0B,EAAE;EACtFC,YAAY,EAAE1G;CACf,CAAC;AAEF;;;;;;;;;;;;;;AAcA,OAAM,MAAO2G,WAAY,sBAAQ7G,OAAO,CAAC2G,SAAS,EAAe,CAAC,6BAA6B,EAAE;EAC/FC,YAAY,EAAEzG;CACf,CAAC;AAEF;;;;;;;;;;;;;;AAcA,OAAM,MAAO2G,UAAW,sBAAQ9G,OAAO,CAAC2G,SAAS,EAAc,CAAC,4BAA4B,EAAE;EAC5FC,YAAY,EAAE1G;CACf,CAAC;AAEF;;;;;;;;;;;;;;AAcA,OAAM,MAAO6G,SAAU,sBAAQ/G,OAAO,CAAC2G,SAAS,EAAa,CAAC,2BAA2B,EAAE;EACzFC,YAAY,EAAEzG;CACf,CAAC;AAEF;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AAEA,MAAM6G,cAAc,GAAG,iBAAiB;AACxC,MAAMC,oBAAoB,GAAG,mBAAmB;AAEhD,SAASC,MAAMA,CAACC,IAAY;EAC1B;EACA,MAAMC,GAAG,GAAGC,IAAI,CAACC,KAAK,CAACH,IAAI,CAAC;EAE5B;EACA,IAAIC,GAAG,KAAK,IAAI,IAAI,OAAOA,GAAG,KAAK,QAAQ,EAAE;IAC3C,OAAOA,GAAG;EACZ;EAEA,IACEJ,cAAc,CAACO,IAAI,CAACJ,IAAI,CAAC,KAAK,KAAK,IACnCF,oBAAoB,CAACM,IAAI,CAACJ,IAAI,CAAC,KAAK,KAAK,EACzC;IACA,OAAOC,GAAG;EACZ;EAEA;EACA,OAAOI,MAAM,CAACJ,GAAG,CAAC;AACpB;AAEA,SAASI,MAAMA,CAACJ,GAAQ;EACtB,IAAIK,IAAI,GAAG,CAACL,GAAG,CAAC;EAEhB,OAAOK,IAAI,CAAC3B,MAAM,EAAE;IAClB,MAAM4B,KAAK,GAAGD,IAAI;IAClBA,IAAI,GAAG,EAAE;IAET,KAAK,MAAME,IAAI,IAAID,KAAK,EAAE;MACxB,IAAIpE,MAAM,CAACsE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,EAAE,WAAW,CAAC,EAAE;QAC3D,MAAM,IAAII,WAAW,CAAC,8CAA8C,CAAC;MACvE;MAEA,IACEzE,MAAM,CAACsE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,EAAE,aAAa,CAAC,IACzDrE,MAAM,CAACsE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,CAACK,WAAW,EAAE,WAAW,CAAC,EACnE;QACA,MAAM,IAAID,WAAW,CAAC,8CAA8C,CAAC;MACvE;MAEA,KAAK,MAAME,GAAG,IAAIN,IAAI,EAAE;QACtB,MAAMzF,KAAK,GAAGyF,IAAI,CAACM,GAAG,CAAC;QACvB,IAAI/F,KAAK,IAAI,OAAOA,KAAK,KAAK,QAAQ,EAAE;UACtCuF,IAAI,CAACS,IAAI,CAAChG,KAAK,CAAC;QAClB;MACF;IACF;EACF;EACA,OAAOkF,GAAG;AACZ;AAEA;;;;;;;AAOA,OAAO,MAAMe,qBAAqB,GAAIhB,IAAY,IAAa;EAC7D;EACA,MAAM;IAAEiB;EAAe,CAAE,GAAGC,KAAK;EACjCA,KAAK,CAACD,eAAe,GAAG,CAAC;EACzB,IAAI;IACF,OAAOlB,MAAM,CAACC,IAAI,CAAC;EACrB,CAAC,SAAS;IACRkB,KAAK,CAACD,eAAe,GAAGA,eAAe;EACzC;AACF,CAAC","ignoreList":[]}
+{"version":3,"file":"Tool.js","names":["Context","constFalse","constTrue","identity","JsonSchema","Option","pipeArguments","Predicate","Schema","AST","TypeId","ProviderDefinedTypeId","isUserDefined","u","hasProperty","isProviderDefined","Proto","_Requirements","pipe","arguments","addDependency","userDefinedProto","setParameters","parametersSchema","isSchema","Struct","setSuccess","successSchema","setFailure","failureSchema","annotate","tag","value","annotations","add","annotateContext","context","merge","ProviderDefinedProto","options","self","Object","assign","create","id","name","providerDefinedProto","constEmptyStruct","make","success","Void","failure","Never","description","parameters","failureMode","empty","providerDefined","args","undefined","toolkitName","providerName","argsSchema","requiresHandler","fromTaggedRequest","schema","_tag","getOrUndefined","getDescriptionAnnotation","ast","to","getDescription","tool","isNotUndefined","getDescriptionFromSchemaAst","DescriptionAnnotationId","getJsonSchema","getJsonSchemaFromSchemaAst","props","getPropertySignatures","length","type","properties","required","additionalProperties","$defs","fromAST","definitions","topLevelReferenceStrategy","keys","Title","Tag","Readonly","Reference","defaultValue","Destructive","Idempotent","OpenWorld","suspectProtoRx","suspectConstructorRx","_parse","text","obj","JSON","parse","test","filter","next","nodes","node","prototype","hasOwnProperty","call","SyntaxError","constructor","key","push","unsafeSecureJsonParse","stackTraceLimit","Error"],"sources":["../../src/Tool.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4BA,OAAO,KAAKA,OAAO,MAAM,gBAAgB;AAEzC,SAASC,UAAU,EAAEC,SAAS,EAAEC,QAAQ,QAAQ,iBAAiB;AACjE,OAAO,KAAKC,UAAU,MAAM,mBAAmB;AAC/C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,SAASC,aAAa,QAAQ,iBAAiB;AAC/C,OAAO,KAAKC,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,OAAO,KAAKC,GAAG,MAAM,kBAAkB;AAIvC;AACA;AACA;AAEA;;;;;;AAMA,OAAO,MAAMC,MAAM,GAAG,kBAAkB;AAUxC;;;;;;AAMA,OAAO,MAAMC,qBAAqB,GAAG,kCAAkC;AA2TvE;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMC,aAAa,GAAIC,CAAU,IACtCN,SAAS,CAACO,WAAW,CAACD,CAAC,EAAEH,MAAM,CAAC,IAAI,CAACK,iBAAiB,CAACF,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,OAAO,MAAME,iBAAiB,GAC5BF,CAAU,IAC4BN,SAAS,CAACO,WAAW,CAACD,CAAC,EAAEF,qBAAqB,CAAC;AAwUvF;AACA;AACA;AAEA,MAAMK,KAAK,GAAG;EACZ,CAACN,MAAM,GAAG;IAAEO,aAAa,EAAEd;EAAQ,CAAE;EACrCe,IAAIA,CAAA;IACF,OAAOZ,aAAa,CAAC,IAAI,EAAEa,SAAS,CAAC;EACvC,CAAC;EACDC,aAAaA,CAAA;IACX,OAAOC,gBAAgB,CAAC;MAAE,GAAG;IAAI,CAAE,CAAC;EACtC,CAAC;EACDC,aAAaA,CAEXC,gBAA2D;IAE3D,OAAOF,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPE,gBAAgB,EAAEf,MAAM,CAACgB,QAAQ,CAACD,gBAAgB,CAAC,GAC9CA,gBAAwB,GACzBf,MAAM,CAACiB,MAAM,CAACF,gBAAuB;KAC1C,CAAC;EACJ,CAAC;EACDG,UAAUA,CAAYC,aAAgC;IACpD,OAAON,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPM;KACD,CAAC;EACJ,CAAC;EACDC,UAAUA,CAAYC,aAAgC;IACpD,OAAOR,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPQ;KACD,CAAC;EACJ,CAAC;EACDC,QAAQA,CAAkBC,GAAsB,EAAEC,KAAQ;IACxD,OAAOX,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPY,WAAW,EAAEjC,OAAO,CAACkC,GAAG,CAAC,IAAI,CAACD,WAAW,EAAEF,GAAG,EAAEC,KAAK;KACtD,CAAC;EACJ,CAAC;EACDG,eAAeA,CAAeC,OAA2B;IACvD,OAAOf,gBAAgB,CAAC;MACtB,GAAG,IAAI;MACPY,WAAW,EAAEjC,OAAO,CAACqC,KAAK,CAAC,IAAI,CAACJ,WAAW,EAAEG,OAAO;KACrD,CAAC;EACJ;CACD;AAED,MAAME,oBAAoB,GAAG;EAC3B,GAAGtB,KAAK;EACR,CAACL,qBAAqB,GAAGA;CAC1B;AAED,MAAMU,gBAAgB,GAMpBkB,OAQD,IAQG;EACF,MAAMC,IAAI,GAAGC,MAAM,CAACC,MAAM,CAACD,MAAM,CAACE,MAAM,CAAC3B,KAAK,CAAC,EAAEuB,OAAO,CAAC;EACzDC,IAAI,CAACI,EAAE,GAAG,mBAAmBL,OAAO,CAACM,IAAI,EAAE;EAC3C,OAAOL,IAAI;AACb,CAAC;AAED,MAAMM,oBAAoB,GAQxBP,OAWD,IAUIE,MAAM,CAACC,MAAM,CAACD,MAAM,CAACE,MAAM,CAACL,oBAAoB,CAAC,EAAEC,OAAO,CAAC;AAEhE,MAAMQ,gBAAgB,gBAAGvC,MAAM,CAACiB,MAAM,CAAC,EAAE,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMuB,IAAI,GAAGA;AAQlB;;;AAGAH,IAAU,EACVN,OAgCC,KAUC;EACF,MAAMZ,aAAa,GAAGY,OAAO,EAAEU,OAAO,IAAIzC,MAAM,CAAC0C,IAAI;EACrD,MAAMrB,aAAa,GAAGU,OAAO,EAAEY,OAAO,IAAI3C,MAAM,CAAC4C,KAAK;EACtD,OAAO/B,gBAAgB,CAAC;IACtBwB,IAAI;IACJQ,WAAW,EAAEd,OAAO,EAAEc,WAAW;IACjC9B,gBAAgB,EAAEgB,OAAO,EAAEe,UAAU,GACjC9C,MAAM,CAACiB,MAAM,CAACc,OAAO,EAAEe,UAAiB,CAAC,GACzCP,gBAAgB;IACpBpB,aAAa;IACbE,aAAa;IACb0B,WAAW,EAAEhB,OAAO,EAAEgB,WAAW,IAAI,OAAO;IAC5CtB,WAAW,EAAEjC,OAAO,CAACwD,KAAK;GAC3B,CAAQ;AACX,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMC,eAAe,GAO1BlB,OAiCD,IAECmB,IAegD,IAW9C;EACF,MAAMH,WAAW,GAAG,aAAa,IAAIG,IAAI,GAAGA,IAAI,CAACH,WAAW,GAAGI,SAAS;EACxE,MAAMhC,aAAa,GAAGY,OAAO,EAAEU,OAAO,IAAIzC,MAAM,CAAC0C,IAAI;EACrD,MAAMrB,aAAa,GAAGU,OAAO,EAAEY,OAAO,IAAI3C,MAAM,CAAC4C,KAAK;EACtD,OAAON,oBAAoB,CAAC;IAC1BF,EAAE,EAAEL,OAAO,CAACK,EAAE;IACdC,IAAI,EAAEN,OAAO,CAACqB,WAAW;IACzBC,YAAY,EAAEtB,OAAO,CAACsB,YAAY;IAClCH,IAAI;IACJI,UAAU,EAAEtD,MAAM,CAACiB,MAAM,CAACc,OAAO,CAACmB,IAAW,CAAC;IAC9CK,eAAe,EAAExB,OAAO,CAACwB,eAAe,IAAI,KAAK;IACjDxC,gBAAgB,EAAEgB,OAAO,EAAEe,UAAU,GACjC9C,MAAM,CAACiB,MAAM,CAACc,OAAO,EAAEe,UAAiB,CAAC,GACzCP,gBAAgB;IACpBpB,aAAa;IACbE,aAAa;IACb0B,WAAW,EAAEA,WAAW,IAAI;GAC7B,CAAQ;AACX,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmCA,OAAO,MAAMS,iBAAiB,GAC5BC,MAAS,IAET5C,gBAAgB,CAAC;EACfwB,IAAI,EAAEoB,MAAM,CAACC,IAAI;EACjBb,WAAW,EAAEhD,MAAM,CAAC8D,cAAc,CAChC1D,GAAG,CAAC2D,wBAAwB,CAAEH,MAAM,CAACI,GAAW,CAACC,EAAE,CAAC,CACrD;EACD/C,gBAAgB,EAAE0C,MAAM;EACxBtC,aAAa,EAAEsC,MAAM,CAAChB,OAAO;EAC7BpB,aAAa,EAAEoC,MAAM,CAACd,OAAO;EAC7BI,WAAW,EAAE,OAAO;EACpBtB,WAAW,EAAEjC,OAAO,CAACwD,KAAK;CAC3B,CAAQ;AAEX;AACA;AACA;AAEA;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMe,cAAc,GAAGA;AAS5B;;;AAGAC,IAAwB,KACF;EACtB,IAAIjE,SAAS,CAACkE,cAAc,CAACD,IAAI,CAACnB,WAAW,CAAC,EAAE;IAC9C,OAAOmB,IAAI,CAACnB,WAAW;EACzB;EACA,OAAOqB,2BAA2B,CAACF,IAAI,CAACjD,gBAAgB,CAAC8C,GAAG,CAAC;AAC/D,CAAC;AAED;;;;AAIA,OAAO,MAAMK,2BAA2B,GACtCL,GAAY,IACU;EACtB,MAAMpC,WAAW,GAAGoC,GAAG,CAACH,IAAI,KAAK,gBAAgB,GAC7C;IACA,GAAGG,GAAG,CAACC,EAAE,CAACrC,WAAW;IACrB,GAAGoC,GAAG,CAACpC;GACR,GACCoC,GAAG,CAACpC,WAAW;EACnB,OAAOxB,GAAG,CAACkE,uBAAuB,IAAI1C,WAAW,GAC5CA,WAAW,CAACxB,GAAG,CAACkE,uBAAuB,CAAY,GACpDhB,SAAS;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,OAAO,MAAMiB,aAAa,GASxBJ,IAAwB,IACGK,0BAA0B,CAACL,IAAI,CAACjD,gBAAgB,CAAC8C,GAAG,CAAC;AAElF;;;;AAIA,OAAO,MAAMQ,0BAA0B,GACrCR,GAAY,IACc;EAC1B,MAAMS,KAAK,GAAGrE,GAAG,CAACsE,qBAAqB,CAACV,GAAG,CAAC;EAC5C,IAAIS,KAAK,CAACE,MAAM,KAAK,CAAC,EAAE;IACtB,OAAO;MACLC,IAAI,EAAE,QAAQ;MACdC,UAAU,EAAE,EAAE;MACdC,QAAQ,EAAE,EAAE;MACZC,oBAAoB,EAAE;KACvB;EACH;EACA,MAAMC,KAAK,GAAG,EAAE;EAChB,MAAMpB,MAAM,GAAG7D,UAAU,CAACkF,OAAO,CAACjB,GAAG,EAAE;IACrCkB,WAAW,EAAEF,KAAK;IAClBG,yBAAyB,EAAE;GAC5B,CAAC;EACF,IAAI/C,MAAM,CAACgD,IAAI,CAACJ,KAAK,CAAC,CAACL,MAAM,KAAK,CAAC,EAAE,OAAOf,MAAM;EAChDA,MAAc,CAACoB,KAAK,GAAGA,KAAK;EAC9B,OAAOpB,MAAM;AACf,CAAC;AAED;AACA;AACA;AAEA;;;;;;;;;;;;;;AAcA,OAAM,MAAOyB,KAAM,sBAAQ1F,OAAO,CAAC2F,GAAG,CAAC,uBAAuB,CAAC,EAG5D;AAEH;;;;;;;;;;;;;;AAcA,OAAM,MAAOC,QAAS,sBAAQ5F,OAAO,CAAC6F,SAAS,EAAY,CACzD,0BAA0B,EAC1B;EACEC,YAAY,EAAE7F;CACf,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAM,MAAO8F,WAAY,sBAAQ/F,OAAO,CAAC6F,SAAS,EAAe,CAC/D,6BAA6B,EAC7B;EACEC,YAAY,EAAE5F;CACf,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAM,MAAO8F,UAAW,sBAAQhG,OAAO,CAAC6F,SAAS,EAAc,CAC7D,4BAA4B,EAC5B;EACEC,YAAY,EAAE7F;CACf,CACF;AAED;;;;;;;;;;;;;;AAcA,OAAM,MAAOgG,SAAU,sBAAQjG,OAAO,CAAC6F,SAAS,EAAa,CAC3D,2BAA2B,EAC3B;EACEC,YAAY,EAAE5F;CACf,CACF;AAED;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AAEA,MAAMgG,cAAc,GAAG,iBAAiB;AACxC,MAAMC,oBAAoB,GAAG,mBAAmB;AAEhD,SAASC,MAAMA,CAACC,IAAY;EAC1B;EACA,MAAMC,GAAG,GAAGC,IAAI,CAACC,KAAK,CAACH,IAAI,CAAC;EAE5B;EACA,IAAIC,GAAG,KAAK,IAAI,IAAI,OAAOA,GAAG,KAAK,QAAQ,EAAE;IAC3C,OAAOA,GAAG;EACZ;EAEA,IACEJ,cAAc,CAACO,IAAI,CAACJ,IAAI,CAAC,KAAK,KAAK,IACnCF,oBAAoB,CAACM,IAAI,CAACJ,IAAI,CAAC,KAAK,KAAK,EACzC;IACA,OAAOC,GAAG;EACZ;EAEA;EACA,OAAOI,MAAM,CAACJ,GAAG,CAAC;AACpB;AAEA,SAASI,MAAMA,CAACJ,GAAQ;EACtB,IAAIK,IAAI,GAAG,CAACL,GAAG,CAAC;EAEhB,OAAOK,IAAI,CAAC3B,MAAM,EAAE;IAClB,MAAM4B,KAAK,GAAGD,IAAI;IAClBA,IAAI,GAAG,EAAE;IAET,KAAK,MAAME,IAAI,IAAID,KAAK,EAAE;MACxB,IAAInE,MAAM,CAACqE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,EAAE,WAAW,CAAC,EAAE;QAC3D,MAAM,IAAII,WAAW,CAAC,8CAA8C,CAAC;MACvE;MAEA,IACExE,MAAM,CAACqE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,EAAE,aAAa,CAAC,IACzDpE,MAAM,CAACqE,SAAS,CAACC,cAAc,CAACC,IAAI,CAACH,IAAI,CAACK,WAAW,EAAE,WAAW,CAAC,EACnE;QACA,MAAM,IAAID,WAAW,CAAC,8CAA8C,CAAC;MACvE;MAEA,KAAK,MAAME,GAAG,IAAIN,IAAI,EAAE;QACtB,MAAM7E,KAAK,GAAG6E,IAAI,CAACM,GAAG,CAAC;QACvB,IAAInF,KAAK,IAAI,OAAOA,KAAK,KAAK,QAAQ,EAAE;UACtC2E,IAAI,CAACS,IAAI,CAACpF,KAAK,CAAC;QAClB;MACF;IACF;EACF;EACA,OAAOsE,GAAG;AACZ;AAEA;;;;;;;AAOA,OAAO,MAAMe,qBAAqB,GAAIhB,IAAY,IAAa;EAC7D;EACA,MAAM;IAAEiB;EAAe,CAAE,GAAGC,KAAK;EACjCA,KAAK,CAACD,eAAe,GAAG,CAAC;EACzB,IAAI;IACF,OAAOlB,MAAM,CAACC,IAAI,CAAC;EACrB,CAAC,SAAS;IACRkB,KAAK,CAACD,eAAe,GAAGA,eAAe;EACzC;AACF,CAAC","ignoreList":[]}

package/dist/esm/Toolkit.js

@@ -43,6 +43,7 @@ import { CommitPrototype } from "effect/Effectable";
 import { identity } from "effect/Function";
 import { BaseProto as InspectableProto } from "effect/Inspectable";
 import * as Layer from "effect/Layer";
+import * as ParseResult from "effect/ParseResult";
 import { pipeArguments } from "effect/Pipeable";
 import * as Predicate from "effect/Predicate";
 import * as Schema from "effect/Schema";
@@ -86,17 +87,16 @@ const Proto = {
         let schemas = schemasCache.get(tool);
         if (Predicate.isUndefined(schemas)) {
           const handler = context.unsafeMap.get(tool.id);
-          const encodeSuccess = Schema.encodeUnknown(tool.successSchema);
-          const encodeFailure = Schema.encodeUnknown(tool.failureSchema);
-          const decodeFailure = Schema.decodeUnknown(tool.failureSchema);
           const decodeParameters = Schema.decodeUnknown(tool.parametersSchema);
+          const resultSchema = Schema.Union(tool.successSchema, tool.failureSchema);
+          const validateResult = Schema.validate(resultSchema);
+          const encodeResult = Schema.encodeUnknown(resultSchema);
           schemas = {
             context: handler.context,
             handler: handler.handler,
-            encodeSuccess,
-            encodeFailure,
-            decodeFailure,
-            decodeParameters
+            decodeParameters,
+            validateResult,
+            encodeResult
           };
           schemasCache.set(tool, schemas);
         }
@@ -125,19 +125,34 @@ const Proto = {
           description: `Failed to decode tool call parameters for tool '${name}' from:\n'${JSON.stringify(params, undefined, 2)}'`,
           cause
         }));
-        const result = yield* schemas.handler(decodedParams).pipe(Effect.mapInputContext(input => Context.merge(schemas.context, input)), Effect.catchAll(error => schemas.decodeFailure(error).pipe(Effect.mapError(cause => new AiError.MalformedInput({
+        const {
+          isFailure,
+          result
+        } = yield* schemas.handler(decodedParams).pipe(Effect.map(result => ({
+          result,
+          isFailure: false
+        })), Effect.catchAll(error =>
+        // If the tool handler failed, check the tool's failure mode to
+        // determine how the result should be returned to the end user
+        tool.failureMode === "error" ? Effect.fail(error) : Effect.succeed({
+          result: error,
+          isFailure: true
+        })), Effect.tap(({
+          result
+        }) => schemas.validateResult(result)), Effect.mapInputContext(input => Context.merge(schemas.context, input)), Effect.mapError(cause => ParseResult.isParseError(cause) ? new AiError.MalformedInput({
           module: "Toolkit",
           method: `${name}.handle`,
-          description: `Failed to decode tool call failure for tool '${name}'`,
+          description: `Failed to validate tool call result for tool '${name}'`,
           cause
-        })), Effect.flatMap(Effect.fail))));
-        const encodedResult = yield* Effect.mapError(schemas.encodeSuccess(result), cause => new AiError.MalformedInput({
+        }) : cause));
+        const encodedResult = yield* Effect.mapError(schemas.encodeResult(result), cause => new AiError.MalformedInput({
           module: "Toolkit",
           method: `${name}.handle`,
           description: `Failed to encode tool call result for tool '${name}'`,
           cause
         }));
         return {
+          isFailure,
           result,
           encodedResult
         };

package/dist/esm/Toolkit.js.map

@@ -1 +1 @@
-{"version":3,"file":"Toolkit.js","names":["Context","Effect","CommitPrototype","identity","BaseProto","InspectableProto","Layer","pipeArguments","Predicate","Schema","AiError","Tool","TypeId","Proto","of","toContext","build","gen","context","handlers","isEffect","contextMap","Map","name","handler","Object","entries","tool","tools","set","id","unsafeMake","toLayer","scopedContext","commit","schemasCache","WeakMap","getSchemas","schemas","get","isUndefined","unsafeMap","encodeSuccess","encodeUnknown","successSchema","encodeFailure","failureSchema","decodeFailure","decodeUnknown","decodeParameters","parametersSchema","handle","fn","captureStackTrace","params","annotateCurrentSpan","parameters","toolNames","keys","join","MalformedOutput","module","method","description","decodedParams","mapError","cause","JSON","stringify","undefined","result","pipe","mapInputContext","input","merge","catchAll","error","MalformedInput","flatMap","fail","encodedResult","toJSON","_id","Array","from","values","map","arguments","makeProto","assign","resolveInput","output","value","isSchema","fromTaggedRequest","empty","make","toolkits","toolkit"],"sources":["../../src/Toolkit.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,KAAKA,OAAO,MAAM,gBAAgB;AACzC,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,SAASC,eAAe,QAAQ,mBAAmB;AACnD,SAASC,QAAQ,QAAQ,iBAAiB;AAE1C,SAASC,SAAS,IAAIC,gBAAgB,QAAQ,oBAAoB;AAClE,OAAO,KAAKC,KAAK,MAAM,cAAc;AAErC,SAAwBC,aAAa,QAAQ,iBAAiB;AAC9D,OAAO,KAAKC,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,OAAO,KAAKC,OAAO,MAAM,cAAc;AACvC,OAAO,KAAKC,IAAI,MAAM,WAAW;AAEjC;;;;;;AAMA,OAAO,MAAMC,MAAM,GAAG,qBAAqB;AAiL3C,MAAMC,KAAK,GAAG;EACZ,GAAGX,eAAe;EAClB,GAAGG,gBAAgB;EACnBS,EAAE,EAAEX,QAAQ;EACZY,SAASA,CAEPC,KAAiG;IAEjG,OAAOf,MAAM,CAACgB,GAAG,CAAC,IAAI,EAAE,aAAS;MAC/B,MAAMC,OAAO,GAAG,OAAOjB,MAAM,CAACiB,OAAO,EAAS;MAC9C,MAAMC,QAAQ,GAAGlB,MAAM,CAACmB,QAAQ,CAACJ,KAAK,CAAC,GAAG,OAAOA,KAAK,GAAGA,KAAK;MAC9D,MAAMK,UAAU,GAAG,IAAIC,GAAG,EAAmB;MAC7C,KAAK,MAAM,CAACC,IAAI,EAAEC,OAAO,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACP,QAAQ,CAAC,EAAE;QACtD,MAAMQ,IAAI,GAAG,IAAI,CAACC,KAAK,CAACL,IAAI,CAAE;QAC9BF,UAAU,CAACQ,GAAG,CAACF,IAAI,CAACG,EAAE,EAAE;UAAEN,OAAO;UAAEN;QAAO,CAAE,CAAC;MAC/C;MACA,OAAOlB,OAAO,CAAC+B,UAAU,CAACV,UAAU,CAAC;IACvC,CAAC,CAAC;EACJ,CAAC;EACDW,OAAOA,CAELhB,KAAiG;IAEjG,OAAOV,KAAK,CAAC2B,aAAa,CAAC,IAAI,CAAClB,SAAS,CAACC,KAAK,CAAC,CAAC;EACnD,CAAC;EACDkB,MAAMA,CAAA;IACJ,OAAOjC,MAAM,CAACgB,GAAG,CAAC,IAAI,EAAE,aAAS;MAC/B,MAAMW,KAAK,GAAG,IAAI,CAACA,KAAK;MACxB,MAAMV,OAAO,GAAG,OAAOjB,MAAM,CAACiB,OAAO,EAAS;MAC9C,MAAMiB,YAAY,GAAG,IAAIC,OAAO,EAO5B;MACJ,MAAMC,UAAU,GAAIV,IAAc,IAAI;QACpC,IAAIW,OAAO,GAAGH,YAAY,CAACI,GAAG,CAACZ,IAAI,CAAC;QACpC,IAAInB,SAAS,CAACgC,WAAW,CAACF,OAAO,CAAC,EAAE;UAClC,MAAMd,OAAO,GAAGN,OAAO,CAACuB,SAAS,CAACF,GAAG,CAACZ,IAAI,CAACG,EAAE,CAAuB;UACpE,MAAMY,aAAa,GAAGjC,MAAM,CAACkC,aAAa,CAAChB,IAAI,CAACiB,aAAa,CAAQ;UACrE,MAAMC,aAAa,GAAGpC,MAAM,CAACkC,aAAa,CAAChB,IAAI,CAACmB,aAAoB,CAAQ;UAC5E,MAAMC,aAAa,GAAGtC,MAAM,CAACuC,aAAa,CAACrB,IAAI,CAACmB,aAAoB,CAAQ;UAC5E,MAAMG,gBAAgB,GAAGxC,MAAM,CAACuC,aAAa,CAACrB,IAAI,CAACuB,gBAAgB,CAAQ;UAC3EZ,OAAO,GAAG;YACRpB,OAAO,EAAEM,OAAO,CAACN,OAAO;YACxBM,OAAO,EAAEA,OAAO,CAACA,OAAO;YACxBkB,aAAa;YACbG,aAAa;YACbE,aAAa;YACbE;WACD;UACDd,YAAY,CAACN,GAAG,CAACF,IAAI,EAAEW,OAAO,CAAC;QACjC;QACA,OAAOA,OAAO;MAChB,CAAC;MACD,MAAMa,MAAM,GAAGlD,MAAM,CAACmD,EAAE,CAAC,gBAAgB,EAAE;QAAEC,iBAAiB,EAAE;MAAK,CAAE,CAAC,CACtE,WAAU9B,IAAY,EAAE+B,MAAe;QACrC,OAAOrD,MAAM,CAACsD,mBAAmB,CAAC;UAAE5B,IAAI,EAAEJ,IAAI;UAAEiC,UAAU,EAAEF;QAAM,CAAE,CAAC;QACrE,MAAM3B,IAAI,GAAGC,KAAK,CAACL,IAAI,CAAC;QACxB,IAAIf,SAAS,CAACgC,WAAW,CAACb,IAAI,CAAC,EAAE;UAC/B,MAAM8B,SAAS,GAAGhC,MAAM,CAACiC,IAAI,CAAC9B,KAAK,CAAC,CAAC+B,IAAI,CAAC,GAAG,CAAC;UAC9C,OAAO,OAAO,IAAIjD,OAAO,CAACkD,eAAe,CAAC;YACxCC,MAAM,EAAE,SAAS;YACjBC,MAAM,EAAE,GAAGvC,IAAI,SAAS;YACxBwC,WAAW,EAAE,kCAAkCxC,IAAI,mCAAmCkC,SAAS;WAChG,CAAC;QACJ;QACA,MAAMnB,OAAO,GAAGD,UAAU,CAACV,IAAI,CAAC;QAChC,MAAMqC,aAAa,GAAG,OAAO/D,MAAM,CAACgE,QAAQ,CAC1C3B,OAAO,CAACW,gBAAgB,CAACK,MAAM,CAAC,EAC/BY,KAAK,IACJ,IAAIxD,OAAO,CAACkD,eAAe,CAAC;UAC1BC,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGvC,IAAI,SAAS;UACxBwC,WAAW,EAAE,mDAAmDxC,IAAI,aAClE4C,IAAI,CAACC,SAAS,CAACd,MAAM,EAAEe,SAAS,EAAE,CAAC,CACrC,GAAG;UACHH;SACD,CAAC,CACL;QACD,MAAMI,MAAM,GAAG,OAAOhC,OAAO,CAACd,OAAO,CAACwC,aAAa,CAAC,CAACO,IAAI,CACvDtE,MAAM,CAACuE,eAAe,CAAEC,KAAK,IAAKzE,OAAO,CAAC0E,KAAK,CAACpC,OAAO,CAACpB,OAAO,EAAEuD,KAAK,CAAC,CAAC,EACxExE,MAAM,CAAC0E,QAAQ,CAAEC,KAAK,IACpBtC,OAAO,CAACS,aAAa,CAAC6B,KAAK,CAAC,CAACL,IAAI,CAC/BtE,MAAM,CAACgE,QAAQ,CAAEC,KAAK,IACpB,IAAIxD,OAAO,CAACmE,cAAc,CAAC;UACzBhB,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGvC,IAAI,SAAS;UACxBwC,WAAW,EAAE,gDAAgDxC,IAAI,GAAG;UACpE2C;SACD,CAAC,CACH,EACDjE,MAAM,CAAC6E,OAAO,CAAC7E,MAAM,CAAC8E,IAAI,CAAC,CAC5B,CACF,CACF;QACD,MAAMC,aAAa,GAAG,OAAO/E,MAAM,CAACgE,QAAQ,CAC1C3B,OAAO,CAACI,aAAa,CAAC4B,MAAM,CAAC,EAC5BJ,KAAK,IACJ,IAAIxD,OAAO,CAACmE,cAAc,CAAC;UACzBhB,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGvC,IAAI,SAAS;UACxBwC,WAAW,EAAE,+CAA+CxC,IAAI,GAAG;UACnE2C;SACD,CAAC,CACL;QACD,OAAO;UACLI,MAAM;UACNU;SACiC;MACrC,CAAC,CACF;MACD,OAAO;QACLpD,KAAK;QACLuB;OAC0C;IAC9C,CAAC,CAAC;EACJ,CAAC;EACD8B,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,oBAAoB;MACzBtD,KAAK,EAAEuD,KAAK,CAACC,IAAI,CAAC3D,MAAM,CAAC4D,MAAM,CAAC,IAAI,CAACzD,KAAK,CAAC,CAAC,CAAC0D,GAAG,CAAE3D,IAAI,IAAMA,IAAiB,CAACJ,IAAI;KACnF;EACH,CAAC;EACDgD,IAAIA,CAAA;IACF,OAAOhE,aAAa,CAAC,IAAI,EAAEgF,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,SAAS,GAA4C5D,KAAY,IACrEH,MAAM,CAACgE,MAAM,CAAC,aAAY,CAAC,EAAE5E,KAAK,EAAE;EAAEe;AAAK,CAAE,CAAQ;AAEvD,MAAM8D,YAAY,GAAGA,CACnB,GAAG9D,KAAY,KACkB;EACjC,MAAM+D,MAAM,GAAG,EAAmC;EAClD,KAAK,MAAMhE,IAAI,IAAIC,KAAK,EAAE;IACxB,MAAMgE,KAAK,GAAInF,MAAM,CAACoF,QAAQ,CAAClE,IAAI,CAAC,GAAGhB,IAAI,CAACmF,iBAAiB,CAACnE,IAAW,CAAC,GAAGA,IAAY;IACzFgE,MAAM,CAAChE,IAAI,CAACJ,IAAI,CAAC,GAAGqE,KAAK;EAC3B;EACA,OAAOD,MAAM;AACf,CAAC;AAED;;;;;;;;;AASA,OAAO,MAAMI,KAAK,gBAAgBP,SAAS,CAAC,EAAE,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAMQ,IAAI,GAAGA,CAClB,GAAGpE,KAAY,KACiB4D,SAAS,CAACE,YAAY,CAAC,GAAG9D,KAAK,CAAC,CAAQ;AAkC1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAM8C,KAAK,GAAGA;AACnB;;;AAGA,GAAGuB,QAAkB,KACa;EAClC,MAAMrE,KAAK,GAAG,EAAyB;EACvC,KAAK,MAAMsE,OAAO,IAAID,QAAQ,EAAE;IAC9B,KAAK,MAAM,CAAC1E,IAAI,EAAEI,IAAI,CAAC,IAAIF,MAAM,CAACC,OAAO,CAACwE,OAAO,CAACtE,KAAK,CAAC,EAAE;MACxDA,KAAK,CAACL,IAAI,CAAC,GAAGI,IAAI;IACpB;EACF;EACA,OAAO6D,SAAS,CAAC5D,KAAK,CAAQ;AAChC,CAAC","ignoreList":[]}
+{"version":3,"file":"Toolkit.js","names":["Context","Effect","CommitPrototype","identity","BaseProto","InspectableProto","Layer","ParseResult","pipeArguments","Predicate","Schema","AiError","Tool","TypeId","Proto","of","toContext","build","gen","context","handlers","isEffect","contextMap","Map","name","handler","Object","entries","tool","tools","set","id","unsafeMake","toLayer","scopedContext","commit","schemasCache","WeakMap","getSchemas","schemas","get","isUndefined","unsafeMap","decodeParameters","decodeUnknown","parametersSchema","resultSchema","Union","successSchema","failureSchema","validateResult","validate","encodeResult","encodeUnknown","handle","fn","captureStackTrace","params","annotateCurrentSpan","parameters","toolNames","keys","join","MalformedOutput","module","method","description","decodedParams","mapError","cause","JSON","stringify","undefined","isFailure","result","pipe","map","catchAll","error","failureMode","fail","succeed","tap","mapInputContext","input","merge","isParseError","MalformedInput","encodedResult","toJSON","_id","Array","from","values","arguments","makeProto","assign","resolveInput","output","value","isSchema","fromTaggedRequest","empty","make","toolkits","toolkit"],"sources":["../../src/Toolkit.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,OAAO,KAAKA,OAAO,MAAM,gBAAgB;AACzC,OAAO,KAAKC,MAAM,MAAM,eAAe;AACvC,SAASC,eAAe,QAAQ,mBAAmB;AACnD,SAASC,QAAQ,QAAQ,iBAAiB;AAE1C,SAASC,SAAS,IAAIC,gBAAgB,QAAQ,oBAAoB;AAClE,OAAO,KAAKC,KAAK,MAAM,cAAc;AAErC,OAAO,KAAKC,WAAW,MAAM,oBAAoB;AACjD,SAAwBC,aAAa,QAAQ,iBAAiB;AAC9D,OAAO,KAAKC,SAAS,MAAM,kBAAkB;AAC7C,OAAO,KAAKC,MAAM,MAAM,eAAe;AAEvC,OAAO,KAAKC,OAAO,MAAM,cAAc;AACvC,OAAO,KAAKC,IAAI,MAAM,WAAW;AAEjC;;;;;;AAMA,OAAO,MAAMC,MAAM,GAAG,qBAAqB;AA8K3C,MAAMC,KAAK,GAAG;EACZ,GAAGZ,eAAe;EAClB,GAAGG,gBAAgB;EACnBU,EAAE,EAAEZ,QAAQ;EACZa,SAASA,CAEPC,KAAiG;IAEjG,OAAOhB,MAAM,CAACiB,GAAG,CAAC,IAAI,EAAE,aAAS;MAC/B,MAAMC,OAAO,GAAG,OAAOlB,MAAM,CAACkB,OAAO,EAAS;MAC9C,MAAMC,QAAQ,GAAGnB,MAAM,CAACoB,QAAQ,CAACJ,KAAK,CAAC,GAAG,OAAOA,KAAK,GAAGA,KAAK;MAC9D,MAAMK,UAAU,GAAG,IAAIC,GAAG,EAAmB;MAC7C,KAAK,MAAM,CAACC,IAAI,EAAEC,OAAO,CAAC,IAAIC,MAAM,CAACC,OAAO,CAACP,QAAQ,CAAC,EAAE;QACtD,MAAMQ,IAAI,GAAG,IAAI,CAACC,KAAK,CAACL,IAAI,CAAE;QAC9BF,UAAU,CAACQ,GAAG,CAACF,IAAI,CAACG,EAAE,EAAE;UAAEN,OAAO;UAAEN;QAAO,CAAE,CAAC;MAC/C;MACA,OAAOnB,OAAO,CAACgC,UAAU,CAACV,UAAU,CAAC;IACvC,CAAC,CAAC;EACJ,CAAC;EACDW,OAAOA,CAELhB,KAAiG;IAEjG,OAAOX,KAAK,CAAC4B,aAAa,CAAC,IAAI,CAAClB,SAAS,CAACC,KAAK,CAAC,CAAC;EACnD,CAAC;EACDkB,MAAMA,CAAA;IACJ,OAAOlC,MAAM,CAACiB,GAAG,CAAC,IAAI,EAAE,aAAS;MAC/B,MAAMW,KAAK,GAAG,IAAI,CAACA,KAAK;MACxB,MAAMV,OAAO,GAAG,OAAOlB,MAAM,CAACkB,OAAO,EAAS;MAC9C,MAAMiB,YAAY,GAAG,IAAIC,OAAO,EAM5B;MACJ,MAAMC,UAAU,GAAIV,IAAc,IAAI;QACpC,IAAIW,OAAO,GAAGH,YAAY,CAACI,GAAG,CAACZ,IAAI,CAAC;QACpC,IAAInB,SAAS,CAACgC,WAAW,CAACF,OAAO,CAAC,EAAE;UAClC,MAAMd,OAAO,GAAGN,OAAO,CAACuB,SAAS,CAACF,GAAG,CAACZ,IAAI,CAACG,EAAE,CAAuB;UACpE,MAAMY,gBAAgB,GAAGjC,MAAM,CAACkC,aAAa,CAAChB,IAAI,CAACiB,gBAAgB,CAAQ;UAC3E,MAAMC,YAAY,GAAGpC,MAAM,CAACqC,KAAK,CAACnB,IAAI,CAACoB,aAAa,EAAEpB,IAAI,CAACqB,aAAa,CAAC;UACzE,MAAMC,cAAc,GAAGxC,MAAM,CAACyC,QAAQ,CAACL,YAAY,CAAQ;UAC3D,MAAMM,YAAY,GAAG1C,MAAM,CAAC2C,aAAa,CAACP,YAAY,CAAQ;UAC9DP,OAAO,GAAG;YACRpB,OAAO,EAAEM,OAAO,CAACN,OAAO;YACxBM,OAAO,EAAEA,OAAO,CAACA,OAAO;YACxBkB,gBAAgB;YAChBO,cAAc;YACdE;WACD;UACDhB,YAAY,CAACN,GAAG,CAACF,IAAI,EAAEW,OAAO,CAAC;QACjC;QACA,OAAOA,OAAO;MAChB,CAAC;MACD,MAAMe,MAAM,GAAGrD,MAAM,CAACsD,EAAE,CAAC,gBAAgB,EAAE;QAAEC,iBAAiB,EAAE;MAAK,CAAE,CAAC,CACtE,WAAUhC,IAAY,EAAEiC,MAAe;QACrC,OAAOxD,MAAM,CAACyD,mBAAmB,CAAC;UAAE9B,IAAI,EAAEJ,IAAI;UAAEmC,UAAU,EAAEF;QAAM,CAAE,CAAC;QACrE,MAAM7B,IAAI,GAAGC,KAAK,CAACL,IAAI,CAAC;QACxB,IAAIf,SAAS,CAACgC,WAAW,CAACb,IAAI,CAAC,EAAE;UAC/B,MAAMgC,SAAS,GAAGlC,MAAM,CAACmC,IAAI,CAAChC,KAAK,CAAC,CAACiC,IAAI,CAAC,GAAG,CAAC;UAC9C,OAAO,OAAO,IAAInD,OAAO,CAACoD,eAAe,CAAC;YACxCC,MAAM,EAAE,SAAS;YACjBC,MAAM,EAAE,GAAGzC,IAAI,SAAS;YACxB0C,WAAW,EAAE,kCAAkC1C,IAAI,mCAAmCoC,SAAS;WAChG,CAAC;QACJ;QACA,MAAMrB,OAAO,GAAGD,UAAU,CAACV,IAAI,CAAC;QAChC,MAAMuC,aAAa,GAAG,OAAOlE,MAAM,CAACmE,QAAQ,CAC1C7B,OAAO,CAACI,gBAAgB,CAACc,MAAM,CAAC,EAC/BY,KAAK,IACJ,IAAI1D,OAAO,CAACoD,eAAe,CAAC;UAC1BC,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGzC,IAAI,SAAS;UACxB0C,WAAW,EAAE,mDAAmD1C,IAAI,aAClE8C,IAAI,CAACC,SAAS,CAACd,MAAM,EAAEe,SAAS,EAAE,CAAC,CACrC,GAAG;UACHH;SACD,CAAC,CACL;QACD,MAAM;UAAEI,SAAS;UAAEC;QAAM,CAAE,GAAG,OAAOnC,OAAO,CAACd,OAAO,CAAC0C,aAAa,CAAC,CAACQ,IAAI,CACtE1E,MAAM,CAAC2E,GAAG,CAAEF,MAAM,KAAM;UAAEA,MAAM;UAAED,SAAS,EAAE;QAAK,CAAE,CAAC,CAAC,EACtDxE,MAAM,CAAC4E,QAAQ,CAAEC,KAAK;QACpB;QACA;QACAlD,IAAI,CAACmD,WAAW,KAAK,OAAO,GACxB9E,MAAM,CAAC+E,IAAI,CAACF,KAAK,CAAC,GAClB7E,MAAM,CAACgF,OAAO,CAAC;UAAEP,MAAM,EAAEI,KAAK;UAAEL,SAAS,EAAE;QAAI,CAAE,CAAC,CACvD,EACDxE,MAAM,CAACiF,GAAG,CAAC,CAAC;UAAER;QAAM,CAAE,KAAKnC,OAAO,CAACW,cAAc,CAACwB,MAAM,CAAC,CAAC,EAC1DzE,MAAM,CAACkF,eAAe,CAAEC,KAAK,IAAKpF,OAAO,CAACqF,KAAK,CAAC9C,OAAO,CAACpB,OAAO,EAAEiE,KAAK,CAAC,CAAC,EACxEnF,MAAM,CAACmE,QAAQ,CAAEC,KAAK,IACpB9D,WAAW,CAAC+E,YAAY,CAACjB,KAAK,CAAC,GAC3B,IAAI1D,OAAO,CAAC4E,cAAc,CAAC;UAC3BvB,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGzC,IAAI,SAAS;UACxB0C,WAAW,EAAE,iDAAiD1C,IAAI,GAAG;UACrE6C;SACD,CAAC,GACAA,KAAK,CACV,CACF;QACD,MAAMmB,aAAa,GAAG,OAAOvF,MAAM,CAACmE,QAAQ,CAC1C7B,OAAO,CAACa,YAAY,CAACsB,MAAM,CAAC,EAC3BL,KAAK,IACJ,IAAI1D,OAAO,CAAC4E,cAAc,CAAC;UACzBvB,MAAM,EAAE,SAAS;UACjBC,MAAM,EAAE,GAAGzC,IAAI,SAAS;UACxB0C,WAAW,EAAE,+CAA+C1C,IAAI,GAAG;UACnE6C;SACD,CAAC,CACL;QACD,OAAO;UACLI,SAAS;UACTC,MAAM;UACNc;SACiC;MACrC,CAAC,CACF;MACD,OAAO;QACL3D,KAAK;QACLyB;OAC0C;IAC9C,CAAC,CAAC;EACJ,CAAC;EACDmC,MAAMA,CAAA;IACJ,OAAO;MACLC,GAAG,EAAE,oBAAoB;MACzB7D,KAAK,EAAE8D,KAAK,CAACC,IAAI,CAAClE,MAAM,CAACmE,MAAM,CAAC,IAAI,CAAChE,KAAK,CAAC,CAAC,CAAC+C,GAAG,CAAEhD,IAAI,IAAMA,IAAiB,CAACJ,IAAI;KACnF;EACH,CAAC;EACDmD,IAAIA,CAAA;IACF,OAAOnE,aAAa,CAAC,IAAI,EAAEsF,SAAS,CAAC;EACvC;CACD;AAED,MAAMC,SAAS,GAA4ClE,KAAY,IACrEH,MAAM,CAACsE,MAAM,CAAC,aAAY,CAAC,EAAElF,KAAK,EAAE;EAAEe;AAAK,CAAE,CAAQ;AAEvD,MAAMoE,YAAY,GAAGA,CACnB,GAAGpE,KAAY,KACkB;EACjC,MAAMqE,MAAM,GAAG,EAAmC;EAClD,KAAK,MAAMtE,IAAI,IAAIC,KAAK,EAAE;IACxB,MAAMsE,KAAK,GAAIzF,MAAM,CAAC0F,QAAQ,CAACxE,IAAI,CAAC,GAAGhB,IAAI,CAACyF,iBAAiB,CAACzE,IAAW,CAAC,GAAGA,IAAY;IACzFsE,MAAM,CAACtE,IAAI,CAACJ,IAAI,CAAC,GAAG2E,KAAK;EAC3B;EACA,OAAOD,MAAM;AACf,CAAC;AAED;;;;;;;;;AASA,OAAO,MAAMI,KAAK,gBAAgBP,SAAS,CAAC,EAAE,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAMQ,IAAI,GAAGA,CAClB,GAAG1E,KAAY,KACiBkE,SAAS,CAACE,YAAY,CAAC,GAAGpE,KAAK,CAAC,CAAQ;AAkC1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,OAAO,MAAMwD,KAAK,GAAGA;AACnB;;;AAGA,GAAGmB,QAAkB,KACa;EAClC,MAAM3E,KAAK,GAAG,EAAyB;EACvC,KAAK,MAAM4E,OAAO,IAAID,QAAQ,EAAE;IAC9B,KAAK,MAAM,CAAChF,IAAI,EAAEI,IAAI,CAAC,IAAIF,MAAM,CAACC,OAAO,CAAC8E,OAAO,CAAC5E,KAAK,CAAC,EAAE;MACxDA,KAAK,CAACL,IAAI,CAAC,GAAGI,IAAI;IACpB;EACF;EACA,OAAOmE,SAAS,CAAClE,KAAK,CAAQ;AAChC,CAAC","ignoreList":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/ai",
-  "version": "0.29.1",
+  "version": "0.31.0",
   "description": "Effect modules for working with AI apis",
   "license": "MIT",
   "repository": {
@@ -15,9 +15,9 @@
   },
   "peerDependencies": {
     "@effect/experimental": "^0.56.0",
+    "@effect/platform": "^0.92.1",
     "@effect/rpc": "^0.71.0",
-    "@effect/platform": "^0.92.0",
-    "effect": "^3.18.1"
+    "effect": "^3.18.4"
   },
   "publishConfig": {
     "provenance": true

package/src/LanguageModel.ts

@@ -415,17 +415,19 @@ export class GenerateObjectResponse<Tools extends Record<string, Tool.Any>, A> e
  * @category Utility Types
  */
 export type ExtractError<Options> = Options extends {
+  readonly toolkit: Toolkit.WithHandler<infer _Tools>
   readonly disableToolCallResolution: true
-} ? Options extends {
+} ? AiError.AiError
+  : Options extends {
     readonly toolkit: Effect.Effect<Toolkit.WithHandler<infer _Tools>, infer _E, infer _R>
-  } ? AiError.AiError | _E :
-  AiError.AiError :
-  Options extends {
+    readonly disableToolCallResolution: true
+  } ? AiError.AiError | _E
+  : Options extends {
     readonly toolkit: Toolkit.WithHandler<infer _Tools>
-  } ? AiError.AiError | Tool.Failure<_Tools[keyof _Tools]>
+  } ? AiError.AiError | Tool.HandlerError<_Tools[keyof _Tools]>
   : Options extends {
     readonly toolkit: Effect.Effect<Toolkit.WithHandler<infer _Tools>, infer _E, infer _R>
-  } ? AiError.AiError | Tool.Failure<_Tools[keyof _Tools]> | _E :
+  } ? AiError.AiError | Tool.HandlerError<_Tools[keyof _Tools]> | _E :
   AiError.AiError
 
 /**
@@ -983,8 +985,14 @@ const resolveToolCalls = <Tools extends Record<string, Tool.Any>>(
   toolkit: Toolkit.WithHandler<Tools>,
   concurrency: Concurrency | undefined
 ): Effect.Effect<
-  ReadonlyArray<Response.ToolResultPart<Tool.Name<Tools[keyof Tools]>, Tool.Success<Tools[keyof Tools]>>>,
-  Tool.Failure<Tools[keyof Tools]>,
+  ReadonlyArray<
+    Response.ToolResultPart<
+      Tool.Name<Tools[keyof Tools]>,
+      Tool.Success<Tools[keyof Tools]>,
+      Tool.Failure<Tools[keyof Tools]>
+    >
+  >,
+  Tool.HandlerError<Tools[keyof Tools]>,
   Tool.Requirements<Tools[keyof Tools]>
 > => {
   const toolNames: Array<string> = []
@@ -1002,14 +1010,17 @@ const resolveToolCalls = <Tools extends Record<string, Tool.Any>>(
 
   return Effect.forEach(toolCalls, (toolCall) => {
     return toolkit.handle(toolCall.name, toolCall.params as any).pipe(
-      Effect.map(({ encodedResult, result }) =>
+      Effect.map(({ encodedResult, isFailure, result }) =>
         Response.makePart("tool-result", {
           id: toolCall.id,
           name: toolCall.name,
           result,
           encodedResult,
-          providerName: toolCall.providerName,
-          providerExecuted: false
+          isFailure,
+          providerExecuted: false,
+          ...(toolCall.providerName !== undefined
+            ? { providerName: toolCall.providerName }
+            : {})
         })
       )
     )

package/src/Prompt.ts

@@ -226,12 +226,26 @@ export const makePart = <const Type extends Part["type"]>(
   }
 ): Extract<Part, { type: Type }> =>
   (({
-    ...params,
-    [PartTypeId]: PartTypeId,
-    type,
-    options: params.options ?? {}
+   ...params,
+   [PartTypeId]: PartTypeId,
+   type,
+   options: params.options ?? {}
   }) as any)
 
+/**
+ * A utility type for specifying the parameters required to construct a
+ * specific part of a prompt.
+ *
+ * @since 1.0.0
+ * @category Utility Types
+ */
+export type PartConstructorParams<P extends Part> = Omit<P, PartTypeId | "type" | "options"> & {
+  /**
+   * Optional provider-specific options for this part.
+   */
+  readonly options?: Part["options"] | undefined
+}
+
 // =============================================================================
 // Text Part
 // =============================================================================
@@ -297,6 +311,14 @@ export const TextPart: Schema.Schema<TextPart, TextPartEncoded> = Schema.Struct(
   Schema.annotations({ identifier: "TextPart" })
 )
 
+/**
+ * Constructs a new text part.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const textPart = (params: PartConstructorParams<TextPart>): TextPart => makePart("text", params)
+
 // =============================================================================
 // Reasoning Part
 // =============================================================================
@@ -360,6 +382,15 @@ export const ReasoningPart: Schema.Schema<ReasoningPart, ReasoningPartEncoded> =
   Schema.annotations({ identifier: "ReasoningPart" })
 )
 
+/**
+ * Constructs a new reasoning part.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const reasoningPart = (params: PartConstructorParams<ReasoningPart>): ReasoningPart =>
+  makePart("reasoning", params)
+
 // =============================================================================
 // File Part
 // =============================================================================
@@ -452,6 +483,14 @@ export const FilePart: Schema.Schema<FilePart, FilePartEncoded> = Schema.Struct(
   Schema.annotations({ identifier: "FilePart" })
 )
 
+/**
+ * Constructs a new file part.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const filePart = (params: PartConstructorParams<FilePart>): FilePart => makePart("file", params)
+
 // =============================================================================
 // Tool Call Part
 // =============================================================================
@@ -545,6 +584,14 @@ export const ToolCallPart: Schema.Schema<ToolCallPart, ToolCallPartEncoded> = Sc
   Schema.annotations({ identifier: "ToolCallPart" })
 )
 
+/**
+ * Constructs a new tool call part.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const toolCallPart = (params: PartConstructorParams<ToolCallPart>): ToolCallPart => makePart("tool-call", params)
+
 // =============================================================================
 // Tool Result Part
 // =============================================================================
@@ -559,6 +606,7 @@ export const ToolCallPart: Schema.Schema<ToolCallPart, ToolCallPartEncoded> = Sc
  * const toolResultPart: Prompt.ToolResultPart = Prompt.makePart("tool-result", {
  *   id: "call_123",
  *   name: "get_weather",
+ *   isFailure: false,
  *   result: {
  *     temperature: 22,
  *     condition: "sunny",
@@ -579,6 +627,10 @@ export interface ToolResultPart extends BasePart<"tool-result", ToolResultPartOp
    * Name of the tool that was executed.
    */
   readonly name: string
+  /**
+   * Whether or not the result of executing the tool call handler was an error.
+   */
+  readonly isFailure: boolean
   /**
    * The result returned by the tool execution.
    */
@@ -600,6 +652,10 @@ export interface ToolResultPartEncoded extends BasePartEncoded<"tool-result", To
    * Name of the tool that was executed.
    */
   readonly name: string
+  /**
+   * Whether or not the result of executing the tool call handler was an error.
+   */
+  readonly isFailure: boolean
   /**
    * The result returned by the tool execution.
    */
@@ -625,6 +681,7 @@ export const ToolResultPart: Schema.Schema<ToolResultPart, ToolResultPartEncoded
   type: Schema.Literal("tool-result"),
   id: Schema.String,
   name: Schema.String,
+  isFailure: Schema.Boolean,
   result: Schema.Unknown,
   options: Schema.optionalWith(ProviderOptions, { default: constEmptyObject })
 }).pipe(
@@ -632,6 +689,15 @@ export const ToolResultPart: Schema.Schema<ToolResultPart, ToolResultPartEncoded
   Schema.annotations({ identifier: "ToolResultPart" })
 )
 
+/**
+ * Constructs a new tool result part.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const toolResultPart = (params: PartConstructorParams<ToolResultPart>): ToolResultPart =>
+  makePart("tool-result", params)
+
 // =============================================================================
 // Base Message
 // =============================================================================
@@ -725,12 +791,26 @@ export const makeMessage = <const Role extends Message["role"]>(
   }
 ): Extract<Message, { role: Role }> =>
   (({
-    ...params,
-    [MessageTypeId]: MessageTypeId,
-    role,
-    options: params.options ?? {}
+   ...params,
+   [MessageTypeId]: MessageTypeId,
+   role,
+   options: params.options ?? {}
   }) as any)
 
+/**
+ * A utility type for specifying the parameters required to construct a
+ * specific message for a prompt.
+ *
+ * @since 1.0.0
+ * @category Utility Types
+ */
+export type MessageConstructorParams<M extends Message> = Omit<M, MessageTypeId | "role" | "options"> & {
+  /**
+   * Optional provider-specific options for this message.
+   */
+  readonly options?: Part["options"] | undefined
+}
+
 /**
  * Schema for decoding message content (i.e. an array containing a single
  * `TextPart`) from a string.
@@ -811,6 +891,15 @@ export const SystemMessage: Schema.Schema<SystemMessage, SystemMessageEncoded> =
   Schema.annotations({ identifier: "SystemMessage" })
 )
 
+/**
+ * Constructs a new system message.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const systemMessage = (params: MessageConstructorParams<SystemMessage>): SystemMessage =>
+  makeMessage("system", params)
+
 // =============================================================================
 // User Message
 // =============================================================================
@@ -910,6 +999,14 @@ export const UserMessage: Schema.Schema<UserMessage, UserMessageEncoded> = Schem
   Schema.annotations({ identifier: "UserMessage" })
 )
 
+/**
+ * Constructs a new user message.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const userMessage = (params: MessageConstructorParams<UserMessage>): UserMessage => makeMessage("user", params)
+
 // =============================================================================
 // Assistant Message
 // =============================================================================
@@ -935,7 +1032,11 @@ export const UserMessage: Schema.Schema<UserMessage, UserMessageEncoded> = Schem
  *     Prompt.makePart("tool-result", {
  *       id: "call_123",
  *       name: "get_weather",
- *       result: { temperature: 72, condition: "sunny" }
+ *       isFailure: false,
+ *       result: {
+ *         temperature: 72,
+ *         condition: "sunny"
+ *       }
  *     }),
  *     Prompt.makePart("text", {
  *       text: "The weather in San Francisco is currently 72°F and sunny."
@@ -1017,6 +1118,15 @@ export const AssistantMessage: Schema.Schema<AssistantMessage, AssistantMessageE
   Schema.annotations({ identifier: "AssistantMessage" })
 )
 
+/**
+ * Constructs a new assistant message.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const assistantMessage = (params: MessageConstructorParams<AssistantMessage>): AssistantMessage =>
+  makeMessage("assistant", params)
+
 // =============================================================================
 // Tool Message
 // =============================================================================
@@ -1033,6 +1143,7 @@ export const AssistantMessage: Schema.Schema<AssistantMessage, AssistantMessageE
  *     Prompt.makePart("tool-result", {
  *       id: "call_123",
  *       name: "search_web",
+ *       isFailure: false,
  *       result: {
  *         query: "TypeScript best practices",
  *         results: [
@@ -1108,6 +1219,14 @@ export const ToolMessage: Schema.Schema<ToolMessage, ToolMessageEncoded> = Schem
   Schema.annotations({ identifier: "ToolMessage" })
 )
 
+/**
+ * Constructs a new tool message.
+ *
+ * @since 1.0.0
+ * @category Constructors
+ */
+export const toolMessage = (params: MessageConstructorParams<ToolMessage>): ToolMessage => makeMessage("tool", params)
+
 // =============================================================================
 // Message
 // =============================================================================
@@ -1254,13 +1373,6 @@ const encodePrompt = (input: Prompt, ast: AST.AST) =>
     onSuccess: (messages) => ({ content: messages })
   })
 
-// export const Prompt: Schema.Schema<Prompt, PromptEncoded> = Schema.Struct({
-//   content: Schema.Array(Message)
-// }).pipe(
-//   Schema.attachPropertySignature(TypeId, TypeId),
-//   Schema.annotations({ identifier: "Prompt" })
-// )
-
 /**
  * Schema for parsing a Prompt from JSON strings.
  *
@@ -1439,6 +1551,7 @@ const isValidPart = (part: Response.AnyPart): part is ValidResponsePart => {
  *
  * @example
  * ```ts
+ * import { Either } from "effect"
  * import { Prompt, Response } from "@effect/ai"
  *
  * const responseParts: ReadonlyArray<Response.AnyPart> = [
@@ -1454,6 +1567,7 @@ const isValidPart = (part: Response.AnyPart): part is ValidResponsePart => {
  *   Response.makePart("tool-result", {
  *     id: "call_1",
  *     name: "get_time",
+ *     isFailure: false,
  *     result: "10:30 AM",
  *     encodedResult: "10:30 AM",
  *     providerExecuted: false
@@ -1540,6 +1654,7 @@ export const fromResponseParts = (parts: ReadonlyArray<Response.AnyPart>): Promp
           toolParts.push(makePart("tool-result", {
             id: part.id,
             name: part.providerName ?? part.name,
+            isFailure: part.isFailure,
             result: part.encodedResult
           }))
           break