effect 3.13.3 → 3.13.6

package/dist/esm/internal/matcher.js.map

@@ -1 +1 @@
-{"version":3,"file":"matcher.js","names":["Either","identity","Option","pipeArguments","TypeId","Symbol","for","TypeMatcherProto","_input","_filters","_remaining","_result","_return","_tag","add","_case","makeTypeMatcher","cases","pipe","arguments","matcher","Object","create","ValueMatcherProto","value","guard","provided","makeValueMatcher","right","evaluate","makeWhen","makeNot","makePredicate","pattern","Array","isArray","predicates","map","len","length","u","i","keysAndPredicates","entries","k","p","key","predicate","makeOrPredicate","patterns","makeAndPredicate","type","left","valueTags","fields","match","tagsExhaustive","input","typeTags","withReturnType","self","when","f","whenOr","args","onMatch","slice","whenAnd","discriminator","field","values","pred","_","includes","discriminatorStartsWith","startsWith","discriminators","data","discriminatorsExhaustive","addCases","exhaustive","tag","tagStartsWith","tags","not","nonEmptyString","is","literals","any","defined","undefined","instanceOf","constructor","instanceOfUnsafe","orElse","result","either","isEither","a","orElseAbsurd","Error","option","toEither","onLeft","none","onRight","some","getExhaustiveAbsurdErrorMessage"],"sources":["../../../src/internal/matcher.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,SAASC,QAAQ,QAAQ,gBAAgB;AAYzC,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,SAASC,aAAa,QAAQ,gBAAgB;AAI9C;AACA,OAAO,MAAMC,MAAM,gBAAkBC,MAAM,CAACC,GAAG,CAC7C,yBAAyB,CACT;AAElB,MAAMC,gBAAgB,GAAmD;EACvE,CAACH,MAAM,GAAG;IACRI,MAAM,EAAEP,QAAQ;IAChBQ,QAAQ,EAAER,QAAQ;IAClBS,UAAU,EAAET,QAAQ;IACpBU,OAAO,EAAEV,QAAQ;IACjBW,OAAO,EAAEX;GACV;EACDY,IAAI,EAAE,aAAa;EACnBC,GAAGA,CAEDC,KAAW;IAEX,OAAOC,eAAe,CAAC,CAAC,GAAG,IAAI,CAACC,KAAK,EAAEF,KAAK,CAAC,CAAC;EAChD,CAAC;EACDG,IAAIA,CAAA;IACF,OAAOf,aAAa,CAAC,IAAI,EAAEgB,SAAS,CAAC;EACvC;CACD;AAED,SAASH,eAAeA,CACtBC,KAA0B;EAE1B,MAAMG,OAAO,GAAGC,MAAM,CAACC,MAAM,CAACf,gBAAgB,CAAC;EAC/Ca,OAAO,CAACH,KAAK,GAAGA,KAAK;EACrB,OAAOG,OAAO;AAChB;AAEA,MAAMG,iBAAiB,GAGnB;EACF,CAACnB,MAAM,GAAG;IACRI,MAAM,EAAEP,QAAQ;IAChBQ,QAAQ,EAAER,QAAQ;IAClBU,OAAO,EAAEV,QAAQ;IACjBW,OAAO,EAAEX;GACV;EACDY,IAAI,EAAE,cAAc;EACpBC,GAAGA,CAEDC,KAAW;IAEX,IAAI,IAAI,CAACS,KAAK,CAACX,IAAI,KAAK,OAAO,EAAE;MAC/B,OAAO,IAAI;IACb;IAEA,IAAIE,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAAC,IAAI,CAACC,QAAQ,CAAC,KAAK,IAAI,EAAE;MAChE,OAAOC,gBAAgB,CACrB,IAAI,CAACD,QAAQ,EACb1B,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC,IAAI,CAACH,QAAQ,CAAC,CAAC,CAC5C;IACH,CAAC,MAAM,IAAIX,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAAC,IAAI,CAACC,QAAQ,CAAC,KAAK,KAAK,EAAE;MACvE,OAAOC,gBAAgB,CACrB,IAAI,CAACD,QAAQ,EACb1B,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC,IAAI,CAACH,QAAQ,CAAC,CAAC,CAC5C;IACH;IAEA,OAAO,IAAI;EACb,CAAC;EACDR,IAAIA,CAAA;IACF,OAAOf,aAAa,CAAC,IAAI,EAAEgB,SAAS,CAAC;EACvC;CACD;AAED,SAASQ,gBAAgBA,CACvBD,QAAY,EACZF,KAA4B;EAE5B,MAAMJ,OAAO,GAAGC,MAAM,CAACC,MAAM,CAACC,iBAAiB,CAAC;EAChDH,OAAO,CAACM,QAAQ,GAAGA,QAAQ;EAC3BN,OAAO,CAACI,KAAK,GAAGA,KAAK;EACrB,OAAOJ,OAAO;AAChB;AAEA,MAAMU,QAAQ,GAAGA,CACfL,KAA8B,EAC9BI,QAAiC,MACvB;EACVhB,IAAI,EAAE,MAAM;EACZY,KAAK;EACLI;CACD,CAAC;AAEF,MAAME,OAAO,GAAGA,CACdN,KAA8B,EAC9BI,QAAiC,MACxB;EACThB,IAAI,EAAE,KAAK;EACXY,KAAK;EACLI;CACD,CAAC;AAEF,MAAMG,aAAa,GAAIC,OAAgB,IAAkC;EACvE,IAAI,OAAOA,OAAO,KAAK,UAAU,EAAE;IACjC,OAAOA,OAAuC;EAChD,CAAC,MAAM,IAAIC,KAAK,CAACC,OAAO,CAACF,OAAO,CAAC,EAAE;IACjC,MAAMG,UAAU,GAAGH,OAAO,CAACI,GAAG,CAACL,aAAa,CAAC;IAC7C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;IAE7B,OAAQC,CAAU,IAAI;MACpB,IAAI,CAACN,KAAK,CAACC,OAAO,CAACK,CAAC,CAAC,EAAE;QACrB,OAAO,KAAK;MACd;MAEA,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;QAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAACC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE;UACjC,OAAO,KAAK;QACd;MACF;MAEA,OAAO,IAAI;IACb,CAAC;EACH,CAAC,MAAM,IAAIR,OAAO,KAAK,IAAI,IAAI,OAAOA,OAAO,KAAK,QAAQ,EAAE;IAC1D,MAAMS,iBAAiB,GAAGrB,MAAM,CAACsB,OAAO,CAACV,OAAO,CAAC,CAACI,GAAG,CACnD,CAAC,CAACO,CAAC,EAAEC,CAAC,CAAC,KAAK,CAACD,CAAC,EAAEZ,aAAa,CAACa,CAAC,CAAC,CAAU,CAC3C;IACD,MAAMP,GAAG,GAAGI,iBAAiB,CAACH,MAAM;IAEpC,OAAQC,CAAU,IAAI;MACpB,IAAI,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,EAAE;QACvC,OAAO,KAAK;MACd;MAEA,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;QAC5B,MAAM,CAACK,GAAG,EAAEC,SAAS,CAAC,GAAGL,iBAAiB,CAACD,CAAC,CAAC;QAC7C,IAAI,EAAEK,GAAG,IAAIN,CAAC,CAAC,IAAIO,SAAS,CAAEP,CAAS,CAACM,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE;UACvD,OAAO,KAAK;QACd;MACF;MAEA,OAAO,IAAI;IACb,CAAC;EACH;EAEA,OAAQN,CAAU,IAAKA,CAAC,KAAKP,OAAO;AACtC,CAAC;AAED,MAAMe,eAAe,GACnBC,QAAgC,IACA;EAChC,MAAMb,UAAU,GAAGa,QAAQ,CAACZ,GAAG,CAACL,aAAa,CAAC;EAC9C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;EAE7B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAAC,KAAK,IAAI,EAAE;QAC7B,OAAO,IAAI;MACb;IACF;IAEA,OAAO,KAAK;EACd,CAAC;AACH,CAAC;AAED,MAAMU,gBAAgB,GACpBD,QAAgC,IACA;EAChC,MAAMb,UAAU,GAAGa,QAAQ,CAACZ,GAAG,CAACL,aAAa,CAAC;EAC9C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;EAE7B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAAC,KAAK,KAAK,EAAE;QAC9B,OAAO,KAAK;MACd;IACF;IAEA,OAAO,IAAI;EACb,CAAC;AACH,CAAC;AAED;AACA,OAAO,MAAMW,IAAI,GAAGA,CAAA,KAMfnC,eAAe,CAAC,EAAE,CAAC;AAExB;AACA,OAAO,MAAMQ,KAAK,GAChBiB,CAAI,IAC8Cd,gBAAgB,CAACc,CAAC,EAAEzC,MAAM,CAACoD,IAAI,CAACX,CAAC,CAAC,CAAC;AAEvF;AACA,OAAO,MAAMY,SAAS,GAQpBC,MAAS,IACP;EACF,MAAMC,KAAK,GAAQC,cAAc,CAACF,MAAa,CAAC,CAACtC,eAAe,CAAC,EAAE,CAAC,CAAC;EACrE,OAAQyC,KAAQ,IAAoCF,KAAK,CAACE,KAAK,CAAC;AAClE,CAAC;AAED;AACA,OAAO,MAAMC,QAAQ,GAAGA,CAAA,KAQtBJ,MAAS,IACP;EACF,MAAMC,KAAK,GAAQC,cAAc,CAACF,MAAa,CAAC,CAACtC,eAAe,CAAC,EAAE,CAAC,CAAC;EACrE,OAAQyC,KAAQ,IAAoCF,KAAK,CAACE,KAAK,CAAC;AAClE,CAAC;AAED;AACA,OAAO,MAAME,cAAc,GAAGA,CAAA,KACVC,IAAgC,IAGWA,IAAW;AAE1E;AACA,OAAO,MAAMC,IAAI,GAAGA,CAMlB5B,OAAU,EACV6B,CAAK,KAGLF,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACE,aAAa,CAACC,OAAO,CAAC,EAAE6B,CAAQ,CAAC,CAAC;AAElE;AACA,OAAO,MAAMC,MAAM,GAAGA,CAQpB,GAAGC,IAA6B,KAGhCJ,IAAkC,IAQhC;EACF,MAAMK,OAAO,GAAGD,IAAI,CAACA,IAAI,CAACzB,MAAM,GAAG,CAAC,CAAQ;EAC5C,MAAMU,QAAQ,GAAGe,IAAI,CAACE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB;EAClD,OAAQN,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACkB,eAAe,CAACC,QAAQ,CAAC,EAAEgB,OAAO,CAAC,CAAC;AACxE,CAAC;AAED;AACA,OAAO,MAAME,OAAO,GAAGA,CAQrB,GAAGH,IAA6B,KAGhCJ,IAAkC,IAUhC;EACF,MAAMK,OAAO,GAAGD,IAAI,CAACA,IAAI,CAACzB,MAAM,GAAG,CAAC,CAAQ;EAC5C,MAAMU,QAAQ,GAAGe,IAAI,CAACE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB;EAClD,OAAQN,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACoB,gBAAgB,CAACD,QAAQ,CAAC,EAAEgB,OAAO,CAAC,CAAC;AACzE,CAAC;AAED;AACA,OAAO,MAAMG,aAAa,GACLC,KAAQ,IAC3B,CACE,GAAGpC,OAIF,KACC;EACF,MAAM6B,CAAC,GAAG7B,OAAO,CAACA,OAAO,CAACM,MAAM,GAAG,CAAC,CAAC;EACrC,MAAM+B,MAAM,GAAarC,OAAO,CAACiC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAQ;EACpD,MAAMK,IAAI,GAAGD,MAAM,CAAC/B,MAAM,KAAK,CAAC,GAC3BiC,CAAM,IAAKA,CAAC,CAACH,KAAK,CAAC,KAAKC,MAAM,CAAC,CAAC,CAAC,GACjCE,CAAM,IAAKF,MAAM,CAACG,QAAQ,CAACD,CAAC,CAACH,KAAK,CAAC,CAAC;EAEzC,OACET,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACyC,IAAI,EAAET,CAAQ,CAAC,CAAQ;AACzD,CAAC;AAEH;AACA,OAAO,MAAMY,uBAAuB,GAAsBL,KAAQ,IAClE,CACEpC,OAAU,EACV6B,CAAmD,KACjD;EACF,MAAMS,IAAI,GAAIC,CAAM,IAAK,OAAOA,CAAC,CAACH,KAAK,CAAC,KAAK,QAAQ,IAAIG,CAAC,CAACH,KAAK,CAAC,CAACM,UAAU,CAAC1C,OAAO,CAAC;EAErF,OACE2B,IAAkC,IAW9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACyC,IAAI,EAAET,CAAQ,CAAC,CAAQ;AACzD,CAAC;AAED;AACA,OAAO,MAAMc,cAAc,GAAsBP,KAAQ,IAYvDf,MAAS,IACP;EACF,MAAMP,SAAS,GAAGjB,QAAQ,CACvB0C,CAAM,IAAKA,CAAC,CAACH,KAAK,CAAC,IAAIf,MAAM,EAC7BuB,IAAS,IAAMvB,MAAc,CAACuB,IAAI,CAACR,KAAK,CAAC,CAAC,CAACQ,IAAI,CAAC,CAClD;EAED,OACEjB,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACiC,SAAS,CAAC;AACnC,CAAC;AAED;AACA,OAAO,MAAM+B,wBAAwB,GAiBIT,KAAa,IAAMf,MAAc,IAAI;EAC1E,MAAMyB,QAAQ,GAAGH,cAAc,CAACP,KAAK,CAAC,CAACf,MAAM,CAAC;EAC9C,OAAQlC,OAAY,IAAK4D,UAAU,CAACD,QAAQ,CAAC3D,OAAO,CAAC,CAAC;AACxD,CAAC;AAEH;AACA,OAAO,MAAM6D,GAAG,gBAeZb,aAAa,CAAC,MAAM,CAAC;AAEzB;AACA,OAAO,MAAMc,aAAa,gBAAGR,uBAAuB,CAAC,MAAM,CAAC;AAE5D;AACA,OAAO,MAAMS,IAAI,gBAAGP,cAAc,CAAC,MAAM,CAAC;AAE1C;AACA,OAAO,MAAMpB,cAAc,gBAAGsB,wBAAwB,CAAC,MAAM,CAAC;AAE9D;AACA,OAAO,MAAMM,GAAG,GAAGA,CAMjBnD,OAAU,EACV6B,CAAK,KAGLF,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACiB,OAAO,CAACC,aAAa,CAACC,OAAO,CAAC,EAAE6B,CAAQ,CAAC,CAAC;AAEjE;AACA,OAAO,MAAMuB,cAAc,GACvB7C,CAAU,IAAK,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,CAACD,MAAM,GAAG,CAAS;AAEhE;AACA,OAAO,MAAM+C,EAAE,GAIwCA,CAAC,GAAGC,QAAQ,KAAS;EAC1E,MAAMjD,GAAG,GAAGiD,QAAQ,CAAChD,MAAM;EAC3B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAID,CAAC,KAAK+C,QAAQ,CAAC9C,CAAC,CAAC,EAAE;QACrB,OAAO,IAAI;MACb;IACF;IACA,OAAO,KAAK;EACd,CAAC;AACH,CAAC;AAED;AACA,OAAO,MAAM+C,GAAG,GAAkCA,CAAA,KAAM,IAAY;AAEpE;AACA,OAAO,MAAMC,OAAO,GAAOjD,CAAI,IAAmBA,CAAC,KAAKkD,SAAS,IAAIlD,CAAC,KAAK,IAAY;AAEvF;AACA,OAAO,MAAMmD,UAAU,GACrBC,WAAc,IAC+BpD,CAAU,IAAKA,CAAC,YAAYoD,WAAmB;AAE9F;AACA,OAAO,MAAMC,gBAAgB,GAE2BF,UAAU;AAElE;AACA,OAAO,MAAMG,MAAM,GACmBhC,CAAI,IAC1BF,IAAmC,IAClB;EAE7B,MAAMmC,MAAM,GAAGC,MAAM,CAACpC,IAAI,CAAC;EAE3B,IAAI5D,MAAM,CAACiG,QAAQ,CAACF,MAAM,CAAC,EAAE;IAC3B;IACA,OAAOA,MAAM,CAAClF,IAAI,KAAK,OAAO,GAAGkF,MAAM,CAACnE,KAAK,GAAGkC,CAAC,CAACiC,MAAM,CAAC3C,IAAI,CAAC;EAChE;EAEA;EACA,OAAQK,KAAQ,IAAI;IAClB,MAAMyC,CAAC,GAAGH,MAAM,CAACtC,KAAK,CAAC;IACvB,OAAOyC,CAAC,CAACrF,IAAI,KAAK,OAAO,GAAGqF,CAAC,CAACtE,KAAK,GAAGkC,CAAC,CAACoC,CAAC,CAAC9C,IAAI,CAAC;EACjD,CAAC;AACH,CAAC;AAEH;AACA,OAAO,MAAM+C,YAAY,GACvBvC,IAAmC,IAEnCkC,MAAM,CAAC,MAAK;EACV,MAAM,IAAIM,KAAK,CAAC,mCAAmC,CAAC;AACtD,CAAC,CAAC,CAACxC,IAAI,CAAC;AAEV;AACA,OAAO,MAAMoC,MAAM,GAG6BpC,IAA6B,IAAI;EAC7E,IAAIA,IAAI,CAAC/C,IAAI,KAAK,cAAc,EAAE;IAChC,OAAO+C,IAAI,CAACpC,KAAK;EACnB;EAEA,MAAMc,GAAG,GAAGsB,IAAI,CAAC3C,KAAK,CAACsB,MAAM;EAC7B,IAAID,GAAG,KAAK,CAAC,EAAE;IACb,MAAMvB,KAAK,GAAG6C,IAAI,CAAC3C,KAAK,CAAC,CAAC,CAAC;IAC3B,OAAQwC,KAAQ,IAA0B;MACxC,IAAI1C,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,IAAI,EAAE;QACxD,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C,CAAC,MAAM,IAAI1C,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,KAAK,EAAE;QAC/D,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C;MACA,OAAOzD,MAAM,CAACoD,IAAI,CAACK,KAAY,CAAC;IAClC,CAAC;EACH;EACA,OAAQA,KAAQ,IAA0B;IACxC,KAAK,IAAIhB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,MAAM1B,KAAK,GAAG6C,IAAI,CAAC3C,KAAK,CAACwB,CAAC,CAAC;MAC3B,IAAI1B,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,IAAI,EAAE;QACxD,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C,CAAC,MAAM,IAAI1C,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,KAAK,EAAE;QAC/D,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C;IACF;IAEA,OAAOzD,MAAM,CAACoD,IAAI,CAACK,KAAY,CAAC;EAClC,CAAC;AACH,CAAS;AAEX;AACA,OAAO,MAAM4C,MAAM,GAGmBzC,IAAgC,IAAI;EACtE,MAAM0C,QAAQ,GAAGN,MAAM,CAACpC,IAAI,CAAC;EAC7B,IAAI5D,MAAM,CAACiG,QAAQ,CAACK,QAAQ,CAAC,EAAE;IAC7B,OAAOtG,MAAM,CAACuD,KAAK,CAAC+C,QAAQ,EAAE;MAC5BC,MAAM,EAAEA,CAAA,KAAMrG,MAAM,CAACsG,IAAI,EAAE;MAC3BC,OAAO,EAAEvG,MAAM,CAACwG;KACjB,CAAC;EACJ;EACA,OAAQjD,KAAQ,IACdzD,MAAM,CAACuD,KAAK,CAAE+C,QAAgB,CAAC7C,KAAK,CAAC,EAAE;IACrC8C,MAAM,EAAEA,CAAA,KAAMrG,MAAM,CAACsG,IAAI,EAAE;IAC3BC,OAAO,EAAEvG,MAAM,CAACwG;GACjB,CAAC;AACN,CAAS;AAEX,MAAMC,+BAA+B,GAAG,iCAAiC;AAEzE;AACA,OAAO,MAAM3B,UAAU,GAGrBpB,IAAgC,IAC9B;EACF,MAAM0C,QAAQ,GAAGN,MAAM,CAACpC,IAAW,CAAC;EAEpC,IAAI5D,MAAM,CAACiG,QAAQ,CAACK,QAAQ,CAAC,EAAE;IAC7B,IAAIA,QAAQ,CAACzF,IAAI,KAAK,OAAO,EAAE;MAC7B,OAAOyF,QAAQ,CAAC1E,KAAK;IACvB;IAEA,MAAM,IAAIwE,KAAK,CAACO,+BAA+B,CAAC;EAClD;EAEA,OAAQnE,CAAI,IAAO;IACjB;IACA,MAAMuD,MAAM,GAAGO,QAAQ,CAAC9D,CAAC,CAAC;IAE1B,IAAIuD,MAAM,CAAClF,IAAI,KAAK,OAAO,EAAE;MAC3B,OAAOkF,MAAM,CAACnE,KAAY;IAC5B;IAEA,MAAM,IAAIwE,KAAK,CAACO,+BAA+B,CAAC;EAClD,CAAC;AACH,CAAS","ignoreList":[]}
+{"version":3,"file":"matcher.js","names":["Either","identity","Option","pipeArguments","TypeId","Symbol","for","TypeMatcherProto","_input","_filters","_remaining","_result","_return","_tag","add","_case","makeTypeMatcher","cases","pipe","arguments","matcher","Object","create","ValueMatcherProto","value","guard","provided","makeValueMatcher","right","evaluate","makeWhen","makeNot","makePredicate","pattern","Array","isArray","predicates","map","len","length","u","i","keysAndPredicates","entries","k","p","key","predicate","makeOrPredicate","patterns","makeAndPredicate","type","left","valueTags","fields","match","tagsExhaustive","input","typeTags","withReturnType","self","when","f","whenOr","args","onMatch","slice","whenAnd","discriminator","field","values","pred","_","includes","discriminatorStartsWith","startsWith","discriminators","data","discriminatorsExhaustive","addCases","exhaustive","tag","tagStartsWith","tags","not","nonEmptyString","is","literals","any","defined","undefined","instanceOf","constructor","instanceOfUnsafe","orElse","result","either","isEither","a","orElseAbsurd","Error","option","toEither","onLeft","none","onRight","some","getExhaustiveAbsurdErrorMessage"],"sources":["../../../src/internal/matcher.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,cAAc;AACtC,SAASC,QAAQ,QAAQ,gBAAgB;AAYzC,OAAO,KAAKC,MAAM,MAAM,cAAc;AACtC,SAASC,aAAa,QAAQ,gBAAgB;AAI9C;AACA,OAAO,MAAMC,MAAM,gBAAkBC,MAAM,CAACC,GAAG,CAC7C,yBAAyB,CACT;AAElB,MAAMC,gBAAgB,GAAmD;EACvE,CAACH,MAAM,GAAG;IACRI,MAAM,EAAEP,QAAQ;IAChBQ,QAAQ,EAAER,QAAQ;IAClBS,UAAU,EAAET,QAAQ;IACpBU,OAAO,EAAEV,QAAQ;IACjBW,OAAO,EAAEX;GACV;EACDY,IAAI,EAAE,aAAa;EACnBC,GAAGA,CAEDC,KAAW;IAEX,OAAOC,eAAe,CAAC,CAAC,GAAG,IAAI,CAACC,KAAK,EAAEF,KAAK,CAAC,CAAC;EAChD,CAAC;EACDG,IAAIA,CAAA;IACF,OAAOf,aAAa,CAAC,IAAI,EAAEgB,SAAS,CAAC;EACvC;CACD;AAED,SAASH,eAAeA,CACtBC,KAA0B;EAE1B,MAAMG,OAAO,GAAGC,MAAM,CAACC,MAAM,CAACf,gBAAgB,CAAC;EAC/Ca,OAAO,CAACH,KAAK,GAAGA,KAAK;EACrB,OAAOG,OAAO;AAChB;AAEA,MAAMG,iBAAiB,GAGnB;EACF,CAACnB,MAAM,GAAG;IACRI,MAAM,EAAEP,QAAQ;IAChBQ,QAAQ,EAAER,QAAQ;IAClBU,OAAO,EAAEV,QAAQ;IACjBW,OAAO,EAAEX;GACV;EACDY,IAAI,EAAE,cAAc;EACpBC,GAAGA,CAEDC,KAAW;IAEX,IAAI,IAAI,CAACS,KAAK,CAACX,IAAI,KAAK,OAAO,EAAE;MAC/B,OAAO,IAAI;IACb;IAEA,IAAIE,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAAC,IAAI,CAACC,QAAQ,CAAC,KAAK,IAAI,EAAE;MAChE,OAAOC,gBAAgB,CACrB,IAAI,CAACD,QAAQ,EACb1B,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC,IAAI,CAACH,QAAQ,CAAC,CAAC,CAC5C;IACH,CAAC,MAAM,IAAIX,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAAC,IAAI,CAACC,QAAQ,CAAC,KAAK,KAAK,EAAE;MACvE,OAAOC,gBAAgB,CACrB,IAAI,CAACD,QAAQ,EACb1B,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC,IAAI,CAACH,QAAQ,CAAC,CAAC,CAC5C;IACH;IAEA,OAAO,IAAI;EACb,CAAC;EACDR,IAAIA,CAAA;IACF,OAAOf,aAAa,CAAC,IAAI,EAAEgB,SAAS,CAAC;EACvC;CACD;AAED,SAASQ,gBAAgBA,CACvBD,QAAY,EACZF,KAA4B;EAE5B,MAAMJ,OAAO,GAAGC,MAAM,CAACC,MAAM,CAACC,iBAAiB,CAAC;EAChDH,OAAO,CAACM,QAAQ,GAAGA,QAAQ;EAC3BN,OAAO,CAACI,KAAK,GAAGA,KAAK;EACrB,OAAOJ,OAAO;AAChB;AAEA,MAAMU,QAAQ,GAAGA,CACfL,KAA8B,EAC9BI,QAAiC,MACvB;EACVhB,IAAI,EAAE,MAAM;EACZY,KAAK;EACLI;CACD,CAAC;AAEF,MAAME,OAAO,GAAGA,CACdN,KAA8B,EAC9BI,QAAiC,MACxB;EACThB,IAAI,EAAE,KAAK;EACXY,KAAK;EACLI;CACD,CAAC;AAEF,MAAMG,aAAa,GAAIC,OAAgB,IAAkC;EACvE,IAAI,OAAOA,OAAO,KAAK,UAAU,EAAE;IACjC,OAAOA,OAAuC;EAChD,CAAC,MAAM,IAAIC,KAAK,CAACC,OAAO,CAACF,OAAO,CAAC,EAAE;IACjC,MAAMG,UAAU,GAAGH,OAAO,CAACI,GAAG,CAACL,aAAa,CAAC;IAC7C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;IAE7B,OAAQC,CAAU,IAAI;MACpB,IAAI,CAACN,KAAK,CAACC,OAAO,CAACK,CAAC,CAAC,EAAE;QACrB,OAAO,KAAK;MACd;MAEA,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;QAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAACC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE;UACjC,OAAO,KAAK;QACd;MACF;MAEA,OAAO,IAAI;IACb,CAAC;EACH,CAAC,MAAM,IAAIR,OAAO,KAAK,IAAI,IAAI,OAAOA,OAAO,KAAK,QAAQ,EAAE;IAC1D,MAAMS,iBAAiB,GAAGrB,MAAM,CAACsB,OAAO,CAACV,OAAO,CAAC,CAACI,GAAG,CACnD,CAAC,CAACO,CAAC,EAAEC,CAAC,CAAC,KAAK,CAACD,CAAC,EAAEZ,aAAa,CAACa,CAAC,CAAC,CAAU,CAC3C;IACD,MAAMP,GAAG,GAAGI,iBAAiB,CAACH,MAAM;IAEpC,OAAQC,CAAU,IAAI;MACpB,IAAI,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,EAAE;QACvC,OAAO,KAAK;MACd;MAEA,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;QAC5B,MAAM,CAACK,GAAG,EAAEC,SAAS,CAAC,GAAGL,iBAAiB,CAACD,CAAC,CAAC;QAC7C,IAAI,EAAEK,GAAG,IAAIN,CAAC,CAAC,IAAIO,SAAS,CAAEP,CAAS,CAACM,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE;UACvD,OAAO,KAAK;QACd;MACF;MAEA,OAAO,IAAI;IACb,CAAC;EACH;EAEA,OAAQN,CAAU,IAAKA,CAAC,KAAKP,OAAO;AACtC,CAAC;AAED,MAAMe,eAAe,GACnBC,QAAgC,IACA;EAChC,MAAMb,UAAU,GAAGa,QAAQ,CAACZ,GAAG,CAACL,aAAa,CAAC;EAC9C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;EAE7B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAAC,KAAK,IAAI,EAAE;QAC7B,OAAO,IAAI;MACb;IACF;IAEA,OAAO,KAAK;EACd,CAAC;AACH,CAAC;AAED,MAAMU,gBAAgB,GACpBD,QAAgC,IACA;EAChC,MAAMb,UAAU,GAAGa,QAAQ,CAACZ,GAAG,CAACL,aAAa,CAAC;EAC9C,MAAMM,GAAG,GAAGF,UAAU,CAACG,MAAM;EAE7B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAIL,UAAU,CAACK,CAAC,CAAC,CAACD,CAAC,CAAC,KAAK,KAAK,EAAE;QAC9B,OAAO,KAAK;MACd;IACF;IAEA,OAAO,IAAI;EACb,CAAC;AACH,CAAC;AAED;AACA,OAAO,MAAMW,IAAI,GAAGA,CAAA,KAMfnC,eAAe,CAAC,EAAE,CAAC;AAExB;AACA,OAAO,MAAMQ,KAAK,GAChBiB,CAAI,IAC8Cd,gBAAgB,CAACc,CAAC,EAAEzC,MAAM,CAACoD,IAAI,CAACX,CAAC,CAAC,CAAC;AAEvF;AACA,OAAO,MAAMY,SAAS,GAQpBC,MAAS,IACP;EACF,MAAMC,KAAK,GAAQC,cAAc,CAACF,MAAa,CAAC,CAACtC,eAAe,CAAC,EAAE,CAAC,CAAC;EACrE,OAAQyC,KAAQ,IAAoCF,KAAK,CAACE,KAAK,CAAC;AAClE,CAAC;AAED;AACA,OAAO,MAAMC,QAAQ,GAAGA,CAAA,KAQtBJ,MAAS,IACP;EACF,MAAMC,KAAK,GAAQC,cAAc,CAACF,MAAa,CAAC,CAACtC,eAAe,CAAC,EAAE,CAAC,CAAC;EACrE,OAAQyC,KAAQ,IAAoCF,KAAK,CAACE,KAAK,CAAC;AAClE,CAAC;AAED;AACA,OAAO,MAAME,cAAc,GAAGA,CAAA,KACVC,IAAgC,IAGWA,IAAW;AAE1E;AACA,OAAO,MAAMC,IAAI,GAAGA,CAMlB5B,OAAU,EACV6B,CAAK,KAGLF,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACE,aAAa,CAACC,OAAO,CAAC,EAAE6B,CAAQ,CAAC,CAAC;AAElE;AACA,OAAO,MAAMC,MAAM,GAAGA,CAQpB,GAAGC,IAA6B,KAGhCJ,IAAkC,IAQhC;EACF,MAAMK,OAAO,GAAGD,IAAI,CAACA,IAAI,CAACzB,MAAM,GAAG,CAAC,CAAQ;EAC5C,MAAMU,QAAQ,GAAGe,IAAI,CAACE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB;EAClD,OAAQN,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACkB,eAAe,CAACC,QAAQ,CAAC,EAAEgB,OAAO,CAAC,CAAC;AACxE,CAAC;AAED;AACA,OAAO,MAAME,OAAO,GAAGA,CAQrB,GAAGH,IAA6B,KAGhCJ,IAAkC,IAUhC;EACF,MAAMK,OAAO,GAAGD,IAAI,CAACA,IAAI,CAACzB,MAAM,GAAG,CAAC,CAAQ;EAC5C,MAAMU,QAAQ,GAAGe,IAAI,CAACE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAiB;EAClD,OAAQN,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACoB,gBAAgB,CAACD,QAAQ,CAAC,EAAEgB,OAAO,CAAC,CAAC;AACzE,CAAC;AAED;AACA,OAAO,MAAMG,aAAa,GAAsBC,KAAQ,IACxD,CAME,GAAGpC,OAIF,KACC;EACF,MAAM6B,CAAC,GAAG7B,OAAO,CAACA,OAAO,CAACM,MAAM,GAAG,CAAC,CAAC;EACrC,MAAM+B,MAAM,GAAarC,OAAO,CAACiC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAQ;EACpD,MAAMK,IAAI,GAAGD,MAAM,CAAC/B,MAAM,KAAK,CAAC,GAC3BiC,CAAM,IAAKA,CAAC,CAACH,KAAK,CAAC,KAAKC,MAAM,CAAC,CAAC,CAAC,GACjCE,CAAM,IAAKF,MAAM,CAACG,QAAQ,CAACD,CAAC,CAACH,KAAK,CAAC,CAAC;EAEzC,OACET,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACyC,IAAI,EAAET,CAAQ,CAAC,CAAQ;AACzD,CAAC;AAED;AACA,OAAO,MAAMY,uBAAuB,GAAsBL,KAAQ,IAClE,CAMEpC,OAAU,EACV6B,CAAK,KACH;EACF,MAAMS,IAAI,GAAIC,CAAM,IAAK,OAAOA,CAAC,CAACH,KAAK,CAAC,KAAK,QAAQ,IAAIG,CAAC,CAACH,KAAK,CAAC,CAACM,UAAU,CAAC1C,OAAO,CAAC;EAErF,OACE2B,IAAkC,IAW9BA,IAAY,CAAC9C,GAAG,CAACgB,QAAQ,CAACyC,IAAI,EAAET,CAAQ,CAAC,CAAQ;AACzD,CAAC;AAED;AACA,OAAO,MAAMc,cAAc,GAAsBP,KAAQ,IAYvDf,MAAS,IACP;EACF,MAAMP,SAAS,GAAGjB,QAAQ,CACvB0C,CAAM,IAAKA,CAAC,CAACH,KAAK,CAAC,IAAIf,MAAM,EAC7BuB,IAAS,IAAMvB,MAAc,CAACuB,IAAI,CAACR,KAAK,CAAC,CAAC,CAACQ,IAAI,CAAC,CAClD;EAED,OACEjB,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACiC,SAAS,CAAC;AACnC,CAAC;AAED;AACA,OAAO,MAAM+B,wBAAwB,GAiBIT,KAAa,IAAMf,MAAc,IAAI;EAC1E,MAAMyB,QAAQ,GAAGH,cAAc,CAACP,KAAK,CAAC,CAACf,MAAM,CAAC;EAC9C,OAAQlC,OAAY,IAAK4D,UAAU,CAACD,QAAQ,CAAC3D,OAAO,CAAC,CAAC;AACxD,CAAC;AAEH;AACA,OAAO,MAAM6D,GAAG,gBAoBZb,aAAa,CAAC,MAAM,CAAC;AAEzB;AACA,OAAO,MAAMc,aAAa,gBAAGR,uBAAuB,CAAC,MAAM,CAAC;AAE5D;AACA,OAAO,MAAMS,IAAI,gBAAGP,cAAc,CAAC,MAAM,CAAC;AAE1C;AACA,OAAO,MAAMpB,cAAc,gBAAGsB,wBAAwB,CAAC,MAAM,CAAC;AAE9D;AACA,OAAO,MAAMM,GAAG,GAAGA,CAMjBnD,OAAU,EACV6B,CAAK,KAGLF,IAAkC,IAQ9BA,IAAY,CAAC9C,GAAG,CAACiB,OAAO,CAACC,aAAa,CAACC,OAAO,CAAC,EAAE6B,CAAQ,CAAC,CAAC;AAEjE;AACA,OAAO,MAAMuB,cAAc,GACvB7C,CAAU,IAAK,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,CAACD,MAAM,GAAG,CAAS;AAEhE;AACA,OAAO,MAAM+C,EAAE,GAIwCA,CAAC,GAAGC,QAAQ,KAAS;EAC1E,MAAMjD,GAAG,GAAGiD,QAAQ,CAAChD,MAAM;EAC3B,OAAQC,CAAU,IAAI;IACpB,KAAK,IAAIC,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,IAAID,CAAC,KAAK+C,QAAQ,CAAC9C,CAAC,CAAC,EAAE;QACrB,OAAO,IAAI;MACb;IACF;IACA,OAAO,KAAK;EACd,CAAC;AACH,CAAC;AAED;AACA,OAAO,MAAM+C,GAAG,GAAkCA,CAAA,KAAM,IAAY;AAEpE;AACA,OAAO,MAAMC,OAAO,GAAOjD,CAAI,IAAmBA,CAAC,KAAKkD,SAAS,IAAIlD,CAAC,KAAK,IAAY;AAEvF;AACA,OAAO,MAAMmD,UAAU,GACrBC,WAAc,IAC+BpD,CAAU,IAAKA,CAAC,YAAYoD,WAAmB;AAE9F;AACA,OAAO,MAAMC,gBAAgB,GAE2BF,UAAU;AAElE;AACA,OAAO,MAAMG,MAAM,GACmBhC,CAAI,IAC1BF,IAAmC,IAClB;EAE7B,MAAMmC,MAAM,GAAGC,MAAM,CAACpC,IAAI,CAAC;EAE3B,IAAI5D,MAAM,CAACiG,QAAQ,CAACF,MAAM,CAAC,EAAE;IAC3B;IACA,OAAOA,MAAM,CAAClF,IAAI,KAAK,OAAO,GAAGkF,MAAM,CAACnE,KAAK,GAAGkC,CAAC,CAACiC,MAAM,CAAC3C,IAAI,CAAC;EAChE;EAEA;EACA,OAAQK,KAAQ,IAAI;IAClB,MAAMyC,CAAC,GAAGH,MAAM,CAACtC,KAAK,CAAC;IACvB,OAAOyC,CAAC,CAACrF,IAAI,KAAK,OAAO,GAAGqF,CAAC,CAACtE,KAAK,GAAGkC,CAAC,CAACoC,CAAC,CAAC9C,IAAI,CAAC;EACjD,CAAC;AACH,CAAC;AAEH;AACA,OAAO,MAAM+C,YAAY,GACvBvC,IAAmC,IAEnCkC,MAAM,CAAC,MAAK;EACV,MAAM,IAAIM,KAAK,CAAC,mCAAmC,CAAC;AACtD,CAAC,CAAC,CAACxC,IAAI,CAAC;AAEV;AACA,OAAO,MAAMoC,MAAM,GAG6BpC,IAA6B,IAAI;EAC7E,IAAIA,IAAI,CAAC/C,IAAI,KAAK,cAAc,EAAE;IAChC,OAAO+C,IAAI,CAACpC,KAAK;EACnB;EAEA,MAAMc,GAAG,GAAGsB,IAAI,CAAC3C,KAAK,CAACsB,MAAM;EAC7B,IAAID,GAAG,KAAK,CAAC,EAAE;IACb,MAAMvB,KAAK,GAAG6C,IAAI,CAAC3C,KAAK,CAAC,CAAC,CAAC;IAC3B,OAAQwC,KAAQ,IAA0B;MACxC,IAAI1C,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,IAAI,EAAE;QACxD,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C,CAAC,MAAM,IAAI1C,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,KAAK,EAAE;QAC/D,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C;MACA,OAAOzD,MAAM,CAACoD,IAAI,CAACK,KAAY,CAAC;IAClC,CAAC;EACH;EACA,OAAQA,KAAQ,IAA0B;IACxC,KAAK,IAAIhB,CAAC,GAAG,CAAC,EAAEA,CAAC,GAAGH,GAAG,EAAEG,CAAC,EAAE,EAAE;MAC5B,MAAM1B,KAAK,GAAG6C,IAAI,CAAC3C,KAAK,CAACwB,CAAC,CAAC;MAC3B,IAAI1B,KAAK,CAACF,IAAI,KAAK,MAAM,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,IAAI,EAAE;QACxD,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C,CAAC,MAAM,IAAI1C,KAAK,CAACF,IAAI,KAAK,KAAK,IAAIE,KAAK,CAACU,KAAK,CAACgC,KAAK,CAAC,KAAK,KAAK,EAAE;QAC/D,OAAOzD,MAAM,CAAC4B,KAAK,CAACb,KAAK,CAACc,QAAQ,CAAC4B,KAAK,CAAC,CAAC;MAC5C;IACF;IAEA,OAAOzD,MAAM,CAACoD,IAAI,CAACK,KAAY,CAAC;EAClC,CAAC;AACH,CAAS;AAEX;AACA,OAAO,MAAM4C,MAAM,GAGmBzC,IAAgC,IAAI;EACtE,MAAM0C,QAAQ,GAAGN,MAAM,CAACpC,IAAI,CAAC;EAC7B,IAAI5D,MAAM,CAACiG,QAAQ,CAACK,QAAQ,CAAC,EAAE;IAC7B,OAAOtG,MAAM,CAACuD,KAAK,CAAC+C,QAAQ,EAAE;MAC5BC,MAAM,EAAEA,CAAA,KAAMrG,MAAM,CAACsG,IAAI,EAAE;MAC3BC,OAAO,EAAEvG,MAAM,CAACwG;KACjB,CAAC;EACJ;EACA,OAAQjD,KAAQ,IACdzD,MAAM,CAACuD,KAAK,CAAE+C,QAAgB,CAAC7C,KAAK,CAAC,EAAE;IACrC8C,MAAM,EAAEA,CAAA,KAAMrG,MAAM,CAACsG,IAAI,EAAE;IAC3BC,OAAO,EAAEvG,MAAM,CAACwG;GACjB,CAAC;AACN,CAAS;AAEX,MAAMC,+BAA+B,GAAG,iCAAiC;AAEzE;AACA,OAAO,MAAM3B,UAAU,GAGrBpB,IAAgC,IAC9B;EACF,MAAM0C,QAAQ,GAAGN,MAAM,CAACpC,IAAW,CAAC;EAEpC,IAAI5D,MAAM,CAACiG,QAAQ,CAACK,QAAQ,CAAC,EAAE;IAC7B,IAAIA,QAAQ,CAACzF,IAAI,KAAK,OAAO,EAAE;MAC7B,OAAOyF,QAAQ,CAAC1E,KAAK;IACvB;IAEA,MAAM,IAAIwE,KAAK,CAACO,+BAA+B,CAAC;EAClD;EAEA,OAAQnE,CAAI,IAAO;IACjB;IACA,MAAMuD,MAAM,GAAGO,QAAQ,CAAC9D,CAAC,CAAC;IAE1B,IAAIuD,MAAM,CAAClF,IAAI,KAAK,OAAO,EAAE;MAC3B,OAAOkF,MAAM,CAACnE,KAAY;IAC5B;IAEA,MAAM,IAAIwE,KAAK,CAACO,+BAA+B,CAAC;EAClD,CAAC;AACH,CAAS","ignoreList":[]}

package/dist/esm/internal/version.js

@@ -1,4 +1,4 @@
-let moduleVersion = "3.13.3";
+let moduleVersion = "3.13.6";
 export const getCurrentVersion = () => moduleVersion;
 export const setCurrentVersion = version => {
   moduleVersion = version;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.13.3",
+  "version": "3.13.6",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {

package/src/Match.ts

@@ -511,15 +511,15 @@ export const whenAnd: <
  */
 export const discriminator: <D extends string>(
   field: D
-) => <R, P extends Types.Tags<D, R> & string, Ret, B extends Ret>(
-  ...pattern: [first: P, ...values: Array<P>, f: (_: Extract<R, Record<D, P>>) => B]
+) => <R, P extends Types.Tags<D, R> & string, Ret, Fn extends (_: Extract<R, Record<D, P>>) => Ret>(
+  ...pattern: [first: P, ...values: Array<P>, f: Fn]
 ) => <I, F, A, Pr>(
   self: Matcher<I, F, R, A, Pr, Ret>
 ) => Matcher<
   I,
   Types.AddWithout<F, Extract<R, Record<D, P>>>,
   Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<D, P>>>>,
-  B | A,
+  A | ReturnType<Fn>,
   Pr,
   Ret
 > = internal.discriminator
@@ -560,19 +560,19 @@ export const discriminator: <D extends string>(
  */
 export const discriminatorStartsWith: <D extends string>(
   field: D
-) => <R, P extends string, Ret, B extends Ret>(
+) => <R, P extends string, Ret, Fn extends (_: Extract<R, Record<D, `${P}${string}`>>) => Ret>(
   pattern: P,
-  f: (_: Extract<R, Record<D, `${P}${string}`>>) => B
+  f: Fn
 ) => <I, F, A, Pr>(
   self: Matcher<I, F, R, A, Pr, Ret>
 ) => Matcher<
   I,
   Types.AddWithout<F, Extract<R, Record<D, `${P}${string}`>>>,
   Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<D, `${P}${string}`>>>>,
-  B | A,
+  A | ReturnType<Fn>,
   Pr,
   Ret
-> = internal.discriminatorStartsWith as any
+> = internal.discriminatorStartsWith
 
 /**
  * Matches values based on a field that serves as a discriminator, mapping each
@@ -716,15 +716,20 @@ export const discriminatorsExhaustive: <D extends string>(
  * @category Defining patterns
  * @since 1.0.0
  */
-export const tag: <R, P extends Types.Tags<"_tag", R> & string, Ret, B extends Ret>(
-  ...pattern: [first: P, ...values: Array<P>, f: (_: Extract<T.NoInfer<R>, Record<"_tag", P>>) => B]
+export const tag: <
+  R,
+  P extends Types.Tags<"_tag", R> & string,
+  Ret,
+  Fn extends (_: Extract<R, Record<"_tag", P>>) => Ret
+>(
+  ...pattern: [first: P, ...values: Array<P>, f: Fn]
 ) => <I, F, A, Pr>(
   self: Matcher<I, F, R, A, Pr, Ret>
 ) => Matcher<
   I,
   Types.AddWithout<F, Extract<R, Record<"_tag", P>>>,
   Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<"_tag", P>>>>,
-  B | A,
+  ReturnType<Fn> | A,
   Pr,
   Ret
 > = internal.tag
@@ -758,16 +763,21 @@ export const tag: <R, P extends Types.Tags<"_tag", R> & string, Ret, B extends R
  * @category Defining patterns
  * @since 1.0.0
  */
-export const tagStartsWith: <R, P extends string, Ret, B extends Ret>(
+export const tagStartsWith: <
+  R,
+  P extends string,
+  Ret,
+  Fn extends (_: Extract<R, Record<"_tag", `${P}${string}`>>) => Ret
+>(
   pattern: P,
-  f: (_: Extract<T.NoInfer<R>, Record<"_tag", `${P}${string}`>>) => B
+  f: Fn
 ) => <I, F, A, Pr>(
   self: Matcher<I, F, R, A, Pr, Ret>
 ) => Matcher<
   I,
   Types.AddWithout<F, Extract<R, Record<"_tag", `${P}${string}`>>>,
   Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<"_tag", `${P}${string}`>>>>,
-  B | A,
+  ReturnType<Fn> | A,
   Pr,
   Ret
 > = internal.tagStartsWith

package/src/Schema.ts

@@ -3469,18 +3469,13 @@ const intersectTypeLiterals = (
   throw new Error(errors_.getSchemaExtendErrorMessage(x, y, path))
 }
 
-const preserveRefinementAnnotations = AST.blackListAnnotations([
-  AST.IdentifierAnnotationId
-])
+const preserveRefinementAnnotations = AST.blackListAnnotations([AST.IdentifierAnnotationId])
 
 const addRefinementToMembers = (refinement: AST.Refinement, asts: ReadonlyArray<AST.AST>): Array<AST.Refinement> =>
   asts.map((ast) => new AST.Refinement(ast, refinement.filter, preserveRefinementAnnotations(refinement)))
 
-const extendAST = (
-  x: AST.AST,
-  y: AST.AST,
-  path: ReadonlyArray<PropertyKey>
-): AST.AST => AST.Union.make(intersectUnionMembers([x], [y], path))
+const extendAST = (x: AST.AST, y: AST.AST, path: ReadonlyArray<PropertyKey>): AST.AST =>
+  AST.Union.make(intersectUnionMembers([x], [y], path))
 
 const getTypes = (ast: AST.AST): ReadonlyArray<AST.AST> => AST.isUnion(ast) ? ast.types : [ast]
 
@@ -3555,59 +3550,63 @@ const intersectUnionMembers = (
             case "TypeLiteral":
               return [intersectTypeLiterals(x, y, path)]
             case "Transformation": {
-              if (AST.isTypeLiteralTransformation(x.transformation)) {
-                return [
-                  new AST.Transformation(
-                    intersectTypeLiterals(x.from, y, path),
-                    intersectTypeLiterals(x.to, AST.typeAST(y), path),
-                    new AST.TypeLiteralTransformation(
-                      x.transformation.propertySignatureTransformations
+              const transformation = x.transformation
+              const from = intersectTypeLiterals(x.from, y, path)
+              const to = intersectTypeLiterals(x.to, AST.typeAST(y), path)
+              switch (transformation._tag) {
+                case "TypeLiteralTransformation":
+                  return [
+                    new AST.Transformation(
+                      from,
+                      to,
+                      new AST.TypeLiteralTransformation(transformation.propertySignatureTransformations)
                     )
-                  )
-                ]
+                  ]
+                case "ComposeTransformation":
+                  return [new AST.Transformation(from, to, AST.composeTransformation)]
+                case "FinalTransformation":
+                  return [
+                    new AST.Transformation(
+                      from,
+                      to,
+                      new AST.FinalTransformation(
+                        (fromA, options, ast, fromI) =>
+                          ParseResult.map(
+                            transformation.decode(fromA, options, ast, fromI),
+                            (partial) => ({ ...fromA, ...partial })
+                          ),
+                        (toI, options, ast, toA) =>
+                          ParseResult.map(
+                            transformation.encode(toI, options, ast, toA),
+                            (partial) => ({ ...toI, ...partial })
+                          )
+                      )
+                    )
+                  ]
               }
-              break
             }
           }
           break
         }
         case "Transformation": {
-          if (AST.isTypeLiteralTransformation(y.transformation)) {
-            switch (x._tag) {
-              case "Union":
-                return intersectUnionMembers(x.types, [y], path)
-              case "Suspend":
-                return [new AST.Suspend(() => extendAST(x.f(), y, path))]
-              case "Refinement":
-                return addRefinementToMembers(x, intersectUnionMembers(getTypes(x.from), [y], path))
-              case "TypeLiteral":
-                return [
-                  new AST.Transformation(
-                    intersectTypeLiterals(x, y.from, path),
-                    intersectTypeLiterals(AST.typeAST(x), y.to, path),
-                    new AST.TypeLiteralTransformation(
-                      y.transformation.propertySignatureTransformations
+          if (AST.isTransformation(x)) {
+            if (
+              AST.isTypeLiteralTransformation(y.transformation) && AST.isTypeLiteralTransformation(x.transformation)
+            ) {
+              return [
+                new AST.Transformation(
+                  intersectTypeLiterals(x.from, y.from, path),
+                  intersectTypeLiterals(x.to, y.to, path),
+                  new AST.TypeLiteralTransformation(
+                    y.transformation.propertySignatureTransformations.concat(
+                      x.transformation.propertySignatureTransformations
                     )
                   )
-                ]
-              case "Transformation":
-                {
-                  if (AST.isTypeLiteralTransformation(x.transformation)) {
-                    return [
-                      new AST.Transformation(
-                        intersectTypeLiterals(x.from, y.from, path),
-                        intersectTypeLiterals(x.to, y.to, path),
-                        new AST.TypeLiteralTransformation(
-                          y.transformation.propertySignatureTransformations.concat(
-                            x.transformation.propertySignatureTransformations
-                          )
-                        )
-                      )
-                    ]
-                  }
-                }
-                break
+                )
+              ]
             }
+          } else {
+            return intersectUnionMembers([y], [x], path)
           }
           break
         }
@@ -9284,9 +9283,12 @@ const extendFields = (a: Struct.Fields, b: Struct.Fields): Struct.Fields => {
   return out
 }
 
-/** @internal */
+/**
+ * @category Constructor utils
+ * @since 3.13.4
+ */
 export type MakeOptions = boolean | {
-  readonly disableValidation?: boolean
+  readonly disableValidation?: boolean | undefined
 }
 
 function getDisableValidationMakeOption(options: MakeOptions | undefined): boolean {
@@ -9382,7 +9384,7 @@ const makeClass = <Fields extends Struct.Fields>(
       }
 
       const declaration: Schema.Any = declare(
-        [typeSide],
+        [schema],
         {
           decode: () => (input, _, ast) =>
             input instanceof this || fallbackInstanceOf(input)

package/src/Types.ts

@@ -251,7 +251,7 @@ export type Mutable<T> = {
  */
 export type DeepMutable<T> = T extends ReadonlyMap<infer K, infer V> ? Map<DeepMutable<K>, DeepMutable<V>>
   : T extends ReadonlySet<infer V> ? Set<DeepMutable<V>>
-  : [keyof T] extends [never] ? T
+  : T extends string | number | boolean | bigint | symbol ? T
   : { -readonly [K in keyof T]: DeepMutable<T[K]> }
 
 /**

package/src/internal/matcher.ts

@@ -321,38 +321,47 @@ export const whenAnd = <
 }
 
 /** @internal */
-export const discriminator =
-  <D extends string>(field: D) =>
-  <R, P extends Types.Tags<D, R> & string, Ret, B extends Ret>(
-    ...pattern: [
-      first: P,
-      ...values: Array<P>,
-      f: (_: Extract<R, Record<D, P>>) => B
-    ]
-  ) => {
-    const f = pattern[pattern.length - 1]
-    const values: Array<P> = pattern.slice(0, -1) as any
-    const pred = values.length === 1
-      ? (_: any) => _[field] === values[0]
-      : (_: any) => values.includes(_[field])
-
-    return <I, F, A, Pr>(
-      self: Matcher<I, F, R, A, Pr, Ret>
-    ): Matcher<
-      I,
-      Types.AddWithout<F, Extract<R, Record<D, P>>>,
-      Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<D, P>>>>,
-      A | B,
-      Pr,
-      Ret
-    > => (self as any).add(makeWhen(pred, f as any)) as any
-  }
+export const discriminator = <D extends string>(field: D) =>
+<
+  R,
+  P extends Types.Tags<D, R> & string,
+  Ret,
+  Fn extends (_: Extract<R, Record<D, P>>) => Ret
+>(
+  ...pattern: [
+    first: P,
+    ...values: Array<P>,
+    f: Fn
+  ]
+) => {
+  const f = pattern[pattern.length - 1]
+  const values: Array<P> = pattern.slice(0, -1) as any
+  const pred = values.length === 1
+    ? (_: any) => _[field] === values[0]
+    : (_: any) => values.includes(_[field])
+
+  return <I, F, A, Pr>(
+    self: Matcher<I, F, R, A, Pr, Ret>
+  ): Matcher<
+    I,
+    Types.AddWithout<F, Extract<R, Record<D, P>>>,
+    Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<D, P>>>>,
+    A | ReturnType<Fn>,
+    Pr,
+    Ret
+  > => (self as any).add(makeWhen(pred, f as any)) as any
+}
 
 /** @internal */
 export const discriminatorStartsWith = <D extends string>(field: D) =>
-<R, P extends string, Ret, B extends Ret>(
+<
+  R,
+  P extends string,
+  Ret,
+  Fn extends (_: Extract<R, Record<D, `${P}${string}`>>) => Ret
+>(
   pattern: P,
-  f: (_: Extract<R, Record<D, `${P}${string}`>>) => B
+  f: Fn
 ) => {
   const pred = (_: any) => typeof _[field] === "string" && _[field].startsWith(pattern)
 
@@ -365,7 +374,7 @@ export const discriminatorStartsWith = <D extends string>(field: D) =>
       I,
       Types.AddWithout<F, Extract<R, Record<D, `${P}${string}`>>>
     >,
-    A | B,
+    A | ReturnType<Fn>,
     Pr,
     Ret
   > => (self as any).add(makeWhen(pred, f as any)) as any
@@ -427,11 +436,16 @@ export const discriminatorsExhaustive: <D extends string>(
   }
 
 /** @internal */
-export const tag: <R, P extends Types.Tags<"_tag", R> & string, Ret, B extends Ret>(
+export const tag: <
+  R,
+  P extends Types.Tags<"_tag", R> & string,
+  Ret,
+  Fn extends (_: Extract<R, Record<"_tag", P>>) => Ret
+>(
   ...pattern: [
     first: P,
     ...values: Array<P>,
-    f: (_: Extract<R, Record<"_tag", P>>) => B
+    f: Fn
   ]
 ) => <I, F, A, Pr>(
   self: Matcher<I, F, R, A, Pr, Ret>
@@ -439,7 +453,7 @@ export const tag: <R, P extends Types.Tags<"_tag", R> & string, Ret, B extends R
   I,
   Types.AddWithout<F, Extract<R, Record<"_tag", P>>>,
   Types.ApplyFilters<I, Types.AddWithout<F, Extract<R, Record<"_tag", P>>>>,
-  B | A,
+  ReturnType<Fn> | A,
   Pr,
   Ret
 > = discriminator("_tag")

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.13.3"
+let moduleVersion = "3.13.6"
 
 export const getCurrentVersion = () => moduleVersion