Module SpicyWeb

Summary of exported operations:

showID
                  :: Ref CgiRef -> String

onLoad
                  :: Doc a -> Action b a -> Doc a

yieldDoc
                  :: Doc a -> Action b a

tAction
                  :: UntypedAction a -> ([UntypedAction a],[UntypedAction a] -> UntypedAction a)

yieldIDs
                  :: [a] -> Action b a

yield
                  :: Json -> Action a b

(<*>)
                  :: Action a b -> Action c b -> Action d b

(*>)
                  :: Action a b -> Action c b -> Action d b

(<*)
                  :: Action a b -> Action c b -> Action d b

(!)
                  :: Action a b -> String -> Action c b

(!.)
                  :: Action a b -> String -> Action c b

prim
                  :: Int -> String -> Action a b

curryfy
                  :: Int -> Action a b -> Action c b

window
                  :: Action a b

event
                  :: Action a b

observe
                  :: Bool -> [a] -> String -> Action b a -> Action c a

actionIDs
                  :: Action a b -> [b]

actionToJson
                  :: UntypedAction (Ref CgiRef) -> Json

action
                  :: String -> [(String,Json)] -> Json

showAction
                  :: Action a (Ref CgiRef) -> String

showOnLoadAction
                  :: Action a (Ref CgiRef) -> String

mapActionIDs
                  :: ([a] -> [a]) -> UntypedAction a -> UntypedAction a

elimNullActions
                  :: Action a b -> Action c b

iD
                  :: Doc a -> a

observeAll
                  :: Doc a -> String -> Action b a -> Action c a

observeOne
                  :: Doc a -> String -> Action b a -> Action c a

onClick
                  :: Doc a -> Action b a -> Doc a

onFirstClick
                  :: Doc a -> Action b a -> Doc a

eventSourceAction
                  :: Action a b

displayAction
                  :: Action a b

hideAction
                  :: Action a b

display
                  :: Doc a -> Action b a

hide
                  :: Doc a -> Action b a

addClassNameAction
                  :: Action a b

addClassName
                  :: Doc a -> String -> Action b a

Exported datatypes:

Doc

Constructors:

Doc :: a -> Doc a
OnLoad :: (Doc a) -> (Action () a) -> Doc a

Action

Constructors:

Action :: (UntypedAction b) -> Action a b

UntypedEvent

Type synonym: UntypedEvent = String

UntypedAction

Constructors:

Apply :: (UntypedAction a) -> (UntypedAction a) -> UntypedAction a
Seq :: Bool -> (UntypedAction a) -> (UntypedAction a) -> UntypedAction a
YieldID :: [a] -> UntypedAction a
Pure :: Json -> UntypedAction a
Window :: UntypedAction a
Event :: UntypedAction a
Select :: (UntypedAction a) -> String -> Bool -> UntypedAction a
Curryfy :: Int -> (UntypedAction a) -> UntypedAction a
Observe :: Bool -> [a] -> UntypedEvent -> (UntypedAction a) -> UntypedAction a

EventRep

Constructors:

EventRep :: EventRep

Exported operations:

showID :: Ref CgiRef -> String

Further infos:

solution complete, i.e., able to compute all solutions

onLoad :: Doc a -> Action b a -> Doc a

Further infos:

defined as left-associative infix operator with precedence 1
solution complete, i.e., able to compute all solutions

yieldDoc :: Doc a -> Action b a

Further infos:

solution complete, i.e., able to compute all solutions

tAction :: UntypedAction a -> ([UntypedAction a],[UntypedAction a] -> UntypedAction a)

yieldIDs :: [a] -> Action b a

Further infos:

solution complete, i.e., able to compute all solutions

yield :: Json -> Action a b

Further infos:

solution complete, i.e., able to compute all solutions

(<*>) :: Action a b -> Action c b -> Action d b

Further infos:

defined as left-associative infix operator with precedence 3
solution complete, i.e., able to compute all solutions

(*>) :: Action a b -> Action c b -> Action d b

Further infos:

defined as right-associative infix operator with precedence 2
solution complete, i.e., able to compute all solutions

(<*) :: Action a b -> Action c b -> Action d b

Further infos:

defined as right-associative infix operator with precedence 2
solution complete, i.e., able to compute all solutions

(!) :: Action a b -> String -> Action c b

Further infos:

defined as left-associative infix operator with precedence 4
solution complete, i.e., able to compute all solutions

(!.) :: Action a b -> String -> Action c b

Further infos:

solution complete, i.e., able to compute all solutions

prim :: Int -> String -> Action a b

curryfy :: Int -> Action a b -> Action c b

Further infos:

solution complete, i.e., able to compute all solutions

window :: Action a b

Further infos:

solution complete, i.e., able to compute all solutions

event :: Action a b

Further infos:

solution complete, i.e., able to compute all solutions

observe :: Bool -> [a] -> String -> Action b a -> Action c a

Further infos:

solution complete, i.e., able to compute all solutions

actionIDs :: Action a b -> [b]

actionToJson :: UntypedAction (Ref CgiRef) -> Json

action :: String -> [(String,Json)] -> Json

Further infos:

solution complete, i.e., able to compute all solutions

showAction :: Action a (Ref CgiRef) -> String

showOnLoadAction :: Action a (Ref CgiRef) -> String

mapActionIDs :: ([a] -> [a]) -> UntypedAction a -> UntypedAction a

elimNullActions :: Action a b -> Action c b

iD :: Doc a -> a

Further infos:

partially defined
solution complete, i.e., able to compute all solutions

observeAll :: Doc a -> String -> Action b a -> Action c a

Further infos:

solution complete, i.e., able to compute all solutions

observeOne :: Doc a -> String -> Action b a -> Action c a

Further infos:

solution complete, i.e., able to compute all solutions

onClick :: Doc a -> Action b a -> Doc a

Further infos:

defined as left-associative infix operator with precedence 1

onFirstClick :: Doc a -> Action b a -> Doc a

Further infos:

defined as left-associative infix operator with precedence 1

eventSourceAction :: Action a b

displayAction :: Action a b

hideAction :: Action a b

display :: Doc a -> Action b a

hide :: Doc a -> Action b a

addClassNameAction :: Action a b

addClassName :: Doc a -> String -> Action b a