copilot-core-3.2: An intermediate representation for Copilot.
Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.Type.Show

Documentation

data ShowWit a Source #

Constructors

Show a => ShowWit 

showWit :: Type a -> ShowWit a Source #

showWithType :: ShowType -> Type a -> a -> String Source #

data ShowType Source #

Constructors

C 
Haskell 

showType :: Type a -> String Source #