on-a-horse-0.1: "Haskell on a Horse" - A combinatorial web framework Source code Contents Index

Web.Horse

Documentation

module Text.Hamlet

type FormOut = Html () Source

newtype FormIn Source

Constructors FormIn [(String, String)] Instances Show FormIn

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

type WithError ex i o = LabeledArrow (ErrorArrow ex (ReaderArrow FormIn (Automaton (Kleisli IO)))) i o Source

noInput :: FormIn Source

filterPrefix :: String -> FormIn -> FormIn Source

class HasFormOut o where Source

Methods getFormOut :: o -> FormOut Source setFormOut :: FormOut -> o -> o Source Instances HasFormOut FormOut HasFormOut (FormOut, i) HasFormOut (FormOut, o1, o2)

getSingle :: FormIn -> Maybe String Source

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

catchAuto :: (ArrowAddAutomaton a a', ArrowApply a', ArrowChoice a', ArrowChoice a) => LabeledArrow (ErrorArrow (LabeledArrow a i o) a) i o -> LabeledArrow a i o Source

runHamlet :: Arrow a => a (x -> y) y Source

textField :: String -> Maybe String -> String -> String -> Html () Source

link :: String -> String -> Html () Source

select :: String -> [String] -> Int -> String -> Html () Source

wrapForm :: Html () -> Html () Source

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

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

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

keepState :: (ArrowApply a', ArrowAddAutomaton a a') => o -> a (Maybe o) o Source

replaceSecond :: (ArrowAddAutomaton a a', ArrowApply a') => a i o -> a (i, Maybe (a i o)) o Source

once :: (ArrowAddAutomaton a a', ArrowApply a') => a1 -> a i (Maybe a1) Source

auto :: Automaton a i o -> a i (o, Automaton a i o) Source

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

type Url = [String] Source

runHorse1 :: ((Env -> IO Response) -> IO ()) -> Automaton (Kleisli IO) Env Response -> IO () Source

runWeb :: MVar (Map String (MVar (Automaton (Kleisli IO) Env Response))) -> Automaton (Kleisli IO) Env Response -> Env -> IO Response Source

getSessionMVar :: MVar (Map String (MVar a)) -> a -> Env -> IO (MVar a, [(String, String)]) Source

sessionName :: [Char] Source

simpleReqResp :: Arrow a => a (Url, FormIn) ByteString -> a Env Response Source

asResponse :: ByteString -> Response Source

module Control.Arrow.Transformer.Automaton.Monad

Produced by Haddock version 2.6.1