@[implicit_reducible]

instance instStreamSliceChar_parser : Std.Stream String.Slice Char

Equations

• instStreamSliceChar_parser = { next? := fun (s : String.Slice) => do let c ← s.front? pure (c, s.drop 1) }