Skip to content

GitLab

GHC
GHC
Open
Opened by Icelandjack@IcelandjackReporter

GHCi display visible type application

Similar to #8751, have a way to get GHCi to dump which types an expression is applied to:

ghci> :tyapp length [1,2,3]
length @[] @Integer [1,2,3]

It could also function as the :all-types, :type-at commands where we can specify a region of code (from Combining Deep and Shallow Embedding of Domain-Specific Languages)

  fromFunC :: FunC (m (Internal a)) -> Mon m a
  fromFunC m = M $ \k -> fromFunC Bind m k

displays

  fromFunC :: FunC (m (Internal a)) -> Mon m a
  fromFunC m = M @m @a $ \(k :: a -> FunC (m b)) -> fromFunC @(FunC (m (Internal a)) -> (a -> FunC (m b)) -> FunC (m b)) (Bind @m @(Internal a) @b) m k

Would be great to get this feature as an IDE support.

Edited by Icelandjack