
#10216: Allow arr ∧ (first ∨ (***)) as minimal definition of Arrow instance -------------------------------------+------------------------------------- Reporter: strake888 | Owner: ekmett Type: bug | Status: infoneeded Priority: normal | Milestone: 7.12.1 Component: Core Libraries | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Description changed by strake888: Old description:
Add default definitions of `first`, `second` in terms of `(***)` to let one define an `Arrow` instance in terms of `(***)` rather than `first`, which is sometimes more elegant.
New description: Add default definitions of `first`, `second` in terms of `(***)` to let one define an `Arrow` instance in terms of `(***)` rather than `first`, which is sometimes more elegant or convenient. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10216#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler