| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Pretty.Constraint
Contents
Documentation
prettyConstraint :: MonadPretty m => ProblemConstraint -> m Doc Source #
interestingConstraint :: MonadPretty m => ProblemConstraint -> m Bool Source #
prettyInterestingConstraints :: MonadPretty m => [ProblemConstraint] -> m [Doc] Source #
prettyRangeConstraint :: (MonadPretty m, Foldable f, Null (f ProblemId)) => Range -> f ProblemId -> Blocker -> Doc -> 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 # | |