I like "C morphism" in general, where "C" is the class name, so I use "Applicative morphism" or "applicative functor morphism" (as in http://conal.net/papers/type-class-morphisms/).
- Conal On Fri, Nov 5, 2010 at 8:49 PM, <rocon...@theorem.ca> wrote: > An applicative functor morphism is a polymorphic function, > eta : forall a. A1 a -> A2 a between two applicative functors A1 and A2 > that preserve pure and <*>: > > eta (pure c) = pure c > eta (f <*> x) = eta f <*> eta x > > What do you guys call such a thing? My leading candidate is "idomatic > transformation". > > -- > Russell O'Connor <http://r6.ca/> > ``All talk about `theft,''' the general counsel of the American Graphophone > Company wrote, ``is the merest claptrap, for there exists no property in > ideas musical, literary or artistic, except as defined by statute.'' > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe