Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Support `TypeApplications` Extension

See original GitHub issue

class ToValue a where
  toValue :: String

data Value = Value
instance ToValue Value where
  toValue = "value"

foo :: forall v. ToValue v => Proxy v -> String
foo _ = toValue @v -- parse error in expression: toValue@v

Issue Analytics

State:
Created 7 years ago
Comments:13 (8 by maintainers)

Top GitHub Comments

1reaction

rikvdkleijcommented, Dec 16, 2016

Yes, that gives parse error. I will fix it.

0reactions

rikvdkleijcommented, Dec 16, 2016

Thanks 😃 I have put comment about this in README.

Top Results From Across the Web

6.4.15. Visible type application - Haskell.org

The TypeApplications extension allows you to use visible type application in expressions. Here is an example: show (read @Int "5") . The @Int...

How do you use TypeApplications in Haskell? - Stack Overflow

Your Answer · Asking for help, clarification, or responding to other answers. · Making statements based on opinion; back them up with references ......

Inferred or Specified Types? Your Choice! - Tweag

The TypeApplications language extension was introduced in GHC 8.0.1, in 2016, and is currently used by over 900 packages on Hackage.

Visible Type Application (Extended version) - Penn Engineering

Although the idea seems straightforward, adding visible type applications to ... from the design of V. However, GHC's extension to support higher-rank.

ormolu/CHANGELOG.md at master - GitHub

Implemented support for the new language extensions ImportQualifiedPost and StandaloneKindSignatures . Ormolu 0.0.3.1. Fixed rendering of record updates with ...