dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

this can be inferred

Browse Source
This commit is contained in:
Steve Dunham
2024-10-28 21:48:00 -07:00
parent 16e6325df3
commit d96e23d954
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
newt/TypeClass.newt
View File

@@ -40,7 +40,7 @@ bindMaybe (Just a) amb = amb a
-- I think it was picking up the Maybe before I made it less aggressive about eval -- I think it was picking up the Maybe before I made it less aggressive about eval
MaybeMonad : Monad Maybe MaybeMonad : Monad Maybe
MaybeMonad = MkMonad {Maybe} bindMaybe MaybeMonad = MkMonad bindMaybe
-- So the idea here is to have some implicits that are solved by search -- So the idea here is to have some implicits that are solved by search