search

aljce / unpacked-maybe

BSD 3-Clause "New" or "Revised" License
8 stars 1 forks source link

actually works #2

Closed chessai closed 6 years ago

chessai commented 6 years ago

i noticed you were missing implementations of stuff for foldable, which is when i discovered that this didn't even work. for instance, 'isJust', 'isNothing', and 'maybe' didn't work, and i think some other stuff didn't either. now it does

chessai commented 6 years ago

don't know how to make the monadfix instance work yet

chessai commented 6 years ago

all checks have failed for GHC 7.10.3 - travis is crying...

aljce commented 6 years ago

the monadfix instance can just be written by unsafeCoerceing the value after a recursion as it will always be a just. Alternatively use the pattern synonym to extract the value out of the just.

The travis failures are because this version still doesn't solve the nested maybes problem. Im just gonna merge.