monad law `(<*>) = ap` is ignored?

[facebook]

monad law `(<*>) = ap` is ignored?

[simonmar]

The law holds provided (a) you only look at the results of runHaxl and (b) your data sources satisfy the property that fetching in parallel gives the same result as fetching sequentially.

So Haxl stretches the law a bit, but doesn't break it.

[safareli]

I have updated code snippets to match ones from your slides and in that example (when performing side effective actions) it ignores that law. Is it common to obey laws for partial input like this in haskell?

[simonmar]

Is it common to obey laws for partial input like this in haskell?

I don't fully understand the question. Perhaps if you give me a specific example of what you mean by partial input?

[safareli]

You said that Haxl is lawful if "your data sources satisfy the property that fetching in parallel gives the same result" so it's not lawful for all other possible use cases of Haxl(is partially lawful), for example for this fragment of Haxl it's not lawful as 1 and 2 have different results:

run $ do -- 1
  cmd "touch" ["foo"]
  cmd "rm" ["foo"]

run $ do -- 2
  _ <- cmd "touch" ["foo"]
  cmd "rm" ["foo"]

[simonmar]

Right - the cmd data source doesn't satisfy the property, so when used with that data source Haxl doesn't obey the monad laws.

It's still possible to use Haxl under these conditions, but you have to know what you're doing. Be aware of when <*> is being used, and don't use ApplicativeDo.