| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Rules.Display
Documentation
checkDisplayPragma :: QName -> [NamedArg Pattern] -> Expr -> TCM () Source #
Add display pragma if well-formed.
Otherwise, throw InvalidDisplayForm warning and ignore it.