Searched refs:onProxyType2 (Results 1 – 6 of 6) sorted by relevance
386 onProxyType2 :: Name -> (Type -> Type -> Type) -> (Exp -> Exp -> Exp)387 onProxyType2 _fName f function400 (*) = onProxyType2 'mulProxy (*)
398 onProxyType2 :: Name -> (Type -> Type -> Type) -> (Exp -> Exp -> Exp)399 onProxyType2 _fName f function412 (*) = onProxyType2 'mulProxy (*)