copilot-core-2.1.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