static String jsonEncode(Map<String, dynamic> map, {bool pretty = false}) => pretty ? const c.JsonEncoder.withIndent(" ").convert(map) : c.jsonEncode(map);