Instantiating MonadPlus from ArrowApply and ArrowPlus
1 May
2007
1 May
'07
4:41 a.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Is there any reason that the following is not defined in Control.Arrow? instance (ArrowApply a, ArrowPlus a) => MonadPlus (ArrowMonad a) where mzero = ArrowMonad zeroArrow mplus (ArrowMonad a) (ArrowMonad b) = ArrowMonad (a <+> b) - -- Daniel Franke df@dfranke.us http://www.dfranke.us |----| =|\ \\\\ || * | -|-\--------- Man is free at the instant he wants to be. -----| =| \ /// --Voltaire -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFGNsTlKTA17JAC/eYRAjE4AJ9QSyjYXGs2ZNgGLp6rh3Gc3qP5hgCfXMYW mOU9DtZ0A54h1KIJ35q2HsQ= =2Rs0 -----END PGP SIGNATURE-----
7012
Age (days ago)
7012
Last active (days ago)
0 comments
1 participants
participants (1)
-
Daniel Franke