HsKindMaps is imported by: BaseSyntaxMaps, HsKind.
-- The trifecta for the K functor.
module HsKindMaps where import HsKindStruct import MUtils mapK f Kstar = Kstar mapK f (Kfun x y) = Kfun (f x) (f y) mapK f Kpred = Kpred mapK f Kprop = Kprop accK acc ans Kstar = ans accK acc ans (Kfun x y) = acc y (acc x ans) accK acc ans Kpred = ans accK acc ans Kprop = ans seqK Kstar = return Kstar seqK (Kfun x y) = Kfun # x <# y seqK Kpred = return Kpred seqK Kprop = return Kprop
(HTML for this module was generated on 2006-08-12. About the conversion tool.)