1. 11 Oct, 2019 1 commit
  2. 10 Oct, 2019 2 commits
  3. 03 Oct, 2019 2 commits
  4. 30 Sep, 2019 1 commit
  5. 27 Sep, 2019 1 commit
  6. 25 Sep, 2019 1 commit
  7. 24 Sep, 2019 1 commit
  8. 23 Sep, 2019 1 commit
    • johnvg@science.ru.nl's avatar
      Extend the number of cases in which a function is generated instead of · ba9c2e45
      johnvg@science.ru.nl authored
      using bimap when deriving generic functions
      
      A simple bimap function is generated for a type if each constructor argument or field
      	- is the only occurrence of a type variable in this constructor or record or
      	- consists only of basic types and type constructor names (does not contain type variables)
      
      For example for tuple and Maybe types.
      
      A more complicated bimap function is generated for a type if each constructor argument or field
      	- is a type variable
      	- consists only of basic types and type constructor names (no type variables)
      	- a function type a->b where either a or b
      	  is a type that satisfies these rules and the other type
      	  consists only of basic types and type constructor names (no type variables)
      	- a type constructor for which a simple bimap function can be generated
      	  with one argument of which the type satisfied these rules, and the other arguments
      	  consist only of basic types and type constructor names (no type variables)
      
      For example for a record with function types with a single type variable.
      ba9c2e45
  9. 19 Sep, 2019 1 commit
  10. 18 Sep, 2019 1 commit
  11. 17 Sep, 2019 4 commits
  12. 11 Sep, 2019 1 commit
  13. 06 Sep, 2019 1 commit
  14. 20 Aug, 2019 1 commit
  15. 19 Aug, 2019 1 commit
  16. 15 Aug, 2019 1 commit
  17. 05 Aug, 2019 1 commit
  18. 30 Jul, 2019 1 commit
  19. 23 Jul, 2019 1 commit
  20. 22 Jul, 2019 1 commit
  21. 16 Jul, 2019 1 commit
  22. 15 Jul, 2019 1 commit
  23. 12 Jul, 2019 4 commits
  24. 10 Jul, 2019 3 commits
  25. 09 Jul, 2019 1 commit
  26. 08 Jul, 2019 1 commit
  27. 05 Jul, 2019 2 commits
  28. 28 Jun, 2019 2 commits