This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE DefaultSignatures #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE UndecidableInstances #-} | |
{-# LANGUAGE OverlappingInstances #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- | You can follow the progress here: https://github.com/Palmik/wai-sockjs/ | |
import Control.Monad.IO.Class | |
import Control.Concurrent.MVar.Lifted | |
import Data.Conduit | |
import Data.Proxy | |
import qualified Data.HashMap.Strict as HM | |
import qualified Data.Text as T | |
import qualified Data.ByteString as B | |
import qualified Network.Wai as W |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE OverloadedStrings #-} | |
------------------------------------------------------------------------------ | |
import Control.Applicative | |
import Control.Monad | |
import Control.Monad.Trans | |
import Control.Monad.Trans.Resource as R | |
import Control.Concurrent.Chan.Lifted | |
import Control.Concurrent.MVar.Lifted | |
------------------------------------------------------------------------------ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<form id="loginForm" method="post" action="${request.route_url('login')}"> | |
<input type="hidden" name="csrf_token" value="${request.session.get_csrf_token()}"/> | |
<fieldset class="concise"> | |
<metal:field tal:define="name 'came_from'" use-macro="snippets['hidden']"/> | |
<metal:field tal:define="name 'login'" use-macro="snippets['text']"/> | |
<metal:field tal:define="name 'password'" use-macro="snippets['password']"/> | |
</fieldset> | |
<div class="buttonBar"> | |
<button type="submit" class="default" i18n:translate="">Login</button> | |
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<form method="POST" action="whatever"> | |
<tal:block | |
define="form view.addrform"> | |
<div class="row" | |
tal:repeat="field form"> | |
<div class="span2"> | |
${structure:field.title} | |
<span class="req" tal:condition="field.required">*</span> | |
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE GADTs #-} | |
module Main | |
where | |
import Control.DeepSeq (NFData(rnf)) | |
import Control.Exception.Base (evaluate) | |
import Control.Monad.Trans (liftIO) |