@@ -6,6 +6,9 @@ module Prelude where
6 const :: forall a b. a -> b -> a
6 const :: forall a b. a -> b -> a
7 const a _ = a
7 const a _ = a
9+ on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
10+ on f g x y = g x `f` g y
9 infixr 9 >>>
12 infixr 9 >>>
10 infixr 9 <<<
13 infixr 9 <<<