copilot-core-0.2.4: An intermediate representation for Copilot.

Safe Haskell	Safe

Copilot.Core.Type.Show

Documentation

data ShowWit a Source

Constructors

Show a => ShowWit

showWit :: Type a -> ShowWit aSource

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

data ShowType Source

Constructors

C
Haskell

showType :: Type a -> String Source