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