Searched refs:style2str (Results 1 – 2 of 2) sorted by relevance
144 , "style" J..= J.String (style2str (elabLocalToProject elab) (elabBuildStyle elab))254 style2str :: Bool -> BuildStyle -> String255 style2str True _ = "local" function256 style2str False BuildInplaceOnly = "inplace" function257 style2str False BuildAndInstall = "global" function
141 , "style" J..= J.String (style2str (elabLocalToProject elab) (elabBuildStyle elab))256 style2str :: Bool -> BuildStyle -> String257 style2str True _ = "local" function258 style2str False BuildInplaceOnly = "inplace" function259 style2str False BuildAndInstall = "global" function