darcsweb - verified/path_pure.glob

DIGEST e088035ab4ac36dc9b8e4f4d06a2eb28
Fpath_pure
R147:151 Stdlib.Strings.Ascii <> <> lib
R153:158 Stdlib.Strings.String <> <> lib
R160:163 Stdlib.Bool.Bool <> <> lib
R165:168 Stdlib.Lists.List <> <> lib
R198:214 Stdlib.extraction.ExtrHaskellString <> <> lib
R225:237 Stdlib.Lists.List ListNotations <> mod
def 366:380 <> string_is_empty
R387:392 Stdlib.Strings.String <> string ind
binder 383:383 <> s:1
R397:400 Corelib.Init.Datatypes <> bool ind
R413:413 path_pure <> s:1 var
R424:434 Stdlib.Strings.String <> EmptyString constr
R439:442 Corelib.Init.Datatypes <> true constr
R453:457 Corelib.Init.Datatypes <> false constr
def 520:533 <> remove_slashes
R540:545 Stdlib.Strings.String <> string ind
binder 536:536 <> s:3
R550:555 Stdlib.Strings.String <> string ind
R568:568 path_pure <> s:3 var
R579:589 Stdlib.Strings.String <> EmptyString constr
R594:604 Stdlib.Strings.String <> EmptyString constr
R610:615 Stdlib.Strings.String <> String constr
R634:642 Stdlib.Strings.Ascii <> eqb def
R689:694 Stdlib.Strings.String <> String constr
R699:712 path_pure <> remove_slashes:4 def
R660:673 path_pure <> remove_slashes:4 def
def 781:795 <> starts_with_dot
R802:807 Stdlib.Strings.String <> string ind
binder 798:798 <> s:6
R812:815 Corelib.Init.Datatypes <> bool ind
R828:828 path_pure <> s:6 var
R839:844 Stdlib.Strings.String <> String constr
R853:861 Stdlib.Strings.Ascii <> eqb def
R878:888 Stdlib.Strings.String <> EmptyString constr
R893:897 Corelib.Init.Datatypes <> false constr
def 959:967 <> last_char
R974:979 Stdlib.Strings.String <> string ind
binder 970:970 <> s:8
R984:989 Corelib.Init.Datatypes <> option ind
R991:995 Stdlib.Strings.Ascii <> ascii ind
R1008:1008 path_pure <> s:8 var
R1019:1029 Stdlib.Strings.String <> EmptyString constr
R1034:1037 Corelib.Init.Datatypes <> None constr
R1043:1048 Stdlib.Strings.String <> String constr
R1052:1062 Stdlib.Strings.String <> EmptyString constr
R1067:1070 Corelib.Init.Datatypes <> Some constr
R1078:1083 Stdlib.Strings.String <> String constr
R1095:1103 path_pure <> last_char:9 def
def 1216:1229 <> split_path_aux
R1238:1243 Stdlib.Strings.String <> string ind
binder 1232:1234 <> acc:11
R1251:1256 Stdlib.Strings.String <> string ind
binder 1247:1247 <> s:12
R1272:1275 Corelib.Init.Datatypes <> list ind
R1277:1282 Stdlib.Strings.String <> string ind
R1295:1295 path_pure <> s:12 var
R1306:1316 Stdlib.Strings.String <> EmptyString constr
R1324:1327 Corelib.Init.Datatypes <> ::list_scope:x_'::'_x not
R1321:1323 path_pure <> acc:11 var
R1328:1330 Corelib.Init.Datatypes <> nil constr
R1336:1341 Stdlib.Strings.String <> String constr
R1360:1368 Stdlib.Strings.Ascii <> eqb def
R1446:1459 path_pure <> split_path_aux:13 def
R1462:1474 Stdlib.Strings.String <> append def
R1476:1478 path_pure <> acc:11 var
R1481:1486 Stdlib.Strings.String <> String constr
R1490:1500 Stdlib.Strings.String <> EmptyString constr
R1395:1398 Corelib.Init.Datatypes <> ::list_scope:x_'::'_x not
R1392:1394 path_pure <> acc:11 var
R1399:1412 path_pure <> split_path_aux:13 def
R1414:1424 Stdlib.Strings.String <> EmptyString constr
def 1572:1581 <> split_path
R1588:1593 Stdlib.Strings.String <> string ind
binder 1584:1584 <> s:15
R1598:1601 Corelib.Init.Datatypes <> list ind
R1603:1608 Stdlib.Strings.String <> string ind
R1621:1621 path_pure <> s:15 var
R1632:1642 Stdlib.Strings.String <> EmptyString constr
R1647:1649 Corelib.Init.Datatypes <> nil constr
R1660:1673 path_pure <> split_path_aux def
R1675:1685 Stdlib.Strings.String <> EmptyString constr
R1687:1687 path_pure <> s:15 var
def 1789:1803 <> filter_nonempty
R1810:1813 Corelib.Init.Datatypes <> list ind
R1815:1820 Stdlib.Strings.String <> string ind
binder 1806:1806 <> l:17
R1825:1828 Corelib.Init.Datatypes <> list ind
R1830:1835 Stdlib.Strings.String <> string ind
R1848:1848 path_pure <> l:17 var
R1859:1861 Corelib.Init.Datatypes <> nil constr
R1866:1868 Corelib.Init.Datatypes <> nil constr
R1875:1878 Corelib.Init.Datatypes <> ::list_scope:x_'::'_x not
R1892:1906 path_pure <> string_is_empty def
R1944:1947 Corelib.Init.Datatypes <> ::list_scope:x_'::'_x not
R1948:1962 path_pure <> filter_nonempty:18 def
R1915:1929 path_pure <> filter_nonempty:18 def
def 2034:2041 <> all_true
R2054:2057 Corelib.Init.Logic <> ::type_scope:x_'->'_x not
R2048:2053 Stdlib.Strings.String <> string ind
R2058:2061 Corelib.Init.Datatypes <> bool ind
binder 2044:2044 <> f:20
R2069:2072 Corelib.Init.Datatypes <> list ind
R2074:2079 Stdlib.Strings.String <> string ind
binder 2065:2065 <> l:21
R2084:2087 Corelib.Init.Datatypes <> bool ind
R2100:2100 path_pure <> l:21 var
R2111:2113 Corelib.Init.Datatypes <> nil constr
R2118:2121 Corelib.Init.Datatypes <> true constr
R2128:2131 Corelib.Init.Datatypes <> ::list_scope:x_'::'_x not
R2141:2144 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2138:2138 path_pure <> f:20 var
R2145:2152 path_pure <> all_true:22 def
R2154:2154 path_pure <> f:20 var
def 2225:2239 <> is_safe_segment
R2248:2253 Stdlib.Strings.String <> string ind
binder 2242:2244 <> seg:24
R2258:2261 Corelib.Init.Datatypes <> bool ind
R2280:2293 path_pure <> remove_slashes def
R2295:2297 path_pure <> seg:24 var
binder 2272:2275 <> name:25
R2468:2473 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2433:2438 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2396:2401 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2364:2369 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2331:2336 Corelib.Init.Datatypes <> ::bool_scope:x_'&&'_x not
R2304:2307 Corelib.Init.Datatypes <> negb def
R2310:2324 path_pure <> string_is_empty def
R2326:2329 path_pure <> name:25 var
R2337:2340 Corelib.Init.Datatypes <> negb def
R2343:2352 Stdlib.Strings.String <> eqb def
R2354:2357 path_pure <> name:25 var
R2370:2373 Corelib.Init.Datatypes <> negb def
R2376:2385 Stdlib.Strings.String <> eqb def
R2387:2390 path_pure <> name:25 var
R2402:2405 Corelib.Init.Datatypes <> negb def
R2408:2417 Stdlib.Strings.String <> eqb def
R2419:2422 path_pure <> name:25 var
R2439:2442 Corelib.Init.Datatypes <> negb def
R2445:2454 Stdlib.Strings.String <> eqb def
R2456:2459 path_pure <> name:25 var
R2474:2477 Corelib.Init.Datatypes <> negb def
R2480:2494 path_pure <> starts_with_dot def
R2496:2499 path_pure <> name:25 var
def 2585:2600 <> is_safe_sub_path
R2609:2614 Stdlib.Strings.String <> string ind
binder 2603:2605 <> sub:26
R2619:2622 Corelib.Init.Datatypes <> bool ind
R2645:2659 path_pure <> filter_nonempty def
R2662:2671 path_pure <> split_path def
R2673:2675 path_pure <> sub:26 var
binder 2633:2640 <> segments:27
R2689:2696 path_pure <> segments:27 var
R2707:2709 Corelib.Init.Datatypes <> nil constr
R2714:2718 Corelib.Init.Datatypes <> false constr
R2729:2736 path_pure <> all_true def
R2738:2752 path_pure <> is_safe_segment def
R2754:2761 path_pure <> segments:27 var
def 2859:2876 <> add_trailing_slash
R2883:2888 Stdlib.Strings.String <> string ind
binder 2879:2879 <> s:29
R2893:2898 Stdlib.Strings.String <> string ind
R2911:2911 path_pure <> s:29 var
R2922:2932 Stdlib.Strings.String <> EmptyString constr
R2960:2968 path_pure <> last_char def
R2970:2970 path_pure <> s:29 var
R2983:2986 Corelib.Init.Datatypes <> Some constr
R3002:3010 Stdlib.Strings.Ascii <> eqb def
R3041:3053 Stdlib.Strings.String <> append def
R3055:3055 path_pure <> s:29 var
R3028:3028 path_pure <> s:29 var
R3067:3070 Corelib.Init.Datatypes <> None constr