├── .gitignore ├── .travis.yml ├── HLint.hs ├── LICENSE ├── README.md ├── Setup.hs ├── examples ├── counter │ ├── README.md │ ├── bower.json │ ├── counter.hs │ ├── counter.md │ └── www │ │ ├── index.html │ │ └── jquery.min.js └── todo │ ├── ToDo.hs │ ├── bower.json │ ├── src │ ├── App.purs │ ├── App │ │ └── ToDoItem.purs │ ├── Data │ │ └── List │ │ │ └── Utils.purs │ └── Main.purs │ ├── test │ └── Test │ │ └── Main.purs │ └── www │ ├── index.html │ ├── jquery.min.js │ ├── react.js │ └── style.css ├── servant-purescript.cabal ├── src └── Servant │ └── PureScript.hs └── test └── Spec.hs /.gitignore: -------------------------------------------------------------------------------- 1 | dist/ 2 | cabal.sandbox.config 3 | .cabal-sandbox 4 | */**/*.swp 5 | */**/*.swo 6 | examples/*/bower_components/**/* 7 | examples/*/output/**/* 8 | 9 | # Auto-generated 10 | examples/counter/temp/api.purs 11 | examples/counter/www/api.js 12 | examples/todo/src/App/App.Ajax.purs 13 | examples/todo/www/app.js 14 | 15 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | language: haskell 2 | ghc: 3 | - 7.8 4 | notifications: 5 | email: 6 | on_success: change 7 | on_failure: change 8 | before_install: 9 | - cabal sandbox init 10 | - git clone https://github.com/haskell-servant/servant.git 11 | - cabal sandbox add-source servant/ 12 | - git clone https://github.com/haskell-servant/servant-jquery.git 13 | - cabal sandbox add-source servant-jquery/ 14 | -------------------------------------------------------------------------------- /HLint.hs: -------------------------------------------------------------------------------- 1 | {-# LANGUAGE PackageImports #-} 2 | module HLint.HLint where 3 | 4 | import "hint" HLint.Builtin.All 5 | import "hint" HLint.Default 6 | import "hint" HLint.Dollar 7 | import "hint" HLint.Generalise 8 | 9 | ignore "Redundant bracket" = Domains.Rest.Client 10 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (c) 2015, Geoffrey Roberts 2 | 3 | All rights reserved. 4 | 5 | Redistribution and use in source and binary forms, with or without 6 | modification, are permitted provided that the following conditions are met: 7 | 8 | * Redistributions of source code must retain the above copyright 9 | notice, this list of conditions and the following disclaimer. 10 | 11 | * Redistributions in binary form must reproduce the above 12 | copyright notice, this list of conditions and the following 13 | disclaimer in the documentation and/or other materials provided 14 | with the distribution. 15 | 16 | * Neither the name of Geoffrey Roberts nor the names of other 17 | contributors may be used to endorse or promote products derived 18 | from this software without specific prior written permission. 19 | 20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 21 | "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 22 | LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 23 | A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 24 | OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 25 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 26 | LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 27 | DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 28 | THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 29 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 30 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 31 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | 🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴 2 | # THIS PROJECT IS LOOKING FOR A MAINTAINER 3 | 4 | See: https://github.com/WhereSoftwareGoesToDie/servant-purescript/issues/5 5 | 🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴🔴 6 | 7 | ## Alternative implementation exists 8 | 9 | This project is not the servant-purescript from hackage, the one on hackage can be found [here](https://github.com/eskimor/servant-purescript), it is actively maintained and used. 10 | 11 | Haddocks for this alternative implementation can be found on [stackage](https://www.stackage.org/nightly/package/servant-purescript). 12 | 13 | # servant-purescript 14 | 15 | [![Build Status](https://travis-ci.org/anchor/servant-purescript.svg?branch=master)](https://travis-ci.org/anchor/servant-purescript) 16 | 17 | This library lets you automatically derive Purescript functions (using jQuery's AJAX capabilities) that let you query each endpoint of a [*servant*](http://haskell-servant.github.io) webservice. 18 | 19 | © Anchor 2015 20 | 21 | ## Purescript dependencies 22 | 23 | Projects that use *servant-purescript* will depend on the following Purescript libraries: 24 | 25 | * [purescript-arrays](https://github.com/purescript/purescript-arrays) 26 | * [purescript-control](https://github.com/purescript/purescript-control) 27 | * [purescript-either](https://github.com/purescript/purescript-either) 28 | * [purescript-foldable-traversable](https://github.com/purescript/purescript-foldable-traversable) 29 | * [purescript-foreign](https://github.com/purescript/purescript-foreign) 30 | * [purescript-maybe](https://github.com/purescript/purescript-maybe) 31 | * [purescript-monoid](https://github.com/purescript/purescript-monoid) 32 | * [purescript-tuples](https://github.com/purescript/purescript-tuples) 33 | 34 | You should be able to get all these libraries if you require `purescript-foreign` on its own. 35 | 36 | It's recommended that you use [bower](http://bower.io) to manage dependencies for your project. Use the bower.json file in examples as a reference. 37 | 38 | ## Usage example 39 | 40 | The following example is ported from the example provided with [*servant-jquery*](https://github.com/haskell-servant/servant-jquery). 41 | 42 | To build it (and the tests), run the following: 43 | 44 | `cabal configure --enable-tests --flags="example"` 45 | 46 | And to run: 47 | 48 | `cabal run counter` 49 | 50 | Here's [more information about the original example](https://github.com/haskell-servant/servant-jquery/tree/master/examples#examples) that will explain how it works and how it should run. 51 | 52 | The PureScript version is a direct port of this. The *servant-purescript* bindings are invoked within Javascript. 53 | 54 | ```haskell 55 | {-# LANGUAGE DataKinds #-} 56 | {-# LANGUAGE TypeOperators #-} 57 | {-# LANGUAGE DeriveGeneric #-} 58 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} 59 | 60 | import Control.Concurrent.STM 61 | import Control.Monad 62 | import Control.Monad.IO.Class 63 | import Data.Aeson 64 | import Data.List 65 | import Data.Monoid 66 | import Data.Proxy 67 | import GHC.Generics 68 | import Network.Wai.Handler.Warp (run) 69 | import Servant 70 | import Servant.JQuery 71 | import Servant.PureScript 72 | import System.FilePath 73 | import System.FilePath.Glob 74 | import System.Process 75 | 76 | -- * A simple Counter data type 77 | newtype Counter = Counter { value :: Int } 78 | deriving (Generic, Show, Num) 79 | 80 | instance ToJSON Counter 81 | 82 | -- * Shared counter operations 83 | 84 | -- Creating a counter that starts from 0 85 | newCounter :: IO (TVar Counter) 86 | newCounter = newTVarIO 0 87 | 88 | -- Increasing the counter by 1 89 | counterPlusOne :: MonadIO m => TVar Counter -> m Counter 90 | counterPlusOne counter = liftIO . atomically $ do 91 | oldValue <- readTVar counter 92 | let newValue = oldValue + 1 93 | writeTVar counter newValue 94 | return newValue 95 | 96 | currentValue :: MonadIO m => TVar Counter -> m Counter 97 | currentValue counter = liftIO $ readTVarIO counter 98 | 99 | -- * Our API type 100 | type TestApi = "counter" :> Post Counter -- endpoint for increasing the counter 101 | :<|> "counter" :> Get Counter -- endpoint to get the current value 102 | :<|> Raw -- used for serving static files 103 | 104 | testApi :: Proxy TestApi 105 | testApi = Proxy 106 | 107 | -- * Server-side handler 108 | 109 | -- where our static files reside 110 | www :: FilePath 111 | www = "examples/www" 112 | 113 | -- where temporary files reside 114 | tmp :: FilePath 115 | tmp = "examples/temp" 116 | 117 | -- defining handlers 118 | server :: TVar Counter -> Server TestApi 119 | server counter = counterPlusOne counter -- (+1) on the TVar 120 | :<|> currentValue counter -- read the TVar 121 | :<|> serveDirectory www -- serve static files 122 | 123 | runServer :: TVar Counter -- ^ shared variable for the counter 124 | -> Int -- ^ port the server should listen on 125 | -> IO () 126 | runServer var port = run port (serve testApi $ server var) 127 | 128 | -- * Generating the JQuery code 129 | 130 | incCounterJS :<|> currentValueJS :<|> _ = jquery testApi 131 | 132 | writePS :: FilePath -> [AjaxReq] -> IO () 133 | writePS fp functions = writeFile fp $ 134 | generatePSModule defaultSettings "App" functions 135 | 136 | main :: IO () 137 | main = do 138 | -- Write the PureScript module 139 | writePS (tmp "api.purs") [ incCounterJS 140 | , currentValueJS 141 | ] 142 | 143 | -- Run bower to import dependencies 144 | _ <- system "cd examples && bower install" 145 | 146 | (matches, _) <- globDir [compile "examples/bower_components/**/*.purs"] "." 147 | 148 | -- Compile PureScript to JS 149 | let cmd = "psc " 150 | <> (intercalate " " $ head matches) 151 | <> " " 152 | <> (tmp "api.purs") 153 | <> " > " 154 | <> (www "api.js") 155 | 156 | putStrLn cmd 157 | 158 | _ <- system cmd 159 | 160 | -- setup a shared counter 161 | cnt <- newCounter 162 | 163 | -- listen to requests on port 8080 164 | runServer cnt 8080 165 | ``` 166 | 167 | ## Another example 168 | 169 | There is a simple todo list example that can be built using this command: 170 | 171 | `cabal configure --enable-tests --flags="example"` 172 | 173 | The example can then be run using this command: 174 | 175 | `cabal run todolist` 176 | -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/counter/README.md: -------------------------------------------------------------------------------- 1 | # Examples 2 | 3 | ## counter 4 | 5 | This example demonstrates a *servant* server that holds a shared variable (using a `TVar`) and exposes an endpoint for reading its current value and another one for increasing its current value by 1. 6 | 7 | In addition to that, it shows how you can generate the jquery-powered javascript functions corresponding to each endpoint, i.e one for reading the current value and one for increasing the value, and integrates all of that in a very simple HTML page. All these static files are served using the `serveDirectory` function from *servant*. 8 | 9 | To see this all in action, simply run: 10 | 11 | ``` bash 12 | $ cabal run counter 13 | ``` 14 | 15 | And point your browser to [http://localhost:8080/index.html](http://localhost:8080/index.html). 16 | 17 | Copies of the generated javascript functions and of the generated docs are included in `www/api.js` and `counter.md` respectively. -------------------------------------------------------------------------------- /examples/counter/bower.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "servant-purescript-counter", 3 | "version": "0.0.0", 4 | "authors": [ 5 | "Anchor Engineering " 6 | ], 7 | "description": "Example for servant-purescript", 8 | "keywords": [ 9 | "Haskell", 10 | "Servant", 11 | "Purescript" 12 | ], 13 | "license": "BSD3", 14 | "homepage": "https://www.anchor.com.au", 15 | "private": true, 16 | "ignore": [ 17 | "**/.*", 18 | "node_modules", 19 | "bower_components" 20 | ], 21 | "dependencies": { 22 | "purescript-foreign": "~0.3.0" 23 | } 24 | } 25 | 26 | -------------------------------------------------------------------------------- /examples/counter/counter.hs: -------------------------------------------------------------------------------- 1 | {-# LANGUAGE DataKinds #-} 2 | {-# LANGUAGE DeriveGeneric #-} 3 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} 4 | {-# LANGUAGE TypeOperators #-} 5 | 6 | import Control.Concurrent.STM 7 | import Control.Monad 8 | import Control.Monad.IO.Class 9 | import Data.Aeson 10 | import Data.List 11 | import Data.Monoid 12 | import Data.Proxy 13 | import GHC.Generics 14 | import Network.Wai.Handler.Warp (run) 15 | import Servant 16 | import Servant.JQuery 17 | import Servant.PureScript 18 | import System.FilePath 19 | import System.FilePath.Glob 20 | import System.Process 21 | 22 | -- * A simple Counter data type 23 | newtype Counter = Counter { value :: Int } 24 | deriving (Generic, Show, Num) 25 | 26 | instance ToJSON Counter 27 | 28 | -- * Shared counter operations 29 | 30 | -- Creating a counter that starts from 0 31 | newCounter :: IO (TVar Counter) 32 | newCounter = newTVarIO 0 33 | 34 | -- Increasing the counter by 1 35 | counterPlusOne :: MonadIO m => TVar Counter -> m Counter 36 | counterPlusOne counter = liftIO . atomically $ do 37 | oldValue <- readTVar counter 38 | let newValue = oldValue + 1 39 | writeTVar counter newValue 40 | return newValue 41 | 42 | currentValue :: MonadIO m => TVar Counter -> m Counter 43 | currentValue counter = liftIO $ readTVarIO counter 44 | 45 | -- * Our API type 46 | type TestApi = "counter" :> Post Counter -- endpoint for increasing the counter 47 | :<|> "counter" :> Get Counter -- endpoint to get the current value 48 | :<|> Raw -- used for serving static files 49 | 50 | testApi :: Proxy TestApi 51 | testApi = Proxy 52 | 53 | -- * Server-side handler 54 | 55 | -- where our static files reside 56 | www :: FilePath 57 | www = "examples/counter/www" 58 | 59 | -- where temporary files reside 60 | tmp :: FilePath 61 | tmp = "examples/counter/temp" 62 | 63 | -- defining handlers 64 | server :: TVar Counter -> Server TestApi 65 | server counter = counterPlusOne counter -- (+1) on the TVar 66 | :<|> currentValue counter -- read the TVar 67 | :<|> serveDirectory www -- serve static files 68 | 69 | runServer :: TVar Counter -- ^ shared variable for the counter 70 | -> Int -- ^ port the server should listen on 71 | -> IO () 72 | runServer var port = run port (serve testApi $ server var) 73 | 74 | -- * Generating the JQuery code 75 | 76 | incCounterJS :<|> currentValueJS :<|> _ = jquery testApi 77 | 78 | writePS :: FilePath -> [AjaxReq] -> IO () 79 | writePS fp functions = writeFile fp $ 80 | generatePSModule defaultSettings "App" functions 81 | 82 | main :: IO () 83 | main = do 84 | -- Write the PureScript module 85 | writePS (tmp "api.purs") [ incCounterJS 86 | , currentValueJS 87 | ] 88 | 89 | -- Run bower to import dependencies 90 | _ <- system "cd examples/counter && bower install" 91 | 92 | (matches, _) <- globDir [compile "examples/counter/bower_components/**/*.purs"] "." 93 | 94 | -- Compile PureScript to JS 95 | let cmd = "psc " 96 | <> unwords (head matches) 97 | <> " " 98 | <> (tmp "api.purs") 99 | <> " > " 100 | <> (www "api.js") 101 | 102 | putStrLn cmd 103 | 104 | _ <- system cmd 105 | 106 | -- setup a shared counter 107 | cnt <- newCounter 108 | 109 | -- listen to requests on port 8080 110 | runServer cnt 8080 111 | -------------------------------------------------------------------------------- /examples/counter/counter.md: -------------------------------------------------------------------------------- 1 | POST /counter 2 | ------------- 3 | 4 | **Response**: 5 | 6 | - Status code 201 7 | - Response body as below. 8 | 9 | ``` javascript 10 | {"value":0} 11 | ``` 12 | 13 | GET /doc 14 | -------- 15 | 16 | **Response**: 17 | 18 | - Status code 200 19 | - No response body 20 | 21 | GET /counter 22 | ------------ 23 | 24 | **Response**: 25 | 26 | - Status code 200 27 | - Response body as below. 28 | 29 | ``` javascript 30 | {"value":0} 31 | ``` 32 | 33 | GET / 34 | ----- 35 | 36 | **Response**: 37 | 38 | - Status code 200 39 | - No response body 40 | -------------------------------------------------------------------------------- /examples/counter/www/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | Servant: counter 4 | 9 | 10 | 11 | Counter: 0 12 | 13 | or view the docs 14 | 15 | 16 | 17 | 54 | 55 | -------------------------------------------------------------------------------- /examples/todo/ToDo.hs: -------------------------------------------------------------------------------- 1 | {-# LANGUAGE DataKinds #-} 2 | {-# LANGUAGE DeriveGeneric #-} 3 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} 4 | {-# LANGUAGE OverloadedStrings #-} 5 | {-# LANGUAGE TemplateHaskell #-} 6 | {-# LANGUAGE TypeOperators #-} 7 | 8 | module Main where 9 | 10 | import Control.Applicative 11 | import Control.Concurrent.STM 12 | import Control.Lens hiding ((.=)) 13 | import Control.Monad 14 | import Control.Monad.Except 15 | import Control.Monad.Trans.Either 16 | import Data.Aeson 17 | import qualified Data.Foldable as F 18 | import Data.List 19 | import Data.Maybe 20 | import Data.Monoid 21 | import Data.Proxy 22 | import qualified Data.Sequence as S 23 | import Data.Text (Text) 24 | import qualified Data.Text as T 25 | import Data.UUID 26 | import Data.UUID.V4 27 | import GHC.Generics 28 | import Network.Wai.Handler.Warp (run) 29 | import Servant 30 | import Servant.Common.Text 31 | import Servant.JQuery 32 | import Servant.PureScript 33 | import System.FilePath 34 | import System.FilePath.Glob 35 | import System.Process 36 | 37 | -- * JSON & Text translation for UUID 38 | 39 | instance ToJSON UUID where 40 | toJSON = String . T.pack . toString 41 | 42 | instance FromJSON UUID where 43 | parseJSON (String s) = return . fromJust . fromString . T.unpack $ s 44 | parseJSON _ = error "Cannot parse UUID" 45 | 46 | instance FromText UUID where 47 | fromText = fromString . T.unpack 48 | 49 | instance ToText UUID where 50 | toText = T.pack . toString 51 | 52 | -- * ToDoList types 53 | 54 | -- | Type for a single To Do Item 55 | data ToDoItem = ToDoItem 56 | { _todoIdent :: Maybe UUID 57 | , _todoText :: Text 58 | , _todoDone :: Bool 59 | } deriving (Eq, Show) 60 | 61 | makeLenses ''ToDoItem 62 | 63 | instance ToJSON ToDoItem where 64 | toJSON i = object 65 | [ T.pack "ident" .= ident 66 | , T.pack "text" .= (String $ i ^. todoText) 67 | , T.pack "done" .= (i ^. todoDone) 68 | ] 69 | where 70 | ident = case i ^. todoIdent of 71 | Just i' -> toJSON i' 72 | _ -> Null 73 | 74 | instance FromJSON ToDoItem where 75 | parseJSON (Object o) = ToDoItem <$> o .:? "ident" <*> o .: "text" <*> o .: "done" 76 | parseJSON _ = error "Cannot parse ToDoItem" 77 | 78 | -- | Type covering an entire To Do List 79 | newtype ToDoList = ToDoList { _todoItems :: [ToDoItem] } 80 | deriving (Generic, Eq, Show) 81 | 82 | makeLenses ''ToDoList 83 | 84 | instance ToJSON ToDoList 85 | 86 | -- * Application State 87 | 88 | -- | Start app state 89 | newList :: IO (TVar ToDoList) 90 | newList = newTVarIO $ ToDoList [] 91 | 92 | -- * Internal API 93 | 94 | -- | Get list 95 | getList :: MonadIO m => TVar ToDoList -> ExceptT String m ToDoList 96 | getList = liftIO . readTVarIO 97 | 98 | -- | Add item to item list 99 | addItem :: MonadIO m => TVar ToDoList -> ToDoItem -> ExceptT String m ToDoList 100 | addItem l i = do 101 | uuid <- liftIO nextRandom 102 | liftIO . atomically $ do 103 | oldList <- readTVar l 104 | let i' = i { _todoIdent = Just uuid } 105 | let n = ToDoList $ (oldList ^. todoItems) <> [i'] 106 | writeTVar l n 107 | return n 108 | 109 | -- | Update a single item 110 | updateItem :: MonadIO m => TVar ToDoList -> ToDoItem -> ExceptT String m ToDoList 111 | updateItem l i = do 112 | oldList <- liftIO $ readTVarIO l 113 | oldItem <- tryGetExistingItem l i 114 | liftIO . atomically $ do 115 | let u = ToDoList . F.toList . 116 | S.update (fromJust $ elemIndex oldItem (oldList ^. todoItems)) i . 117 | S.fromList $ oldList ^. todoItems 118 | writeTVar l u 119 | return u 120 | 121 | -- | Delete a single item 122 | deleteItem :: MonadIO m => TVar ToDoList -> ToDoItem -> ExceptT String m ToDoList 123 | deleteItem l i = do 124 | oldList <- liftIO $ readTVarIO l 125 | oldItem <- tryGetExistingItem l i 126 | liftIO . atomically $ do 127 | let delList = ToDoList (delete oldItem (oldList ^. todoItems)) 128 | writeTVar l delList 129 | return delList 130 | 131 | -- | Try and get an existing item 132 | tryGetExistingItem :: (MonadIO m) => TVar ToDoList -> ToDoItem -> ExceptT String m ToDoItem 133 | tryGetExistingItem l i = do 134 | oldList <- liftIO $ readTVarIO l 135 | let oldItem = hasExistingItem oldList i 136 | unless (isJust oldItem) (throwError "Not found") 137 | return . fromJust $ oldItem 138 | 139 | -- | Perform UUID equivalence operation find on todo list items 140 | hasExistingItem :: ToDoList -> ToDoItem -> Maybe ToDoItem 141 | hasExistingItem l i = find existingOp (l ^. todoItems) 142 | where 143 | existingOp x = x ^. todoIdent == i ^. todoIdent 144 | 145 | -- * Servant API 146 | 147 | type ToDoAPI = "items" :> Get ToDoList 148 | :<|> "items" :> ReqBody ToDoItem :> Post ToDoList 149 | :<|> "items" :> Capture "uuid" UUID :> Get ToDoItem 150 | :<|> "items" :> Capture "uuid" UUID :> ReqBody ToDoItem :> Put ToDoList 151 | :<|> "items" :> Capture "uuid" UUID :> Delete 152 | :<|> Raw 153 | 154 | toDoAPI :: Proxy ToDoAPI 155 | toDoAPI = Proxy 156 | 157 | -- * Servant Server 158 | 159 | appPath :: FilePath 160 | appPath = "examples/todo" 161 | 162 | tmp :: FilePath 163 | tmp = appPath "temp" 164 | 165 | www :: FilePath 166 | www = appPath "www" 167 | 168 | server :: TVar ToDoList -> Server ToDoAPI 169 | server l = gl :<|> ai :<|> gi :<|> ui :<|> di :<|> serveDirectory www 170 | where 171 | gl = do 172 | r <- runExceptT $ getList l 173 | case r of 174 | Right list -> return list 175 | Left e -> throwError (500, e) 176 | ai i = do 177 | r <- runExceptT $ addItem l i 178 | case r of 179 | Right list -> return list 180 | Left e -> throwError (500, e) 181 | gi :: UUID -> EitherT (Int, String) IO ToDoItem 182 | gi u = do 183 | r <- runExceptT $ getList l 184 | case r of 185 | Right list -> do 186 | let testItem = ToDoItem (Just u) "" False 187 | let actualItem = hasExistingItem list testItem 188 | case actualItem of 189 | Just i -> return i 190 | _ -> throwError (404, "Not found") 191 | Left e -> throwError (500, e) 192 | ui u i = do 193 | let i' = i { _todoIdent = Just u } 194 | r <- runExceptT $ updateItem l i' 195 | case r of 196 | Right list -> return list 197 | Left "Item not found" -> throwError (404, "Not found") 198 | Left e -> throwError (500, e) 199 | di u = do 200 | let testItem = ToDoItem (Just u) "" False 201 | r <- runExceptT $ deleteItem l testItem 202 | case r of 203 | Right _ -> return () 204 | Left "Item not found" -> throwError (404, "Not found") 205 | Left e -> throwError (500, e) 206 | 207 | runServer :: TVar ToDoList -> Int -> IO () 208 | runServer l port = do 209 | putStrLn $ "About to run on " <> show port 210 | run port (serve toDoAPI $ server l) 211 | 212 | -- * Generating JS 213 | 214 | jsGL :<|> jsAI :<|> jsGI :<|> jsUI :<|> jsDI :<|> _ = jquery toDoAPI 215 | 216 | writePS :: FilePath -> [AjaxReq] -> IO () 217 | writePS fp = writeFile fp . generatePSModule defaultSettings "App.Ajax" 218 | 219 | -- * Main 220 | 221 | -- | Download and get Bower dependencies 222 | bower :: IO [FilePath] 223 | bower = do 224 | void . system $ "cd " <> appPath <> " && bower prune && bower install" 225 | (matches, _) <- globDir [compile $ appPath "bower_components/*/src/**/*.purs"] "." 226 | return $ head matches 227 | 228 | -- | Run PureScript compiler 229 | psc :: [FilePath] -> [FilePath] -> FilePath -> IO () 230 | psc dep mod dest = do 231 | let cmd = concat 232 | [ "psc --module=App --main=App " 233 | , unwords dep 234 | , " " 235 | , unwords mod 236 | , " > " 237 | , dest ] 238 | putStrLn cmd 239 | void $ system cmd 240 | 241 | -- | App files 242 | appFiles :: FilePath -> IO [FilePath] 243 | appFiles src = do 244 | (matches, _) <- globDir [compile "**.purs", compile "**/*.purs"] src 245 | return . nub . concat $ matches 246 | 247 | -- | Build and run everything 248 | main :: IO () 249 | main = do 250 | let ajaxPS = appPath "src/App" "App.Ajax.purs" 251 | let appJS = www "app.js" 252 | 253 | -- Write Purescript module 254 | writePS ajaxPS [ jsGL, jsAI, jsGI, jsUI, jsDI ] 255 | 256 | -- Get dependencies and compile PureScript 257 | sourceFiles <- bower 258 | af <- appFiles (appPath "src") 259 | psc sourceFiles af appJS 260 | 261 | -- Initialise state and run app 262 | newList >>= flip runServer 8080 263 | -------------------------------------------------------------------------------- /examples/todo/bower.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "servant-purescript-todo", 3 | "version": "0.0.0", 4 | "moduleType": [ 5 | "node" 6 | ], 7 | "authors": [ 8 | "Anchor Engineering " 9 | ], 10 | "description": "To Do List Example for servant-purescript", 11 | "keywords": [ 12 | "Haskell", 13 | "Servant", 14 | "Purescript" 15 | ], 16 | "license": "BSD3", 17 | "homepage": "https://www.anchor.com.au", 18 | "private": true, 19 | "ignore": [ 20 | "**/.*", 21 | "node_modules", 22 | "bower_components", 23 | "output" 24 | ], 25 | "dependencies": { 26 | "purescript-foreign": "~0.3.0", 27 | "purescript-thermite": "~0.5.1", 28 | "purescript-json": "~0.4.7", 29 | "purescript-transformers": "~0.4.0", 30 | "purescript-debug-foreign": "~0.0.4", 31 | "purescript-lens": "~0.5.0", 32 | "purescript-tuples": "~0.2.3", 33 | "purescript-test-unit": "~1.1.5", 34 | "purescript-lists": "~0.5.0" 35 | } 36 | } 37 | 38 | -------------------------------------------------------------------------------- /examples/todo/src/App.purs: -------------------------------------------------------------------------------- 1 | module App where 2 | 3 | import Control.Monad 4 | import Control.Monad.Eff 5 | import qualified Data.Array as Arr 6 | import Data.JSON 7 | import Data.List 8 | import Data.Maybe 9 | import Data.Maybe.Unsafe 10 | import Data.Monoid 11 | import Data.Tuple 12 | import Data.Tuple.Nested 13 | 14 | import qualified Thermite as T 15 | import qualified Thermite.Html as T 16 | import qualified Thermite.Html.Elements as T 17 | import qualified Thermite.Html.Attributes as A 18 | import qualified Thermite.Action as T 19 | import qualified Thermite.Events as T 20 | import qualified Thermite.Internal as T 21 | import qualified Thermite.Types as T 22 | 23 | import Debug.Trace 24 | import Debug.Foreign 25 | 26 | import Data.List.Utils 27 | import App.ToDoItem 28 | import App.Ajax 29 | 30 | -- * Extensions to Thermite 31 | 32 | -- | Generic data-whatever attribute 33 | _dataAttr :: forall action. String -> String -> T.Prop action 34 | _dataAttr sub = T.unsafeAttribute ("data-" <> sub) 35 | 36 | -- | data-todoitem 37 | _dataToDoItem :: forall action. ToDoItem -> T.Prop action 38 | _dataToDoItem (ToDoItem i) = case i._todoIdent of 39 | (Just ident) -> _dataAttr "todoitem" ident 40 | Nothing -> _dataAttr "todoitem" "" 41 | 42 | -- * Some unsafe routines 43 | 44 | -- | Get key code for an event 45 | foreign import getKeyCode 46 | "function getKeyCode(e) {\ 47 | \ return e.keyCode;\ 48 | \}" :: T.KeyboardEvent -> Number 49 | 50 | -- | Stringifies a JSON-friendly object to JSON 51 | foreign import stringify 52 | """ 53 | function stringify(o) { 54 | return JSON.stringify(o); 55 | } 56 | """ :: forall a. a -> String 57 | 58 | -- | JSON stringify something we got 59 | 60 | -- * Define actions 61 | 62 | -- | Actions that can affect the page state and layout 63 | data Action = GetList -- ^ Just get the latest list 64 | | DoNothing -- ^ Just sit and do nothing 65 | | UpdateText (Maybe UUID) String -- ^ Update a todo item's text 66 | | SubmitItem ToDoItem -- ^ Submit a new or updated item 67 | | ChangeFilter (Maybe Boolean) -- ^ Change current filter 68 | 69 | -- * Define state 70 | 71 | -- | State only contains the current ToDoList 72 | type State = { 73 | todoList :: ToDoList, 74 | filter :: Maybe Boolean 75 | } 76 | 77 | -- | Initial state is an empty ToDoList with one blank ToDoItem to fill in 78 | initialState :: State 79 | initialState = { 80 | todoList: addNewItem blankToDoList, 81 | filter: Nothing 82 | } 83 | 84 | -- | Set todo list 85 | setTodoList :: ToDoList -> T.Action _ State Unit 86 | setTodoList l = T.modifyState (\o -> { todoList: l, filter: o.filter }) 87 | 88 | -- * Handle actions 89 | 90 | -- | Handle all available actions 91 | performAction :: T.PerformAction _ Action (T.Action _ State) 92 | performAction _ DoNothing = return unit 93 | performAction _ GetList = getList 94 | performAction _ (ChangeFilter f) = T.modifyState (\o -> { todoList: o.todoList, filter: f }) 95 | performAction _ (UpdateText i t) = updateItemText i t 96 | performAction _ (SubmitItem x) = sendItem x 97 | 98 | -- | Update state for a given item 99 | updateItemText :: Maybe UUID -> String -> T.Action _ State Unit 100 | updateItemText u t = T.modifyState (\o -> 101 | { todoList: updateListItemText o.todoList u t, filter: o.filter }) 102 | 103 | -- | Modify current AJAX method so that it only passes through the success ResponseData to a callback. 104 | -- This is needed to make it work with T.async. 105 | responseOnly 106 | :: forall eff. 107 | (SuccessFn eff -> FailureFn eff -> Eff (xhr :: XHREff | eff) Unit) 108 | -> ((ResponseData -> Eff (xhr :: XHREff | eff) Unit) -> Eff (xhr :: XHREff | eff) Unit) 109 | responseOnly orig = flip orig err <<< success 110 | where 111 | success fn a b c = fn $ stringify a 112 | err a b c = return unit 113 | 114 | -- | Get current todo list 115 | getList :: T.Action _ State Unit 116 | getList = do 117 | r <- T.async (responseOnly getitems) 118 | setTodoList (addNewItem <<< result $ r) 119 | 120 | -- | Send a ToDoItem to the server 121 | sendItem :: ToDoItem -> T.Action _ State Unit 122 | sendItem (ToDoItem i) = do 123 | r <- T.async (responseOnly <<< sender i._todoIdent <<< encode $ ToDoItem i) 124 | setTodoList (addNewItem <<< result $ r) 125 | where 126 | sender (Just ident) = putitemsWithUuid ident 127 | sender _ = postitems 128 | 129 | -- | Decode result and return appropriate ToDoList 130 | result :: String -> ToDoList 131 | result = fromMaybe blankToDoList <<< decode 132 | 133 | -- * DOM events 134 | 135 | -- | onchange 136 | handleTodoTextChange :: T.FormEvent -> Action 137 | handleTodoTextChange e = UpdateText (strToIdent $ getToDoItemIdent e) (getValue e) 138 | where 139 | todoItem = getToDoItemFromUI (getToDoItemIdent e) 140 | 141 | -- | onkeyup 142 | handleTodoTextKeyUp :: T.KeyboardEvent -> Action 143 | handleTodoTextKeyUp e = case getKeyCode e of 144 | 13 -> case getValue e of 145 | "" -> DoNothing 146 | _ -> SubmitItem $ 147 | getToDoItemFromUI (getToDoItemIdent e) 148 | _ -> DoNothing 149 | 150 | -- | onblur 151 | handleTodoTextBlur :: T.FocusEvent -> Action 152 | handleTodoTextBlur e = SubmitItem $ 153 | getToDoItemFromUI (getToDoItemIdent e) 154 | 155 | -- | Checkbox click 156 | handleTodoCheckboxChange :: T.MouseEvent -> Action 157 | handleTodoCheckboxChange e = SubmitItem $ 158 | getToDoItemFromUI (getToDoItemIdent e) 159 | 160 | -- | Handle filter change 161 | handleFilter :: Action -> T.MouseEvent -> Action 162 | handleFilter a _ = a 163 | 164 | -- | Get entire ToDoItem from user interface properties 165 | getToDoItemFromUI :: String -> ToDoItem 166 | getToDoItemFromUI i = ToDoItem { _todoIdent: strToIdent i, _todoText: txt, _todoDone: done } 167 | where 168 | txt = getToDoItemText i 169 | done = getToDoItemDone i 170 | 171 | -- | Turns a string identifier into a proper Maybe for sending/using against state 172 | strToIdent :: String -> Maybe UUID 173 | strToIdent "" = Nothing 174 | strToIdent x = Just x 175 | 176 | -- | Get value from a DOM element 177 | foreign import getValue 178 | "function getValue(e) {\ 179 | \ return e.target.value;\ 180 | \}" :: forall event. event -> String 181 | 182 | -- | Get data-todoitem attribute from a DOM element 183 | foreign import getToDoItemIdent 184 | """ 185 | function getToDoItemIdent (e) { 186 | if (e.target.getAttribute('data-todoitem')) { 187 | return e.target.getAttribute('data-todoitem'); 188 | } 189 | return ""; 190 | } 191 | """ :: forall event. event -> String 192 | 193 | -- | Get text value from a todoitem DOM element 194 | foreign import getToDoItemText 195 | """ 196 | function getToDoItemText (ident) { 197 | var t = document.querySelector("input[type='text'][data-todoitem='" + ident + "']"); 198 | if (!!t) { 199 | return t.value 200 | } 201 | return ""; 202 | } 203 | """ :: String -> String 204 | 205 | -- | Get checkbox value from a todoitem DOM element 206 | foreign import getToDoItemDone 207 | """ 208 | function getToDoItemDone (ident) { 209 | var t = document.querySelector("input[type='checkbox'][data-todoitem='" + ident + "']"); 210 | if (!!t) { 211 | return t.checked 212 | } 213 | return false; 214 | } 215 | """ :: String -> Boolean 216 | 217 | -- * Rendering the list 218 | 219 | -- | Render user interface HTML 220 | render :: T.Render State _ Action 221 | render ctx s _ = do 222 | container [ T.ul' current 223 | , T.p' [ remaining ] 224 | , filters ] 225 | where 226 | container = T.div [ A.className "app-container" ] 227 | remaining = T.text $ (show $ inState false s.todoList) <> " remaining" 228 | filters = T.p' [ T.a [ A.href "#all" 229 | , T.onClick ctx (handleFilter $ ChangeFilter Nothing) ] [ T.text "All" ] 230 | , T.text " | " 231 | , T.a [ A.href "#to-do" 232 | , T.onClick ctx (handleFilter $ ChangeFilter (Just false)) ] [ T.text "To Do" ] 233 | , T.text " | " 234 | , T.a [ A.href "#complete" 235 | , T.onClick ctx (handleFilter $ ChangeFilter (Just true)) ] [ T.text "Complete" ] ] 236 | 237 | current = itemList $ if isJust s.filter 238 | then filterState (fromJust s.filter) s.todoList 239 | else s.todoList 240 | itemList (ToDoList l) = itemRow <$> l._todoItems 241 | itemRow :: ToDoItem -> T.Html _ 242 | itemRow (ToDoItem i) = T.li' $ 243 | [ T.input [ A._type "text" 244 | , A.className "item-row" 245 | , A.value i._todoText 246 | , T.onChange ctx handleTodoTextChange 247 | , T.onKeyUp ctx handleTodoTextKeyUp 248 | , T.onBlur ctx handleTodoTextBlur 249 | , _dataToDoItem $ ToDoItem i ] [] 250 | , T.input ([ A._type "checkbox" 251 | , _dataToDoItem $ ToDoItem i 252 | , T.onClick ctx handleTodoCheckboxChange ] <> checkedParam) [] 253 | ] 254 | where 255 | checkedParam = if i._todoDone 256 | then [ A.checked "true" ] 257 | else [] 258 | 259 | -- * Main 260 | 261 | -- | Specification for HTML UI 262 | spec :: T.Spec _ State _ Action 263 | spec = T.simpleSpec initialState performAction render 264 | # T.componentWillMount GetList 265 | 266 | main = do 267 | let component = T.createClass spec 268 | T.render component {} 269 | -------------------------------------------------------------------------------- /examples/todo/src/App/ToDoItem.purs: -------------------------------------------------------------------------------- 1 | module App.ToDoItem where 2 | 3 | import qualified Data.Array as Arr 4 | import Data.Foldable 5 | import Data.JSON 6 | import Data.List.Utils 7 | import Data.Maybe 8 | import Data.Monoid 9 | import Debug.Foreign 10 | 11 | -- * Data types 12 | 13 | -- | Type alias for server-side UUIDs 14 | type UUID = String 15 | 16 | -- | Type for a single To Do Item 17 | data ToDoItem = ToDoItem { 18 | _todoIdent :: Maybe UUID, 19 | _todoText :: String, 20 | _todoDone :: Boolean} 21 | 22 | -- | Eq instance for ToDoItem 23 | instance todoItemEq :: Eq ToDoItem where 24 | (==) (ToDoItem a) (ToDoItem b) = and $ 25 | [ a._todoIdent == b._todoIdent 26 | , a._todoText == b._todoText 27 | , a._todoDone == b._todoDone ] 28 | (/=) a b = (a == b) == false 29 | 30 | -- | Show instance for ToDoItem 31 | instance todoItemShow :: Show ToDoItem where 32 | show (ToDoItem a) = "(ToDoItem " 33 | <> show a._todoIdent 34 | <> " " 35 | <> a._todoText 36 | <> " " 37 | <> show a._todoDone 38 | <> ")" 39 | 40 | -- | Marshalls ToDoItem to JSON 41 | instance todoItemToJSON :: ToJSON ToDoItem where 42 | toJSON (ToDoItem i) = object $ 43 | [ "ident" .= jsonIdent i._todoIdent 44 | , "text" .= i._todoText 45 | , "done" .= i._todoDone ] 46 | 47 | -- | Marshalls UUID to JSON 48 | jsonIdent :: Maybe UUID -> JValue 49 | jsonIdent u = case u of 50 | Just u' -> toJSON u' 51 | _ -> JNull 52 | 53 | -- | Unmarshalls ToDoItem from JSON 54 | instance todoItemFromJSON :: FromJSON ToDoItem where 55 | parseJSON (JObject o) = do 56 | ident <- o .:? "ident" 57 | text <- o .: "text" 58 | done <- o .: "done" 59 | return $ ToDoItem { _todoIdent: ident, _todoText: text, _todoDone: done } 60 | parseJSON _ = fail "Cannot parse ToDoItem" 61 | 62 | -- | Type covering an entire To Do List 63 | newtype ToDoList = ToDoList { _todoItems :: [ToDoItem] } 64 | 65 | -- | Marshalls ToDoList from JSON 66 | instance todoListFromJSON :: FromJSON ToDoList where 67 | parseJSON (JObject o) = do 68 | list <- o .: "_todoItems" 69 | return $ ToDoList { _todoItems: list } 70 | parseJSON _ = fail "Cannot parse ToDoList" 71 | 72 | -- | Generates an empty ToDoList 73 | blankToDoList :: ToDoList 74 | blankToDoList = ToDoList { _todoItems: [] } 75 | 76 | -- | Generates a fresh ToDoItem 77 | newToDoItem :: ToDoItem 78 | newToDoItem = ToDoItem { _todoIdent: Nothing, _todoText: "", _todoDone: false } 79 | 80 | -- | Insert a blank ToDoItem at the bottom of a ToDoList 81 | addNewItem :: ToDoList -> ToDoList 82 | addNewItem (ToDoList l) = ToDoList { _todoItems: l._todoItems <> [newToDoItem] } 83 | 84 | -- | Update ToDoList item text 85 | updateListItemText :: ToDoList -> Maybe UUID -> String -> ToDoList 86 | updateListItemText (ToDoList l) u t = ToDoList { _todoItems: newToDoItems l } 87 | where 88 | newToDoItems l = 89 | case getItemByUuid (ToDoList l) u of 90 | Just item -> replace [item] [makeNewItem item] l._todoItems 91 | _ -> l._todoItems <> [makeNewItem newToDoItem] 92 | makeNewItem (ToDoItem it) = ToDoItem { _todoIdent: u, _todoText: t, _todoDone: it._todoDone } 93 | 94 | -- | Get item from a list by UUID 95 | getItemByUuid :: ToDoList -> Maybe UUID -> Maybe ToDoItem 96 | getItemByUuid (ToDoList l) i = case Arr.filter isThisIt l._todoItems of 97 | (it:_) -> Just it 98 | _ -> Nothing 99 | where 100 | isThisIt (ToDoItem it) = it._todoIdent == i 101 | 102 | -- | Filter to a given state 103 | filterState :: Boolean -> ToDoList -> ToDoList 104 | filterState state (ToDoList l) = ToDoList { _todoItems: Arr.filter inStateF l._todoItems } 105 | where 106 | inStateF (ToDoItem i) = isJust i._todoIdent && i._todoDone == state 107 | 108 | -- | Number of items in a given state 109 | inState :: Boolean -> ToDoList -> Number 110 | inState state (ToDoList l) = Arr.length $ 111 | Arr.filter inStateF l._todoItems 112 | where 113 | inStateF (ToDoItem i) = isJust i._todoIdent && i._todoDone == state 114 | 115 | -------------------------------------------------------------------------------- /examples/todo/src/Data/List/Utils.purs: -------------------------------------------------------------------------------- 1 | module Data.List.Utils ( 2 | join, 3 | replace, 4 | split, 5 | breakList, 6 | spanList, 7 | startswith, 8 | endswith 9 | ) where 10 | 11 | import qualified Data.Array as A 12 | import Data.Foldable 13 | import Data.List 14 | import Data.Tuple 15 | 16 | -- * Some list comparisons 17 | -- All nicked from MissingH 18 | 19 | -- | Given a delimiter and a list of items (or strings), 20 | -- join the items by using the delimiter. 21 | join :: forall a. [a] -> [[a]] -> [a] 22 | join = intercalate 23 | 24 | -- | Given a list and a replacement list, replaces each occurance 25 | -- of the search list with the replacement list in the operation list. 26 | replace :: forall a. (Eq a) => [a] -> [a] -> [a] -> [a] 27 | replace old new l = join new <<< split old $ l 28 | 29 | -- | Given a delimiter and a list (or string), split into components. 30 | split :: forall a. (Eq a) => [a] -> [a] -> [[a]] 31 | split _ [] = [] 32 | split delim str = first : second 33 | where 34 | first = fst parts 35 | second = case snd parts of 36 | [] -> [] 37 | x -> if x == delim 38 | then [] : [] 39 | else split delim (A.drop (A.length delim) x) 40 | parts = breakList (startswith delim) str 41 | 42 | breakList :: forall a. ([a] -> Boolean) -> [a] -> Tuple [a] [a] 43 | breakList func = spanList (not <<< func) 44 | 45 | spanList :: forall a. ([a] -> Boolean) -> [a] -> Tuple [a] [a] 46 | spanList _ [] = Tuple [] [] 47 | spanList func list@(x:xs) = 48 | if func list 49 | then Tuple (x:(fst spanned)) (snd spanned) 50 | else Tuple [] list 51 | where spanned = spanList func xs 52 | 53 | -- | Tests whether a list begins with another list. 54 | startswith :: forall a. (Eq a) => [a] -> [a] -> Boolean 55 | startswith = isPrefixOf 56 | 57 | -- | Tests whether a list ends with another list. 58 | endswith :: forall a. (Eq a) => [a] -> [a] -> Boolean 59 | endswith = isSuffixOf 60 | 61 | -- * Ported from Data.List 62 | 63 | isPrefixOf :: forall a. (Eq a) => [a] -> [a] -> Boolean 64 | isPrefixOf [] _ = true 65 | isPrefixOf _ [] = false 66 | isPrefixOf (x:xs) (y:ys) = x == y && isPrefixOf xs ys 67 | 68 | isSuffixOf :: forall a. (Eq a) => [a] -> [a] -> Boolean 69 | isSuffixOf x y = A.reverse x `isPrefixOf` A.reverse y 70 | 71 | intersperse :: forall a. a -> [a] -> [a] 72 | intersperse _ [] = [] 73 | intersperse sep (x:xs) = x : prependToAll sep xs 74 | 75 | prependToAll :: forall a. a -> [a] -> [a] 76 | prependToAll _ [] = [] 77 | prependToAll sep (x:xs) = sep : x : prependToAll sep xs 78 | 79 | -------------------------------------------------------------------------------- /examples/todo/src/Main.purs: -------------------------------------------------------------------------------- 1 | module Main where 2 | 3 | import Debug.Trace 4 | 5 | main = do 6 | trace "Hello sailor!" 7 | -------------------------------------------------------------------------------- /examples/todo/test/Test/Main.purs: -------------------------------------------------------------------------------- 1 | module Test.Main where 2 | 3 | import Control.Monad.Error.Class 4 | import Data.Array.Unsafe 5 | import Data.Either 6 | import Data.List.Utils 7 | import Data.Maybe 8 | import Data.Maybe.Unsafe 9 | import Test.Unit 10 | 11 | import App.ToDoItem 12 | 13 | main = runTest do 14 | test "peeks at a list properly" do 15 | let testList = ToDoList { 16 | _todoItems: [ ToDoItem { _todoIdent: (Just "foo"), _todoText: "Foo", _todoDone: false } 17 | , ToDoItem { _todoIdent: (Just "bar"), _todoText: "Bar", _todoDone: false } ]} 18 | assert "should be foo" $ 19 | ((getItemByUuid testList (Just "foo")) == (Just $ ToDoItem { _todoIdent: (Just "foo"), _todoText: "Foo", _todoDone: false })) 20 | test "peeks at a list properly 2" do 21 | let testList = ToDoList { 22 | _todoItems: [ ToDoItem { _todoIdent: (Just "foo"), _todoText: "Foo", _todoDone: false } 23 | , ToDoItem { _todoIdent: Nothing, _todoText: "Bar", _todoDone: false } ]} 24 | assert "should be foo" $ 25 | ((getItemByUuid testList Nothing) == (Just $ ToDoItem { _todoIdent: Nothing, _todoText: "Bar", _todoDone: false })) 26 | test "replaces ToDoItems in a list properly" do 27 | let testList = ToDoList { 28 | _todoItems: [ ToDoItem { _todoIdent: (Just "foo"), _todoText: "Foo", _todoDone: false } 29 | , ToDoItem { _todoIdent: (Just "bar"), _todoText: "Bar", _todoDone: false } ]} 30 | case updateListItemText testList (Just "foo") "BAZ BAZ BAZ" of 31 | ToDoList l -> 32 | case head l._todoItems of 33 | ToDoItem i -> 34 | assert "text of first entry should have changed" $ i._todoText == "BAZ BAZ BAZ" 35 | _ -> throwError "not a ToDoItem" 36 | _ -> throwError "not a ToDoList" 37 | test "replaces ToDoItems in a weird list properly" do 38 | let ll = [ ToDoItem { _todoIdent: (Just "bumf"), _todoText: "Foo", _todoDone: false } 39 | , ToDoItem { _todoIdent: Nothing, _todoText: "Bar", _todoDone: false } ] 40 | let testList = ToDoList { _todoItems: ll } 41 | case updateListItemText testList Nothing "BAZ BAZ BAZ" of 42 | ToDoList l -> 43 | case last l._todoItems of 44 | ToDoItem i -> 45 | assert "text of last entry should have changed" $ i._todoText == "BAZ BAZ BAZ" 46 | _ -> throwError "not a ToDoItem" 47 | _ -> throwError "not a ToDoList" 48 | -------------------------------------------------------------------------------- /examples/todo/www/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | Servant: todo 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | -------------------------------------------------------------------------------- /examples/todo/www/jquery.min.js: -------------------------------------------------------------------------------- 1 | /*! jQuery v1.11.1 | (c) 2005, 2014 jQuery Foundation, Inc. | jquery.org/license */ 2 | !function(a,b){"object"==typeof module&&"object"==typeof module.exports?module.exports=a.document?b(a,!0):function(a){if(!a.document)throw new Error("jQuery requires a window with a document");return b(a)}:b(a)}("undefined"!=typeof window?window:this,function(a,b){var c=[],d=c.slice,e=c.concat,f=c.push,g=c.indexOf,h={},i=h.toString,j=h.hasOwnProperty,k={},l="1.11.1",m=function(a,b){return new m.fn.init(a,b)},n=/^[\s\uFEFF\xA0]+|[\s\uFEFF\xA0]+$/g,o=/^-ms-/,p=/-([\da-z])/gi,q=function(a,b){return b.toUpperCase()};m.fn=m.prototype={jquery:l,constructor:m,selector:"",length:0,toArray:function(){return d.call(this)},get:function(a){return null!=a?0>a?this[a+this.length]:this[a]:d.call(this)},pushStack:function(a){var b=m.merge(this.constructor(),a);return b.prevObject=this,b.context=this.context,b},each:function(a,b){return m.each(this,a,b)},map:function(a){return this.pushStack(m.map(this,function(b,c){return a.call(b,c,b)}))},slice:function(){return this.pushStack(d.apply(this,arguments))},first:function(){return this.eq(0)},last:function(){return this.eq(-1)},eq:function(a){var b=this.length,c=+a+(0>a?b:0);return this.pushStack(c>=0&&b>c?[this[c]]:[])},end:function(){return this.prevObject||this.constructor(null)},push:f,sort:c.sort,splice:c.splice},m.extend=m.fn.extend=function(){var a,b,c,d,e,f,g=arguments[0]||{},h=1,i=arguments.length,j=!1;for("boolean"==typeof g&&(j=g,g=arguments[h]||{},h++),"object"==typeof g||m.isFunction(g)||(g={}),h===i&&(g=this,h--);i>h;h++)if(null!=(e=arguments[h]))for(d in e)a=g[d],c=e[d],g!==c&&(j&&c&&(m.isPlainObject(c)||(b=m.isArray(c)))?(b?(b=!1,f=a&&m.isArray(a)?a:[]):f=a&&m.isPlainObject(a)?a:{},g[d]=m.extend(j,f,c)):void 0!==c&&(g[d]=c));return g},m.extend({expando:"jQuery"+(l+Math.random()).replace(/\D/g,""),isReady:!0,error:function(a){throw new Error(a)},noop:function(){},isFunction:function(a){return"function"===m.type(a)},isArray:Array.isArray||function(a){return"array"===m.type(a)},isWindow:function(a){return null!=a&&a==a.window},isNumeric:function(a){return!m.isArray(a)&&a-parseFloat(a)>=0},isEmptyObject:function(a){var b;for(b in a)return!1;return!0},isPlainObject:function(a){var b;if(!a||"object"!==m.type(a)||a.nodeType||m.isWindow(a))return!1;try{if(a.constructor&&!j.call(a,"constructor")&&!j.call(a.constructor.prototype,"isPrototypeOf"))return!1}catch(c){return!1}if(k.ownLast)for(b in a)return j.call(a,b);for(b in a);return void 0===b||j.call(a,b)},type:function(a){return null==a?a+"":"object"==typeof a||"function"==typeof a?h[i.call(a)]||"object":typeof a},globalEval:function(b){b&&m.trim(b)&&(a.execScript||function(b){a.eval.call(a,b)})(b)},camelCase:function(a){return a.replace(o,"ms-").replace(p,q)},nodeName:function(a,b){return a.nodeName&&a.nodeName.toLowerCase()===b.toLowerCase()},each:function(a,b,c){var d,e=0,f=a.length,g=r(a);if(c){if(g){for(;f>e;e++)if(d=b.apply(a[e],c),d===!1)break}else for(e in a)if(d=b.apply(a[e],c),d===!1)break}else if(g){for(;f>e;e++)if(d=b.call(a[e],e,a[e]),d===!1)break}else for(e in a)if(d=b.call(a[e],e,a[e]),d===!1)break;return a},trim:function(a){return null==a?"":(a+"").replace(n,"")},makeArray:function(a,b){var c=b||[];return null!=a&&(r(Object(a))?m.merge(c,"string"==typeof a?[a]:a):f.call(c,a)),c},inArray:function(a,b,c){var d;if(b){if(g)return g.call(b,a,c);for(d=b.length,c=c?0>c?Math.max(0,d+c):c:0;d>c;c++)if(c in b&&b[c]===a)return c}return-1},merge:function(a,b){var c=+b.length,d=0,e=a.length;while(c>d)a[e++]=b[d++];if(c!==c)while(void 0!==b[d])a[e++]=b[d++];return a.length=e,a},grep:function(a,b,c){for(var d,e=[],f=0,g=a.length,h=!c;g>f;f++)d=!b(a[f],f),d!==h&&e.push(a[f]);return e},map:function(a,b,c){var d,f=0,g=a.length,h=r(a),i=[];if(h)for(;g>f;f++)d=b(a[f],f,c),null!=d&&i.push(d);else for(f in a)d=b(a[f],f,c),null!=d&&i.push(d);return e.apply([],i)},guid:1,proxy:function(a,b){var c,e,f;return"string"==typeof b&&(f=a[b],b=a,a=f),m.isFunction(a)?(c=d.call(arguments,2),e=function(){return a.apply(b||this,c.concat(d.call(arguments)))},e.guid=a.guid=a.guid||m.guid++,e):void 0},now:function(){return+new Date},support:k}),m.each("Boolean Number String Function Array Date RegExp Object Error".split(" "),function(a,b){h["[object "+b+"]"]=b.toLowerCase()});function r(a){var b=a.length,c=m.type(a);return"function"===c||m.isWindow(a)?!1:1===a.nodeType&&b?!0:"array"===c||0===b||"number"==typeof b&&b>0&&b-1 in a}var s=function(a){var b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u="sizzle"+-new Date,v=a.document,w=0,x=0,y=gb(),z=gb(),A=gb(),B=function(a,b){return a===b&&(l=!0),0},C="undefined",D=1<<31,E={}.hasOwnProperty,F=[],G=F.pop,H=F.push,I=F.push,J=F.slice,K=F.indexOf||function(a){for(var b=0,c=this.length;c>b;b++)if(this[b]===a)return b;return-1},L="checked|selected|async|autofocus|autoplay|controls|defer|disabled|hidden|ismap|loop|multiple|open|readonly|required|scoped",M="[\\x20\\t\\r\\n\\f]",N="(?:\\\\.|[\\w-]|[^\\x00-\\xa0])+",O=N.replace("w","w#"),P="\\["+M+"*("+N+")(?:"+M+"*([*^$|!~]?=)"+M+"*(?:'((?:\\\\.|[^\\\\'])*)'|\"((?:\\\\.|[^\\\\\"])*)\"|("+O+"))|)"+M+"*\\]",Q=":("+N+")(?:\\((('((?:\\\\.|[^\\\\'])*)'|\"((?:\\\\.|[^\\\\\"])*)\")|((?:\\\\.|[^\\\\()[\\]]|"+P+")*)|.*)\\)|)",R=new RegExp("^"+M+"+|((?:^|[^\\\\])(?:\\\\.)*)"+M+"+$","g"),S=new RegExp("^"+M+"*,"+M+"*"),T=new RegExp("^"+M+"*([>+~]|"+M+")"+M+"*"),U=new RegExp("="+M+"*([^\\]'\"]*?)"+M+"*\\]","g"),V=new RegExp(Q),W=new RegExp("^"+O+"$"),X={ID:new RegExp("^#("+N+")"),CLASS:new RegExp("^\\.("+N+")"),TAG:new RegExp("^("+N.replace("w","w*")+")"),ATTR:new RegExp("^"+P),PSEUDO:new RegExp("^"+Q),CHILD:new RegExp("^:(only|first|last|nth|nth-last)-(child|of-type)(?:\\("+M+"*(even|odd|(([+-]|)(\\d*)n|)"+M+"*(?:([+-]|)"+M+"*(\\d+)|))"+M+"*\\)|)","i"),bool:new RegExp("^(?:"+L+")$","i"),needsContext:new RegExp("^"+M+"*[>+~]|:(even|odd|eq|gt|lt|nth|first|last)(?:\\("+M+"*((?:-\\d)?\\d*)"+M+"*\\)|)(?=[^-]|$)","i")},Y=/^(?:input|select|textarea|button)$/i,Z=/^h\d$/i,$=/^[^{]+\{\s*\[native \w/,_=/^(?:#([\w-]+)|(\w+)|\.([\w-]+))$/,ab=/[+~]/,bb=/'|\\/g,cb=new RegExp("\\\\([\\da-f]{1,6}"+M+"?|("+M+")|.)","ig"),db=function(a,b,c){var d="0x"+b-65536;return d!==d||c?b:0>d?String.fromCharCode(d+65536):String.fromCharCode(d>>10|55296,1023&d|56320)};try{I.apply(F=J.call(v.childNodes),v.childNodes),F[v.childNodes.length].nodeType}catch(eb){I={apply:F.length?function(a,b){H.apply(a,J.call(b))}:function(a,b){var c=a.length,d=0;while(a[c++]=b[d++]);a.length=c-1}}}function fb(a,b,d,e){var f,h,j,k,l,o,r,s,w,x;if((b?b.ownerDocument||b:v)!==n&&m(b),b=b||n,d=d||[],!a||"string"!=typeof a)return d;if(1!==(k=b.nodeType)&&9!==k)return[];if(p&&!e){if(f=_.exec(a))if(j=f[1]){if(9===k){if(h=b.getElementById(j),!h||!h.parentNode)return d;if(h.id===j)return d.push(h),d}else if(b.ownerDocument&&(h=b.ownerDocument.getElementById(j))&&t(b,h)&&h.id===j)return d.push(h),d}else{if(f[2])return I.apply(d,b.getElementsByTagName(a)),d;if((j=f[3])&&c.getElementsByClassName&&b.getElementsByClassName)return I.apply(d,b.getElementsByClassName(j)),d}if(c.qsa&&(!q||!q.test(a))){if(s=r=u,w=b,x=9===k&&a,1===k&&"object"!==b.nodeName.toLowerCase()){o=g(a),(r=b.getAttribute("id"))?s=r.replace(bb,"\\$&"):b.setAttribute("id",s),s="[id='"+s+"'] ",l=o.length;while(l--)o[l]=s+qb(o[l]);w=ab.test(a)&&ob(b.parentNode)||b,x=o.join(",")}if(x)try{return I.apply(d,w.querySelectorAll(x)),d}catch(y){}finally{r||b.removeAttribute("id")}}}return i(a.replace(R,"$1"),b,d,e)}function gb(){var a=[];function b(c,e){return a.push(c+" ")>d.cacheLength&&delete b[a.shift()],b[c+" "]=e}return b}function hb(a){return a[u]=!0,a}function ib(a){var b=n.createElement("div");try{return!!a(b)}catch(c){return!1}finally{b.parentNode&&b.parentNode.removeChild(b),b=null}}function jb(a,b){var c=a.split("|"),e=a.length;while(e--)d.attrHandle[c[e]]=b}function kb(a,b){var c=b&&a,d=c&&1===a.nodeType&&1===b.nodeType&&(~b.sourceIndex||D)-(~a.sourceIndex||D);if(d)return d;if(c)while(c=c.nextSibling)if(c===b)return-1;return a?1:-1}function lb(a){return function(b){var c=b.nodeName.toLowerCase();return"input"===c&&b.type===a}}function mb(a){return function(b){var c=b.nodeName.toLowerCase();return("input"===c||"button"===c)&&b.type===a}}function nb(a){return hb(function(b){return b=+b,hb(function(c,d){var e,f=a([],c.length,b),g=f.length;while(g--)c[e=f[g]]&&(c[e]=!(d[e]=c[e]))})})}function ob(a){return a&&typeof a.getElementsByTagName!==C&&a}c=fb.support={},f=fb.isXML=function(a){var b=a&&(a.ownerDocument||a).documentElement;return b?"HTML"!==b.nodeName:!1},m=fb.setDocument=function(a){var b,e=a?a.ownerDocument||a:v,g=e.defaultView;return e!==n&&9===e.nodeType&&e.documentElement?(n=e,o=e.documentElement,p=!f(e),g&&g!==g.top&&(g.addEventListener?g.addEventListener("unload",function(){m()},!1):g.attachEvent&&g.attachEvent("onunload",function(){m()})),c.attributes=ib(function(a){return a.className="i",!a.getAttribute("className")}),c.getElementsByTagName=ib(function(a){return a.appendChild(e.createComment("")),!a.getElementsByTagName("*").length}),c.getElementsByClassName=$.test(e.getElementsByClassName)&&ib(function(a){return a.innerHTML="
",a.firstChild.className="i",2===a.getElementsByClassName("i").length}),c.getById=ib(function(a){return o.appendChild(a).id=u,!e.getElementsByName||!e.getElementsByName(u).length}),c.getById?(d.find.ID=function(a,b){if(typeof b.getElementById!==C&&p){var c=b.getElementById(a);return c&&c.parentNode?[c]:[]}},d.filter.ID=function(a){var b=a.replace(cb,db);return function(a){return a.getAttribute("id")===b}}):(delete d.find.ID,d.filter.ID=function(a){var b=a.replace(cb,db);return function(a){var c=typeof a.getAttributeNode!==C&&a.getAttributeNode("id");return c&&c.value===b}}),d.find.TAG=c.getElementsByTagName?function(a,b){return typeof b.getElementsByTagName!==C?b.getElementsByTagName(a):void 0}:function(a,b){var c,d=[],e=0,f=b.getElementsByTagName(a);if("*"===a){while(c=f[e++])1===c.nodeType&&d.push(c);return d}return f},d.find.CLASS=c.getElementsByClassName&&function(a,b){return typeof b.getElementsByClassName!==C&&p?b.getElementsByClassName(a):void 0},r=[],q=[],(c.qsa=$.test(e.querySelectorAll))&&(ib(function(a){a.innerHTML="",a.querySelectorAll("[msallowclip^='']").length&&q.push("[*^$]="+M+"*(?:''|\"\")"),a.querySelectorAll("[selected]").length||q.push("\\["+M+"*(?:value|"+L+")"),a.querySelectorAll(":checked").length||q.push(":checked")}),ib(function(a){var b=e.createElement("input");b.setAttribute("type","hidden"),a.appendChild(b).setAttribute("name","D"),a.querySelectorAll("[name=d]").length&&q.push("name"+M+"*[*^$|!~]?="),a.querySelectorAll(":enabled").length||q.push(":enabled",":disabled"),a.querySelectorAll("*,:x"),q.push(",.*:")})),(c.matchesSelector=$.test(s=o.matches||o.webkitMatchesSelector||o.mozMatchesSelector||o.oMatchesSelector||o.msMatchesSelector))&&ib(function(a){c.disconnectedMatch=s.call(a,"div"),s.call(a,"[s!='']:x"),r.push("!=",Q)}),q=q.length&&new RegExp(q.join("|")),r=r.length&&new RegExp(r.join("|")),b=$.test(o.compareDocumentPosition),t=b||$.test(o.contains)?function(a,b){var c=9===a.nodeType?a.documentElement:a,d=b&&b.parentNode;return a===d||!(!d||1!==d.nodeType||!(c.contains?c.contains(d):a.compareDocumentPosition&&16&a.compareDocumentPosition(d)))}:function(a,b){if(b)while(b=b.parentNode)if(b===a)return!0;return!1},B=b?function(a,b){if(a===b)return l=!0,0;var d=!a.compareDocumentPosition-!b.compareDocumentPosition;return d?d:(d=(a.ownerDocument||a)===(b.ownerDocument||b)?a.compareDocumentPosition(b):1,1&d||!c.sortDetached&&b.compareDocumentPosition(a)===d?a===e||a.ownerDocument===v&&t(v,a)?-1:b===e||b.ownerDocument===v&&t(v,b)?1:k?K.call(k,a)-K.call(k,b):0:4&d?-1:1)}:function(a,b){if(a===b)return l=!0,0;var c,d=0,f=a.parentNode,g=b.parentNode,h=[a],i=[b];if(!f||!g)return a===e?-1:b===e?1:f?-1:g?1:k?K.call(k,a)-K.call(k,b):0;if(f===g)return kb(a,b);c=a;while(c=c.parentNode)h.unshift(c);c=b;while(c=c.parentNode)i.unshift(c);while(h[d]===i[d])d++;return d?kb(h[d],i[d]):h[d]===v?-1:i[d]===v?1:0},e):n},fb.matches=function(a,b){return fb(a,null,null,b)},fb.matchesSelector=function(a,b){if((a.ownerDocument||a)!==n&&m(a),b=b.replace(U,"='$1']"),!(!c.matchesSelector||!p||r&&r.test(b)||q&&q.test(b)))try{var d=s.call(a,b);if(d||c.disconnectedMatch||a.document&&11!==a.document.nodeType)return d}catch(e){}return fb(b,n,null,[a]).length>0},fb.contains=function(a,b){return(a.ownerDocument||a)!==n&&m(a),t(a,b)},fb.attr=function(a,b){(a.ownerDocument||a)!==n&&m(a);var e=d.attrHandle[b.toLowerCase()],f=e&&E.call(d.attrHandle,b.toLowerCase())?e(a,b,!p):void 0;return void 0!==f?f:c.attributes||!p?a.getAttribute(b):(f=a.getAttributeNode(b))&&f.specified?f.value:null},fb.error=function(a){throw new Error("Syntax error, unrecognized expression: "+a)},fb.uniqueSort=function(a){var b,d=[],e=0,f=0;if(l=!c.detectDuplicates,k=!c.sortStable&&a.slice(0),a.sort(B),l){while(b=a[f++])b===a[f]&&(e=d.push(f));while(e--)a.splice(d[e],1)}return k=null,a},e=fb.getText=function(a){var b,c="",d=0,f=a.nodeType;if(f){if(1===f||9===f||11===f){if("string"==typeof a.textContent)return a.textContent;for(a=a.firstChild;a;a=a.nextSibling)c+=e(a)}else if(3===f||4===f)return a.nodeValue}else while(b=a[d++])c+=e(b);return c},d=fb.selectors={cacheLength:50,createPseudo:hb,match:X,attrHandle:{},find:{},relative:{">":{dir:"parentNode",first:!0}," ":{dir:"parentNode"},"+":{dir:"previousSibling",first:!0},"~":{dir:"previousSibling"}},preFilter:{ATTR:function(a){return a[1]=a[1].replace(cb,db),a[3]=(a[3]||a[4]||a[5]||"").replace(cb,db),"~="===a[2]&&(a[3]=" "+a[3]+" "),a.slice(0,4)},CHILD:function(a){return a[1]=a[1].toLowerCase(),"nth"===a[1].slice(0,3)?(a[3]||fb.error(a[0]),a[4]=+(a[4]?a[5]+(a[6]||1):2*("even"===a[3]||"odd"===a[3])),a[5]=+(a[7]+a[8]||"odd"===a[3])):a[3]&&fb.error(a[0]),a},PSEUDO:function(a){var b,c=!a[6]&&a[2];return X.CHILD.test(a[0])?null:(a[3]?a[2]=a[4]||a[5]||"":c&&V.test(c)&&(b=g(c,!0))&&(b=c.indexOf(")",c.length-b)-c.length)&&(a[0]=a[0].slice(0,b),a[2]=c.slice(0,b)),a.slice(0,3))}},filter:{TAG:function(a){var b=a.replace(cb,db).toLowerCase();return"*"===a?function(){return!0}:function(a){return a.nodeName&&a.nodeName.toLowerCase()===b}},CLASS:function(a){var b=y[a+" "];return b||(b=new RegExp("(^|"+M+")"+a+"("+M+"|$)"))&&y(a,function(a){return b.test("string"==typeof a.className&&a.className||typeof a.getAttribute!==C&&a.getAttribute("class")||"")})},ATTR:function(a,b,c){return function(d){var e=fb.attr(d,a);return null==e?"!="===b:b?(e+="","="===b?e===c:"!="===b?e!==c:"^="===b?c&&0===e.indexOf(c):"*="===b?c&&e.indexOf(c)>-1:"$="===b?c&&e.slice(-c.length)===c:"~="===b?(" "+e+" ").indexOf(c)>-1:"|="===b?e===c||e.slice(0,c.length+1)===c+"-":!1):!0}},CHILD:function(a,b,c,d,e){var f="nth"!==a.slice(0,3),g="last"!==a.slice(-4),h="of-type"===b;return 1===d&&0===e?function(a){return!!a.parentNode}:function(b,c,i){var j,k,l,m,n,o,p=f!==g?"nextSibling":"previousSibling",q=b.parentNode,r=h&&b.nodeName.toLowerCase(),s=!i&&!h;if(q){if(f){while(p){l=b;while(l=l[p])if(h?l.nodeName.toLowerCase()===r:1===l.nodeType)return!1;o=p="only"===a&&!o&&"nextSibling"}return!0}if(o=[g?q.firstChild:q.lastChild],g&&s){k=q[u]||(q[u]={}),j=k[a]||[],n=j[0]===w&&j[1],m=j[0]===w&&j[2],l=n&&q.childNodes[n];while(l=++n&&l&&l[p]||(m=n=0)||o.pop())if(1===l.nodeType&&++m&&l===b){k[a]=[w,n,m];break}}else if(s&&(j=(b[u]||(b[u]={}))[a])&&j[0]===w)m=j[1];else while(l=++n&&l&&l[p]||(m=n=0)||o.pop())if((h?l.nodeName.toLowerCase()===r:1===l.nodeType)&&++m&&(s&&((l[u]||(l[u]={}))[a]=[w,m]),l===b))break;return m-=e,m===d||m%d===0&&m/d>=0}}},PSEUDO:function(a,b){var c,e=d.pseudos[a]||d.setFilters[a.toLowerCase()]||fb.error("unsupported pseudo: "+a);return e[u]?e(b):e.length>1?(c=[a,a,"",b],d.setFilters.hasOwnProperty(a.toLowerCase())?hb(function(a,c){var d,f=e(a,b),g=f.length;while(g--)d=K.call(a,f[g]),a[d]=!(c[d]=f[g])}):function(a){return e(a,0,c)}):e}},pseudos:{not:hb(function(a){var b=[],c=[],d=h(a.replace(R,"$1"));return d[u]?hb(function(a,b,c,e){var f,g=d(a,null,e,[]),h=a.length;while(h--)(f=g[h])&&(a[h]=!(b[h]=f))}):function(a,e,f){return b[0]=a,d(b,null,f,c),!c.pop()}}),has:hb(function(a){return function(b){return fb(a,b).length>0}}),contains:hb(function(a){return function(b){return(b.textContent||b.innerText||e(b)).indexOf(a)>-1}}),lang:hb(function(a){return W.test(a||"")||fb.error("unsupported lang: "+a),a=a.replace(cb,db).toLowerCase(),function(b){var c;do if(c=p?b.lang:b.getAttribute("xml:lang")||b.getAttribute("lang"))return c=c.toLowerCase(),c===a||0===c.indexOf(a+"-");while((b=b.parentNode)&&1===b.nodeType);return!1}}),target:function(b){var c=a.location&&a.location.hash;return c&&c.slice(1)===b.id},root:function(a){return a===o},focus:function(a){return a===n.activeElement&&(!n.hasFocus||n.hasFocus())&&!!(a.type||a.href||~a.tabIndex)},enabled:function(a){return a.disabled===!1},disabled:function(a){return a.disabled===!0},checked:function(a){var b=a.nodeName.toLowerCase();return"input"===b&&!!a.checked||"option"===b&&!!a.selected},selected:function(a){return a.parentNode&&a.parentNode.selectedIndex,a.selected===!0},empty:function(a){for(a=a.firstChild;a;a=a.nextSibling)if(a.nodeType<6)return!1;return!0},parent:function(a){return!d.pseudos.empty(a)},header:function(a){return Z.test(a.nodeName)},input:function(a){return Y.test(a.nodeName)},button:function(a){var b=a.nodeName.toLowerCase();return"input"===b&&"button"===a.type||"button"===b},text:function(a){var b;return"input"===a.nodeName.toLowerCase()&&"text"===a.type&&(null==(b=a.getAttribute("type"))||"text"===b.toLowerCase())},first:nb(function(){return[0]}),last:nb(function(a,b){return[b-1]}),eq:nb(function(a,b,c){return[0>c?c+b:c]}),even:nb(function(a,b){for(var c=0;b>c;c+=2)a.push(c);return a}),odd:nb(function(a,b){for(var c=1;b>c;c+=2)a.push(c);return a}),lt:nb(function(a,b,c){for(var d=0>c?c+b:c;--d>=0;)a.push(d);return a}),gt:nb(function(a,b,c){for(var d=0>c?c+b:c;++db;b++)d+=a[b].value;return d}function rb(a,b,c){var d=b.dir,e=c&&"parentNode"===d,f=x++;return b.first?function(b,c,f){while(b=b[d])if(1===b.nodeType||e)return a(b,c,f)}:function(b,c,g){var h,i,j=[w,f];if(g){while(b=b[d])if((1===b.nodeType||e)&&a(b,c,g))return!0}else while(b=b[d])if(1===b.nodeType||e){if(i=b[u]||(b[u]={}),(h=i[d])&&h[0]===w&&h[1]===f)return j[2]=h[2];if(i[d]=j,j[2]=a(b,c,g))return!0}}}function sb(a){return a.length>1?function(b,c,d){var e=a.length;while(e--)if(!a[e](b,c,d))return!1;return!0}:a[0]}function tb(a,b,c){for(var d=0,e=b.length;e>d;d++)fb(a,b[d],c);return c}function ub(a,b,c,d,e){for(var f,g=[],h=0,i=a.length,j=null!=b;i>h;h++)(f=a[h])&&(!c||c(f,d,e))&&(g.push(f),j&&b.push(h));return g}function vb(a,b,c,d,e,f){return d&&!d[u]&&(d=vb(d)),e&&!e[u]&&(e=vb(e,f)),hb(function(f,g,h,i){var j,k,l,m=[],n=[],o=g.length,p=f||tb(b||"*",h.nodeType?[h]:h,[]),q=!a||!f&&b?p:ub(p,m,a,h,i),r=c?e||(f?a:o||d)?[]:g:q;if(c&&c(q,r,h,i),d){j=ub(r,n),d(j,[],h,i),k=j.length;while(k--)(l=j[k])&&(r[n[k]]=!(q[n[k]]=l))}if(f){if(e||a){if(e){j=[],k=r.length;while(k--)(l=r[k])&&j.push(q[k]=l);e(null,r=[],j,i)}k=r.length;while(k--)(l=r[k])&&(j=e?K.call(f,l):m[k])>-1&&(f[j]=!(g[j]=l))}}else r=ub(r===g?r.splice(o,r.length):r),e?e(null,g,r,i):I.apply(g,r)})}function wb(a){for(var b,c,e,f=a.length,g=d.relative[a[0].type],h=g||d.relative[" "],i=g?1:0,k=rb(function(a){return a===b},h,!0),l=rb(function(a){return K.call(b,a)>-1},h,!0),m=[function(a,c,d){return!g&&(d||c!==j)||((b=c).nodeType?k(a,c,d):l(a,c,d))}];f>i;i++)if(c=d.relative[a[i].type])m=[rb(sb(m),c)];else{if(c=d.filter[a[i].type].apply(null,a[i].matches),c[u]){for(e=++i;f>e;e++)if(d.relative[a[e].type])break;return vb(i>1&&sb(m),i>1&&qb(a.slice(0,i-1).concat({value:" "===a[i-2].type?"*":""})).replace(R,"$1"),c,e>i&&wb(a.slice(i,e)),f>e&&wb(a=a.slice(e)),f>e&&qb(a))}m.push(c)}return sb(m)}function xb(a,b){var c=b.length>0,e=a.length>0,f=function(f,g,h,i,k){var l,m,o,p=0,q="0",r=f&&[],s=[],t=j,u=f||e&&d.find.TAG("*",k),v=w+=null==t?1:Math.random()||.1,x=u.length;for(k&&(j=g!==n&&g);q!==x&&null!=(l=u[q]);q++){if(e&&l){m=0;while(o=a[m++])if(o(l,g,h)){i.push(l);break}k&&(w=v)}c&&((l=!o&&l)&&p--,f&&r.push(l))}if(p+=q,c&&q!==p){m=0;while(o=b[m++])o(r,s,g,h);if(f){if(p>0)while(q--)r[q]||s[q]||(s[q]=G.call(i));s=ub(s)}I.apply(i,s),k&&!f&&s.length>0&&p+b.length>1&&fb.uniqueSort(i)}return k&&(w=v,j=t),r};return c?hb(f):f}return h=fb.compile=function(a,b){var c,d=[],e=[],f=A[a+" "];if(!f){b||(b=g(a)),c=b.length;while(c--)f=wb(b[c]),f[u]?d.push(f):e.push(f);f=A(a,xb(e,d)),f.selector=a}return f},i=fb.select=function(a,b,e,f){var i,j,k,l,m,n="function"==typeof a&&a,o=!f&&g(a=n.selector||a);if(e=e||[],1===o.length){if(j=o[0]=o[0].slice(0),j.length>2&&"ID"===(k=j[0]).type&&c.getById&&9===b.nodeType&&p&&d.relative[j[1].type]){if(b=(d.find.ID(k.matches[0].replace(cb,db),b)||[])[0],!b)return e;n&&(b=b.parentNode),a=a.slice(j.shift().value.length)}i=X.needsContext.test(a)?0:j.length;while(i--){if(k=j[i],d.relative[l=k.type])break;if((m=d.find[l])&&(f=m(k.matches[0].replace(cb,db),ab.test(j[0].type)&&ob(b.parentNode)||b))){if(j.splice(i,1),a=f.length&&qb(j),!a)return I.apply(e,f),e;break}}}return(n||h(a,o))(f,b,!p,e,ab.test(a)&&ob(b.parentNode)||b),e},c.sortStable=u.split("").sort(B).join("")===u,c.detectDuplicates=!!l,m(),c.sortDetached=ib(function(a){return 1&a.compareDocumentPosition(n.createElement("div"))}),ib(function(a){return a.innerHTML="","#"===a.firstChild.getAttribute("href")})||jb("type|href|height|width",function(a,b,c){return c?void 0:a.getAttribute(b,"type"===b.toLowerCase()?1:2)}),c.attributes&&ib(function(a){return a.innerHTML="",a.firstChild.setAttribute("value",""),""===a.firstChild.getAttribute("value")})||jb("value",function(a,b,c){return c||"input"!==a.nodeName.toLowerCase()?void 0:a.defaultValue}),ib(function(a){return null==a.getAttribute("disabled")})||jb(L,function(a,b,c){var d;return c?void 0:a[b]===!0?b.toLowerCase():(d=a.getAttributeNode(b))&&d.specified?d.value:null}),fb}(a);m.find=s,m.expr=s.selectors,m.expr[":"]=m.expr.pseudos,m.unique=s.uniqueSort,m.text=s.getText,m.isXMLDoc=s.isXML,m.contains=s.contains;var t=m.expr.match.needsContext,u=/^<(\w+)\s*\/?>(?:<\/\1>|)$/,v=/^.[^:#\[\.,]*$/;function w(a,b,c){if(m.isFunction(b))return m.grep(a,function(a,d){return!!b.call(a,d,a)!==c});if(b.nodeType)return m.grep(a,function(a){return a===b!==c});if("string"==typeof b){if(v.test(b))return m.filter(b,a,c);b=m.filter(b,a)}return m.grep(a,function(a){return m.inArray(a,b)>=0!==c})}m.filter=function(a,b,c){var d=b[0];return c&&(a=":not("+a+")"),1===b.length&&1===d.nodeType?m.find.matchesSelector(d,a)?[d]:[]:m.find.matches(a,m.grep(b,function(a){return 1===a.nodeType}))},m.fn.extend({find:function(a){var b,c=[],d=this,e=d.length;if("string"!=typeof a)return this.pushStack(m(a).filter(function(){for(b=0;e>b;b++)if(m.contains(d[b],this))return!0}));for(b=0;e>b;b++)m.find(a,d[b],c);return c=this.pushStack(e>1?m.unique(c):c),c.selector=this.selector?this.selector+" "+a:a,c},filter:function(a){return this.pushStack(w(this,a||[],!1))},not:function(a){return this.pushStack(w(this,a||[],!0))},is:function(a){return!!w(this,"string"==typeof a&&t.test(a)?m(a):a||[],!1).length}});var x,y=a.document,z=/^(?:\s*(<[\w\W]+>)[^>]*|#([\w-]*))$/,A=m.fn.init=function(a,b){var c,d;if(!a)return this;if("string"==typeof a){if(c="<"===a.charAt(0)&&">"===a.charAt(a.length-1)&&a.length>=3?[null,a,null]:z.exec(a),!c||!c[1]&&b)return!b||b.jquery?(b||x).find(a):this.constructor(b).find(a);if(c[1]){if(b=b instanceof m?b[0]:b,m.merge(this,m.parseHTML(c[1],b&&b.nodeType?b.ownerDocument||b:y,!0)),u.test(c[1])&&m.isPlainObject(b))for(c in b)m.isFunction(this[c])?this[c](b[c]):this.attr(c,b[c]);return this}if(d=y.getElementById(c[2]),d&&d.parentNode){if(d.id!==c[2])return x.find(a);this.length=1,this[0]=d}return this.context=y,this.selector=a,this}return a.nodeType?(this.context=this[0]=a,this.length=1,this):m.isFunction(a)?"undefined"!=typeof x.ready?x.ready(a):a(m):(void 0!==a.selector&&(this.selector=a.selector,this.context=a.context),m.makeArray(a,this))};A.prototype=m.fn,x=m(y);var B=/^(?:parents|prev(?:Until|All))/,C={children:!0,contents:!0,next:!0,prev:!0};m.extend({dir:function(a,b,c){var d=[],e=a[b];while(e&&9!==e.nodeType&&(void 0===c||1!==e.nodeType||!m(e).is(c)))1===e.nodeType&&d.push(e),e=e[b];return d},sibling:function(a,b){for(var c=[];a;a=a.nextSibling)1===a.nodeType&&a!==b&&c.push(a);return c}}),m.fn.extend({has:function(a){var b,c=m(a,this),d=c.length;return this.filter(function(){for(b=0;d>b;b++)if(m.contains(this,c[b]))return!0})},closest:function(a,b){for(var c,d=0,e=this.length,f=[],g=t.test(a)||"string"!=typeof a?m(a,b||this.context):0;e>d;d++)for(c=this[d];c&&c!==b;c=c.parentNode)if(c.nodeType<11&&(g?g.index(c)>-1:1===c.nodeType&&m.find.matchesSelector(c,a))){f.push(c);break}return this.pushStack(f.length>1?m.unique(f):f)},index:function(a){return a?"string"==typeof a?m.inArray(this[0],m(a)):m.inArray(a.jquery?a[0]:a,this):this[0]&&this[0].parentNode?this.first().prevAll().length:-1},add:function(a,b){return this.pushStack(m.unique(m.merge(this.get(),m(a,b))))},addBack:function(a){return this.add(null==a?this.prevObject:this.prevObject.filter(a))}});function D(a,b){do a=a[b];while(a&&1!==a.nodeType);return a}m.each({parent:function(a){var b=a.parentNode;return b&&11!==b.nodeType?b:null},parents:function(a){return m.dir(a,"parentNode")},parentsUntil:function(a,b,c){return m.dir(a,"parentNode",c)},next:function(a){return D(a,"nextSibling")},prev:function(a){return D(a,"previousSibling")},nextAll:function(a){return m.dir(a,"nextSibling")},prevAll:function(a){return m.dir(a,"previousSibling")},nextUntil:function(a,b,c){return m.dir(a,"nextSibling",c)},prevUntil:function(a,b,c){return m.dir(a,"previousSibling",c)},siblings:function(a){return m.sibling((a.parentNode||{}).firstChild,a)},children:function(a){return m.sibling(a.firstChild)},contents:function(a){return m.nodeName(a,"iframe")?a.contentDocument||a.contentWindow.document:m.merge([],a.childNodes)}},function(a,b){m.fn[a]=function(c,d){var e=m.map(this,b,c);return"Until"!==a.slice(-5)&&(d=c),d&&"string"==typeof d&&(e=m.filter(d,e)),this.length>1&&(C[a]||(e=m.unique(e)),B.test(a)&&(e=e.reverse())),this.pushStack(e)}});var E=/\S+/g,F={};function G(a){var b=F[a]={};return m.each(a.match(E)||[],function(a,c){b[c]=!0}),b}m.Callbacks=function(a){a="string"==typeof a?F[a]||G(a):m.extend({},a);var b,c,d,e,f,g,h=[],i=!a.once&&[],j=function(l){for(c=a.memory&&l,d=!0,f=g||0,g=0,e=h.length,b=!0;h&&e>f;f++)if(h[f].apply(l[0],l[1])===!1&&a.stopOnFalse){c=!1;break}b=!1,h&&(i?i.length&&j(i.shift()):c?h=[]:k.disable())},k={add:function(){if(h){var d=h.length;!function f(b){m.each(b,function(b,c){var d=m.type(c);"function"===d?a.unique&&k.has(c)||h.push(c):c&&c.length&&"string"!==d&&f(c)})}(arguments),b?e=h.length:c&&(g=d,j(c))}return this},remove:function(){return h&&m.each(arguments,function(a,c){var d;while((d=m.inArray(c,h,d))>-1)h.splice(d,1),b&&(e>=d&&e--,f>=d&&f--)}),this},has:function(a){return a?m.inArray(a,h)>-1:!(!h||!h.length)},empty:function(){return h=[],e=0,this},disable:function(){return h=i=c=void 0,this},disabled:function(){return!h},lock:function(){return i=void 0,c||k.disable(),this},locked:function(){return!i},fireWith:function(a,c){return!h||d&&!i||(c=c||[],c=[a,c.slice?c.slice():c],b?i.push(c):j(c)),this},fire:function(){return k.fireWith(this,arguments),this},fired:function(){return!!d}};return k},m.extend({Deferred:function(a){var b=[["resolve","done",m.Callbacks("once memory"),"resolved"],["reject","fail",m.Callbacks("once memory"),"rejected"],["notify","progress",m.Callbacks("memory")]],c="pending",d={state:function(){return c},always:function(){return e.done(arguments).fail(arguments),this},then:function(){var a=arguments;return m.Deferred(function(c){m.each(b,function(b,f){var g=m.isFunction(a[b])&&a[b];e[f[1]](function(){var a=g&&g.apply(this,arguments);a&&m.isFunction(a.promise)?a.promise().done(c.resolve).fail(c.reject).progress(c.notify):c[f[0]+"With"](this===d?c.promise():this,g?[a]:arguments)})}),a=null}).promise()},promise:function(a){return null!=a?m.extend(a,d):d}},e={};return d.pipe=d.then,m.each(b,function(a,f){var g=f[2],h=f[3];d[f[1]]=g.add,h&&g.add(function(){c=h},b[1^a][2].disable,b[2][2].lock),e[f[0]]=function(){return e[f[0]+"With"](this===e?d:this,arguments),this},e[f[0]+"With"]=g.fireWith}),d.promise(e),a&&a.call(e,e),e},when:function(a){var b=0,c=d.call(arguments),e=c.length,f=1!==e||a&&m.isFunction(a.promise)?e:0,g=1===f?a:m.Deferred(),h=function(a,b,c){return function(e){b[a]=this,c[a]=arguments.length>1?d.call(arguments):e,c===i?g.notifyWith(b,c):--f||g.resolveWith(b,c)}},i,j,k;if(e>1)for(i=new Array(e),j=new Array(e),k=new Array(e);e>b;b++)c[b]&&m.isFunction(c[b].promise)?c[b].promise().done(h(b,k,c)).fail(g.reject).progress(h(b,j,i)):--f;return f||g.resolveWith(k,c),g.promise()}});var H;m.fn.ready=function(a){return m.ready.promise().done(a),this},m.extend({isReady:!1,readyWait:1,holdReady:function(a){a?m.readyWait++:m.ready(!0)},ready:function(a){if(a===!0?!--m.readyWait:!m.isReady){if(!y.body)return setTimeout(m.ready);m.isReady=!0,a!==!0&&--m.readyWait>0||(H.resolveWith(y,[m]),m.fn.triggerHandler&&(m(y).triggerHandler("ready"),m(y).off("ready")))}}});function I(){y.addEventListener?(y.removeEventListener("DOMContentLoaded",J,!1),a.removeEventListener("load",J,!1)):(y.detachEvent("onreadystatechange",J),a.detachEvent("onload",J))}function J(){(y.addEventListener||"load"===event.type||"complete"===y.readyState)&&(I(),m.ready())}m.ready.promise=function(b){if(!H)if(H=m.Deferred(),"complete"===y.readyState)setTimeout(m.ready);else if(y.addEventListener)y.addEventListener("DOMContentLoaded",J,!1),a.addEventListener("load",J,!1);else{y.attachEvent("onreadystatechange",J),a.attachEvent("onload",J);var c=!1;try{c=null==a.frameElement&&y.documentElement}catch(d){}c&&c.doScroll&&!function e(){if(!m.isReady){try{c.doScroll("left")}catch(a){return setTimeout(e,50)}I(),m.ready()}}()}return H.promise(b)};var K="undefined",L;for(L in m(k))break;k.ownLast="0"!==L,k.inlineBlockNeedsLayout=!1,m(function(){var a,b,c,d;c=y.getElementsByTagName("body")[0],c&&c.style&&(b=y.createElement("div"),d=y.createElement("div"),d.style.cssText="position:absolute;border:0;width:0;height:0;top:0;left:-9999px",c.appendChild(d).appendChild(b),typeof b.style.zoom!==K&&(b.style.cssText="display:inline;margin:0;border:0;padding:1px;width:1px;zoom:1",k.inlineBlockNeedsLayout=a=3===b.offsetWidth,a&&(c.style.zoom=1)),c.removeChild(d))}),function(){var a=y.createElement("div");if(null==k.deleteExpando){k.deleteExpando=!0;try{delete a.test}catch(b){k.deleteExpando=!1}}a=null}(),m.acceptData=function(a){var b=m.noData[(a.nodeName+" ").toLowerCase()],c=+a.nodeType||1;return 1!==c&&9!==c?!1:!b||b!==!0&&a.getAttribute("classid")===b};var M=/^(?:\{[\w\W]*\}|\[[\w\W]*\])$/,N=/([A-Z])/g;function O(a,b,c){if(void 0===c&&1===a.nodeType){var d="data-"+b.replace(N,"-$1").toLowerCase();if(c=a.getAttribute(d),"string"==typeof c){try{c="true"===c?!0:"false"===c?!1:"null"===c?null:+c+""===c?+c:M.test(c)?m.parseJSON(c):c}catch(e){}m.data(a,b,c)}else c=void 0}return c}function P(a){var b;for(b in a)if(("data"!==b||!m.isEmptyObject(a[b]))&&"toJSON"!==b)return!1;return!0}function Q(a,b,d,e){if(m.acceptData(a)){var f,g,h=m.expando,i=a.nodeType,j=i?m.cache:a,k=i?a[h]:a[h]&&h; 3 | if(k&&j[k]&&(e||j[k].data)||void 0!==d||"string"!=typeof b)return k||(k=i?a[h]=c.pop()||m.guid++:h),j[k]||(j[k]=i?{}:{toJSON:m.noop}),("object"==typeof b||"function"==typeof b)&&(e?j[k]=m.extend(j[k],b):j[k].data=m.extend(j[k].data,b)),g=j[k],e||(g.data||(g.data={}),g=g.data),void 0!==d&&(g[m.camelCase(b)]=d),"string"==typeof b?(f=g[b],null==f&&(f=g[m.camelCase(b)])):f=g,f}}function R(a,b,c){if(m.acceptData(a)){var d,e,f=a.nodeType,g=f?m.cache:a,h=f?a[m.expando]:m.expando;if(g[h]){if(b&&(d=c?g[h]:g[h].data)){m.isArray(b)?b=b.concat(m.map(b,m.camelCase)):b in d?b=[b]:(b=m.camelCase(b),b=b in d?[b]:b.split(" ")),e=b.length;while(e--)delete d[b[e]];if(c?!P(d):!m.isEmptyObject(d))return}(c||(delete g[h].data,P(g[h])))&&(f?m.cleanData([a],!0):k.deleteExpando||g!=g.window?delete g[h]:g[h]=null)}}}m.extend({cache:{},noData:{"applet ":!0,"embed ":!0,"object ":"clsid:D27CDB6E-AE6D-11cf-96B8-444553540000"},hasData:function(a){return a=a.nodeType?m.cache[a[m.expando]]:a[m.expando],!!a&&!P(a)},data:function(a,b,c){return Q(a,b,c)},removeData:function(a,b){return R(a,b)},_data:function(a,b,c){return Q(a,b,c,!0)},_removeData:function(a,b){return R(a,b,!0)}}),m.fn.extend({data:function(a,b){var c,d,e,f=this[0],g=f&&f.attributes;if(void 0===a){if(this.length&&(e=m.data(f),1===f.nodeType&&!m._data(f,"parsedAttrs"))){c=g.length;while(c--)g[c]&&(d=g[c].name,0===d.indexOf("data-")&&(d=m.camelCase(d.slice(5)),O(f,d,e[d])));m._data(f,"parsedAttrs",!0)}return e}return"object"==typeof a?this.each(function(){m.data(this,a)}):arguments.length>1?this.each(function(){m.data(this,a,b)}):f?O(f,a,m.data(f,a)):void 0},removeData:function(a){return this.each(function(){m.removeData(this,a)})}}),m.extend({queue:function(a,b,c){var d;return a?(b=(b||"fx")+"queue",d=m._data(a,b),c&&(!d||m.isArray(c)?d=m._data(a,b,m.makeArray(c)):d.push(c)),d||[]):void 0},dequeue:function(a,b){b=b||"fx";var c=m.queue(a,b),d=c.length,e=c.shift(),f=m._queueHooks(a,b),g=function(){m.dequeue(a,b)};"inprogress"===e&&(e=c.shift(),d--),e&&("fx"===b&&c.unshift("inprogress"),delete f.stop,e.call(a,g,f)),!d&&f&&f.empty.fire()},_queueHooks:function(a,b){var c=b+"queueHooks";return m._data(a,c)||m._data(a,c,{empty:m.Callbacks("once memory").add(function(){m._removeData(a,b+"queue"),m._removeData(a,c)})})}}),m.fn.extend({queue:function(a,b){var c=2;return"string"!=typeof a&&(b=a,a="fx",c--),arguments.lengthh;h++)b(a[h],c,g?d:d.call(a[h],h,b(a[h],c)));return e?a:j?b.call(a):i?b(a[0],c):f},W=/^(?:checkbox|radio)$/i;!function(){var a=y.createElement("input"),b=y.createElement("div"),c=y.createDocumentFragment();if(b.innerHTML="
a",k.leadingWhitespace=3===b.firstChild.nodeType,k.tbody=!b.getElementsByTagName("tbody").length,k.htmlSerialize=!!b.getElementsByTagName("link").length,k.html5Clone="<:nav>"!==y.createElement("nav").cloneNode(!0).outerHTML,a.type="checkbox",a.checked=!0,c.appendChild(a),k.appendChecked=a.checked,b.innerHTML="",k.noCloneChecked=!!b.cloneNode(!0).lastChild.defaultValue,c.appendChild(b),b.innerHTML="",k.checkClone=b.cloneNode(!0).cloneNode(!0).lastChild.checked,k.noCloneEvent=!0,b.attachEvent&&(b.attachEvent("onclick",function(){k.noCloneEvent=!1}),b.cloneNode(!0).click()),null==k.deleteExpando){k.deleteExpando=!0;try{delete b.test}catch(d){k.deleteExpando=!1}}}(),function(){var b,c,d=y.createElement("div");for(b in{submit:!0,change:!0,focusin:!0})c="on"+b,(k[b+"Bubbles"]=c in a)||(d.setAttribute(c,"t"),k[b+"Bubbles"]=d.attributes[c].expando===!1);d=null}();var X=/^(?:input|select|textarea)$/i,Y=/^key/,Z=/^(?:mouse|pointer|contextmenu)|click/,$=/^(?:focusinfocus|focusoutblur)$/,_=/^([^.]*)(?:\.(.+)|)$/;function ab(){return!0}function bb(){return!1}function cb(){try{return y.activeElement}catch(a){}}m.event={global:{},add:function(a,b,c,d,e){var f,g,h,i,j,k,l,n,o,p,q,r=m._data(a);if(r){c.handler&&(i=c,c=i.handler,e=i.selector),c.guid||(c.guid=m.guid++),(g=r.events)||(g=r.events={}),(k=r.handle)||(k=r.handle=function(a){return typeof m===K||a&&m.event.triggered===a.type?void 0:m.event.dispatch.apply(k.elem,arguments)},k.elem=a),b=(b||"").match(E)||[""],h=b.length;while(h--)f=_.exec(b[h])||[],o=q=f[1],p=(f[2]||"").split(".").sort(),o&&(j=m.event.special[o]||{},o=(e?j.delegateType:j.bindType)||o,j=m.event.special[o]||{},l=m.extend({type:o,origType:q,data:d,handler:c,guid:c.guid,selector:e,needsContext:e&&m.expr.match.needsContext.test(e),namespace:p.join(".")},i),(n=g[o])||(n=g[o]=[],n.delegateCount=0,j.setup&&j.setup.call(a,d,p,k)!==!1||(a.addEventListener?a.addEventListener(o,k,!1):a.attachEvent&&a.attachEvent("on"+o,k))),j.add&&(j.add.call(a,l),l.handler.guid||(l.handler.guid=c.guid)),e?n.splice(n.delegateCount++,0,l):n.push(l),m.event.global[o]=!0);a=null}},remove:function(a,b,c,d,e){var f,g,h,i,j,k,l,n,o,p,q,r=m.hasData(a)&&m._data(a);if(r&&(k=r.events)){b=(b||"").match(E)||[""],j=b.length;while(j--)if(h=_.exec(b[j])||[],o=q=h[1],p=(h[2]||"").split(".").sort(),o){l=m.event.special[o]||{},o=(d?l.delegateType:l.bindType)||o,n=k[o]||[],h=h[2]&&new RegExp("(^|\\.)"+p.join("\\.(?:.*\\.|)")+"(\\.|$)"),i=f=n.length;while(f--)g=n[f],!e&&q!==g.origType||c&&c.guid!==g.guid||h&&!h.test(g.namespace)||d&&d!==g.selector&&("**"!==d||!g.selector)||(n.splice(f,1),g.selector&&n.delegateCount--,l.remove&&l.remove.call(a,g));i&&!n.length&&(l.teardown&&l.teardown.call(a,p,r.handle)!==!1||m.removeEvent(a,o,r.handle),delete k[o])}else for(o in k)m.event.remove(a,o+b[j],c,d,!0);m.isEmptyObject(k)&&(delete r.handle,m._removeData(a,"events"))}},trigger:function(b,c,d,e){var f,g,h,i,k,l,n,o=[d||y],p=j.call(b,"type")?b.type:b,q=j.call(b,"namespace")?b.namespace.split("."):[];if(h=l=d=d||y,3!==d.nodeType&&8!==d.nodeType&&!$.test(p+m.event.triggered)&&(p.indexOf(".")>=0&&(q=p.split("."),p=q.shift(),q.sort()),g=p.indexOf(":")<0&&"on"+p,b=b[m.expando]?b:new m.Event(p,"object"==typeof b&&b),b.isTrigger=e?2:3,b.namespace=q.join("."),b.namespace_re=b.namespace?new RegExp("(^|\\.)"+q.join("\\.(?:.*\\.|)")+"(\\.|$)"):null,b.result=void 0,b.target||(b.target=d),c=null==c?[b]:m.makeArray(c,[b]),k=m.event.special[p]||{},e||!k.trigger||k.trigger.apply(d,c)!==!1)){if(!e&&!k.noBubble&&!m.isWindow(d)){for(i=k.delegateType||p,$.test(i+p)||(h=h.parentNode);h;h=h.parentNode)o.push(h),l=h;l===(d.ownerDocument||y)&&o.push(l.defaultView||l.parentWindow||a)}n=0;while((h=o[n++])&&!b.isPropagationStopped())b.type=n>1?i:k.bindType||p,f=(m._data(h,"events")||{})[b.type]&&m._data(h,"handle"),f&&f.apply(h,c),f=g&&h[g],f&&f.apply&&m.acceptData(h)&&(b.result=f.apply(h,c),b.result===!1&&b.preventDefault());if(b.type=p,!e&&!b.isDefaultPrevented()&&(!k._default||k._default.apply(o.pop(),c)===!1)&&m.acceptData(d)&&g&&d[p]&&!m.isWindow(d)){l=d[g],l&&(d[g]=null),m.event.triggered=p;try{d[p]()}catch(r){}m.event.triggered=void 0,l&&(d[g]=l)}return b.result}},dispatch:function(a){a=m.event.fix(a);var b,c,e,f,g,h=[],i=d.call(arguments),j=(m._data(this,"events")||{})[a.type]||[],k=m.event.special[a.type]||{};if(i[0]=a,a.delegateTarget=this,!k.preDispatch||k.preDispatch.call(this,a)!==!1){h=m.event.handlers.call(this,a,j),b=0;while((f=h[b++])&&!a.isPropagationStopped()){a.currentTarget=f.elem,g=0;while((e=f.handlers[g++])&&!a.isImmediatePropagationStopped())(!a.namespace_re||a.namespace_re.test(e.namespace))&&(a.handleObj=e,a.data=e.data,c=((m.event.special[e.origType]||{}).handle||e.handler).apply(f.elem,i),void 0!==c&&(a.result=c)===!1&&(a.preventDefault(),a.stopPropagation()))}return k.postDispatch&&k.postDispatch.call(this,a),a.result}},handlers:function(a,b){var c,d,e,f,g=[],h=b.delegateCount,i=a.target;if(h&&i.nodeType&&(!a.button||"click"!==a.type))for(;i!=this;i=i.parentNode||this)if(1===i.nodeType&&(i.disabled!==!0||"click"!==a.type)){for(e=[],f=0;h>f;f++)d=b[f],c=d.selector+" ",void 0===e[c]&&(e[c]=d.needsContext?m(c,this).index(i)>=0:m.find(c,this,null,[i]).length),e[c]&&e.push(d);e.length&&g.push({elem:i,handlers:e})}return h]","i"),hb=/^\s+/,ib=/<(?!area|br|col|embed|hr|img|input|link|meta|param)(([\w:]+)[^>]*)\/>/gi,jb=/<([\w:]+)/,kb=/\s*$/g,rb={option:[1,""],legend:[1,"
","
"],area:[1,"",""],param:[1,"",""],thead:[1,"","
"],tr:[2,"","
"],col:[2,"","
"],td:[3,"","
"],_default:k.htmlSerialize?[0,"",""]:[1,"X
","
"]},sb=db(y),tb=sb.appendChild(y.createElement("div"));rb.optgroup=rb.option,rb.tbody=rb.tfoot=rb.colgroup=rb.caption=rb.thead,rb.th=rb.td;function ub(a,b){var c,d,e=0,f=typeof a.getElementsByTagName!==K?a.getElementsByTagName(b||"*"):typeof a.querySelectorAll!==K?a.querySelectorAll(b||"*"):void 0;if(!f)for(f=[],c=a.childNodes||a;null!=(d=c[e]);e++)!b||m.nodeName(d,b)?f.push(d):m.merge(f,ub(d,b));return void 0===b||b&&m.nodeName(a,b)?m.merge([a],f):f}function vb(a){W.test(a.type)&&(a.defaultChecked=a.checked)}function wb(a,b){return m.nodeName(a,"table")&&m.nodeName(11!==b.nodeType?b:b.firstChild,"tr")?a.getElementsByTagName("tbody")[0]||a.appendChild(a.ownerDocument.createElement("tbody")):a}function xb(a){return a.type=(null!==m.find.attr(a,"type"))+"/"+a.type,a}function yb(a){var b=pb.exec(a.type);return b?a.type=b[1]:a.removeAttribute("type"),a}function zb(a,b){for(var c,d=0;null!=(c=a[d]);d++)m._data(c,"globalEval",!b||m._data(b[d],"globalEval"))}function Ab(a,b){if(1===b.nodeType&&m.hasData(a)){var c,d,e,f=m._data(a),g=m._data(b,f),h=f.events;if(h){delete g.handle,g.events={};for(c in h)for(d=0,e=h[c].length;e>d;d++)m.event.add(b,c,h[c][d])}g.data&&(g.data=m.extend({},g.data))}}function Bb(a,b){var c,d,e;if(1===b.nodeType){if(c=b.nodeName.toLowerCase(),!k.noCloneEvent&&b[m.expando]){e=m._data(b);for(d in e.events)m.removeEvent(b,d,e.handle);b.removeAttribute(m.expando)}"script"===c&&b.text!==a.text?(xb(b).text=a.text,yb(b)):"object"===c?(b.parentNode&&(b.outerHTML=a.outerHTML),k.html5Clone&&a.innerHTML&&!m.trim(b.innerHTML)&&(b.innerHTML=a.innerHTML)):"input"===c&&W.test(a.type)?(b.defaultChecked=b.checked=a.checked,b.value!==a.value&&(b.value=a.value)):"option"===c?b.defaultSelected=b.selected=a.defaultSelected:("input"===c||"textarea"===c)&&(b.defaultValue=a.defaultValue)}}m.extend({clone:function(a,b,c){var d,e,f,g,h,i=m.contains(a.ownerDocument,a);if(k.html5Clone||m.isXMLDoc(a)||!gb.test("<"+a.nodeName+">")?f=a.cloneNode(!0):(tb.innerHTML=a.outerHTML,tb.removeChild(f=tb.firstChild)),!(k.noCloneEvent&&k.noCloneChecked||1!==a.nodeType&&11!==a.nodeType||m.isXMLDoc(a)))for(d=ub(f),h=ub(a),g=0;null!=(e=h[g]);++g)d[g]&&Bb(e,d[g]);if(b)if(c)for(h=h||ub(a),d=d||ub(f),g=0;null!=(e=h[g]);g++)Ab(e,d[g]);else Ab(a,f);return d=ub(f,"script"),d.length>0&&zb(d,!i&&ub(a,"script")),d=h=e=null,f},buildFragment:function(a,b,c,d){for(var e,f,g,h,i,j,l,n=a.length,o=db(b),p=[],q=0;n>q;q++)if(f=a[q],f||0===f)if("object"===m.type(f))m.merge(p,f.nodeType?[f]:f);else if(lb.test(f)){h=h||o.appendChild(b.createElement("div")),i=(jb.exec(f)||["",""])[1].toLowerCase(),l=rb[i]||rb._default,h.innerHTML=l[1]+f.replace(ib,"<$1>")+l[2],e=l[0];while(e--)h=h.lastChild;if(!k.leadingWhitespace&&hb.test(f)&&p.push(b.createTextNode(hb.exec(f)[0])),!k.tbody){f="table"!==i||kb.test(f)?""!==l[1]||kb.test(f)?0:h:h.firstChild,e=f&&f.childNodes.length;while(e--)m.nodeName(j=f.childNodes[e],"tbody")&&!j.childNodes.length&&f.removeChild(j)}m.merge(p,h.childNodes),h.textContent="";while(h.firstChild)h.removeChild(h.firstChild);h=o.lastChild}else p.push(b.createTextNode(f));h&&o.removeChild(h),k.appendChecked||m.grep(ub(p,"input"),vb),q=0;while(f=p[q++])if((!d||-1===m.inArray(f,d))&&(g=m.contains(f.ownerDocument,f),h=ub(o.appendChild(f),"script"),g&&zb(h),c)){e=0;while(f=h[e++])ob.test(f.type||"")&&c.push(f)}return h=null,o},cleanData:function(a,b){for(var d,e,f,g,h=0,i=m.expando,j=m.cache,l=k.deleteExpando,n=m.event.special;null!=(d=a[h]);h++)if((b||m.acceptData(d))&&(f=d[i],g=f&&j[f])){if(g.events)for(e in g.events)n[e]?m.event.remove(d,e):m.removeEvent(d,e,g.handle);j[f]&&(delete j[f],l?delete d[i]:typeof d.removeAttribute!==K?d.removeAttribute(i):d[i]=null,c.push(f))}}}),m.fn.extend({text:function(a){return V(this,function(a){return void 0===a?m.text(this):this.empty().append((this[0]&&this[0].ownerDocument||y).createTextNode(a))},null,a,arguments.length)},append:function(){return this.domManip(arguments,function(a){if(1===this.nodeType||11===this.nodeType||9===this.nodeType){var b=wb(this,a);b.appendChild(a)}})},prepend:function(){return this.domManip(arguments,function(a){if(1===this.nodeType||11===this.nodeType||9===this.nodeType){var b=wb(this,a);b.insertBefore(a,b.firstChild)}})},before:function(){return this.domManip(arguments,function(a){this.parentNode&&this.parentNode.insertBefore(a,this)})},after:function(){return this.domManip(arguments,function(a){this.parentNode&&this.parentNode.insertBefore(a,this.nextSibling)})},remove:function(a,b){for(var c,d=a?m.filter(a,this):this,e=0;null!=(c=d[e]);e++)b||1!==c.nodeType||m.cleanData(ub(c)),c.parentNode&&(b&&m.contains(c.ownerDocument,c)&&zb(ub(c,"script")),c.parentNode.removeChild(c));return this},empty:function(){for(var a,b=0;null!=(a=this[b]);b++){1===a.nodeType&&m.cleanData(ub(a,!1));while(a.firstChild)a.removeChild(a.firstChild);a.options&&m.nodeName(a,"select")&&(a.options.length=0)}return this},clone:function(a,b){return a=null==a?!1:a,b=null==b?a:b,this.map(function(){return m.clone(this,a,b)})},html:function(a){return V(this,function(a){var b=this[0]||{},c=0,d=this.length;if(void 0===a)return 1===b.nodeType?b.innerHTML.replace(fb,""):void 0;if(!("string"!=typeof a||mb.test(a)||!k.htmlSerialize&&gb.test(a)||!k.leadingWhitespace&&hb.test(a)||rb[(jb.exec(a)||["",""])[1].toLowerCase()])){a=a.replace(ib,"<$1>");try{for(;d>c;c++)b=this[c]||{},1===b.nodeType&&(m.cleanData(ub(b,!1)),b.innerHTML=a);b=0}catch(e){}}b&&this.empty().append(a)},null,a,arguments.length)},replaceWith:function(){var a=arguments[0];return this.domManip(arguments,function(b){a=this.parentNode,m.cleanData(ub(this)),a&&a.replaceChild(b,this)}),a&&(a.length||a.nodeType)?this:this.remove()},detach:function(a){return this.remove(a,!0)},domManip:function(a,b){a=e.apply([],a);var c,d,f,g,h,i,j=0,l=this.length,n=this,o=l-1,p=a[0],q=m.isFunction(p);if(q||l>1&&"string"==typeof p&&!k.checkClone&&nb.test(p))return this.each(function(c){var d=n.eq(c);q&&(a[0]=p.call(this,c,d.html())),d.domManip(a,b)});if(l&&(i=m.buildFragment(a,this[0].ownerDocument,!1,this),c=i.firstChild,1===i.childNodes.length&&(i=c),c)){for(g=m.map(ub(i,"script"),xb),f=g.length;l>j;j++)d=i,j!==o&&(d=m.clone(d,!0,!0),f&&m.merge(g,ub(d,"script"))),b.call(this[j],d,j);if(f)for(h=g[g.length-1].ownerDocument,m.map(g,yb),j=0;f>j;j++)d=g[j],ob.test(d.type||"")&&!m._data(d,"globalEval")&&m.contains(h,d)&&(d.src?m._evalUrl&&m._evalUrl(d.src):m.globalEval((d.text||d.textContent||d.innerHTML||"").replace(qb,"")));i=c=null}return this}}),m.each({appendTo:"append",prependTo:"prepend",insertBefore:"before",insertAfter:"after",replaceAll:"replaceWith"},function(a,b){m.fn[a]=function(a){for(var c,d=0,e=[],g=m(a),h=g.length-1;h>=d;d++)c=d===h?this:this.clone(!0),m(g[d])[b](c),f.apply(e,c.get());return this.pushStack(e)}});var Cb,Db={};function Eb(b,c){var d,e=m(c.createElement(b)).appendTo(c.body),f=a.getDefaultComputedStyle&&(d=a.getDefaultComputedStyle(e[0]))?d.display:m.css(e[0],"display");return e.detach(),f}function Fb(a){var b=y,c=Db[a];return c||(c=Eb(a,b),"none"!==c&&c||(Cb=(Cb||m("