data/examples/declaration/value/function/lambda-multi-line-out.hs · ormolu

on e598b72 help sign in

27 lines 555 B history raw

1foo :: a -> a -> a

2foo x = \y ->

3 x

5bar :: Int -> Int -> Int

6bar x = \y ->

7 if x > y

8 then 10

9 else 12

11tricky0 =

12 flip all (zip ws gs) $ \(wt, gt) ->

13 canUnify poly_given_ok wt gt || go False wt gt

15tricky1 =

16 flip all (zip ws gs)

17 $ \(wt, gt) -> canUnify poly_given_ok wt gt || go False wt gt

19tricky2 =

20 flip all (zip ws gs)

21 $ \(wt, gt) ->

22 canUnify poly_given_ok wt gt || go False wt gt

24foo =

25 prop "is inverse to closure" $ \(f :: StaticPtr (Int -> Int))

26 (x :: Int) ->