Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 # | |