Searched refs:take0 (Results 1 – 10 of 10) sorted by relevance
27 , take094 take0 :: forall a. Dict (Take 0 a ~ "")95 take0 = axiom function
29 , take0113 take0 :: forall a. Dict (Take 0 a ~ "")114 take0 = axiom function
77 take0 :: Int -> Str0 -> Str78 take0 i (Str0 x) = BS.takeWhile (/= '\0') $ BS.take i x function167 lexxBind _ x = error $ "Ninja parse failed when parsing binding, " ++ show (take0 100 x)
78 void (*take0)(void); member
539 case 0: cmd->handler.take0(); break; in execute_command()
1267 #define T0(x) {take0: x}