Arrow: MonadDeferLaws

Created on 20 Jan 2018  路  4Comments  路  Source: arrow-kt/arrow

A port of these laws:

https://github.com/typelevel/cats-effect/blob/master/laws/shared/src/main/scala/cats/effect/laws/SyncLaws.scala

in here:

https://github.com/arrow-kt/arrow/blob/master/modules/core/arrow-test/src/main/kotlin/arrow/test/laws/MonadDeferLaws.kt#L23

(Sync is called MonadDefer in Arrow)

enhancement help wanted noob friendly
Source
picture pakoito

Most helpful comment

I'll take this one 馃槃

picture sanogueralorenzo on 19 Feb 2018
🎉2

All 4 comments

I'll take this one 馃槃

sanogueralorenzo picture sanogueralorenzo on 19 Feb 2018
🎉2

So if I understand this correctly the current MonadDeferLaws only include laws for binding over monad defer and should be extended by those present in cats-effect. The cats-effect typeclass seems to have different functions on top of what MonadDefer in arrow has (or maybe I just can't map the names correctly).
I'll try and get as many ported as possible and then see how it works :)

1Jajen1 picture 1Jajen1 on 20 Nov 2018

You're correct, the ones in the current laws are ad-hoc for monadic comprehensions. We also need the ones from cats which are the original test suite for the typeclass :D

pakoito picture pakoito on 20 Nov 2018

Closed by #1150

1Jajen1 picture 1Jajen1 on 24 Nov 2018
Was this page helpful?
0 / 5 - 0 ratings

Related issues

raulraja picture raulraja  路  3Comments
raulraja picture raulraja  路  5Comments
1Jajen1 picture 1Jajen1  路  3Comments
gortiz picture gortiz  路  3Comments
ovu picture ovu  路  4Comments