the constant functor
Tobias Haeberlein
tobi.haeberlein@gmx.de
Tue, 27 Mar 2001 11:38:55 +0200 (MEST)
I am trying to make all polynomial functors (in the
categorical sense) an instance of the class Functor.
Consider a datatype (corresponsing to a constant functor):
data ConstInt a = Const Int
ConstInt is clearly a functor in the categorical sense,
but is 'ConstInt' also a functor in Haskell??
Any ideas how to make 'ConstInt' an instance of class Functor?
-Tobi
--
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net