packages feed

atl 15409.2 → 17072

raw patch · 3 files changed

+43/−175 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Control.Arrow.Abort: instance (ArrowChoice r, ArrowApply r) => ArrowApply (AbortT v r)
- Control.Arrow.Abort: instance (ArrowChoice r, ArrowLoop r, Typeable v) => ArrowLoop (AbortT v r)
- Control.Arrow.Abort: instance (ArrowChoice r, ArrowTransformer xT, Arrow (xT (AbortT v r))) => ArrowAbort v (xT (AbortT v r))
- Control.Arrow.Abort: instance ArrowChoice r => Arrow (AbortT v r)
- Control.Arrow.Abort: instance ArrowChoice r => ArrowAbort v (AbortT v r)
- Control.Arrow.Abort: instance ArrowChoice r => Category (AbortT v r)
- Control.Arrow.Abort: instance ArrowTransformer (AbortT v)
- Control.Arrow.Abort: unwrapAbortT :: AbortT v r a b -> r a (Either v b)
- Control.Arrow.Reader: instance (Arrow s, ArrowTransformer xT, Arrow (xT (ReaderT r s))) => ArrowReader r (xT (ReaderT r s))
- Control.Arrow.Reader: instance Arrow s => Arrow (ReaderT r s)
- Control.Arrow.Reader: instance Arrow s => ArrowReader r (ReaderT r s)
- Control.Arrow.Reader: instance Arrow s => Category (ReaderT r s)
- Control.Arrow.Reader: instance ArrowApply s => ArrowApply (ReaderT r s)
- Control.Arrow.Reader: instance ArrowChoice s => ArrowChoice (ReaderT r s)
- Control.Arrow.Reader: instance ArrowLoop s => ArrowLoop (ReaderT r s)
- Control.Arrow.Reader: instance ArrowPlus s => ArrowPlus (ReaderT r s)
- Control.Arrow.Reader: instance ArrowTransformer (ReaderT r)
- Control.Arrow.Reader: instance ArrowZero s => ArrowZero (ReaderT r s)
- Control.Arrow.Reader: runReaderT :: ReaderT r s a b -> s (a, r) b
- Control.Arrow.State: instance (Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r))
- Control.Arrow.State: instance Arrow r => Arrow (StateT s r)
- Control.Arrow.State: instance Arrow r => ArrowState s (StateT s r)
- Control.Arrow.State: instance ArrowApply r => ArrowApply (StateT s r)
- Control.Arrow.State: instance ArrowChoice r => ArrowChoice (StateT s r)
- Control.Arrow.State: instance ArrowLoop r => ArrowLoop (StateT s r)
- Control.Arrow.State: instance ArrowPlus r => ArrowPlus (StateT s r)
- Control.Arrow.State: instance ArrowTransformer (StateT s)
- Control.Arrow.State: instance ArrowZero r => ArrowZero (StateT s r)
- Control.Arrow.State: instance Category r => Category (StateT s r)
- Control.Arrow.State: runStateT :: StateT s r a b -> r (a, s) (b, s)
- Control.Arrow.Writer: instance (Monoid w, Arrow r) => Arrow (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, Arrow r) => ArrowWriter w (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, Arrow r) => Category (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, ArrowApply r) => ArrowApply (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, ArrowChoice r) => ArrowChoice (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, ArrowLoop r) => ArrowLoop (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, ArrowPlus r) => ArrowPlus (WriterT w r)
- Control.Arrow.Writer: instance (Monoid w, ArrowZero r) => ArrowZero (WriterT w r)
- Control.Arrow.Writer: instance Monoid w => ArrowTransformer (WriterT w)
- Control.Arrow.Writer: runWriterT :: WriterT w r a b -> r a (b, w)
+ Control.Arrow.Abort: [unwrapAbortT] :: AbortT v r a b -> r a (Either v b)
+ Control.Arrow.Abort: instance (Control.Arrow.ArrowChoice r, Control.Arrow.ArrowApply r) => Control.Arrow.ArrowApply (Control.Arrow.Abort.AbortT v r)
+ Control.Arrow.Abort: instance (Control.Arrow.ArrowChoice r, Control.Arrow.ArrowLoop r, Data.Typeable.Internal.Typeable v) => Control.Arrow.ArrowLoop (Control.Arrow.Abort.AbortT v r)
+ Control.Arrow.Abort: instance (Control.Arrow.ArrowChoice r, Control.Arrow.Transformer.ArrowTransformer xT, Control.Arrow.Arrow (xT (Control.Arrow.Abort.AbortT v r))) => Control.Arrow.Abort.Class.ArrowAbort v (xT (Control.Arrow.Abort.AbortT v r))
+ Control.Arrow.Abort: instance Control.Arrow.ArrowChoice r => Control.Arrow.Abort.Class.ArrowAbort v (Control.Arrow.Abort.AbortT v r)
+ Control.Arrow.Abort: instance Control.Arrow.ArrowChoice r => Control.Arrow.Arrow (Control.Arrow.Abort.AbortT v r)
+ Control.Arrow.Abort: instance Control.Arrow.ArrowChoice r => Control.Category.Category (Control.Arrow.Abort.AbortT v r)
+ Control.Arrow.Abort: instance Control.Arrow.Transformer.ArrowTransformer (Control.Arrow.Abort.AbortT v)
+ Control.Arrow.Reader: [runReaderT] :: ReaderT r s a b -> s (a, r) b
+ Control.Arrow.Reader: instance (Control.Arrow.Arrow s, Control.Arrow.Transformer.ArrowTransformer xT, Control.Arrow.Arrow (xT (Control.Arrow.Reader.ReaderT r s))) => Control.Arrow.Reader.Class.ArrowReader r (xT (Control.Arrow.Reader.ReaderT r s))
+ Control.Arrow.Reader: instance Control.Arrow.Arrow s => Control.Arrow.Arrow (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.Arrow s => Control.Arrow.Reader.Class.ArrowReader r (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.Arrow s => Control.Category.Category (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.ArrowApply s => Control.Arrow.ArrowApply (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.ArrowChoice s => Control.Arrow.ArrowChoice (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.ArrowLoop s => Control.Arrow.ArrowLoop (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.ArrowPlus s => Control.Arrow.ArrowPlus (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.ArrowZero s => Control.Arrow.ArrowZero (Control.Arrow.Reader.ReaderT r s)
+ Control.Arrow.Reader: instance Control.Arrow.Transformer.ArrowTransformer (Control.Arrow.Reader.ReaderT r)
+ Control.Arrow.State: [runStateT] :: StateT s r a b -> r (a, s) (b, s)
+ Control.Arrow.State: instance (Control.Arrow.Arrow r, Control.Arrow.Transformer.ArrowTransformer xT, Control.Arrow.Arrow (xT (Control.Arrow.State.StateT s r))) => Control.Arrow.State.Class.ArrowState s (xT (Control.Arrow.State.StateT s r))
+ Control.Arrow.State: instance Control.Arrow.Arrow r => Control.Arrow.Arrow (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.Arrow r => Control.Arrow.State.Class.ArrowState s (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.ArrowApply r => Control.Arrow.ArrowApply (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.ArrowChoice r => Control.Arrow.ArrowChoice (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.ArrowLoop r => Control.Arrow.ArrowLoop (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.ArrowPlus r => Control.Arrow.ArrowPlus (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.ArrowZero r => Control.Arrow.ArrowZero (Control.Arrow.State.StateT s r)
+ Control.Arrow.State: instance Control.Arrow.Transformer.ArrowTransformer (Control.Arrow.State.StateT s)
+ Control.Arrow.State: instance Control.Category.Category r => Control.Category.Category (Control.Arrow.State.StateT s r)
+ Control.Arrow.Writer: [runWriterT] :: WriterT w r a b -> r a (b, w)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.Arrow r) => Control.Arrow.Arrow (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.Arrow r) => Control.Arrow.Writer.Class.ArrowWriter w (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.Arrow r) => Control.Category.Category (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.ArrowApply r) => Control.Arrow.ArrowApply (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.ArrowChoice r) => Control.Arrow.ArrowChoice (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.ArrowLoop r) => Control.Arrow.ArrowLoop (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.ArrowPlus r) => Control.Arrow.ArrowPlus (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance (GHC.Base.Monoid w, Control.Arrow.ArrowZero r) => Control.Arrow.ArrowZero (Control.Arrow.Writer.WriterT w r)
+ Control.Arrow.Writer: instance GHC.Base.Monoid w => Control.Arrow.Transformer.ArrowTransformer (Control.Arrow.Writer.WriterT w)
- Control.Arrow.Reader.Class: asks :: ArrowReader r s => (r -> a) -> s () a
+ Control.Arrow.Reader.Class: asks :: (ArrowReader r s) => (r -> a) -> s () a
- Control.Arrow.Reader.Class: asksA :: ArrowReader r s => s r a -> s () a
+ Control.Arrow.Reader.Class: asksA :: (ArrowReader r s) => s r a -> s () a

Files

+ LICENSE view
@@ -0,0 +1,30 @@+Copyright M Farkas-Dyck (c) 2016++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 M Farkas-Dyck 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.
atl.cabal view
@@ -1,18 +1,21 @@ Name:atl-Version:15409.2+Version:17072 Description:Arrow Transformer Library-License:LGPL-License-File:license.txt+License:BSD3+License-File:LICENSE Author:Matthew Farkas-Dyck Maintainer:strake888@gmail.com Category:Control Synopsis:Arrow Transformer Library Build-Type:Simple-Cabal-Version: >= 1.2.3+Cabal-Version: >= 1.6 -Library {-  Build-Depends: base >= 4 && < 5-  Extensions: UnicodeSyntax, ScopedTypeVariables, RankNTypes, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts-  Exposed-Modules: Control.Arrow.Transformer, Control.Arrow.Reader, Control.Arrow.Reader.Class, Control.Arrow.List.Class, Control.Arrow.Abort, Control.Arrow.Abort.Class, Control.Arrow.State, Control.Arrow.State.Class, Control.Arrow.Writer, Control.Arrow.Writer.Class-  Other-Modules: Util-}+Library+    Build-Depends: base >= 4 && < 5+    Extensions: UnicodeSyntax, ScopedTypeVariables, RankNTypes, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts+    Exposed-Modules: Control.Arrow.Transformer, Control.Arrow.Reader, Control.Arrow.Reader.Class, Control.Arrow.List.Class, Control.Arrow.Abort, Control.Arrow.Abort.Class, Control.Arrow.State, Control.Arrow.State.Class, Control.Arrow.Writer, Control.Arrow.Writer.Class+    Other-Modules: Util++Source-Repository head+    Type: git+    Location: https://github.com/strake/atl.hs
− license.txt
@@ -1,165 +0,0 @@-                   GNU LESSER GENERAL PUBLIC LICENSE-                       Version 3, 29 June 2007-- Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>- Everyone is permitted to copy and distribute verbatim copies- of this license document, but changing it is not allowed.---  This version of the GNU Lesser General Public License incorporates-the terms and conditions of version 3 of the GNU General Public-License, supplemented by the additional permissions listed below.--  0. Additional Definitions.--  As used herein, "this License" refers to version 3 of the GNU Lesser-General Public License, and the "GNU GPL" refers to version 3 of the GNU-General Public License.--  "The Library" refers to a covered work governed by this License,-other than an Application or a Combined Work as defined below.--  An "Application" is any work that makes use of an interface provided-by the Library, but which is not otherwise based on the Library.-Defining a subclass of a class defined by the Library is deemed a mode-of using an interface provided by the Library.--  A "Combined Work" is a work produced by combining or linking an-Application with the Library.  The particular version of the Library-with which the Combined Work was made is also called the "Linked-Version".--  The "Minimal Corresponding Source" for a Combined Work means the-Corresponding Source for the Combined Work, excluding any source code-for portions of the Combined Work that, considered in isolation, are-based on the Application, and not on the Linked Version.--  The "Corresponding Application Code" for a Combined Work means the-object code and/or source code for the Application, including any data-and utility programs needed for reproducing the Combined Work from the-Application, but excluding the System Libraries of the Combined Work.--  1. Exception to Section 3 of the GNU GPL.--  You may convey a covered work under sections 3 and 4 of this License-without being bound by section 3 of the GNU GPL.--  2. Conveying Modified Versions.--  If you modify a copy of the Library, and, in your modifications, a-facility refers to a function or data to be supplied by an Application-that uses the facility (other than as an argument passed when the-facility is invoked), then you may convey a copy of the modified-version:--   a) under this License, provided that you make a good faith effort to-   ensure that, in the event an Application does not supply the-   function or data, the facility still operates, and performs-   whatever part of its purpose remains meaningful, or--   b) under the GNU GPL, with none of the additional permissions of-   this License applicable to that copy.--  3. Object Code Incorporating Material from Library Header Files.--  The object code form of an Application may incorporate material from-a header file that is part of the Library.  You may convey such object-code under terms of your choice, provided that, if the incorporated-material is not limited to numerical parameters, data structure-layouts and accessors, or small macros, inline functions and templates-(ten or fewer lines in length), you do both of the following:--   a) Give prominent notice with each copy of the object code that the-   Library is used in it and that the Library and its use are-   covered by this License.--   b) Accompany the object code with a copy of the GNU GPL and this license-   document.--  4. Combined Works.--  You may convey a Combined Work under terms of your choice that,-taken together, effectively do not restrict modification of the-portions of the Library contained in the Combined Work and reverse-engineering for debugging such modifications, if you also do each of-the following:--   a) Give prominent notice with each copy of the Combined Work that-   the Library is used in it and that the Library and its use are-   covered by this License.--   b) Accompany the Combined Work with a copy of the GNU GPL and this license-   document.--   c) For a Combined Work that displays copyright notices during-   execution, include the copyright notice for the Library among-   these notices, as well as a reference directing the user to the-   copies of the GNU GPL and this license document.--   d) Do one of the following:--       0) Convey the Minimal Corresponding Source under the terms of this-       License, and the Corresponding Application Code in a form-       suitable for, and under terms that permit, the user to-       recombine or relink the Application with a modified version of-       the Linked Version to produce a modified Combined Work, in the-       manner specified by section 6 of the GNU GPL for conveying-       Corresponding Source.--       1) Use a suitable shared library mechanism for linking with the-       Library.  A suitable mechanism is one that (a) uses at run time-       a copy of the Library already present on the user's computer-       system, and (b) will operate properly with a modified version-       of the Library that is interface-compatible with the Linked-       Version.--   e) Provide Installation Information, but only if you would otherwise-   be required to provide such information under section 6 of the-   GNU GPL, and only to the extent that such information is-   necessary to install and execute a modified version of the-   Combined Work produced by recombining or relinking the-   Application with a modified version of the Linked Version. (If-   you use option 4d0, the Installation Information must accompany-   the Minimal Corresponding Source and Corresponding Application-   Code. If you use option 4d1, you must provide the Installation-   Information in the manner specified by section 6 of the GNU GPL-   for conveying Corresponding Source.)--  5. Combined Libraries.--  You may place library facilities that are a work based on the-Library side by side in a single library together with other library-facilities that are not Applications and are not covered by this-License, and convey such a combined library under terms of your-choice, if you do both of the following:--   a) Accompany the combined library with a copy of the same work based-   on the Library, uncombined with any other library facilities,-   conveyed under the terms of this License.--   b) Give prominent notice with the combined library that part of it-   is a work based on the Library, and explaining where to find the-   accompanying uncombined form of the same work.--  6. Revised Versions of the GNU Lesser General Public License.--  The Free Software Foundation may publish revised and/or new versions-of the GNU Lesser General Public License from time to time. Such new-versions will be similar in spirit to the present version, but may-differ in detail to address new problems or concerns.--  Each version is given a distinguishing version number. If the-Library as you received it specifies that a certain numbered version-of the GNU Lesser General Public License "or any later version"-applies to it, you have the option of following the terms and-conditions either of that published version or of any later version-published by the Free Software Foundation. If the Library as you-received it does not specify a version number of the GNU Lesser-General Public License, you may choose any version of the GNU Lesser-General Public License ever published by the Free Software Foundation.--  If the Library as you received it specifies that a proxy can decide-whether future versions of the GNU Lesser General Public License shall-apply, that proxy's public statement of acceptance of any version is-permanent authorization for you to choose that version for the-Library.