copilot-core-2.2.0: 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