Partial value mapping with changes around extra type argument

[AttilaMihaly]

closes #5 closes #46
#25

[DamianReeves]

While we are at it, I think it makes sense to switch AccessControlled to a tagged union:

So I think:

type alias AccessControlled a =
   { access : Acccess
   , value: a
   }

type Access 
  = Public
  | Private

should become:

type AccessControlled a
  = Public a
  | Private a

[AttilaMihaly]

While we are at it, I think it makes sense to switch AccessControlled to a tagged union:

So I think:

type alias AccessControlled a =
   { access : Acccess
   , value: a
   }

type Access 
  = Public
  | Private

should become:

type AccessControlled a
  = Public a
  | Private a

It was exactly what you suggest previously but it was very painful to work with so I changed it: c22e947#diff-aa5c2f490fc2bfa6d2d09f081b81242c

[DamianReeves]

So I find it weird having the Types at the top level Morphir "namespace":

It feels like the following should be in an appropriate folder, otherwise they are just random toplevel things:

• Graph.elm
• JsonExtra.elm
• Pattern.elm
• ResultList.elm
• Rewrite.elm
• Rule.elm

Also some of these seem like the belong as part of the SDK.

[reesh-a]

Minor cosmetic change requests

[AttilaMihaly]

So I find it weird having the Types at the top level Morphir "namespace":

It feels like the following should be in an appropriate folder, otherwise they are just random toplevel things:

• Graph.elm
• JsonExtra.elm
• Pattern.elm
• ResultList.elm
• Rewrite.elm
• Rule.elm

Also some of these seem like the belong as part of the SDK.

I'm open for anything. Can you suggest how would you change it specifically? My strategy is to go with the simplest approach and then refactor if needed rather to think about organizing the code upfront.