Searched refs:deBruijnView (Results 1 – 10 of 10) sorted by relevance
21 deBruijnView :: a -> Maybe Int26 deBruijnView u =29 Level l -> deBruijnView l34 deBruijnView l =36 Plus 0 a -> deBruijnView a41 deBruijnView l =43 Max 0 [p] -> deBruijnView p48 deBruijnView = Just . dbPatVarIndex function
125 | Just n <- deBruijnView t,
144 deBruijnView x = deBruijnView (fromSplitVar x) function411 VarP _ x -> yes [(fromMaybe __IMPOSSIBLE__ (deBruijnView x),q)]433 IApplyP _ _ _ x -> yes [(fromMaybe __IMPOSSIBLE__ (deBruijnView x),q)]
17 deBruijnView (TVar i) = Just i function18 deBruijnView _ = Nothing function
102 [fromMaybe __IMPOSSIBLE__ (deBruijnView x)]
723 unless (deBruijnView a == Just 0) no724 unless (deBruijnView b == Just 1) no740 unless (all ((Just 0 ==) . deBruijnView) ts) wrongRefl747 unless (deBruijnView a == Just 0) wrongRefl748 unless (deBruijnView b == Just 0) wrongRefl
392 v <- deBruijnView t
161 … locks = catMaybes [ deBruijnView (unArg a) | (a :: Arg Term) <- teleArgs tel, getLock a == IsLock]477 case deBruijnView p of549 case deBruijnView x of
878 deBruijnView = deBruijnView . unBrave function882 deBruijnView = \case function1089 deBruijnView _ = Nothing function
589 sameVar x (I.Apply y) = isJust xv && xv == deBruijnView (unArg y)591 xv = deBruijnView $ unArg x