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