| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Output
Contents
Synopsis
- type OutputForm a b = OutputForm_boot TCErr a b
- type OutputConstraint a b = OutputConstraint_boot TCErr a b
TCM-aware aliases
type OutputForm a b = OutputForm_boot TCErr a b Source #
type OutputConstraint a b = OutputConstraint_boot TCErr a b Source #