Skip to content

Commit

Permalink
Algebras Tests
Browse files Browse the repository at this point in the history
  • Loading branch information
Stefanos Stefanou committed Nov 8, 2023
1 parent cf92a88 commit e7211e9
Show file tree
Hide file tree
Showing 7 changed files with 36 additions and 9 deletions.
2 changes: 1 addition & 1 deletion diagram.drawio
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<mxfile host="Electron" modified="2023-11-02T11:32:30.414Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.0 Chrome/100.0.4896.143 Electron/18.2.0 Safari/537.36" etag="EoBjPJZ7Sm39j1Mcr1Nc" version="18.0.0" type="device" pages="2"><diagram id="tPDxc9v9lSpUtl4Dx5MV" name="Initial Big Picture">7V1bd5u4Fv4t58Gr6QNdXH15tJ2kt+RMp8mZNnmZJYNsqwFEhRzb8+uPBAJzkS+NMZhOHpKAJIT49kVbW3srHWPsrd4TEMxvsQPdjq46q45x2dF1bWAY7A8vWcclutrvxiUzghzRalNwh/6BolAVpQvkwDDXkGLsUhTkC23s+9CmuTJACF7mm02xm39rAGawVHBnA7dc+g05dB6X9vXepvwDRLN58matO4hrPJA0Fl8SzoGDl5ki46pjjAnGNL7yVmPocvQSXOLnrrfUpgMj0KeHPHD/+fO3h5/h3U/nm7oM8ejuunejCPI8A3chPlgMlq4TBAhe+A7knWgdY7ScIwrvAmDz2iUjOiubU88V1eVBiXE+Q0LhKlMkBvkeYg9SsmZNRK1iGVb8jOAZpSsQXG4IoA26otE8i74lWgJB9Vna+wYYdiGwkeP0eL/uPox7tmfDL+Rz8DSeDxeK1m8DUFZfipRaRko3T4WU1QagDPNQltL7FQB19/B18Th+/3Rlfn/o6pPHWzTvK9qgYqSm2KdCgWp6NcgZCe8I4CyrjJvRl/GXbp0Ktqol8QSwKfr5wdZrAWxFOR0cKqVmFepMilu/hBJ0mIEgbjGhczzDPnCvNqWjDY4qu9u0ucE4EOj9gJSuBXxgQXEeW7hC9Hvm+oF39c4Sd5cr0XN0s05ufPa537M3maf47eax6C55bivdQrwgNtwBjWAgCsgM0h3tzLgdx20nFxDoAoqe84ZX5QQdvBL0WIJaTRFUbpoZTVJUfQlFtTxFe7WSVA6idlZCqpcmq1tGHaejd132FaMJYVczfnURLAhkr5iyUd2C4O2OOU09YE5DrjvGLibRs4Zjwb5jsvKQEvwEMzV9fWJ0uxXZWGreWEiXvtlZT5cYC90K5rwvj58e3HvP+uePy/CuO7n883/qUNFKKLZMReqnEyijLFAfvw+WXz/9dX29/jhad38SEvpMoNSzEqjyOv964dsUE4lIee2UI00tWN0y6/FUciTlAavtcnQ6MTIPFaOmpEg6mu4rQY8lqH5etqPaJEXztqP+MuOxVpJKQeye1Uxnlma6YRC4yI5fLTcg2zjdWVp+ttMsq77pbteyMGtjMIIza0KC+jSu+R2A17tNA6+VXXmv81KCjVrWYvKG57UCTsadXwJjtG0NfKQkVSAX/UFOLLpG712NgvFpulqD/uMl+yQN/5j6poJn7V/IHiYXBZZ9oaAku+sZQfm68MYTYzbqLf++GS/XN7NLNFGaFYuELTdicQc9NGNUk00zNvYmyD8D4TA1s0npkGMp26qNIZxrCYRJCd/uyUHY/bnASYUSRsIwZA10M1jFj4n6pKNbTII5Cr2QNcI+7wp5AetLV5lpBmeYIBiWKZiUcBdfNIJScXmoLx+8pm8dPLcd1TcTSJcQ+m/2jHrIv+/N1XQKbcrbUgL8kIkHb6sin2kMRk72k2By7HcXmJvxJM1zcN4g8rEPC9aTKAqZDCB/xgqszd19pPj4nqZcUhg2ZOpGoS1z5DjQL2nRCgRIsQrenVRWMvKTunwqDwqRC1C3CgEqc9u4xFpb2OBovn5lvO2Ml+7dS/S0Uaee1sumYCVs9p5PmvtYTMoZ/xYWSHZo+nnVUytLSL1ojW55/ophe5A9usvzu3fdZkht4KY8xL22EOakK/FDCSpt11i4iHzU5itFj6Vo/7woWppNuYN4LVk9jvEzIAhEE2q6XcqUPtP5DDCCnYVN2+jB7BkFU7rOiINdu0IZmnz0Bfax1wu4leI87dvQtmU4T/qWaVVkNxRxNhrfkU7cJ6/abOu8s1ebDc5Lm736/o+maHOxOruGLVOGqa+T68PyAq11M1EpZkfrNa0iy+kFkXkwJIiuIyMAYV/i8rMXhKz58vU3IIIuSVeolwjl1Jgc56sXLba+NL1gFuiyZKR6zYKyhylVOR0+kpJpjFq6eV8CX1Nr3IbZvp+W3+gFMw/s3M0qVvmYRkOzjyNJBQBbvTy+NW90yaO8Gg3ErCJDYG9AcyYbSzcPNZrkYJWNJmm7xvxuu0adEaIRSpfsrdNSxRAjRZelQNcrQ43GvlYhQ3uzbKqTIb2VMlR2wjAZwq4DJnybvnXel5IQ1bq22EXvHML3BLBvCtuIcL+oper0I8pZuFH/VstmekkqkxzUyt0j4tEvGEXriy3spA0KbBJ/kXiqwCnpMA5iHulZKI2meud5p3eaXICDc/ZfwjtSTCvPDTiQdXrWqVhHbh016oWtQu9U4oXdlR5yxinIUs5tdCc/T9EXZgb9isF7pDqQ0LhGdTAkBKwzDQIu5uF2bZE63JJ4niyz7G2tmOrO9sqx7Y1+bkDsIv7ASjVWOXQxkyZ1RYg0M5gAFCaVYw44pdALaHxDoM2jsSTeqUpN22aS8pXGTVvZ+T0x0Kx/HkxszwFbRsTDSEL9FnTKzZptYZ9hAPwcZZKGdowqjx0ls8mFGlM4+fM26kKNgkynwEPuOm76AbrPkDIeytRLglBFRfxSXuNj4gE3Uydcz4qLZoAuCD//b2c7GwTbmiwFbXilqcYzmeoyJQyJkkYcFp/kYdnAF13GmlHlgY0KYCPy42KbMRckmTrEWNoXb1KTT41qovDvKes/eVMU7xgzU3RAYeY1S0yc/MDSvti3TJ4Q6473GXO/Itgx124C7KdZJGJKgY662Y9JqJsDcWEl1Ix6dZgME8C3uBQ6R/aTD0MxPOQjihJ8im0ztNzZLjOcXLupiwEtguOgMHDBOmnuIp+H4P8HeQGbWPnGhCymdR6dFsnePOeNO9boqmNdRrxA0tIJmqbBPFEo/oSN0OM1XIwWPmK/vexxI0xeY0nZHfN6eue6RCtJDhbTJGrJOJVaOuA0Nug7Q34SJ7uzXRCGyM4Dk58NNmECG5v0IWe+yI2Z1HTamEsPGavqiPDUXeq4suToDAEtCf2SsiPXSemSuuQT27NQ2m8VpeecJj3F0JxsySVjtHYtuWp0SMuS++r09fyqhV5Msd5tQRcdvWavBgNakokYnVG1zXaGfhgdVTWOL/6ITehiM+CAgG4s7GI1gXTONGm1O+/NOIsbN6i1cpxVOa2mlLUoAk862QTAd+zuYrgaSZc+B6bRxIUOek6K/ouZBcbjidQwgDY3lSKDDU3ZL24RRSNWR6txpsPM49uMlN8qMUexjOLaWcJW8qzAkx2ALD3X92RptUObLqKQqKE7gxMC9uVz/fuyt5TSRqAl2U2XM4l2KiaR5PRdIbY8IdGSRR8Po2VL65S8kibbplhL0nRPpuelPsdDstwvF/ZTZB4FkiOCirKa/I+CRBSNslTeIA/xtqNkiQnsOEArWmCCCDIxf6yj1WY+D/xVdrdlfSvGoaKrnoqfyp7Tv4CLHEZN51TCW4/Pc3MqfmpI1xmZ2v364RmEyph+0f8OVNcMHTYDbk3WUj3wFHl6QEZ+LoRj5y0XL+wFmIdVqD8WIRc+Fz0lPp4wG0xcmRgJ5+Bl6hnk0CMbuENR4TE5iZahMurn+eMEp6sPCqJkyKK8ZYfSF7fhKyOuLtHMR/mODkbtTNwxg2KCWPewbetSR72CX0cbFDp6sTOG3W7+RU3cfPOffoyr/wM=</diagram><diagram id="tC56nJd8TbMdIFzj_9b9" name="Tasks">3Zhbb9owGIZ/TS4rJTYx4bLQwyat2ipQd7gzsZNYdeLIGAL79XPAIQdTadNALr3CeX2Kn+/F8WcPzvLto8Rl9iQI5R7wydaDdx4AQeAj/VMru4MyCcYHIZWMmEatMGe/qRF9o64ZoateQyUEV6zsi7EoChqrnoalFFW/WSJ4f9YSp9QS5jHmtvqdEZUd1AiMW/0TZWnWzBygyaEmx01js5JVhomoOhK89+BMCqEOpXw7o7yG13A59Ht4o/b4YpIW6m86PLNnAtFm+fXXovpRvfx85Am7MaNsMF+bBXsAcT3eNNNVKK1LC7x6XTWyHr+tacRyKCzlUNH9Oq32PNSugazodj+lyrkWAl1cKSle6UxwIbVSiEK3nCaM84G0KnHMilQLYfu0EKUWbjQPOK0ypuhc6/VUlfao1sSGyoTvY5ExQmihNSnWBaE1Kv/4hl22DSgq9ct2JMP6kYqcKrnTTUwtMmE3vg+gea5aFwUTo2VdBzV+wca56XHoNri6YOL7D7EGVqzvaojDYLQkgjf4deJ0BlDjPihwChQ4AQpdihO0OH2jBald5hoVCN8bq5HFaiGIcA5qBN8bqNACNac5SzWYEvP9t4qp3f9x626PHoAkpBEZWXupronAEiJ0kX/vyDloZIF+wmmOz4o2SRIQx6fQErRE4ZnQoqDPFgLXbMdvm/j6rQudWzeyrSsKobtcv3dD3zXciQX3c7HRuy7WawT+F6wThevDPDwQuPdwE/cO54d1ESu9+qulPBoNPnLON+LAztv6xwl+dtJRTE+TXkbhKDxT0jQk/Q78bGdNt2XJdx/HzaF7N9sZV82YxVixDf04pJF70na+1iF9L+VH2qbH7nHbWd8L5oxgpUEC/5andCnxRbZrJ8Qj98Tt9G+K41cu3F/eDI/El7yT0I/txfK+rnM9D+//AA==</diagram></mxfile>
<mxfile host="Electron" modified="2023-11-08T11:29:28.871Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.0 Chrome/100.0.4896.143 Electron/18.2.0 Safari/537.36" etag="EC0f2gJR-OAFu-owCELl" version="18.0.0" type="device" pages="2"><diagram id="tPDxc9v9lSpUtl4Dx5MV" name="Initial Big Picture">7V1bd5u4Fv4t58Gr6QNdXH15tJ2kt+RMp8mZNnmZJYNsqwFEhRzb8+uPBAJzkbEbY2M66VpNQBJCfPuira29lY4x9lbvCQjmt9iBbkdXnVXHuOzo7J9lsF+8ZC1KVLMbl8wIcuIybVNwh/6BolAVpQvkwDDXkGLsUhTkC23s+9CmuTJACF7mm02xm39rAGawVHBnA7dc+g05dB6X9vXepvwDRLN58matO4hrPJA0Fl8SzoGDl5ki46pjjAnGNL7yVmPocvQSXOLnrrfUpgMj0Kf7PHD/+fO3h5/h3U/nm7oM8ejuunejCPI8A3chPlgMlq4TBAhe+A7knWgdY7ScIwrvAmDz2iUjOiubU88V1eVBiXE+Q0LhKlMkBvkeYg9SsmZNRK1iGVb8jOAZpSsQXG4IoA26otE8i74lWgJB9Vna+wYYdiGwkeP0eL/uPox7tmfDL+Rz8DSeDxeK1m8DUFZfipRaRko3j4WU1QagDHNfltL7NQB19/B18Th+/3Rlfn/o6pPHWzTvK9qgZqSm2KdCgWp6PcgZCe8I4CyrjJvRl/GXbh0Ltrol8QiwKfr5wdZrAWxFOR3sK6VmHepMilu/hBJ0mIEgbjGhczzDPnCvNqWjDY4qu9u0ucE4EOj9gJSuBXxgQXEeW7hC9Hvm+oF39c4Sd5cr0XN0s05ufPa537M3maf47eax6C55bivdQrwgNqyARjAQBWQGaUU7M27HcavkAgJdQNFz3vCqnaCDV4IeSlCrKYLKTTOjSYqqL6Golqdo76QklYOonZWQ6qXJ6pZRx+noXZd9xWhC2NWMX10ECwLZK6ZsVLcgeFsxp6l7zGnIdcfYxSR61nAs2HdMVh5Sgp9gpqavT4xutyYbS80bC+nSNzvr6RJjoVvDnPfl8dODe+9Z//xxGd51J5d//k8dKloJxZapSP14AmWUBerj98Hy66e/rq/XH0fr7k9CQp8JlHpWAlVe518vfJtiIhEpr51ypKkFq1tmPR5LjqQ8YLVdjo4nRua+YtSUFElH030l6KEE1c/LdlSbpGjedtRfZjyelKRSELtnNdOZpZluGAQusuNXyw3INk53lpaf7TTLOt10V7UszNoYjODMmpCgPo1rfgfg9W7TwGtlV97rvJRgo5a1mLzhea2Ak3Hnl8AYbVsDHyhJNchFf5ATi67Re3dCwfg0Xa1B//GSfZKGf0x9U8Gz9i9kjygXyWZ6Ri6+LrzxxJiNesu/b8bL9c3sEk2as8Arh50RizvooRmjmmyasbE3Qf4ZCIepmU1KhxxL2VZtDOFcSyBMSvh2Tw7C7s8FTiqUMBKGIWugm8EqfkzUJx3dYhLMUeiFrBH2eVfIC1hfuspMMzjDBMGwTMGkhLv4ohGUistDffngNX3r4LntqL6ZQLqE0H+zY9RD/n1vrqZTaFPelhLgh0w8eFsV+UxjMHKy/wkmh353gbkZT9I8B+cNIh/7sGA9iaKQyQDyZ6zA2tzdR4qP72nKJYVhQ6ZuFNoyR44D/ZIWrUGAFKvg3UllJSM/qcun9qAQuQB16xCgMreNS6y1hQ0O5utXxtvOeOnevURPG6fU03rZFKyFzd7zSXMXi0k549/CAskOTT+vek7KElIvWqNbnr9i2O5loFZ5fneu24ym7FPpqHttIcxRVxz7ElTarrFwEfmozVeKHkrR/nlRtDSbcgfxWrJ6HONnQBCIJtR0u5QpfabzGWAEOwubttGD2TMKpvQpIw6qdoUyNPnoC+xjrxdwa8V52rehbctwnvQt06rJbijibDS+I524T1612dZ5Z6c2G5yXNnv1/R9M0eZidaqGLVOGqa+T68PyAq11M1EpZkfrNa0iy+kFkXkwJIiuIyMAYV/i8rMXhKz58vU3IIIuSVc4LRHKqTE5zlcvWmx9aXrBLNBlyUinNQvKHqZU5XT4SEqmMWrp5n0JfE094TZM1QZbdqMXzDxQuZtVrPIxjYZmH0aSGgC2enl8T7zRJY/yajQQs44MgZ0BzZlsLN3c12iSg1U2mqTtGvO7VY06I0QjlC7ZW6eliiFGii5LgT6tDDUa+1qHDO3MsqlPhvRWylDZCcNkCLsOmPBt+tZ5X0pCdNK1RRW9cwjfE8C+KWwjwv2iljqlH1HOwo36t1o200tSmeSg1u4eEY9+wShaX2xhJ21QYJP4i8RTBU5Jh7EX80jPQmk01TvPO73j5ALsnbP/Et6RYlp7bsCerNOzjsU6cuuoUS9sHXqnFi9sVXrIGacgSzm30Z38PEVfmBn0KwbvgepAQuMTqoMhIWCdaRBwMQ+3a4vU4ZbE82SZZWdrxVQr2yuHtjf6uQGxi/gDa9VY5dDFTJrUFSHSzGACUJhUjjnglEIvoPENgTaPxpJ4p2o1bZtJylcaN21l5/fEQLP+eTCxPQdsGREPIwn1W9ApN2u2hX2GAfBzlEka2jGqPHaUzCYXakzh5NfbqAs1CjKdAg+567jpB+g+Q8p4KFMvCUIVFfFLeY2PiQfcTJ1wPSsumgG6IPz8v8p2Ngi2NVkK2vBKU41nMtVlShgSJY04LD7Jw7KBL7qMNaPKAxsVwEbkx8U2Yy5IMnWIsbQv3qQmnxrVROHfU9Z/8qYo3jFmpuiAwsxrlpg4+YGlfbFvmTwh1h3vM+Z+RbBjrt0E2E+zSMSUAh11sx+TUDcH4sJKqBn16jAZJoBvcSl0juwnH4ZieMhHFCX4FNtmaFnZLjOcXLupiwEtguOgMHDBOmnuIp+H4P8HeQGbWPnGhCymdR6dFsnePOeNO9boqmNdRrxA0tIJmqbBPFEo/oSN0OM1XIwWPmI/vexxI0xeY0mpjnk9vnNdopUkB4tpErVkHEst7XEaG/SdIT+Jk93ZLghDZOeByc8GmzCBjU36kDNf5MZMajptzKWHjFV1QHhqlTquLTk6Q0BLQr+k7MB1UrqkLvnEdiyUdltF6TmnSU8xNEdbcskYrV1LrhM6pGXZfqf09fyqhV5Msa62oIuOXrN3AgNakokYnVG1zXaGfhgdVTWOL/6ITehiM+CAgG4s7GI1gXTONGm9O+/NOIsbN6i1cpxVOa2mlLUoAk862QTAd+zuYrgaSZc+e6bRxIUOek6K/ouZBcbjidQwgDY3lSKDDU3ZD24RRSNWR6txpsPM49uMlN8qMUexjOLaWcJW8qzAox2ALD3X92hptUObLqKQqKE7gxMCduVz/fuyt5TSRqAl2U2XM4l2LCaR5PRdIbY8IdGSRR8Po2VL65S8kibbplhL0nSPpuelPsd9stwvF/ZTZB4FkiOCirKa/I2CRBSNslTeIA/xtqNkiQnsOEArWmCCCDIxf6yj1WY+D/xVdrdlfSvGvqKrHoufyp7Tv4CLHEZN51jCexqf5+ZU/NSQPmVkavfrh2cQKmP6Rf87UF0zdNgMuDVZS/XAU+TpARn5uRCOnbdcvLAXYB5Wof5YhFz4XPSU+HjCbDBxbWIknIOXqWeQQ49s4A5FhcfkJFqGyqif548jnK4+KIiSIYvylh1KX9yGr424ukQzH+Q72hu1M3HHDIoJYt39tq1LHfUKfh1tUOjoxc4Ydrv5EzVx881f+jGu/g8=</diagram><diagram id="tC56nJd8TbMdIFzj_9b9" name="Tasks">3Zlbb9owGIZ/TS4rEefIZaGHTVu1VdDT7pzYSbw6ceQYAv31c8BpEkylToO55Qrn9Sl+vhfjz1jONF9dc1hmNwxhaoERWlnOhQWA7QJffjTKequEQbAVUk6QatQJM/KClThS6oIgXA0aCsaoIOVQjFlR4FgMNMg5q4fNEkaHs5YwxZowiyHV1QeCRKZWAYJO/4JJmrUz2/54W5PDtrFaSZVBxOqe5FxazpQzJralfDXFtIHXctn2u3qj9vXFOC7Eezrcklvk+Mvox695/VjfP13ThJypUZaQLtSCLeBTOd4kk1V+2pTmsHquWlmO39W0YrkrRHxXkf16rTY8xLqFLPBqM6XIqRRsWawEZ894yijjUilYIVtOEkLpjlSVMCZFKgWve5qzUgpnkoczqTMi8EzqzVS19KjU2BLzhG5ikRGEcCE1zhYFwg2q0esb9tm2oDCXL9uTFOtrzHIs+Fo2UbW+Crvyve2o57pzkT1WWtZ3UOsXqJybvg7dBVcWVHz/ItZAi/VFA3E3GB0J+w1+vTgdAFQwBAX2gQJ7QPnH4uRonH7iAjUuM40KeB+NlauxmjPEjINynY8GytNAzXBOUgmmhHTzW0XE+t+49bdHCzjIwyFytb1U1oQgcnz/KN9e1zhoXwN9A9McHhRtkiQgjvehRX7kewdC69tDtg4wzTZ428Sf37qOceuGunVZwWSXz+9db2Qa7liD+7VYyl0XyjWC0XcoE4XPh9l1h5jHxjG3ce9xvloUsZCrPxnKrvGN2NbztuFxgh6cdBjj/aSj0HO9AyVNu6TN78m2njWdlyVdn46bPfNu1jOuhjGJoSBLfDqkffOk9XytR/qS81PapgPzuPWs7x5SgqCQIMHonKY44vAo27UR4qF54nr6N4HxM2XmL292j8T/9U7iLvo2PiflKCGru/Il4L/Xj097Ln9nJC8pHlhzjithyJsa2z0RePdd2TGPEvKxu8ff1PX+DXEu/wA=</diagram></mxfile>
2 changes: 1 addition & 1 deletion project/target/scala-2.12/sbt-1.0/update/update_cache_2.12/output
View file

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions src/main/scala/mycats/instances/ValidatedInstances.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,8 @@ import mycats.lib.obj.Semigroup

object ValidatedInstances {

implicit def validatedApplicativeErrorInstance[E](implicit semigroupOfE:Semigroup[E])=
implicit def validatedApplicativeErrorInstance[E](implicit semigroupOfE:Semigroup[E]): ApplicativeError[({
type Valid[C] = Validated[E, C]})#Valid, E] with BiFunctor[Validated]=
new ApplicativeError[({type Valid[C] = Validated[E, C]})#Valid,E] with BiFunctor[Validated]{
override def raiseError[A](e: E): Validated[E, A] = Invalid(e)
override def handleErrorWith[A](fa: Validated[E, A])(f: E => Validated[E, A]): Validated[E, A] = fa match {
Expand All @@ -24,7 +25,6 @@ object ValidatedInstances {
case Valid(valid) => Valid(f(valid))
case p@Invalid(invalid)=>p
}
//YEEEEEEE!
override def ap[A, B](ff: Validated[E, A => B])(fa: Validated[E, A]): Validated[E, B] = (ff,fa) match {
case (Valid(f),Valid(a))=>Valid(f(a))
case (Invalid(err1),Invalid(err2))=>Invalid(semigroupOfE.combine(err1,err2))
Expand Down
3 changes: 2 additions & 1 deletion src/main/scala/mycats/instances/ValidatedNelInstances.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ import mycats.lib.obj.Semigroup

object ValidatedNelInstances {
implicit def semigroupOfNonEmptyList[A]:Semigroup[NonEmptyList[A]] = (x: NonEmptyList[A], y: NonEmptyList[A]) => x.appendedAll(y)
implicit val validatedNelInstance: ApplicativeError[({type Valid[C] = Validated[NonEmptyList[String], C]})#Valid, NonEmptyList[String]] with BiFunctor[Validated] = validatedApplicativeErrorInstance[NonEmptyList[String]]
implicit val validatedNelInstance: ApplicativeError[({type Valid[C] = Validated[NonEmptyList[String], C]})#Valid, NonEmptyList[String]] with BiFunctor[Validated] =
validatedApplicativeErrorInstance[NonEmptyList[String]]

}
9 changes: 9 additions & 0 deletions src/main/scala/mycats/lib/syntax/ApplicativeErrorSyntax.scala
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
package mycats.lib.syntax
import mycats.lib.morphisms.error.ApplicativeError

object ApplicativeErrorSyntax {
implicit class ApplicativeErrorSyntaxOps[F[_],A](fa:F[A]){
def handleErrorWith[E](handle:E=>F[A])(implicit ae:ApplicativeError[F,E]):F[A]=ae.handleErrorWith(fa)(handle)
def handleError[E](handle:E=>A)(implicit ae:ApplicativeError[F,E]):F[A]=ae.handleError(fa)(handle)
}
}
24 changes: 20 additions & 4 deletions src/test/scala/mycats/instances/ValidatedInstancesSpec.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,21 +9,37 @@ import mycats.lib.syntax.ApplySyntax.Tuple2ApplyOps
import mycats.instances.ValidatedNelInstances._
import mycats.lib.syntax.BiFunctorSyntax.BiFunctorSyntaxOps
import mycats.lib.syntax.SemigroupSyntax._
import mycats.lib.syntax.ApplicativeErrorSyntax._
import mycats.instances.ValidatedNelInstances.validatedNelInstance
class ValidatedNelInstancesSpec extends org.scalatest.funsuite.AnyFunSuite {
test("Semigroup NonEmptyList: combine should behave as expected") {
val nonEmpty1:NonEmptyList[Int] = 1::2::3::Nil
val nonEmpty2:NonEmptyList[Int] = 4::5::6::Nil
assert(nonEmpty1.combine(nonEmpty2)==(1 to 6).toList,"Semigroupal's .product does not return F[(A,B)] when applied in Option Algebra")
assert(nonEmpty1.combine(nonEmpty2)==(1 to 6).toList,"Semigroup NonEmptyList: combine does not concat the list as expected")
}
test("ValidatedNel BiFunctor: bimap should transform valid context") {
val validatedNel:ValidatedNel[Int] = Valid(42)
assert(validatedNel.bimap(_.headOption)(String.valueOf)==Valid("42"),"Semigroupal's .product does not return F[(A,B)] when applied in Option Algebra")
assert(validatedNel.bimap(_.headOption)(String.valueOf)==Valid("42"),"ValidatedNel BiFunctor: bimap does not transform Valid Context properly")
}
test("ValidatedNel BiFunctor: bimap should transform invalid context") {
val validatedNel:ValidatedNel[Int] = Invalid("Error"::Nil)
assert(validatedNel.bimap(_.head)(String.valueOf)==Invalid("Error"),"Semigroupal's .product does not return F[(A,B)] when applied in Option Algebra")
assert(validatedNel.bimap(_.head)(String.valueOf)==Invalid("Error"),"ValidatedNel BiFunctor: bimap does not transform Invalid Context properly")
}
test("ValidatedNel ApplicativeError: raiseError should lift E to Validated[E,A] as invalid projection") {
assert(validatedNelInstance.raiseError(List("Some Error"))==Invalid(List("Some Error")),"ValidatedNel ApplicativeError: raiseError does not lift E to Validated[E,A] as invalid projection")
}
test("ValidatedNel ApplicativeError: handleError should behave as identity map when acted upon a valid instance") {
val validatedNel:ValidatedNel[Int] = Valid(42)
val identity:ValidatedNel[Int] = validatedNel.handleError[NonEmptyList[String]](_=>40)
assert(identity==validatedNel,"ValidatedNel ApplicativeError: handleError alters a Valid Instance")
}
//BiFunctor (bimap)
test("ValidatedNel ApplicativeError: handleError should recover an invalid operation") {
val invalidNel:ValidatedNel[Int] = Invalid(List("ExistentialCrisisErr: Unable to find meaning of life"))
val recover:ValidatedNel[Int] = invalidNel.handleError[NonEmptyList[String]](_=>42)
assert(recover==Valid(42),"ValidatedNel ApplicativeError: handleError does not recover failed operation")
}


//ApplicativeError (raiseError,handleErrorWith,handleError)
//Applicative (pure)
//Apply (ap)
Expand Down
1 change: 1 addition & 0 deletions ~$diagram.drawio.bkp
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<mxfile host="Electron" modified="2023-11-02T11:32:30.414Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.0 Chrome/100.0.4896.143 Electron/18.2.0 Safari/537.36" etag="EoBjPJZ7Sm39j1Mcr1Nc" version="18.0.0" type="device" pages="2"><diagram id="tPDxc9v9lSpUtl4Dx5MV" name="Initial Big Picture">7V1bd5u4Fv4t58Gr6QNdXH15tJ2kt+RMp8mZNnmZJYNsqwFEhRzb8+uPBAJzkS+NMZhOHpKAJIT49kVbW3srHWPsrd4TEMxvsQPdjq46q45x2dF1bWAY7A8vWcclutrvxiUzghzRalNwh/6BolAVpQvkwDDXkGLsUhTkC23s+9CmuTJACF7mm02xm39rAGawVHBnA7dc+g05dB6X9vXepvwDRLN58matO4hrPJA0Fl8SzoGDl5ki46pjjAnGNL7yVmPocvQSXOLnrrfUpgMj0KeHPHD/+fO3h5/h3U/nm7oM8ejuunejCPI8A3chPlgMlq4TBAhe+A7knWgdY7ScIwrvAmDz2iUjOiubU88V1eVBiXE+Q0LhKlMkBvkeYg9SsmZNRK1iGVb8jOAZpSsQXG4IoA26otE8i74lWgJB9Vna+wYYdiGwkeP0eL/uPox7tmfDL+Rz8DSeDxeK1m8DUFZfipRaRko3T4WU1QagDPNQltL7FQB19/B18Th+/3Rlfn/o6pPHWzTvK9qgYqSm2KdCgWp6NcgZCe8I4CyrjJvRl/GXbp0Ktqol8QSwKfr5wdZrAWxFOR0cKqVmFepMilu/hBJ0mIEgbjGhczzDPnCvNqWjDY4qu9u0ucE4EOj9gJSuBXxgQXEeW7hC9Hvm+oF39c4Sd5cr0XN0s05ufPa537M3maf47eax6C55bivdQrwgNtwBjWAgCsgM0h3tzLgdx20nFxDoAoqe84ZX5QQdvBL0WIJaTRFUbpoZTVJUfQlFtTxFe7WSVA6idlZCqpcmq1tGHaejd132FaMJYVczfnURLAhkr5iyUd2C4O2OOU09YE5DrjvGLibRs4Zjwb5jsvKQEvwEMzV9fWJ0uxXZWGreWEiXvtlZT5cYC90K5rwvj58e3HvP+uePy/CuO7n883/qUNFKKLZMReqnEyijLFAfvw+WXz/9dX29/jhad38SEvpMoNSzEqjyOv964dsUE4lIee2UI00tWN0y6/FUciTlAavtcnQ6MTIPFaOmpEg6mu4rQY8lqH5etqPaJEXztqP+MuOxVpJKQeye1Uxnlma6YRC4yI5fLTcg2zjdWVp+ttMsq77pbteyMGtjMIIza0KC+jSu+R2A17tNA6+VXXmv81KCjVrWYvKG57UCTsadXwJjtG0NfKQkVSAX/UFOLLpG712NgvFpulqD/uMl+yQN/5j6poJn7V/IHiYXBZZ9oaAku+sZQfm68MYTYzbqLf++GS/XN7NLNFGaFYuELTdicQc9NGNUk00zNvYmyD8D4TA1s0npkGMp26qNIZxrCYRJCd/uyUHY/bnASYUSRsIwZA10M1jFj4n6pKNbTII5Cr2QNcI+7wp5AetLV5lpBmeYIBiWKZiUcBdfNIJScXmoLx+8pm8dPLcd1TcTSJcQ+m/2jHrIv+/N1XQKbcrbUgL8kIkHb6sin2kMRk72k2By7HcXmJvxJM1zcN4g8rEPC9aTKAqZDCB/xgqszd19pPj4nqZcUhg2ZOpGoS1z5DjQL2nRCgRIsQrenVRWMvKTunwqDwqRC1C3CgEqc9u4xFpb2OBovn5lvO2Ml+7dS/S0Uaee1sumYCVs9p5PmvtYTMoZ/xYWSHZo+nnVUytLSL1ojW55/ophe5A9usvzu3fdZkht4KY8xL22EOakK/FDCSpt11i4iHzU5itFj6Vo/7woWppNuYN4LVk9jvEzIAhEE2q6XcqUPtP5DDCCnYVN2+jB7BkFU7rOiINdu0IZmnz0Bfax1wu4leI87dvQtmU4T/qWaVVkNxRxNhrfkU7cJ6/abOu8s1ebDc5Lm736/o+maHOxOruGLVOGqa+T68PyAq11M1EpZkfrNa0iy+kFkXkwJIiuIyMAYV/i8rMXhKz58vU3IIIuSVeolwjl1Jgc56sXLba+NL1gFuiyZKR6zYKyhylVOR0+kpJpjFq6eV8CX1Nr3IbZvp+W3+gFMw/s3M0qVvmYRkOzjyNJBQBbvTy+NW90yaO8Gg3ErCJDYG9AcyYbSzcPNZrkYJWNJmm7xvxuu0adEaIRSpfsrdNSxRAjRZelQNcrQ43GvlYhQ3uzbKqTIb2VMlR2wjAZwq4DJnybvnXel5IQ1bq22EXvHML3BLBvCtuIcL+oper0I8pZuFH/VstmekkqkxzUyt0j4tEvGEXriy3spA0KbBJ/kXiqwCnpMA5iHulZKI2meud5p3eaXICDc/ZfwjtSTCvPDTiQdXrWqVhHbh016oWtQu9U4oXdlR5yxinIUs5tdCc/T9EXZgb9isF7pDqQ0LhGdTAkBKwzDQIu5uF2bZE63JJ4niyz7G2tmOrO9sqx7Y1+bkDsIv7ASjVWOXQxkyZ1RYg0M5gAFCaVYw44pdALaHxDoM2jsSTeqUpN22aS8pXGTVvZ+T0x0Kx/HkxszwFbRsTDSEL9FnTKzZptYZ9hAPwcZZKGdowqjx0ls8mFGlM4+fM26kKNgkynwEPuOm76AbrPkDIeytRLglBFRfxSXuNj4gE3Uydcz4qLZoAuCD//b2c7GwTbmiwFbXilqcYzmeoyJQyJkkYcFp/kYdnAF13GmlHlgY0KYCPy42KbMRckmTrEWNoXb1KTT41qovDvKes/eVMU7xgzU3RAYeY1S0yc/MDSvti3TJ4Q6473GXO/Itgx124C7KdZJGJKgY662Y9JqJsDcWEl1Ix6dZgME8C3uBQ6R/aTD0MxPOQjihJ8im0ztNzZLjOcXLupiwEtguOgMHDBOmnuIp+H4P8HeQGbWPnGhCymdR6dFsnePOeNO9boqmNdRrxA0tIJmqbBPFEo/oSN0OM1XIwWPmK/vexxI0xeY0nZHfN6eue6RCtJDhbTJGrJOJVaOuA0Nug7Q34SJ7uzXRCGyM4Dk58NNmECG5v0IWe+yI2Z1HTamEsPGavqiPDUXeq4suToDAEtCf2SsiPXSemSuuQT27NQ2m8VpeecJj3F0JxsySVjtHYtuWp0SMuS++r09fyqhV5Msd5tQRcdvWavBgNakokYnVG1zXaGfhgdVTWOL/6ITehiM+CAgG4s7GI1gXTONGm1O+/NOIsbN6i1cpxVOa2mlLUoAk862QTAd+zuYrgaSZc+B6bRxIUOek6K/ouZBcbjidQwgDY3lSKDDU3ZL24RRSNWR6txpsPM49uMlN8qMUexjOLaWcJW8qzAkx2ALD3X92RptUObLqKQqKE7gxMC9uVz/fuyt5TSRqAl2U2XM4l2KiaR5PRdIbY8IdGSRR8Po2VL65S8kibbplhL0nRPpuelPsdDstwvF/ZTZB4FkiOCirKa/I+CRBSNslTeIA/xtqNkiQnsOEArWmCCCDIxf6yj1WY+D/xVdrdlfSvGoaKrnoqfyp7Tv4CLHEZN51TCW4/Pc3MqfmpI1xmZ2v364RmEyph+0f8OVNcMHTYDbk3WUj3wFHl6QEZ+LoRj5y0XL+wFmIdVqD8WIRc+Fz0lPp4wG0xcmRgJ5+Bl6hnk0CMbuENR4TE5iZahMurn+eMEp6sPCqJkyKK8ZYfSF7fhKyOuLtHMR/mODkbtTNwxg2KCWPewbetSR72CX0cbFDp6sTOG3W7+RU3cfPOffoyr/wM=</diagram><diagram id="tC56nJd8TbMdIFzj_9b9" name="Tasks">3Zhbb9owGIZ/TS4rJTYx4bLQwyat2ipQd7gzsZNYdeLIGAL79XPAIQdTadNALr3CeX2Kn+/F8WcPzvLto8Rl9iQI5R7wydaDdx4AQeAj/VMru4MyCcYHIZWMmEatMGe/qRF9o64ZoateQyUEV6zsi7EoChqrnoalFFW/WSJ4f9YSp9QS5jHmtvqdEZUd1AiMW/0TZWnWzBygyaEmx01js5JVhomoOhK89+BMCqEOpXw7o7yG13A59Ht4o/b4YpIW6m86PLNnAtFm+fXXovpRvfx85Am7MaNsMF+bBXsAcT3eNNNVKK1LC7x6XTWyHr+tacRyKCzlUNH9Oq32PNSugazodj+lyrkWAl1cKSle6UxwIbVSiEK3nCaM84G0KnHMilQLYfu0EKUWbjQPOK0ypuhc6/VUlfao1sSGyoTvY5ExQmihNSnWBaE1Kv/4hl22DSgq9ct2JMP6kYqcKrnTTUwtMmE3vg+gea5aFwUTo2VdBzV+wca56XHoNri6YOL7D7EGVqzvaojDYLQkgjf4deJ0BlDjPihwChQ4AQpdihO0OH2jBald5hoVCN8bq5HFaiGIcA5qBN8bqNACNac5SzWYEvP9t4qp3f9x626PHoAkpBEZWXupronAEiJ0kX/vyDloZIF+wmmOz4o2SRIQx6fQErRE4ZnQoqDPFgLXbMdvm/j6rQudWzeyrSsKobtcv3dD3zXciQX3c7HRuy7WawT+F6wThevDPDwQuPdwE/cO54d1ESu9+qulPBoNPnLON+LAztv6xwl+dtJRTE+TXkbhKDxT0jQk/Q78bGdNt2XJdx/HzaF7N9sZV82YxVixDf04pJF70na+1iF9L+VH2qbH7nHbWd8L5oxgpUEC/5andCnxRbZrJ8Qj98Tt9G+K41cu3F/eDI/El7yT0I/txfK+rnM9D+//AA==</diagram></mxfile>

0 comments on commit e7211e9

Please sign in to comment.