copilot-core-3.0.1: An intermediate representation for Copilot.
Copilot.Core.Type.Read
data ReadWit a Source #
Constructors
readWit :: Type a -> ReadWit a Source #
readWithType :: Type a -> String -> a Source #