Searched refs:firstHole (Results 1 – 5 of 5) sorted by relevance
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
| H A D | Zipper.hs | 8 firstHole :: Carrier z -> Maybe (Element z, z)
18 firstHole (x : xs) = Just (x, ListZip [] xs) function
19 firstHole [] = Nothing function
29 firstHole c1 = do function
30 (c2, z1) <- firstHole c1
34 case firstHole c2 of
48 case firstHole c2' of
|
| /dports/games/kolf/kolf-21.12.3/ |
| H A D | kolf.cpp | 219 int firstHole = 1; in startNewGame() local
263 firstHole = configGroup.readEntry("Current Hole", 1); in startNewGame()
299 connect(firstAction, &QAction::triggered, game, &KolfGame::firstHole); in startNewGame()
345 game->startFirstHole(firstHole); in startNewGame()
|
| H A D | game.h | 287 void firstHole();
|
| H A D | game.cpp | 2139 void KolfGame::firstHole() in firstHole() function in KolfGame
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
| H A D | Fast.hs | 619 firstHole (Apply arg) = Just (unArg arg, ApplyCxt (argInfo arg)) function
620 firstHole (IApply a x y) = Just (a, IApplyType x y) function
621 firstHole Proj{} = Nothing function
1292 …case firstHole spine of -- v Only projections, nothing to do. Note clApply_ and not clApply (or we…
|