reform 0.1.2 → 0.2.0
raw patch · 2 files changed
+10/−9 lines, 2 files
Files
- Text/Reform/Core.hs +8/−7
- reform.cabal +2/−2
Text/Reform/Core.hs view
@@ -11,7 +11,8 @@ import Control.Monad.State (MonadState(get,put), StateT, evalStateT) import Control.Monad.Trans (lift) import Data.Monoid (Monoid(mempty, mappend))-import Text.Reform.Result (FormId(..), FormRange(..), Result(..), unitRange, zeroId)+import Data.Text.Lazy (Text, unpack)+import Text.Reform.Result (FormId(..), FormRange(..), Result(..), unitRange, zeroId) ------------------------------------------------------------------------------ -- * Proved@@ -231,17 +232,17 @@ -- runForm :: (Monad m) => Environment m input- -> String+ -> Text -> Form m input error view proof a -> m (View error view, m (Result error (Proved proof a)))-runForm env prefix form =- evalStateT (runReaderT (unForm form) env) (unitRange (zeroId prefix))+runForm env prefix' form =+ evalStateT (runReaderT (unForm form) env) (unitRange (zeroId $ unpack prefix')) -- | Run a form -- runForm' :: (Monad m) => Environment m input- -> String+ -> Text -> Form m input error view proof a -> m (view , Maybe a) runForm' env prefix form =@@ -255,7 +256,7 @@ -- browser. -- viewForm :: (Monad m) =>- String -- ^ form prefix+ Text -- ^ form prefix -> Form m input error view proof a -- ^ form to view -> m view viewForm prefix form =@@ -272,7 +273,7 @@ -- eitherForm :: (Monad m) => Environment m input -- ^ Input environment- -> String -- ^ Identifier for the form+ -> Text -- ^ Identifier for the form -> Form m input error view proof a -- ^ Form to run -> m (Either view a) -- ^ Result eitherForm env id' form = do
reform.cabal view
@@ -1,5 +1,5 @@ Name: reform-Version: 0.1.2+Version: 0.2.0 Synopsis: reform is an HTML form generation and validation library Description: reform follows in the footsteps of formlets and digestive-functors <= 0.2. It provides a@@ -18,7 +18,7 @@ source-repository head type: darcs subdir: reform- location: http://patch-tag.com/r/stepcut/reform+ location: http://hub.darcs.net/stepcut/reform Library Exposed-modules: Control.Applicative.Indexed