String prettyString([String indent = ' ']) { final encoder = JsonEncoder.withIndent(indent); return _type == Type.nil ? error.toString() : encoder.convert(value); }