Applicative / Monad laws for SplineT

schell / varying

Continuously varying values, made easy :)

MIT License

40 stars 5 forks source link

Applicative / Monad laws for SplineT #11

Closed schell closed 7 years ago

schell commented 8 years ago

Sometime before a 1.0 release it would be great to get in the proofs of the applicative/monad laws for SplineT.

mitchellwrosen commented 7 years ago

@schell Following up on this, I realized the manual proofs actually aren't necessary for SplineT, because SplineT a b m c ~ VarT (ExceptT c m) a b, which we know is a monad. Yay!

Edit: Er, nevermind... VarT isn't a monad

schell commented 7 years ago

Oh no! Thought we had an easy win there for a moment.