\begin{code}
{-# LANGUAGE MultiParamTypeClasses      #-}
{-# LANGUAGE AllowAmbiguousTypes        #-}

module Text.RE.IsRegex where

import           Text.RE.Capture
import           Text.RE.Replace
\end{code}


\begin{code}
class Replace s => IsRegex re s where
  matchOnce   :: re -> s -> Match s
  matchMany   :: re -> s -> Matches s
  regexSource :: re -> String
\end{code}