air 2014.11.17 → 2015.5.4

raw patch · 6 files changed

+19/−75 lines, 6 filesdep −dlistPVP ok

version bump matches the API change (PVP)

Dependencies removed: dlist

API changes (from Hackage documentation)

- Air.Control.Monad.ListBuilder: execListBuilder :: ListBuilder a b -> [a]

- Air.Control.Monad.ListBuilder: list :: ListBuilder a b -> [a]

- Air.Control.Monad.ListBuilder: many :: [a] -> ListBuilder a ()

- Air.Control.Monad.ListBuilder: one :: a -> ListBuilder a ()

- Air.Control.Monad.ListBuilder: runListBuilder :: ListBuilder a b -> (b, [a])

- Air.Control.Monad.ListBuilder: type ListBuilder a b = Writer (DList a) b

- Air.Control.Monad.ObjectBuilder: execObjectBuilder :: s -> ObjectBuilder s -> s

- Air.Control.Monad.ObjectBuilder: object :: Default s => ObjectBuilder s -> s

- Air.Control.Monad.ObjectBuilder: type ObjectBuilder a = State a ()

- Air.Data.Managed: class Managed a where initialize = return Nothing destroy = const (return ()) with_managed_object f = do { maybe_x <- initialize; case maybe_x of { Just x -> f x >> destroy x Nothing -> return () } }

- Air.Data.Managed: destroy :: Managed a => a -> IO ()

- Air.Data.Managed: initialize :: Managed a => IO (Maybe a)

- Air.Data.Managed: with_managed_object :: Managed a => (a -> IO ()) -> IO ()

Files

air.cabal +5/−6
src/Air/Control/Monad/ListBuilder.hs +0/−22
src/Air/Control/Monad/ObjectBuilder.hs +0/−14
src/Air/Data/Managed.hs +0/−18
src/Air/Data/Monoid.hs +8/−9
src/Air/Env.hs +6/−6

air.cabal view

@@ -1,12 +1,11 @@ Name:                 air-Version:              2014.11.17+Version:              2015.5.4 Build-type:           Simple Synopsis:             air Description:          An alternative Haskell Prelude library. License:              BSD3 Author:               Jinjing Wang Maintainer:           Jinjing Wang <nfjinjing@gmail.com>-Build-Depends:        base Cabal-version:        >= 1.2 category:             Development license-file:         LICENSE@@ -22,7 +21,7 @@                 , bytestring >= 0.9                 , directory                 , filepath-                , dlist+                -- , dlist                 , mtl                 , time                 , text@@ -34,9 +33,9 @@                   , Air.Light                   , Air.Env                   , Air.SimpleMath-                  , Air.Control.Monad.ListBuilder-                  , Air.Control.Monad.ObjectBuilder+                  -- , Air.Control.Monad.ListBuilder+                  -- , Air.Control.Monad.ObjectBuilder                   , Air.Data.Record.SimpleLabel                   , Air.Data.Default                   , Air.Data.Monoid-                  , Air.Data.Managed+                  -- , Air.Data.Managed

− src/Air/Control/Monad/ListBuilder.hs

@@ -1,22 +0,0 @@-module Air.Control.Monad.ListBuilder where---import Control.Monad.Writer-import Data.DList (DList, toList, singleton, fromList)--type ListBuilder a b = Writer (DList a) b--one :: a -> ListBuilder a ()-one = tell . singleton--many :: [a] -> ListBuilder a ()-many = tell . fromList--execListBuilder :: ListBuilder a b -> [a]-execListBuilder = toList . execWriter--list :: ListBuilder a b -> [a]-list = execListBuilder--runListBuilder :: ListBuilder a b -> (b, [a])-runListBuilder x = let (b, a) = runWriter x in (b, toList a)

− src/Air/Control/Monad/ObjectBuilder.hs

@@ -1,14 +0,0 @@-module Air.Control.Monad.ObjectBuilder where---import Control.Monad.State--import Air.Data.Default--type ObjectBuilder a = State a ()--execObjectBuilder :: s -> ObjectBuilder s -> s-execObjectBuilder s m = execState m s--object :: (Default s) => ObjectBuilder s -> s-object = execObjectBuilder def

− src/Air/Data/Managed.hs

@@ -1,18 +0,0 @@-module Air.Data.Managed where--import Air.Data.Default--class Managed a where-  initialize :: IO (Maybe a)-  initialize = return Nothing-  -  destroy :: a -> IO ()-  destroy = const (return ())-  -  with_managed_object :: (a -> IO ()) -> IO ()-  with_managed_object f = do-    maybe_x <- initialize-    case maybe_x of-      Just x -> f x >> destroy x-      Nothing -> return ()-

src/Air/Data/Monoid.hs view

@@ -1,6 +1,6 @@ module Air.Data.Monoid where -import Prelude hiding ((+))+import Prelude hiding ((+), Monoid, mempty, mappend) import qualified Prelude as Prelude  @@ -65,28 +65,28 @@ instance Monoid Int16 where   mempty = 0   mappend = (Prelude.+)-  + instance Monoid Int32 where   mempty = 0   mappend = (Prelude.+)-  + instance Monoid Int64 where   mempty = 0   mappend = (Prelude.+)-  -  ++ instance Monoid Word8 where   mempty = 0   mappend = (Prelude.+)-  + instance Monoid Word16 where   mempty = 0   mappend = (Prelude.+)-  + instance Monoid Word32 where   mempty = 0   mappend = (Prelude.+)-  + instance Monoid Word64 where   mempty = 0   mappend = (Prelude.+)@@ -163,4 +163,3 @@ instance Monoid (Sequence.Seq a) where   mempty = Sequence.empty   mappend = (Sequence.><)-

src/Air/Env.hs view

@@ -3,16 +3,16 @@     module Air.Light   , module Prelude   , module Air.Data.Monoid-  , module Air.Control.Monad.ListBuilder-  , module Air.Control.Monad.ObjectBuilder+  -- , module Air.Control.Monad.ListBuilder+  -- , module Air.Control.Monad.ObjectBuilder   , module Air.Data.Default-  + ) where  import Air.Light import Prelude hiding ((.), (>), (<), (^), (/), (-), (+), length, drop, take, splitAt, replicate, (!!)) import Air.Data.Monoid ((+)) import Air.Data.Default (Default, def)-import Air.Data.Managed (Managed, initialize, destroy, with_managed_object)-import Air.Control.Monad.ListBuilder-import Air.Control.Monad.ObjectBuilder+-- import Air.Data.Managed (Managed, initialize, destroy, with_managed_object)+-- import Air.Control.Monad.ListBuilder+-- import Air.Control.Monad.ObjectBuilder