@[instance_reducible]

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

Equations

• One or more equations did not get rendered due to their size.

instance String.Slice.Pattern.Char.instStrictForwardPatternChar {c : Char} : StrictForwardPattern c

instance String.Slice.Pattern.Char.instLawfulForwardPatternChar {c : Char} : LawfulForwardPattern c

@[instance_reducible]

instance String.Slice.Pattern.Char.instToForwardSearcherCharDefaultForwardSearcher {c : Char} : ToForwardSearcher c (ToForwardSearcher.DefaultForwardSearcher c)

Equations

• String.Slice.Pattern.Char.instToForwardSearcherCharDefaultForwardSearcher = String.Slice.Pattern.ToForwardSearcher.defaultImplementation

@[instance_reducible]

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

Equations

• One or more equations did not get rendered due to their size.

instance String.Slice.Pattern.Char.instStrictBackwardPatternChar {c : Char} : StrictBackwardPattern c

instance String.Slice.Pattern.Char.instLawfulBackwardPatternChar {c : Char} : LawfulBackwardPattern c

@[instance_reducible]

instance String.Slice.Pattern.Char.instToBackwardSearcherCharDefaultBackwardSearcher {c : Char} : ToBackwardSearcher c (ToBackwardSearcher.DefaultBackwardSearcher c)

Equations

• String.Slice.Pattern.Char.instToBackwardSearcherCharDefaultBackwardSearcher = String.Slice.Pattern.ToBackwardSearcher.defaultImplementation