Documentation

Init.Data.String.Pattern.Char

structure String.Slice.Pattern.ForwardCharSearcher (needle : Char) (s : Slice) :

currPos : s.Pos

Instances For

def String.Slice.Pattern.instInhabitedForwardCharSearcher.default {a✝ : Char} {a✝¹ : Slice} :

ForwardCharSearcher a✝ a✝¹

Equations

Instances For

instance String.Slice.Pattern.instInhabitedForwardCharSearcher {a✝ : Char} {a✝¹ : Slice} :

Inhabited (ForwardCharSearcher a✝ a✝¹)

Equations

@[inline]

def String.Slice.Pattern.ForwardCharSearcher.iter (c : Char) (s : Slice) :

Std.Iter (SearchStep s)

Equations

Instances For

instance String.Slice.Pattern.ForwardCharSearcher.instIteratorIdSearchStep {c : Char} (s : Slice) :

Std.Iterator (ForwardCharSearcher c s) Id (SearchStep s)

Equations

def String.Slice.Pattern.ForwardCharSearcher.finitenessRelation {s : Char} {c : Slice} :

Std.Iterators.FinitenessRelation (ForwardCharSearcher s c) Id

Equations

Instances For

instance String.Slice.Pattern.ForwardCharSearcher.instFiniteIdSearchStep {s : Char} {c : Slice} :

Std.Iterators.Finite (ForwardCharSearcher s c) Id

instance String.Slice.Pattern.ForwardCharSearcher.instIteratorLoopIdSearchStep {s : Char} {c : Slice} :

Std.IteratorLoop (ForwardCharSearcher s c) Id Id

Equations

instance String.Slice.Pattern.ForwardCharSearcher.instToForwardSearcherChar {c : Char} :

ToForwardSearcher c (ForwardCharSearcher c)

Equations

instance String.Slice.Pattern.ForwardCharSearcher.instForwardPatternChar {c : Char} :

ForwardPattern c

Equations

structure String.Slice.Pattern.BackwardCharSearcher (s : Slice) :

currPos : s.Pos
needle : Char

Instances For

instance String.Slice.Pattern.instInhabitedBackwardCharSearcher {a✝ : Slice} :

Inhabited (BackwardCharSearcher a✝)

Equations

def String.Slice.Pattern.instInhabitedBackwardCharSearcher.default {a✝ : Slice} :

BackwardCharSearcher a✝

Equations

Instances For

@[inline]

def String.Slice.Pattern.BackwardCharSearcher.iter (c : Char) (s : Slice) :

Std.Iter (SearchStep s)

Equations

Instances For

instance String.Slice.Pattern.BackwardCharSearcher.instIteratorIdSearchStep (s : Slice) :

Std.Iterator (BackwardCharSearcher s) Id (SearchStep s)

Equations

def String.Slice.Pattern.BackwardCharSearcher.finitenessRelation {s : Slice} :

Std.Iterators.FinitenessRelation (BackwardCharSearcher s) Id

Equations

Instances For

instance String.Slice.Pattern.BackwardCharSearcher.instFiniteIdSearchStep {s : Slice} :

Std.Iterators.Finite (BackwardCharSearcher s) Id

instance String.Slice.Pattern.BackwardCharSearcher.instIteratorLoopIdSearchStep {s : Slice} :

Std.IteratorLoop (BackwardCharSearcher s) Id Id

Equations

instance String.Slice.Pattern.BackwardCharSearcher.instToBackwardSearcherChar {c : Char} :

ToBackwardSearcher c BackwardCharSearcher

Equations

instance String.Slice.Pattern.BackwardCharSearcher.instBackwardPatternChar {c : Char} :

BackwardPattern c

Equations