Documentation

type FormOut = StringSource

newtype FormIn Source

type HoH i o = LabeledArrow (ReaderArrow FormIn (Automaton (Kleisli IO))) i oSource

type HoHMay i o = LabeledArrow (ReaderArrow FormIn (MaybeAutomaton (Kleisli IO))) i oSource

type HoHErr ex i o = LabeledArrow (ErrorArrow ex (ReaderArrow FormIn (Automaton (Kleisli IO)))) i oSource

type HoHErrMay ex i o = LabeledArrow (ErrorArrow ex (ReaderArrow FormIn (MaybeAutomaton (Kleisli IO)))) i oSource

noInput :: FormInSource

filterPrefix :: String -> FormIn -> FormInSource

class HasFormOut o whereSource

getSingle :: FormIn -> Maybe StringSource

withInput :: (ArrowReader FormIn a', ArrowAddLabel a a', ArrowAddAutomaton a1 a' a'1) => a1 (e, String, Maybe String) b -> a e bSource

withInput0 :: (ArrowReader FormIn a', ArrowAddLabel a a') => a' (e, String, Maybe String) b -> a e bSource

restify :: ArrowAddAutomaton a may a' => a (t, t1, Maybe t2) o -> may (t, t1, Maybe t2) oSource

catchAuto :: ArrowAddAutomaton a may a' => LabeledArrow (ErrorArrow (LabeledArrow a i o) a) i o -> LabeledArrow a i oSource

catchMayAuto :: ArrowAddAutomaton a may a' => LabeledArrow (ErrorArrow (LabeledArrow a t1 o) may) t1 o -> LabeledArrow may t1 oSource

textField :: String -> Maybe String -> String -> String -> StringSource

link :: String -> String -> StringSource

select :: String -> [String] -> Int -> String -> StringSource

wrapForm :: String -> StringSource

valForm :: (ArrowReader FormIn a', ArrowAddAutomaton a1 a' a'1, ArrowAddLabel a a') => String -> a1 String (Either String a2) -> String -> a () (String, Maybe a2)Source

stringForm :: (ArrowReader FormIn a', ArrowAddAutomaton a1 a' a'1, ArrowAddLabel a a') => String -> a () (String, Maybe String)Source

readForm :: (Read a2, ArrowReader FormIn a', ArrowAddAutomaton a1 a' a'1, ArrowAddLabel a a') => String -> a () (String, Maybe a2)Source

enumForm :: (ArrowAddAutomaton a1 may a', ArrowAddLabel a may, ArrowReader FormIn may) => String -> [(String, b)] -> a () (String, Maybe b)Source

runSubStream :: ArrowChoice a => a i o -> a (Maybe i) (Maybe o)Source

filterDiffs :: (ArrowAddAutomaton a may a', Eq i, ArrowApply a') => a i (Maybe i)Source

keepState :: ArrowAddAutomaton a may a' => o -> a (Maybe o) oSource

replaceSecond :: (ArrowAddAutomaton a may a', ArrowAddAutomaton a1 may1 a') => a1 i o -> a (i, Maybe (a1 i o)) oSource

once :: ArrowAddAutomaton a may a' => a1 -> a a2 (Maybe a1)Source

auto :: Automaton t t1 t2 -> t t1 (t2, Automaton t t1 t2)Source

formSum :: (ArrowReader FormIn may, ArrowReader FormIn a', ArrowAddAutomaton a may a', HasFormOut o) => String -> [(String, LabeledArrow may t1 o)] -> o -> LabeledArrow may t1 oSource

throwMayAuto :: (ArrowReader FormIn a1, ArrowError (a i o) cat, ArrowAddAutomaton a may (LabeledArrow a1)) => cat (may i o) cSource

throwAuto :: (ArrowReader FormIn a1, ArrowError (a i o) t1, ArrowAddAutomaton a may (LabeledArrow a1)) => t1 (a i o) tSource

linkForm :: (ArrowReader FormIn a', ArrowReader FormIn a3, ArrowError (a2 i o) a1, ArrowAddAutomaton a1 a' a'1, ArrowAddAutomaton a2 may (LabeledArrow a3), ArrowAddLabel a a') => String -> may i o -> a () StringSource

staticUrls :: a -> [(String, a)] -> [String] -> aSource

type Url = [String]Source

runHorse :: LabeledArrow (ReaderArrow FormIn (MaybeAutomaton (Kleisli IO))) Url String -> IO ApplicationSource

runHorse1 :: MaybeAutomaton (Kleisli IO) (Url, FormIn) String -> IO ApplicationSource

sessionTarget :: Num a => aSource

runWeb :: MVar [(String, MVar (Automaton (Kleisli IO) (Url, FormIn) String))] -> MaybeAutomaton (Kleisli IO) (Url, FormIn) String -> ApplicationSource

compact :: Eq b => MVar [(b, b1)] -> IO ()Source

getSessionMVar :: MVar [(String, MVar (Automaton (Kleisli IO) (Url, FormIn) String))] -> Request -> IO (Maybe (MVar (Automaton (Kleisli IO) (Url, FormIn) String)))Source

sessionName :: [Char]Source

extractFormInputs :: Request -> ResourceT IO ([String], FormIn)Source

asResponse :: String -> [(String, String)] -> ResponseSource

getRequestCookies :: Request -> [(String, String)]Source

module Control.Arrow.Transformer.Automaton.Monad