reform 0.2.7 → 0.2.7.1
raw patch · 1 files changed
+7/−7 lines, 1 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Control.Applicative.Indexed: instance Applicative f => Applicative (WrappedApplicative f index)
- Control.Applicative.Indexed: instance Applicative f => IndexedApplicative (WrappedApplicative f)
- Control.Applicative.Indexed: instance Eq (f a) => Eq (WrappedApplicative f index a)
- Control.Applicative.Indexed: instance Functor f => Functor (WrappedApplicative f index)
- Control.Applicative.Indexed: instance Functor f => IndexedFunctor (WrappedApplicative f)
- Control.Applicative.Indexed: instance Monad f => Monad (WrappedApplicative f index)
- Control.Applicative.Indexed: instance Ord (f a) => Ord (WrappedApplicative f index a)
- Control.Applicative.Indexed: instance Read (f a) => Read (WrappedApplicative f index a)
- Control.Applicative.Indexed: instance Show (f a) => Show (WrappedApplicative f index a)
- Control.Applicative.Indexed: unwrapApplicative :: WrappedApplicative f index a -> f a
- Text.Reform.Backend: instance Eq input => Eq (CommonFormError input)
- Text.Reform.Backend: instance Ord input => Ord (CommonFormError input)
- Text.Reform.Backend: instance Show input => Show (CommonFormError input)
- Text.Reform.Core: instance (Functor m, Monoid view, Monad m) => Applicative (Form m input error view ())
- Text.Reform.Core: instance (Monoid input, Monad m) => Monoid (Environment m input)
- Text.Reform.Core: instance (Monoid view, Monad m) => IndexedApplicative (Form m input error view)
- Text.Reform.Core: instance (Show proofs, Show a) => Show (Proved proofs a)
- Text.Reform.Core: instance Functor (Proved ())
- Text.Reform.Core: instance Functor (View e)
- Text.Reform.Core: instance Functor m => Functor (Form m input error view ())
- Text.Reform.Core: instance Monad m => IndexedFunctor (Form m input view error)
- Text.Reform.Core: instance Monoid v => Monoid (View error v)
- Text.Reform.Core: pos :: Proved proofs a -> FormRange
- Text.Reform.Core: proofs :: Proved proofs a -> proofs
- Text.Reform.Core: unForm :: Form m input error view proof a -> FormState m input (View error view, m (Result error (Proved proof a)))
- Text.Reform.Core: unProved :: Proved proofs a -> a
- Text.Reform.Core: unView :: View error v -> [(FormRange, error)] -> v
- Text.Reform.Proof: proofFunction :: Proof m error proof a b -> a -> m (Either error b)
- Text.Reform.Proof: proofName :: Proof m error proof a b -> proof
- Text.Reform.Result: instance (Eq e, Eq ok) => Eq (Result e ok)
- Text.Reform.Result: instance (Show e, Show ok) => Show (Result e ok)
- Text.Reform.Result: instance Applicative (Result e)
- Text.Reform.Result: instance Eq FormId
- Text.Reform.Result: instance Eq FormRange
- Text.Reform.Result: instance Functor (Result e)
- Text.Reform.Result: instance Monad (Result e)
- Text.Reform.Result: instance Ord FormId
- Text.Reform.Result: instance Show FormId
- Text.Reform.Result: instance Show FormRange
+ Control.Applicative.Indexed: [unwrapApplicative] :: WrappedApplicative f index a -> f a
+ Control.Applicative.Indexed: instance GHC.Base.Applicative f => Control.Applicative.Indexed.IndexedApplicative (Control.Applicative.Indexed.WrappedApplicative f)
+ Control.Applicative.Indexed: instance GHC.Base.Applicative f => GHC.Base.Applicative (Control.Applicative.Indexed.WrappedApplicative f index)
+ Control.Applicative.Indexed: instance GHC.Base.Functor f => Control.Applicative.Indexed.IndexedFunctor (Control.Applicative.Indexed.WrappedApplicative f)
+ Control.Applicative.Indexed: instance GHC.Base.Functor f => GHC.Base.Functor (Control.Applicative.Indexed.WrappedApplicative f index)
+ Control.Applicative.Indexed: instance GHC.Base.Monad f => GHC.Base.Monad (Control.Applicative.Indexed.WrappedApplicative f index)
+ Control.Applicative.Indexed: instance GHC.Classes.Eq (f a) => GHC.Classes.Eq (Control.Applicative.Indexed.WrappedApplicative f index a)
+ Control.Applicative.Indexed: instance GHC.Classes.Ord (f a) => GHC.Classes.Ord (Control.Applicative.Indexed.WrappedApplicative f index a)
+ Control.Applicative.Indexed: instance GHC.Read.Read (f a) => GHC.Read.Read (Control.Applicative.Indexed.WrappedApplicative f index a)
+ Control.Applicative.Indexed: instance GHC.Show.Show (f a) => GHC.Show.Show (Control.Applicative.Indexed.WrappedApplicative f index a)
+ Text.Reform.Backend: instance GHC.Classes.Eq input => GHC.Classes.Eq (Text.Reform.Backend.CommonFormError input)
+ Text.Reform.Backend: instance GHC.Classes.Ord input => GHC.Classes.Ord (Text.Reform.Backend.CommonFormError input)
+ Text.Reform.Backend: instance GHC.Show.Show input => GHC.Show.Show (Text.Reform.Backend.CommonFormError input)
+ Text.Reform.Core: [pos] :: Proved proofs a -> FormRange
+ Text.Reform.Core: [proofs] :: Proved proofs a -> proofs
+ Text.Reform.Core: [unForm] :: Form m input error view proof a -> FormState m input (View error view, m (Result error (Proved proof a)))
+ Text.Reform.Core: [unProved] :: Proved proofs a -> a
+ Text.Reform.Core: [unView] :: View error v -> [(FormRange, error)] -> v
+ Text.Reform.Core: instance (GHC.Base.Functor m, GHC.Base.Monoid view, GHC.Base.Monad m) => GHC.Base.Applicative (Text.Reform.Core.Form m input error view ())
+ Text.Reform.Core: instance (GHC.Base.Monoid input, GHC.Base.Monad m) => GHC.Base.Monoid (Text.Reform.Core.Environment m input)
+ Text.Reform.Core: instance (GHC.Base.Monoid view, GHC.Base.Monad m) => Control.Applicative.Indexed.IndexedApplicative (Text.Reform.Core.Form m input error view)
+ Text.Reform.Core: instance (GHC.Show.Show proofs, GHC.Show.Show a) => GHC.Show.Show (Text.Reform.Core.Proved proofs a)
+ Text.Reform.Core: instance GHC.Base.Functor (Text.Reform.Core.Proved ())
+ Text.Reform.Core: instance GHC.Base.Functor (Text.Reform.Core.View e)
+ Text.Reform.Core: instance GHC.Base.Functor m => GHC.Base.Functor (Text.Reform.Core.Form m input error view ())
+ Text.Reform.Core: instance GHC.Base.Monad m => Control.Applicative.Indexed.IndexedFunctor (Text.Reform.Core.Form m input view error)
+ Text.Reform.Core: instance GHC.Base.Monoid v => GHC.Base.Monoid (Text.Reform.Core.View error v)
+ Text.Reform.Proof: [proofFunction] :: Proof m error proof a b -> a -> m (Either error b)
+ Text.Reform.Proof: [proofName] :: Proof m error proof a b -> proof
+ Text.Reform.Result: instance (GHC.Classes.Eq e, GHC.Classes.Eq ok) => GHC.Classes.Eq (Text.Reform.Result.Result e ok)
+ Text.Reform.Result: instance (GHC.Show.Show e, GHC.Show.Show ok) => GHC.Show.Show (Text.Reform.Result.Result e ok)
+ Text.Reform.Result: instance GHC.Base.Applicative (Text.Reform.Result.Result e)
+ Text.Reform.Result: instance GHC.Base.Functor (Text.Reform.Result.Result e)
+ Text.Reform.Result: instance GHC.Base.Monad (Text.Reform.Result.Result e)
+ Text.Reform.Result: instance GHC.Classes.Eq Text.Reform.Result.FormId
+ Text.Reform.Result: instance GHC.Classes.Eq Text.Reform.Result.FormRange
+ Text.Reform.Result: instance GHC.Classes.Ord Text.Reform.Result.FormId
+ Text.Reform.Result: instance GHC.Show.Show Text.Reform.Result.FormId
+ Text.Reform.Result: instance GHC.Show.Show Text.Reform.Result.FormRange
- Control.Applicative.Indexed: (<<**>>) :: IndexedApplicative f => f x a -> f (x -> y) (a -> b) -> f y b
+ Control.Applicative.Indexed: (<<**>>) :: (IndexedApplicative f) => f x a -> f (x -> y) (a -> b) -> f y b
- Control.Applicative.Indexed: class IndexedFunctor f => IndexedApplicative f where (*>>) = liftIA2 (const id) (const id) (<<*) = liftIA2 const const
+ Control.Applicative.Indexed: class (IndexedFunctor f) => IndexedApplicative f where (*>>) = liftIA2 (const id) (const id) (<<*) = liftIA2 const const
- Control.Applicative.Indexed: liftIA :: IndexedApplicative f => (a -> b) -> (x -> y) -> f a x -> f b y
+ Control.Applicative.Indexed: liftIA :: (IndexedApplicative f) => (a -> b) -> (x -> y) -> f a x -> f b y
- Control.Applicative.Indexed: liftIA2 :: IndexedApplicative f => (a -> b -> c) -> (x -> y -> z) -> f a x -> f b y -> f c z
+ Control.Applicative.Indexed: liftIA2 :: (IndexedApplicative f) => (a -> b -> c) -> (x -> y -> z) -> f a x -> f b y -> f c z
- Control.Applicative.Indexed: liftIA3 :: IndexedApplicative f => (a -> b -> c -> d) -> (w -> x -> y -> z) -> f a w -> f b x -> f c y -> f d z
+ Control.Applicative.Indexed: liftIA3 :: (IndexedApplicative f) => (a -> b -> c -> d) -> (w -> x -> y -> z) -> f a w -> f b x -> f c y -> f d z
- Text.Reform.Core: eitherForm :: Monad m => Environment m input -> Text -> Form m input error view proof a -> m (Either view a)
+ Text.Reform.Core: eitherForm :: (Monad m) => Environment m input -> Text -> Form m input error view proof a -> m (Either view a)
- Text.Reform.Core: mkOk :: Monad m => FormId -> view -> a -> FormState m input (View error view, m (Result error (Proved () a)))
+ Text.Reform.Core: mkOk :: (Monad m) => FormId -> view -> a -> FormState m input (View error view, m (Result error (Proved () a)))
- Text.Reform.Core: runForm :: Monad m => Environment m input -> Text -> Form m input error view proof a -> m (View error view, m (Result error (Proved proof a)))
+ Text.Reform.Core: runForm :: (Monad m) => Environment m input -> Text -> Form m input error view proof a -> m (View error view, m (Result error (Proved proof a)))
- Text.Reform.Core: runForm' :: Monad m => Environment m input -> Text -> Form m input error view proof a -> m (view, Maybe a)
+ Text.Reform.Core: runForm' :: (Monad m) => Environment m input -> Text -> Form m input error view proof a -> m (view, Maybe a)
- Text.Reform.Core: view :: Monad m => view -> Form m input error view () ()
+ Text.Reform.Core: view :: (Monad m) => view -> Form m input error view () ()
- Text.Reform.Core: viewForm :: Monad m => Text -> Form m input error view proof a -> m view
+ Text.Reform.Core: viewForm :: (Monad m) => Text -> Form m input error view proof a -> m view
- Text.Reform.Generalized: inputNoData :: Monad m => (FormId -> a -> view) -> a -> Form m input error view () ()
+ Text.Reform.Generalized: inputNoData :: (Monad m) => (FormId -> a -> view) -> a -> Form m input error view () ()
- Text.Reform.Proof: notNullProof :: Monad m => error -> Proof m error NotNull [a] [a]
+ Text.Reform.Proof: notNullProof :: (Monad m) => error -> Proof m error NotNull [a] [a]
- Text.Reform.Proof: prove :: Monad m => Form m input error view q a -> Proof m error proof a b -> Form m input error view proof b
+ Text.Reform.Proof: prove :: (Monad m) => Form m input error view q a -> Proof m error proof a b -> Form m input error view proof b
- Text.Reform.Proof: transform :: Monad m => Form m input error view anyProof a -> Proof m error proof a b -> Form m input error view () b
+ Text.Reform.Proof: transform :: (Monad m) => Form m input error view anyProof a -> Proof m error proof a b -> Form m input error view () b
- Text.Reform.Proof: transformEither :: Monad m => Form m input error view anyProof a -> (a -> Either error b) -> Form m input error view () b
+ Text.Reform.Proof: transformEither :: (Monad m) => Form m input error view anyProof a -> (a -> Either error b) -> Form m input error view () b
- Text.Reform.Proof: transformEitherM :: Monad m => Form m input error view anyProof a -> (a -> m (Either error b)) -> Form m input error view () b
+ Text.Reform.Proof: transformEitherM :: (Monad m) => Form m input error view anyProof a -> (a -> m (Either error b)) -> Form m input error view () b
Files
- reform.cabal +7/−7
reform.cabal view
@@ -1,10 +1,10 @@ Name: reform-Version: 0.2.7-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- type-safe and composable method for generating- an HTML form that includes validation.+Version: 0.2.7.1+Synopsis: reform is a type-safe HTML form generation and validation library+Description: reform follows in the footsteps of formlets and+ digestive-functors <= 0.2. It provides a+ type-safe and composable method for generating+ an HTML form that includes validation. License: BSD3 License-file: LICENSE Author: Jeremy Shaw, Jasper Van der Jeugt <m@jaspervdj.be>@@ -14,10 +14,10 @@ Build-type: Simple Homepage: http://www.happstack.com/ Cabal-version: >=1.6+tested-with: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3 source-repository head type: git- subdir: reform location: https://github.com/Happstack/reform.git Library