| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.TypeChecking.MetaVars.Mention
Documentation
class MentionsMeta t where Source
Methods
mentionsMeta :: MetaId -> t -> Bool Source
Instances
| MentionsMeta LevelAtom Source | |
| MentionsMeta PlusLevel Source | |
| MentionsMeta Level Source | |
| MentionsMeta Sort Source | |
| MentionsMeta Type Source | |
| MentionsMeta Elim Source | |
| MentionsMeta Term Source | |
| MentionsMeta Constraint Source | |
| MentionsMeta ProblemConstraint Source | |
| MentionsMeta t => MentionsMeta [t] Source | |
| MentionsMeta t => MentionsMeta (Maybe t) Source | |
| MentionsMeta a => MentionsMeta (Tele a) Source | |
| MentionsMeta t => MentionsMeta (Abs t) Source | |
| MentionsMeta t => MentionsMeta (Dom t) Source | |
| MentionsMeta t => MentionsMeta (Arg t) Source | |
| MentionsMeta a => MentionsMeta (Closure a) Source | |
| (MentionsMeta a, MentionsMeta b) => MentionsMeta (a, b) Source | |
| (MentionsMeta a, MentionsMeta b, MentionsMeta c) => MentionsMeta (a, b, c) Source |