Searched defs:unLoc (Results 1 – 10 of 10) sorted by relevance
49 unLoc (Located _ a) = a function
88 , unLoc :: a function
92 , unLoc :: a function
537 unLoc (dL->L _ e) = e function
731 unLoc (L _ e) = e function
741 unLoc (L _ e) = e function
365 | unLoc v `isQ` vs = m { emHole = mAlter env vs (unLoc v) f (emHole m) } function398 | unLoc v `isQ` vs = m { emHole = mAlter env vs (unLoc v) f (emHole m) } function805 | unLoc v `isQ` vs = m { pmHole = mAlter env vs (unLoc v) f (pmHole m) } function