packages feed

diagrams-lib 1.4.5.3 → 1.4.6

raw patch · 17 files changed

+49/−23 lines, 17 filesdep −ghc-primdep ~basedep ~bytestringdep ~deepseqPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: ghc-prim

Dependency ranges changed: base, bytestring, deepseq, optparse-applicative, tasty, text

API changes (from Hackage documentation)

- Diagrams.Points: _Point :: forall (f :: Type -> Type) a. Iso' (Point f a) (f a)
+ Diagrams.Points: _Point :: forall (f :: Type -> Type) a (g :: Type -> Type) b. Iso (Point f a) (Point g b) (f a) (g b)
- Diagrams.Points: lensP :: forall (g :: Type -> Type) a. Lens' (Point g a) (g a)
+ Diagrams.Points: lensP :: forall (f :: Type -> Type) a (g :: Type -> Type) b. Lens (Point f a) (Point g b) (f a) (g b)
- Diagrams.Segment: oeEnvelope :: forall v_aYVC n_aYVD. Lens' (OffsetEnvelope v_aYVC n_aYVD) (Envelope v_aYVC n_aYVD)
+ Diagrams.Segment: oeEnvelope :: forall v_aZ0A n_aZ0B. Lens' (OffsetEnvelope v_aZ0A n_aZ0B) (Envelope v_aZ0A n_aZ0B)
- Diagrams.Segment: oeOffset :: forall v_aYVC n_aYVD. Lens' (OffsetEnvelope v_aYVC n_aYVD) (TotalOffset v_aYVC n_aYVD)
+ Diagrams.Segment: oeOffset :: forall v_aZ0A n_aZ0B. Lens' (OffsetEnvelope v_aZ0A n_aZ0B) (TotalOffset v_aZ0A n_aZ0B)
- Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aMWy. Lens' (PerspectiveLens n_aMWy) (Angle n_aMWy)
+ Diagrams.ThreeD.Camera: horizontalFieldOfView :: forall n_aN1o. Lens' (PerspectiveLens n_aN1o) (Angle n_aN1o)
- Diagrams.ThreeD.Camera: orthoHeight :: forall n_aMYX. Lens' (OrthoLens n_aMYX) n_aMYX
+ Diagrams.ThreeD.Camera: orthoHeight :: forall n_aN3N. Lens' (OrthoLens n_aN3N) n_aN3N
- Diagrams.ThreeD.Camera: orthoWidth :: forall n_aMYX. Lens' (OrthoLens n_aMYX) n_aMYX
+ Diagrams.ThreeD.Camera: orthoWidth :: forall n_aN3N. Lens' (OrthoLens n_aN3N) n_aN3N
- Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aMWy. Lens' (PerspectiveLens n_aMWy) (Angle n_aMWy)
+ Diagrams.ThreeD.Camera: verticalFieldOfView :: forall n_aN1o. Lens' (PerspectiveLens n_aN1o) (Angle n_aN1o)
- Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aFw2. Lens' (ScaleInv t_aFw2) (Vn t_aFw2)
+ Diagrams.Transform.ScaleInv: scaleInvDir :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) (Vn t_aFAQ)
- Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aFw2. Lens' (ScaleInv t_aFw2) (Point (V t_aFw2) (N t_aFw2))
+ Diagrams.Transform.ScaleInv: scaleInvLoc :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) (Point (V t_aFAQ) (N t_aFAQ))
- Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aFw2. Lens' (ScaleInv t_aFw2) t_aFw2
+ Diagrams.Transform.ScaleInv: scaleInvObj :: forall t_aFAQ. Lens' (ScaleInv t_aFAQ) t_aFAQ
- Diagrams.TwoD: _LG :: forall n_a20sO. Prism' (Texture n_a20sO) (LGradient n_a20sO)
+ Diagrams.TwoD: _LG :: forall n_a20xM. Prism' (Texture n_a20xM) (LGradient n_a20xM)
- Diagrams.TwoD: _RG :: forall n_a20sO. Prism' (Texture n_a20sO) (RGradient n_a20sO)
+ Diagrams.TwoD: _RG :: forall n_a20xM. Prism' (Texture n_a20xM) (RGradient n_a20xM)
- Diagrams.TwoD: _SC :: forall n_a20sO. Prism' (Texture n_a20sO) SomeColor
+ Diagrams.TwoD: _SC :: forall n_a20xM. Prism' (Texture n_a20xM) SomeColor
- Diagrams.TwoD: eColor :: forall n_a2ngT. Lens' (EnvelopeOpts n_a2ngT) (Colour Double)
+ Diagrams.TwoD: eColor :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) (Colour Double)
- Diagrams.TwoD: eLineWidth :: forall n_a2ngT n_a2njl. Lens (EnvelopeOpts n_a2ngT) (EnvelopeOpts n_a2njl) (Measure n_a2ngT) (Measure n_a2njl)
+ Diagrams.TwoD: eLineWidth :: forall n_a2nlY n_a2noq. Lens (EnvelopeOpts n_a2nlY) (EnvelopeOpts n_a2noq) (Measure n_a2nlY) (Measure n_a2noq)
- Diagrams.TwoD: ePoints :: forall n_a2ngT. Lens' (EnvelopeOpts n_a2ngT) Int
+ Diagrams.TwoD: ePoints :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) Int
- Diagrams.TwoD: oColor :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) (Colour Double)
+ Diagrams.TwoD: oColor :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) (Colour Double)
- Diagrams.TwoD: oMinSize :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) n_a2nfW
+ Diagrams.TwoD: oMinSize :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
- Diagrams.TwoD: oScale :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) n_a2nfW
+ Diagrams.TwoD: oScale :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
- Diagrams.TwoD: radiusBL :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD: radiusBL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD: radiusBR :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD: radiusBR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD: radiusTL :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD: radiusTL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD: radiusTR :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD: radiusTR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD: tColor :: forall n_a2njK. Lens' (TraceOpts n_a2njK) (Colour Double)
+ Diagrams.TwoD: tColor :: forall n_a2noP. Lens' (TraceOpts n_a2noP) (Colour Double)
- Diagrams.TwoD: tMinSize :: forall n_a2njK. Lens' (TraceOpts n_a2njK) n_a2njK
+ Diagrams.TwoD: tMinSize :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
- Diagrams.TwoD: tPoints :: forall n_a2njK. Lens' (TraceOpts n_a2njK) Int
+ Diagrams.TwoD: tPoints :: forall n_a2noP. Lens' (TraceOpts n_a2noP) Int
- Diagrams.TwoD: tScale :: forall n_a2njK. Lens' (TraceOpts n_a2njK) n_a2njK
+ Diagrams.TwoD: tScale :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
- Diagrams.TwoD.Attributes: _LG :: forall n_a20sO. Prism' (Texture n_a20sO) (LGradient n_a20sO)
+ Diagrams.TwoD.Attributes: _LG :: forall n_a20xM. Prism' (Texture n_a20xM) (LGradient n_a20xM)
- Diagrams.TwoD.Attributes: _RG :: forall n_a20sO. Prism' (Texture n_a20sO) (RGradient n_a20sO)
+ Diagrams.TwoD.Attributes: _RG :: forall n_a20xM. Prism' (Texture n_a20xM) (RGradient n_a20xM)
- Diagrams.TwoD.Attributes: _SC :: forall n_a20sO. Prism' (Texture n_a20sO) SomeColor
+ Diagrams.TwoD.Attributes: _SC :: forall n_a20xM. Prism' (Texture n_a20xM) SomeColor
- Diagrams.TwoD.Model: eColor :: forall n_a2ngT. Lens' (EnvelopeOpts n_a2ngT) (Colour Double)
+ Diagrams.TwoD.Model: eColor :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) (Colour Double)
- Diagrams.TwoD.Model: eLineWidth :: forall n_a2ngT n_a2njl. Lens (EnvelopeOpts n_a2ngT) (EnvelopeOpts n_a2njl) (Measure n_a2ngT) (Measure n_a2njl)
+ Diagrams.TwoD.Model: eLineWidth :: forall n_a2nlY n_a2noq. Lens (EnvelopeOpts n_a2nlY) (EnvelopeOpts n_a2noq) (Measure n_a2nlY) (Measure n_a2noq)
- Diagrams.TwoD.Model: ePoints :: forall n_a2ngT. Lens' (EnvelopeOpts n_a2ngT) Int
+ Diagrams.TwoD.Model: ePoints :: forall n_a2nlY. Lens' (EnvelopeOpts n_a2nlY) Int
- Diagrams.TwoD.Model: oColor :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) (Colour Double)
+ Diagrams.TwoD.Model: oColor :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) (Colour Double)
- Diagrams.TwoD.Model: oMinSize :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) n_a2nfW
+ Diagrams.TwoD.Model: oMinSize :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
- Diagrams.TwoD.Model: oScale :: forall n_a2nfW. Lens' (OriginOpts n_a2nfW) n_a2nfW
+ Diagrams.TwoD.Model: oScale :: forall n_a2nl1. Lens' (OriginOpts n_a2nl1) n_a2nl1
- Diagrams.TwoD.Model: tColor :: forall n_a2njK. Lens' (TraceOpts n_a2njK) (Colour Double)
+ Diagrams.TwoD.Model: tColor :: forall n_a2noP. Lens' (TraceOpts n_a2noP) (Colour Double)
- Diagrams.TwoD.Model: tMinSize :: forall n_a2njK. Lens' (TraceOpts n_a2njK) n_a2njK
+ Diagrams.TwoD.Model: tMinSize :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
- Diagrams.TwoD.Model: tPoints :: forall n_a2njK. Lens' (TraceOpts n_a2njK) Int
+ Diagrams.TwoD.Model: tPoints :: forall n_a2noP. Lens' (TraceOpts n_a2noP) Int
- Diagrams.TwoD.Model: tScale :: forall n_a2njK. Lens' (TraceOpts n_a2njK) n_a2njK
+ Diagrams.TwoD.Model: tScale :: forall n_a2noP. Lens' (TraceOpts n_a2noP) n_a2noP
- Diagrams.TwoD.Shapes: radiusBL :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD.Shapes: radiusBL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD.Shapes: radiusBR :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD.Shapes: radiusBR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD.Shapes: radiusTL :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD.Shapes: radiusTL :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv
- Diagrams.TwoD.Shapes: radiusTR :: forall d_a1Kfx. Lens' (RoundedRectOpts d_a1Kfx) d_a1Kfx
+ Diagrams.TwoD.Shapes: radiusTR :: forall d_a1Kkv. Lens' (RoundedRectOpts d_a1Kkv) d_a1Kkv

Files

CHANGELOG.md view
@@ -1,6 +1,16 @@+## [v1.4.6](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.3) (2023-05-15)++- Allow `base-4.18`; test with GHC 9.6 (thanks to @sergv)+- Fix some warnings (thanks to @sergv)+ ## [v1.4.5.3](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.3) (2022-09-19)  - Update to `fsnotify-0.4`++- Revisions:+  - r1: require `lens-5.1`+  - r2: allow `mtl-2.3`+  - r3 (3 Dec 2022): allow `linear-1.22`  ## [v1.4.5.2](https://github.com/diagrams/diagrams-lib/tree/v1.4.5.2) (2022-09-14) 
diagrams-lib.cabal view
@@ -1,5 +1,5 @@ Name:                diagrams-lib-Version:             1.4.5.3+Version:             1.4.6 Synopsis:            Embedded domain-specific language for declarative graphics Description:         Diagrams is a flexible, extensible EDSL for creating                      graphics of many types.  Graphics can be created@@ -19,8 +19,8 @@ Category:            Graphics Build-type:          Simple Cabal-version:       1.18-Extra-source-files:  CHANGELOG.md, README.markdown, diagrams/*.svg-Extra-doc-files:     diagrams/*.svg+Extra-source-files:  diagrams/*.svg+Extra-doc-files:     CHANGELOG.md, README.markdown, diagrams/*.svg Tested-with:         GHC ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.1 Source-repository head   type:     git@@ -100,7 +100,7 @@                        Diagrams.TwoD.Types,                        Diagrams.TwoD.Vector,                        Diagrams.Util-  Build-depends:       base >= 4.9 && < 4.18,+  Build-depends:       base >= 4.9 && < 4.19,                        containers >= 0.3 && < 0.7,                        array >= 0.3 && < 0.6,                        semigroups >= 0.3.4 && < 0.21,@@ -113,13 +113,13 @@                        data-default-class < 0.2,                        fingertree >= 0.1 && < 0.2,                        intervals >= 0.7 && < 0.10,-                       lens >= 4.6 && < 5.3,+                       lens >= 5.1 && < 5.3,                        tagged >= 0.7,                        optparse-applicative >= 0.11 && < 0.18,                        filepath,                        JuicyPixels >= 3.3.4 && < 3.4,                        hashable >= 1.1 && < 1.5,-                       linear >= 1.20.1 && < 1.22,+                       linear >= 1.20.1 && < 1.23,                        adjunctions >= 4.0 && < 5.0,                        distributive >=0.2.2 && < 1.0,                        process >= 1.1 && < 1.7,@@ -127,16 +127,13 @@                        directory >= 1.2 && < 1.4,                        unordered-containers >= 0.2 && < 0.3,                        text >= 0.7.1 && < 2.1,-                       mtl >= 2.0 && < 2.3,+                       mtl >= 2.0 && < 2.3 || >= 2.3.1 && < 2.4,                        transformers >= 0.3.0 && < 0.7.0,                        profunctors >= 5.0 && < 6.0,                        exceptions >= 0.6 && < 1.0,                        cereal >=0.4.1.1 && <0.6,-                       bytestring >=0.9 && <0.12-  if impl(ghc < 7.6)-    Build-depends: ghc-prim-  if !impl(ghc >= 8.0)-    build-depends: fail >= 4.9.0.0 && <4.10+                       bytestring >=0.9 && <0.12,+                       fail >= 4.9.0.0 && <4.10   Hs-source-dirs:      src   ghc-options: -Wall   default-language:    Haskell2010
src/Diagrams/Align.hs view
@@ -1,8 +1,9 @@-{-# LANGUAGE ConstraintKinds #-}-{-# LANGUAGE ConstrainedClassMethods     #-}-{-# LANGUAGE FlexibleContexts     #-}-{-# LANGUAGE TypeFamilies         #-}-{-# LANGUAGE UndecidableInstances #-}+{-# LANGUAGE ConstrainedClassMethods #-}+{-# LANGUAGE ConstraintKinds         #-}+{-# LANGUAGE FlexibleContexts        #-}+{-# LANGUAGE TypeFamilies            #-}+{-# LANGUAGE TypeOperators           #-}+{-# LANGUAGE UndecidableInstances    #-}  ----------------------------------------------------------------------------- -- |
src/Diagrams/CubicSpline.hs view
@@ -1,7 +1,10 @@-{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE ConstraintKinds  #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies     #-}+{-# LANGUAGE TypeOperators    #-}+ {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}+ ----------------------------------------------------------------------------- -- | -- Module      :  Diagrams.CubicSpline
src/Diagrams/CubicSpline/Boehm.hs view
@@ -1,5 +1,6 @@ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies     #-}+{-# LANGUAGE TypeOperators    #-}  ----------------------------------------------------------------------------- -- |
src/Diagrams/Deform.hs view
@@ -1,9 +1,10 @@-{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE ConstraintKinds       #-} {-# LANGUAGE FlexibleContexts      #-} {-# LANGUAGE FlexibleInstances     #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables   #-} {-# LANGUAGE TypeFamilies          #-}+{-# LANGUAGE TypeOperators         #-} {-# LANGUAGE UndecidableInstances  #-}  module Diagrams.Deform
src/Diagrams/LinearMap.hs view
@@ -1,4 +1,3 @@-{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE ConstraintKinds       #-} {-# LANGUAGE FlexibleContexts      #-} {-# LANGUAGE FlexibleInstances     #-}@@ -7,7 +6,9 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE RankNTypes            #-} {-# LANGUAGE TypeFamilies          #-}+{-# LANGUAGE TypeOperators         #-} {-# LANGUAGE UndecidableInstances  #-}+ ----------------------------------------------------------------------------- -- | -- Module      :  Diagrams.LinearMap
src/Diagrams/Located.hs view
@@ -4,6 +4,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE StandaloneDeriving    #-} {-# LANGUAGE TypeFamilies          #-}+{-# LANGUAGE TypeOperators         #-} {-# LANGUAGE UndecidableInstances  #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/Path.hs view
@@ -8,6 +8,7 @@ {-# LANGUAGE ScopedTypeVariables        #-} {-# LANGUAGE StandaloneDeriving         #-} {-# LANGUAGE TypeFamilies               #-}+{-# LANGUAGE TypeOperators              #-} {-# LANGUAGE UndecidableInstances       #-} {-# LANGUAGE ViewPatterns               #-} 
src/Diagrams/ThreeD/Align.hs view
@@ -1,5 +1,6 @@ {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE TypeFamilies    #-}+{-# LANGUAGE TypeOperators   #-}  ----------------------------------------------------------------------------- -- |
src/Diagrams/TrailLike.hs view
@@ -1,7 +1,8 @@-{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE ConstraintKinds      #-} {-# LANGUAGE FlexibleContexts     #-} {-# LANGUAGE FlexibleInstances    #-} {-# LANGUAGE TypeFamilies         #-}+{-# LANGUAGE TypeOperators        #-} {-# LANGUAGE UndecidableInstances #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/TwoD/Arc.hs view
@@ -1,6 +1,7 @@ {-# LANGUAGE ConstraintKinds  #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies     #-}+{-# LANGUAGE TypeOperators    #-} {-# LANGUAGE ViewPatterns     #-}  {-# OPTIONS_GHC -fno-warn-unused-imports #-}
src/Diagrams/TwoD/Arrow.hs view
@@ -7,6 +7,7 @@ {-# LANGUAGE ScopedTypeVariables        #-} {-# LANGUAGE TemplateHaskell            #-} {-# LANGUAGE TypeFamilies               #-}+{-# LANGUAGE TypeOperators              #-} {-# LANGUAGE UndecidableInstances       #-}  -----------------------------------------------------------------------------
src/Diagrams/TwoD/Ellipse.hs view
@@ -1,6 +1,7 @@ {-# LANGUAGE FlexibleContexts      #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies          #-}+{-# LANGUAGE TypeOperators         #-} {-# LANGUAGE TypeSynonymInstances  #-} ----------------------------------------------------------------------------- -- |
src/Diagrams/TwoD/Offset.hs view
@@ -1,9 +1,10 @@-{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE ConstraintKinds      #-} {-# LANGUAGE FlexibleContexts     #-} {-# LANGUAGE GADTs                #-} {-# LANGUAGE StandaloneDeriving   #-} {-# LANGUAGE TemplateHaskell      #-} {-# LANGUAGE TypeFamilies         #-}+{-# LANGUAGE TypeOperators        #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ViewPatterns         #-} 
src/Diagrams/TwoD/Path.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE ConstraintKinds #-}+{-# LANGUAGE ConstraintKinds            #-} {-# LANGUAGE DeriveDataTypeable         #-} {-# LANGUAGE FlexibleContexts           #-} {-# LANGUAGE FlexibleInstances          #-}@@ -8,9 +8,12 @@ {-# LANGUAGE StandaloneDeriving         #-} {-# LANGUAGE TemplateHaskell            #-} {-# LANGUAGE TypeFamilies               #-}+{-# LANGUAGE TypeOperators              #-} {-# LANGUAGE UndecidableInstances       #-} {-# LANGUAGE ViewPatterns               #-}+ {-# OPTIONS_GHC -fno-warn-orphans #-}+ ----------------------------------------------------------------------------- -- | -- Module      :  Diagrams.TwoD.Path
src/Diagrams/TwoD/Text.hs view
@@ -5,6 +5,7 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE MultiParamTypeClasses      #-} {-# LANGUAGE TypeFamilies               #-}+{-# LANGUAGE TypeOperators              #-} {-# LANGUAGE UndecidableInstances       #-}  -----------------------------------------------------------------------------