Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.MetaVars.Mention
Documentation
class MentionsMeta t where Source #
Methods
mentionsMetas :: HashSet MetaId -> t -> Bool Source #
Instances
mentionsMeta :: MentionsMeta t => MetaId -> t -> Bool Source #