Safe Haskell	None
Language	Haskell2010

Network.Anticiv.Masks

Documentation

class MatchMask mm l | mm -> l where Source

Methods

matchmask :: forall m. MonadAnticiv m => mm -> StateT String m (Maybe l) Source

verbosemask :: mm -> String Source

Instances

MatchMask String Nil
MatchMask Nil Nil
MatchMask Token Nil
MatchMask LocalToken Nil
MatchMask CatchInt (Cons Int Nil)
MatchMask CatchUser (Cons UserA Nil)
MatchMask CatchString (Cons String Nil)
(MatchMask a r, Append (Cons a Nil) r ar) => MatchMask (Which a) ar
(MatchMask a ar, IntoMaybe ar am, Append am Nil am) => MatchMask (Optional a) am
(MatchMask x r, MatchMask xs rs, Append r rs rx) => MatchMask (Cons x xs) rx

data CatchString Source

Constructors

Remaining
RemString
QuotString
ServerHost

Instances

MatchMask CatchString (Cons String Nil)

data CatchUser Source

Constructors

ChannelUser
UserMask

Instances

MatchMask CatchUser (Cons UserA Nil)

data CatchInt Source

Constructors

CatchInt

Instances

MatchMask CatchInt (Cons Int Nil)

data Token Source

Constructors

Token String
CIToken String
CIString String

Instances

Tuplify Token Token
MatchMask Token Nil

newtype Optional a Source

Constructors

Optional a

Instances

(MatchMask a ar, IntoMaybe ar am, Append am Nil am) => MatchMask (Optional a) am

newtype Which a Source

Constructors

Which [a]

Instances

(MatchMask a r, Append (Cons a Nil) r ar) => MatchMask (Which a) ar

takeUntil :: (a -> Bool) -> [a] -> [a] Source

nickfirstchars :: [Char] Source

nicknextchars :: [Char] Source

namefirstchars :: [Char] Source

namenextchars :: [Char] Source

hostfirstchars :: [Char] Source

hostnextchars :: [Char] Source

strEq :: [Char] -> [Char] -> Bool Source

simul :: (MonadTrans t, Monad (t m), Monad m) => (t1 -> m t2) -> (t1 -> m t3) -> t1 -> t m (t2, t3) Source

firstSeq :: Monad m => (a -> m (Maybe b)) -> [a] -> m (Maybe (a, b)) Source

trymask :: (MatchMask m r, Tuplify r t) => m -> String -> Anticiv (Maybe t) Source

(#->) :: (MatchMask m r, Tuplify r t) => m -> (t -> Anticiv ()) -> String -> Anticiv Bool infixr 8 Source

(#->>) :: (MatchMask m r, Tuplify r t) => m -> Anticiv () -> String -> Anticiv Bool infixr 8 Source

(#||) :: Monad m => m Bool -> m Bool -> m Bool infixr 7 Source

(.||) :: Monad m => (a -> m Bool) -> (a -> m Bool) -> a -> m Bool infixr 7 Source

(&) :: b -> (b -> c) -> c infixl 6 Source