copilot-core-2.2.1: An intermediate representation for Copilot.
Copilot.Core.Type.Show
data ShowWit a Source #
Constructors
showWit :: Type a -> ShowWit a Source #
showWithType :: ShowType -> Type a -> a -> String Source #
data ShowType Source #
showType :: Type a -> String Source #