Searched defs:nextHole (Results 1 – 5 of 5) sorted by relevance
21 nextHole x (ListZip ys []) = Left (reverse (x : ys)) function22 nextHole x (ListZip ys (z : zs)) = Right (z, ListZip (x : ys) zs) function
628 nextHole a (IApplyType x y) = Right (x, IApplyFst a y) function629 nextHole x (IApplyFst a y) = Right (y, IApplySnd a x) function630 nextHole y (IApplySnd a x) = Left (IApply a x y) function631 nextHole x c@ApplyCxt{} = Left (plugHole x c) function
2129 void KolfGame::nextHole() in nextHole() function in KolfGame
582 off_t nextHole; in copy() local
577 off_t nextHole; in copy() local