Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
class MentionsMeta t where Source
mentionsMeta :: MetaId -> t -> Bool Source
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 t => MentionsMeta (Dom t) Source | |
MentionsMeta t => MentionsMeta (Arg t) Source | |
MentionsMeta a => MentionsMeta (Tele a) Source | |
MentionsMeta t => MentionsMeta (Abs 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 |