disposable (empty) → 0.1.0.0

raw patch · 5 files changed

+134/−0 lines, 5 filesdep +basedep +dlistdep +ghcjs-basesetup-changed

Dependencies added: base, dlist, ghcjs-base

Files

• LICENSE +30/−0
• README.md +5/−0
• Setup.hs +2/−0
• disposable.cabal +29/−0
• src/Control/Disposable.hs +68/−0

@@ -0,0 +1,30 @@+Copyright Author name here (c) 2017++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Author name here nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

@@ -0,0 +1,5 @@+[![Hackage](https://img.shields.io/hackage/v/disposable.svg)](https://hackage.haskell.org/package/disposable)+[![Build Status](https://secure.travis-ci.org/louispan/disposable.png?branch=master)](http://travis-ci.org/louispan/disposable)++SomeDisposable aloows storing different resource releasing actions togther in a container.+This library is useful for queueing up GHCJS.Foreign.Callback together to be released after a new rendering frame.

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,29 @@+name:                disposable+version:             0.1.0.0+synopsis:            Allows storing different resource-releasing actions together.+description:         SomeDisposable aloows storing different resource releasing actions togther in a container.+                     This library is useful for queueing up GHCJS.Foreign.Callback together to be released+                     after a new rendering frame.+homepage:            https://github.com/louispan/disposable#readme+license:             BSD3+license-file:        LICENSE+author:              Louis Pan+maintainer:          louis@pan.me+copyright:           2017 Louis Pan+category:            Control+build-type:          Simple+extra-source-files:  README.md+cabal-version:       >=1.10++library+  hs-source-dirs:      src+  exposed-modules:     Control.Disposable+  build-depends:       base >= 4.7 && < 5+                     , dlist >= 0.8 && < 0.9+  default-language:    Haskell2010+  if impl(ghcjs)+      build-depends: ghcjs-base++source-repository head+  type:     git+  location: https://github.com/githubuser/disposable

@@ -0,0 +1,68 @@+{-# LANGUAGE CPP #-}+{-# LANGUAGE DefaultSignatures #-}+{-# LANGUAGE FlexibleContexts #-}+{-# LANGUAGE FlexibleInstances #-}+{-# LANGUAGE GADTs #-}+{-# LANGUAGE RankNTypes #-}+{-# LANGUAGE TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-}++module Control.Disposable where++import qualified Data.DList as D+import Data.Foldable+import Data.Semigroup+import qualified GHC.Generics as G++#ifdef __GHCJS__+import qualified GHCJS.Foreign.Callback as J+#endif++-- | A 'Disposable' is something with some resources to release+class Disposable a where+    dispose :: a -> IO ()++#ifdef __GHCJS__+instance Disposable (J.Callback a) where+    dispose = J.releaseCallback+#endif++-- | Allows storing 'Disposable's in a heterogenous container+data SomeDisposable where+    Dispose :: forall a. Disposable a => a -> SomeDisposable+    DisposeList :: forall a. Disposable a => [a] -> SomeDisposable++instance Disposable SomeDisposable where+    dispose (Dispose a) = dispose a+    dispose (DisposeList as) = traverse_ dispose as++-- | Allow generic deriving instances of things that can be made into 'SomeDisposable'+-- If a data type derives from Generic, and only contain instances of Disposable,+-- then it can be made an instance of 'Disposing'.+-- data Callbacks { ... } deriving Generic+-- instance Disposing Callbacks+class Disposing a where+  disposing :: a -> SomeDisposable+  default disposing :: (G.Generic a, GDisposing (G.Rep a)) => a -> SomeDisposable+  disposing x = DisposeList . D.toList . gDisposing $ G.from x++-- | Generics instance basically traverses the data tree+-- and expects the values to be all instances of 'Disposable'+class GDisposing f where+    gDisposing :: f p -> D.DList SomeDisposable++instance GDisposing G.U1 where+  gDisposing G.U1 = mempty++instance (GDisposing f, GDisposing g) => GDisposing (f G.:+: g) where+  gDisposing (G.L1 x) = gDisposing x+  gDisposing (G.R1 x) = gDisposing x++instance (GDisposing f, GDisposing g) => GDisposing (f G.:*: g) where+  gDisposing (x G.:*: y) = (gDisposing x) <> (gDisposing y)++instance (Disposable c) => GDisposing (G.K1 i c) where+  gDisposing (G.K1 x) = D.singleton $ Dispose x++instance (GDisposing f) => GDisposing (G.M1 i t f) where+  gDisposing (G.M1 x) = gDisposing x