| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Pretty.Constraint
Contents
Documentation
prettyConstraint :: MonadPretty m => ProblemConstraint -> m Doc Source #
prettyInterestingConstraints :: MonadPretty m => [ProblemConstraint] -> m [Doc] Source #
Orphan instances
| PrettyTCM Constraint Source # | |
Methods prettyTCM :: MonadPretty m => Constraint -> m Doc Source # | |
| PrettyTCM ProblemConstraint Source # | |
Methods prettyTCM :: MonadPretty m => ProblemConstraint -> m Doc Source # | |