So, is it possible for me to define a parametric type with an infix binary data constructor?

On Thu, Jul 1, 2010 at 13:56, Brandon S Allbery KF8NH <allbery@ece.cmu.edu> wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 7/1/10 12:32 , Michael Mossey wrote:
> Regarding (->):
>
>   - Is (->) a type constructor parameterized by two types?
>   - Is (->) an operator? If so, it is the only operator that is also a type
>     constructor?

Yes to both, at least in Haskell 98.

- --
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery@kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery@ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkws1uYACgkQIn7hlCsL25WfzwCfe7KbeMhuPM6JFU2NIQAG3tps
mA4AoNIZoKdvIO4eL7OkKwRmLtDhtSor
=BwP/
-----END PGP SIGNATURE-----
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://www.haskell.org/mailman/listinfo/beginners



--
mac