... | ... | @@ -154,7 +154,7 @@ dynApply (Dyn tf f) (Dyn tx x) |
|
|
**Pattern synonyms**. An alternative, rather nicer interface for `decomoposeFun` would use a [pattern synonym](pattern-synonyms) instead of continuation-passing style. Here is the signature for the pattern synonym:
|
|
|
|
|
|
```wiki
|
|
|
pattern type TRFun :: fun ~ (arg -> res)
|
|
|
pattern TRFun :: fun ~ (arg -> res)
|
|
|
=> TTypeRep arg
|
|
|
-> TTypeRep res
|
|
|
-> TTypeRep fun
|
... | ... | |