Wildcards.hs

{- This file is part of irc-fun-messages.
 -
 - Written in 2015 by fr33domlover <fr33domlover@rel4tion.org>.
 -
 - ♡ Copying is an act of love. Please copy, reuse and share.
 -
 - The author(s) have dedicated all copyright and related and neighboring
 - rights to this software to the public domain worldwide. This software is
 - distributed without any warranty.
 -
 - You should have received a copy of the CC0 Public Domain Dedication along
 - with this software. If not, see
 - <http://creativecommons.org/publicdomain/zero/1.0/>.
 -}

module Network.Irc.Messages.Internal.Tokens.Wildcards
    ( mask
    , matchone
    , matchmany
    )
where

import Network.Irc.Messages.Internal.Types
import Network.Irc.Types
import Text.Regex.Applicative

mask :: Regex Mask
mask = Mask <$> many (nowild  <|>  noesc *> wildone  <|>  noesc *> wildmany)

wildone :: Regex MaskPart
wildone = MaskWildOne <$ sym '?'

wildmany :: Regex MaskPart
wildmany = MaskWildMany <$ sym '*'

nowild :: Regex MaskPart
nowild = MaskChar <$> psym (`notElem` "\0*?")

noesc :: Regex Char
noesc = psym (`notElem` "\0\\")

matchone :: Regex Char
matchone = psym (/= '\0')

matchmany :: Regex String
matchmany = many matchone