structure String.Slice.Pattern.ForwardCharPredSearcher (p : Char → Bool) (s : Slice) : Type

• currPos : s.Pos

instance String.Slice.Pattern.instInhabitedForwardCharPredSearcher {a✝ : Char → Bool} {a✝¹ : Slice} : Inhabited (ForwardCharPredSearcher a✝ a✝¹)

def String.Slice.Pattern.instInhabitedForwardCharPredSearcher.default {a✝ : Char → Bool} {a✝¹ : Slice} : ForwardCharPredSearcher a✝ a✝¹

@[inline]

def String.Slice.Pattern.ForwardCharPredSearcher.iter (p : Char → Bool) (s : Slice) : Std.Iter (SearchStep s)

instance String.Slice.Pattern.ForwardCharPredSearcher.instIteratorIdSearchStep {p : Char → Bool} (s : Slice) : Std.Iterator (ForwardCharPredSearcher p s) Id (SearchStep s)

def String.Slice.Pattern.ForwardCharPredSearcher.finitenessRelation {p : Char → Bool} {s : Slice} : Std.Iterators.FinitenessRelation (ForwardCharPredSearcher p s) Id

instance String.Slice.Pattern.ForwardCharPredSearcher.instFiniteIdSearchStep {p : Char → Bool} {s : Slice} : Std.Iterators.Finite (ForwardCharPredSearcher p s) Id

instance String.Slice.Pattern.ForwardCharPredSearcher.instIteratorLoopIdSearchStep {p : Char → Bool} {s : Slice} : Std.IteratorLoop (ForwardCharPredSearcher p s) Id Id

@[defaultInstance 1000]

instance String.Slice.Pattern.ForwardCharPredSearcher.instToForwardSearcherForallCharBool {p : Char → Bool} : ToForwardSearcher p (ForwardCharPredSearcher p)

@[defaultInstance 1000]

instance String.Slice.Pattern.ForwardCharPredSearcher.instForwardPatternForallCharBool {p : Char → Bool} : ForwardPattern p

instance String.Slice.Pattern.ForwardCharPredSearcher.instToForwardSearcherForallCharPropDecide {p : Char → Prop} [DecidablePred p] : ToForwardSearcher p (ForwardCharPredSearcher fun (b : Char) => decide (p b))

instance String.Slice.Pattern.ForwardCharPredSearcher.instForwardPatternForallCharPropOfDecidablePred {p : Char → Prop} [DecidablePred p] : ForwardPattern p

structure String.Slice.Pattern.BackwardCharPredSearcher (s : Slice) : Type

• currPos : s.Pos
• needle : Char → Bool

def String.Slice.Pattern.instInhabitedBackwardCharPredSearcher.default {a✝ : Slice} : BackwardCharPredSearcher a✝

instance String.Slice.Pattern.instInhabitedBackwardCharPredSearcher {a✝ : Slice} : Inhabited (BackwardCharPredSearcher a✝)

@[inline]

def String.Slice.Pattern.BackwardCharPredSearcher.iter (c : Char → Bool) (s : Slice) : Std.Iter (SearchStep s)

instance String.Slice.Pattern.BackwardCharPredSearcher.instIteratorIdSearchStep (s : Slice) : Std.Iterator (BackwardCharPredSearcher s) Id (SearchStep s)

def String.Slice.Pattern.BackwardCharPredSearcher.finitenessRelation {s : Slice} : Std.Iterators.FinitenessRelation (BackwardCharPredSearcher s) Id

instance String.Slice.Pattern.BackwardCharPredSearcher.instFiniteIdSearchStep {s : Slice} : Std.Iterators.Finite (BackwardCharPredSearcher s) Id

instance String.Slice.Pattern.BackwardCharPredSearcher.instIteratorLoopIdSearchStep {s : Slice} : Std.IteratorLoop (BackwardCharPredSearcher s) Id Id

@[defaultInstance 1000]

instance String.Slice.Pattern.BackwardCharPredSearcher.instToBackwardSearcherForallCharBool {p : Char → Bool} : ToBackwardSearcher p BackwardCharPredSearcher

@[defaultInstance 1000]

instance String.Slice.Pattern.BackwardCharPredSearcher.instBackwardPatternForallCharBool {p : Char → Bool} : BackwardPattern p

instance String.Slice.Pattern.BackwardCharPredSearcher.instToBackwardSearcherForallCharPropOfDecidablePred {p : Char → Prop} [DecidablePred p] : ToBackwardSearcher p BackwardCharPredSearcher

instance String.Slice.Pattern.BackwardCharPredSearcher.instBackwardPatternForallCharPropOfDecidablePred {p : Char → Prop} [DecidablePred p] : BackwardPattern p