Searched refs:NLPatVars (Results 1 – 1 of 1) sorted by relevance
226 class NLPatVars a where constructor232 instance {-# OVERLAPPABLE #-} (Foldable f, NLPatVars a) => NLPatVars (f a) where235 instance NLPatVars NLPType where238 instance NLPatVars NLPSort where246 instance NLPatVars NLPat where256 instance (NLPatVars a, NLPatVars b) => NLPatVars (a,b) where259 instance NLPatVars a => NLPatVars (Abs a) where