@@ -6,9 +6,6 @@ module Prelude where
66 const :: forall a b. a -> b -> a
77 const a _ = a
88
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
11−
129 asTypeOf :: forall a. a -> a -> a
1310 asTypeOf x _ = x
1411
@@ -392,6 +389,11 @@ module Prelude where
392389 (++) :: forall s. (Semigroup s) => s -> s -> s
393390 (++) = (<>)
394391
392+module Data.Function where
393+
394+ on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
395+ on f g x y = g x `f` g y
396+
395397module Data.Eq where
396398
397399 data Ref a = Ref a