happstack-foundation 0.5.9.1 → 0.5.9.3
raw patch · 4 files changed
+13/−11 lines, 4 filesdep ~acid-statedep ~happstack-serverdep ~safecopyPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: acid-state, happstack-server, safecopy, text
API changes (from Hackage documentation)
+ Happstack.Foundation: (:=) :: n -> a -> Attr n a
+ Happstack.Foundation: XMLGenT :: m a -> XMLGenT (m :: Type -> Type) a
+ Happstack.Foundation: asAttr :: EmbedAsAttr m a => a -> GenAttributeList m
+ Happstack.Foundation: asChild :: EmbedAsChild m c => c -> GenChildList m
+ Happstack.Foundation: class XMLGen m => EmbedAsAttr (m :: Type -> Type) a
+ Happstack.Foundation: class XMLGen m => EmbedAsChild (m :: Type -> Type) c
+ Happstack.Foundation: class IsAcidic st
+ Happstack.Foundation: class Method ev => QueryEvent ev
+ Happstack.Foundation: class Method ev => UpdateEvent ev
+ Happstack.Foundation: class Monad m => XMLGen (m :: Type -> Type) where {
+ Happstack.Foundation: class (XMLGen m, SetAttr m XMLType m, AppendChild m XMLType m, EmbedAsChild m XMLType m, EmbedAsChild m [XMLType m], EmbedAsChild m Text, EmbedAsChild m Char, EmbedAsChild m (), EmbedAsAttr m Attr Text Text, EmbedAsAttr m Attr Text Int, EmbedAsAttr m Attr Text Bool) => XMLGenerator (m :: Type -> Type)
+ Happstack.Foundation: data AcidState st
+ Happstack.Foundation: data Attr n a
+ Happstack.Foundation: data Query st a
+ Happstack.Foundation: data Update st a
+ Happstack.Foundation: data XML
+ Happstack.Foundation: data family AttributeType (m :: Type -> Type);
+ Happstack.Foundation: fromStringLit :: String -> Text
+ Happstack.Foundation: genEElement :: XMLGen m => Name (StringType m) -> [XMLGenT m [AttributeType m]] -> XMLGenT m (XMLType m)
+ Happstack.Foundation: genElement :: XMLGen m => Name (StringType m) -> [XMLGenT m [AttributeType m]] -> [XMLGenT m [ChildType m]] -> XMLGenT m (XMLType m)
+ Happstack.Foundation: liftQuery :: Query st a -> Update st a
+ Happstack.Foundation: makeAcidic :: Name -> [Name] -> Q [Dec]
+ Happstack.Foundation: newtype XMLGenT (m :: Type -> Type) a
+ Happstack.Foundation: openLocalState :: (Typeable st, IsAcidic st, SafeCopy st) => st -> IO (AcidState st)
+ Happstack.Foundation: openLocalStateFrom :: (IsAcidic st, SafeCopy st) => FilePath -> st -> IO (AcidState st)
+ Happstack.Foundation: pcdataToChild :: XMLGen m => StringType m -> ChildType m
+ Happstack.Foundation: type EventResult ev = MethodResult ev
+ Happstack.Foundation: type EventState ev = MethodState ev
+ Happstack.Foundation: type family StringType (m :: Type -> Type);
+ Happstack.Foundation: unXMLGenT :: XMLGenT m a -> m a
+ Happstack.Foundation: xmlToChild :: XMLGen m => XMLType m -> ChildType m
+ Happstack.Foundation: }
- Happstack.Foundation: AppCFE :: (CommonFormError [Input]) -> AppError
+ Happstack.Foundation: AppCFE :: CommonFormError [Input] -> AppError
- Happstack.Foundation: [AcidLocal] :: (IsAcidic st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st)
+ Happstack.Foundation: [AcidLocal] :: (IsAcidic st, SafeCopy st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st)
- Happstack.Foundation: class Typeable * a => Data a
+ Happstack.Foundation: class Typeable a => Data a
- Happstack.Foundation: class Typeable k (a :: k)
+ Happstack.Foundation: class Typeable (a :: k)
- Happstack.Foundation: dataCast1 :: (Data a, Typeable (* -> *) t) => (forall d. Data d => c (t d)) -> Maybe (c a)
+ Happstack.Foundation: dataCast1 :: (Data a, Typeable t) => (forall d. Data d => c (t d)) -> Maybe (c a)
- Happstack.Foundation: dataCast2 :: (Data a, Typeable (* -> * -> *) t) => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a)
+ Happstack.Foundation: dataCast2 :: (Data a, Typeable t) => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a)
- Happstack.Foundation: gfoldl :: Data a => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> a -> c a
+ Happstack.Foundation: gfoldl :: Data a => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. () => g -> c g) -> a -> c a
- Happstack.Foundation: gmapQr :: Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r
+ Happstack.Foundation: gmapQr :: forall r r'. Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r
- Happstack.Foundation: gunfold :: Data a => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a
+ Happstack.Foundation: gunfold :: Data a => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. () => r -> c r) -> Constr -> c a
Files
- Happstack/Foundation.hs +2/−2
- examples/ControlV/ControlV.cabal +1/−1
- examples/ControlVAuth/ControlVAuth.cabal +2/−2
- happstack-foundation.cabal +8/−6
Happstack/Foundation.hs view
@@ -148,7 +148,7 @@ -- checkpoints have been upgrade. We should replace this with a -- version that only does the checkpoint if *all* the acid states -- could be openned successfully.-withLocalState :: (MonadBaseControl IO m, MonadIO m, IsAcidic st, Typeable st) =>+withLocalState :: (MonadBaseControl IO m, MonadIO m, SafeCopy st, IsAcidic st, Typeable st) => Maybe FilePath -- ^ path to state directory -> st -- ^ initial state value -> (AcidState st -> m a) -- ^ function which uses the `AcidState` handle@@ -225,7 +225,7 @@ -- | configuration information for our acid-state database data AcidConfig st where- AcidLocal :: (IsAcidic st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st)+ AcidLocal :: (IsAcidic st, SafeCopy st, Typeable st) => Maybe FilePath -> st -> AcidConfig (AcidState st) AcidUsing :: st -> AcidConfig st withAcidConfig :: (MonadIO m, MonadBaseControl IO m) => AcidConfig st -> (st -> m a) -> m a
examples/ControlV/ControlV.cabal view
@@ -19,6 +19,6 @@ base < 5, filepath, happstack-foundation >= 0.5 && < 0.6,- ixset == 1.0.*,+ ixset >= 1.0 && < 1.2, time >= 1.4 && < 1.7, text >= 0.11 && < 1.3
examples/ControlVAuth/ControlVAuth.cabal view
@@ -21,8 +21,8 @@ , happstack-foundation >= 0.5 && < 0.6 , hsx2hs , jmacro >= 0.6.9 && < 0.7- , ixset == 1.0.*- , time >= 1.4 && < 1.7+ , ixset >= 1.0 && < 1.2+ , time >= 1.4 && < 1.9 , text >= 0.11 && < 1.3 , happstack-authenticate >= 2.3 && < 2.4 , happstack-jmacro >= 7.0 && < 7.1
happstack-foundation.cabal view
@@ -1,5 +1,5 @@ Name: happstack-foundation-Version: 0.5.9.1+Version: 0.5.9.3 Synopsis: Glue code for using Happstack with acid-state, web-routes, reform, and HSP Description: happstack-foundation is a library which builds on top of existing components to provide a powerful and type-safe environment for web development. It uses:@@ -20,7 +20,7 @@ Maintainer: jeremy@n-heptane.com Category: Happstack Build-type: Simple-Cabal-version: >=1.6+Cabal-version: >=1.10 Data-Files: examples/ControlV/ControlV.cabal examples/ControlV/LICENSE@@ -32,18 +32,20 @@ examples/ControlVAuth/ControlVAuth.cabal examples/ControlVAuth/Setup.hs examples/ControlVAuth/Main.hs+tested-with: GHC==8.0.2, GHC==8.2.2, GHC==8.4.4, GHC==8.6.5, GHC==8.8.4, GHC==8.10.7, GHC==9.0.2, GHC==9.2.2 source-repository head type: git location: https://github.com/Happstack/happstack-foundation.git Library+ Default-language: Haskell2010 Exposed-modules: Happstack.Foundation Build-Depends: base < 5,- acid-state >= 0.7 && < 0.15,+ acid-state >= 0.7 && < 0.17, happstack-hsp == 7.3.*,- happstack-server >= 7.0 && < 7.6,+ happstack-server >= 7.0 && < 7.8, hsp >= 0.9 && < 0.11, lifted-base >= 0.1 && < 0.3, monad-control >= 0.3 && < 1.1,@@ -51,8 +53,8 @@ reform == 0.2.*, reform-happstack == 0.2.*, reform-hsp == 0.2.*,- safecopy >= 0.7 && < 0.10,- text >= 0.11 && < 1.3,+ safecopy >= 0.7 && < 0.11,+ text >= 0.11 && < 2.1, web-routes == 0.27.*, web-routes-happstack == 0.23.*, web-routes-hsp == 0.24.*,