#9596: Create monoidal category framework for arrow desugarer -------------------------------------+------------------------------------- Reporter: | Owner: spacekitteh spacekitteh | Status: new Type: task | Milestone: 7.10.1 Priority: normal | Version: Component: GHC API | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Project (more Unknown/Multiple | than a week) Type of failure: | Blocked By: None/Unknown | Related Tickets: #7828 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Description changed by spacekitteh: Old description:
I'm going to put it into a GHC namespace (GHC.Arrows.Experimental, perhaps) and put instances for Arrow and such in there as well. In a later ticket I'll work on the desugarer, converting erverything into SMC combinators rather than Arrow combinators.
The basic design is [http://blog.spacekitteh.moe/posts/new-monoidal- cats.html here]
New description: I'm going to put it into a GHC namespace (GHC.Arrows.Experimental, perhaps) and put instances for Arrow and such in there as well. In a later ticket I'll work on the desugarer, converting erverything into SMC combinators rather than Arrow combinators. The basic design is [http://blog.spacekitteh.moe/posts/new-monoidal- cats.html here]. The current Arrow story is such a mess that makes it nearly unusable. Hopefully, by breaking it apart and making it more general, it will result in clearer code in both GHC and end-user code. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9596#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler