on-a-horse-0.2: "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 HoHMay i o = LabeledArrow (ReaderArrow FormIn (MaybeAutomaton (Kleisli IO))) i o Source

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

type HoHErrMay ex i o = LabeledArrow (ErrorArrow ex (ReaderArrow FormIn (MaybeAutomaton (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', ArrowAddAutomaton a1 a' a'1) => a1 (e, String, Maybe String) b -> a e b Source

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

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

catchMayAuto :: ArrowAddAutomaton a may a' => LabeledArrow (ErrorArrow (LabeledArrow a t1 o) may) t1 o -> LabeledArrow may t1 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

enumForm :: (ArrowAddAutomaton a1 may a', ArrowAddLabel a may, ArrowReader FormIn may) => String -> [(String, b)] -> a () (Html (), 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

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

type Url = [String] Source

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

runWeb :: MVar [(String, MVar (Automaton (Kleisli IO) Env Response))] -> MaybeAutomaton (Kleisli IO) Env Response -> Env -> IO Response Source

getSessionMVar :: MVar [(String, MVar (Automaton (Kleisli IO) Env Response))] -> Env -> IO (Maybe (MVar (Automaton (Kleisli IO) Env Response))) 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