search

FormationAI / dhall-bhat

Tasty meal of Dhall
66 stars 11 forks source link

stronger Applicative support #15

Closed sellout closed 6 years ago

sellout commented 6 years ago

We need something Validation-like for RootedGraph. The general solution to this is to

  1. have an expression Applicative/fromMonad that extracts the corresponding Applicative from a Monad instance,
  2. use that to define the existing Applicative instances,
  3. create independent parallelApplicative instances for types that have an Applicative distinct from the Monad (e.g., Either & List), and
  4. rename the monadic Applicative to sequentialApplicative for the types that also have a parallelApplicative.

Then we can update gameInterface to use Either/parallelApplicative (List Natural) instead of the current Either/sequentialApplicative Natural.

coreykanon commented 6 years ago

Nice to have

sellout commented 6 years ago

@FintanH Is this work complete?

FintanH commented 6 years ago

It's done in the sense that Either was implemented and we got stuck on List. I don't think there were other cases.

On Wed, 1 Aug 2018, 23:20 Corey, notifications@github.com wrote:

Closed #15 https://github.com/FormationAI/dhall-bhat/issues/15.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/FormationAI/dhall-bhat/issues/15#event-1766384444, or mute the thread https://github.com/notifications/unsubscribe-auth/ADV1qAKBg-3Qpa2u5KgETtjuCTemP9Oqks5uMim8gaJpZM4T3YK_ .

On 1 Aug 2018 11:20 p.m., "Corey" notifications@github.com wrote:

Closed #15 https://github.com/FormationAI/dhall-bhat/issues/15.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/FormationAI/dhall-bhat/issues/15#event-1766384444, or mute the thread https://github.com/notifications/unsubscribe-auth/ADV1qAKBg-3Qpa2u5KgETtjuCTemP9Oqks5uMim8gaJpZM4T3YK_ .