Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Quote
Documentation
data QuotingKit #
Constructors
QuotingKit | |
Fields
|
quotingKit :: TCM QuotingKit #
quoteString :: String -> Term #
quoteConName :: ConHead -> Term #
quoteMeta :: AbsolutePath -> MetaId -> Term #
quoteDefn :: Definition -> TCM Term #