Made orElseM associative gitlab #368 Change-Id: Ideb97278b16455f0bf2d130547cf1c8713897686
Added effectful Kleisli composition to Prelude. gitlab #280 Change-Id: If7a721ef2508b84490304a8353b31e8de9f25d27
Allow effects mapFst and mapSnd Change-Id: I873f82453ec1a306d486f3daa065ada61133bd64
Implemented many type class instances for Set.T Change-Id: I6190579fb7715ebfc5b165941cb33c6d27e84148
Inlined Prelude/maybe gitlab #31 Change-Id: I88298efc212596ad57adf468ed54b8f268050126
Added Prelude/maybe `maybe def f v` returns `def` if `v=Nothing` and `f x` if `v=Just x`. gitlab #31 Change-Id: I3319ee8e9e4cf678aece4878c1fb2ddf33395bc4
Prevent NPE if the path to the module source cannot be found gitlab #18 Change-Id: Iac92cfae81f8caffa5c8dfba129e3e9868801e82
New solver for SCL effects inequalities In particularly, solving of cyclic inequalities. Change-Id: I5d5734e9f029bf694221db2d7fc994d16d8d607a
New method to Prelude: indexSet Change-Id: I06affe3386f014ae098c31416503fd941f3c7d36
Minor updates to Document/All.scl and Prelude.scl "show" is able to type cast a ByteArray without the additional specification in Prelude.scl. Show is unable to be used on ByteArrays if Prelude.scl contains an implementation for it, as "show" cannot determine which implementation to use: the general, or the ByteArray specific. Thus, ByteArray has been removed from Prelude. getTuples returns a list of tuples that can be of any format: they do not necessarily have to all be the same. As a result, [a] specification doesn't correctly reflect the data that can be fetched with getTuples, but [Dynamic] does. refs #7830 refs #7831 Change-Id: Ib9912e9479838df2c8d32c621936e8fdecef2d7b
(refs #7751) Added orElseM Change-Id: I365c89a1d4ad60b1763854b6d6cd0a3a94e1ab49
Fixed leftover problems in unification of *Array and Vector types The fix was to remove the leftover `Show DoubleArray` instance from Prelude. ConstraintEnvironment.reduce now produces better error output in cases where reduction cannot be completed due to multiple remaining matches. refs #7734 Change-Id: Id970c1090f5bf951c94e99e645664e86b1adb42d
Getting rid of *Array and replace with Vector * (SCL) refs #7734 Change-Id: Ibc97edbd65de8363dcd77e141ac518287a07bff2
Adding getBytes for String in SCL refs #7732 Change-Id: Ic340712ffbbc6944c0b31e2420f6adfacce29eaf
Add more Throwable & Exception handling functionality to Prelude refs #7705 Change-Id: Ie335d3e8f7dacb0da66d0bb1491862fb054c61cb
Functions mapFst and mapSnd refs #7644 Change-Id: Id95dca0a0d48d864c745e65b597fe91a9c92bb83
Added function elemIndex to SCL Prelude refs #7639 Change-Id: I927c447e0e5a1d6102172c8d99f36c4a79e9138a
(refs #7597) Allow side-effects in the function given to indexBy Change-Id: Id1f7f257b4b91dbcb47cea1d0f15350a1956ab17
(refs #7532) Changed the context of FunctorM from Functor to FunctorE Change-Id: I3d4e4d430a79f118d5b69426d02a24ccbbf345ce
(refs #7531) Functions first and last to Prelude Change-Id: Ic8839efc97a619658e570f435c23ac0c1d9b3e18