language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-27 11:59:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update csv.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2025-02-23 13:32:55 +09:00
parent 6fff8955bb
commit ba6d8946df
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
crates/erg_compiler/lib/pystd/csv.d.er
View file

@ -20,8 +20,13 @@
.UnixDialect = 'unix_dialect': ClassType .UnixDialect = 'unix_dialect': ClassType
.UnixDialect <: .Dialect .UnixDialect <: .Dialect
.Sniffer: ClassType
.Sniffer.
has_header: (self: .Sniffer, sample: Iterable(Str)) -> Bool
sniff: (self: .Sniffer, sample: Iterable(Str), delimiters := Iterable(Str)) -> .Dialect
.Reader = 'reader': ClassType .Reader = 'reader': ClassType
.Reader <: Iterator(Str) .Reader <: Iterator({Str: Str})
.Reader. .Reader.
dialect: .Dialect dialect: .Dialect
line_num: Nat line_num: Nat