| definition: |
capture :: (Data a, Ord a) => RegExp a -> [a] -> [(Int, [[a]])]
capture re s = case re of
[] -> []
(Nil:ors) -> capture ors s
(Xor or1 or2:ors) -> if match (or1 ++ ors) s
then capture (or1 ++ ors) s
else capture (or2 ++ ors) s
(Literal c:ors) -> case s of
[] -> []
(d:ds) -> if (d == c) then capture ors ds else []
(Star r:ors) -> con $ allValues $ captureStar (Star r : ors) s
(Plus r:ors) -> capture (r ++ [Star r] ++ ors) s
(AnyLiteral:ors) -> case s of
[] -> []
(_:ds) -> capture ors ds
(Bracket b:ors) -> case s of
[] -> []
(d:ds) -> if matchbracket b d
then capture ors ds
else []
(NegBracket b:ors) -> case s of
[] -> []
(d:ds) -> if not (matchbracket b d)
then capture ors ds
else []
(Start r:ors) -> con $ allValues $ captureStart (Start r : ors) s
[End r] -> con $ allValues $ captureEnd (End r) s
[End r, Nil] -> con $ allValues $ captureEnd (End r) s
(End _ : _) -> []
(Times (n,m) r:ors) -> con $ allValues $ captureTimes (Times (n,m) r : ors) s
(Capture n r:ors) -> con $ allValues $ captureCapture (Capture n r : ors) s
|
| demand: |
argument 3 |
| deterministic: |
possibly non-deterministic operation |
| documentation: |
--- The operation `capture` is used to return capture groups. --- The capture group with number 0 is always the complete string. --- @param r - The regular expression --- @param s - The input list --- @result l - The list with the capture groups and --- the respectively matching substrings |
| failfree: |
<FAILING> |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,{[]},_) |-> {[]} || (_,_,{:},_) |-> _ || (_,_,{:},{[]}) |-> {[]} || (_,_,{:},{:}) |-> _}
|
| name: |
capture |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
(Prelude.Data a, Prelude.Ord a) => [ORegExp a] -> [a] -> [(Prelude.Int, [[a]])] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |