the constant functor

Tobias Haeberlein
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?


GMX - Die Kommunikationsplattform im Internet.