SFun Prelude.Applicative.*>

*>.lisp

SFun Prelude.Applicative.*> [{e0},{e1},{e2},{e3},{e4},{e5}] 5
(SLet (Loc 6)
  (SLet (Loc 6)
    (SLet (Loc 6) SNothing
      (SLet (Loc 7) SNothing
         (SLet (Loc 8) SNothing
           (SApp False Prelude.Applicative.<*> [Loc 6,Loc 7,Loc 8,Loc 3]))))
    (SLet (Loc 7)
      (SLet (Loc 7)
        (SLet (Loc 7)
          (SLet (Loc 7) SNothing
            (SLet (Loc 8) SNothing
              (SLet (Loc 9) SNothing
                (SLet (Loc 10)
                  (SCase Shared (Loc 3)
                    [SConCase 10 0 constructor of Prelude.Applicative.Applicative [{in0},{in1},{in2}] (SV (Loc 10))])
                  (SApp False Prelude.Functor.map [Loc 7,Loc 8,Loc 9,Loc 10])))))
          (SLet (Loc 8)
            (SLet (Loc 8) SNothing
              (SLet (Loc 9) SNothing
                (SLet (Loc 10)
                  (SLet (Loc 10) SNothing
                    (SCon Nothing 65649 {U_Prelude.Basics.id1} [Loc 10]))
                  (SCon Nothing 65648 {U_Prelude.Basics.const1} [Loc 8,Loc 9,Loc 10]))))
                (SApp False {APPLY0} [Loc 7,Loc 8])))
        (SApp False {APPLY0} [Loc 7,Loc 4]))
     (SApp False {APPLY0} [Loc 6,Loc 7])))
  (SApp True {APPLY0} [Loc 6,Loc 5]))

TestCase.idr

{-
<
=
>
-}

instance Show Ordering where
  show LT = "<"
  show GT = ">"
  show EQ = "="

test : Ord a => a -> a -> IO ()
test x y = printLn $ compare x y

l : List (Int, Int)
l = [(33, 42), (42, 42), (42, 33)]

main : IO ()
main = traverse_ (uncurry test) l