blob: 19c9cd2feb80972e940a094a2e90702ea9fa582d (
plain)
1
2
3
4
5
6
7
8
9
10
|
module T11272a where
import Control.Monad.Trans.State
import Control.Monad
overloaded :: Ord a => a -> a -> State () ()
overloaded x y = do
() <- get
when (x <= y) (overloaded y x)
{-# INLINABLE overloaded #-}
|