Idris2Doc : Data.Regex

Data.Regex

(source)
Reexports
import public TyRE.StringRE
import public TyRE.DisjointMatches
Definitions
parse : TyRE a -> String -> Maybe a
  Totality: total
  Visibility: export
match : TyRE a -> String -> Bool
  Totality: total
  Visibility: export
parsePrefix : TyRE a -> String -> Bool -> (Maybe a, String)
  Totality: total
  Visibility: export
getToken : Bool -> TyRE a -> Stream Char -> (Maybe a, Stream Char)
  Visibility: export
asDisjointMatches : (tyre : TyRE a) -> {auto 0 _ : IsConsuming tyre} -> String -> Bool -> DisjointMatches a
  Visibility: export
substitute : (tyre : TyRE a) -> {auto 0 _ : IsConsuming tyre} -> (a -> String) -> String -> String
  Visibility: export