@@ -6,9 +6,6 @@ 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
12 asTypeOf :: forall a. a -> a -> a
9 asTypeOf :: forall a. a -> a -> a
13 asTypeOf x _ = x
10 asTypeOf x _ = x
@@ -392,6 +389,11 @@ module Prelude where
392 (++) :: forall s. (Semigroup s) => s -> s -> s
389 (++) :: forall s. (Semigroup s) => s -> s -> s
393 (++) = (<>)
390 (++) = (<>)
392+module Data.Function where
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
395module Data.Eq where
397module Data.Eq where
397 data Ref a = Ref a
399 data Ref a = Ref a