1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
TYPE SIGNATURES
(+++) :: forall {a}. [a] -> [a] -> [a]
TYPE CONSTRUCTORS
data type (&&&){0} :: *
type synonym (^^^){0} :: * -> * -> *
PATTERN SYNONYMS
(:||:) :: forall {a} {b}. a -> b -> (a, b)
Dependent modules: []
Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.7.0]
==================== Tidy Core ====================
Result size of Tidy Core
= {terms: 24, types: 61, coercions: 0, joins: 0/0}
-- RHS size: {terms: 7, types: 8, coercions: 0, joins: 0/0}
T18052a.$b:||: :: forall {a} {b}. a -> b -> (a, b)
[GblId, Arity=2, Unf=OtherCon []]
T18052a.$b:||: = \ (@a) (@b) (x :: a) (y :: b) -> (x, y)
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
(+++) :: forall {a}. [a] -> [a] -> [a]
[GblId]
(+++) = (++)
-- RHS size: {terms: 13, types: 20, coercions: 0, joins: 0/0}
T18052a.$m:||:
:: forall {rep :: GHC.Types.RuntimeRep} {r :: TYPE rep} {a} {b}.
(a, b) -> (a -> b -> r) -> (GHC.Prim.Void# -> r) -> r
[GblId, Arity=3, Unf=OtherCon []]
T18052a.$m:||:
= \ (@(rep :: GHC.Types.RuntimeRep))
(@(r :: TYPE rep))
(@a)
(@b)
(scrut :: (a, b))
(cont :: a -> b -> r)
_ [Occ=Dead] ->
case scrut of { (x, y) -> cont x y }
|
