definition module Regex

from Data.Maybe import ::Maybe
from StdOverloaded import class toString, class fromString, class zero

:: Regex

:: Flag :== Int
:: Flags :== Int

instance zero Flags

class toRegex a :: !Flags !a -> Maybe Regex
class fromRegex a :: !Regex -> a

instance toRegex String
instance fromRegex String

instance toString Regex
instance fromString (Maybe Regex)

freeRegex :: !Regex -> String

// Nothing on error; otherwise True iff match
match :: !Regex !String -> Maybe Bool