| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Mikan.TypeChecking.DisplayForm
Description
Tools for DisplayTerm and DisplayForm.
Synopsis
- displayForm :: MonadDisplayForm m => QName -> Elims -> m (Maybe DisplayTerm)
Documentation
displayForm :: MonadDisplayForm m => QName -> Elims -> m (Maybe DisplayTerm) Source #
Find a matching display form for q es.
In essence this tries to rewrite q es with any of the display forms
q ps --> dt, returning the first instantiated dt.