packages feed

Cabal revisions of hgeometry-0.6.0.0

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
--- Initial hgeometry.cabal generated by cabal init.  For further--- documentation, see http://haskell.org/cabal/users-guide/--name:                hgeometry-version:             0.6.0.0-synopsis:            Geometric Algorithms, Data structures, and Data types.-description:-  HGeometry provides some basic geometry types, and geometric algorithms and-  data structures for them. The main two focusses are: (1) Strong type safety,-  and (2) implementations of geometric algorithms and data structures with good-  asymptotic running time guarantees. Note that HGeometry is still highly experimental, don't be surprised to find bugs.--homepage:            https://fstaals.net/software/hgeometry-license:             BSD3-license-file:        LICENSE-author:              Frank Staals-maintainer:          frank@fstaals.net--- copyright:--tested-with:         GHC >= 7.10.2--category:            Geometry-build-type:          Simple--extra-source-files:  README.md-                     resources/basic.isy-                     test/Data/Geometry/pointInPolygon.ipe-                     test/Data/Geometry/Polygon/Convex/convexTests.ipe-                     test/Algorithms/Geometry/SmallestEnclosingDisk/manual.ipe-                     test/Algorithms/Geometry/LineSegmentIntersection/manual.ipe-                     examples/BAPC2014/sample.in-                     examples/BAPC2014/sample.out-                     examples/BAPC2014/testdata.in-                     examples/BAPC2014/testdata.out-                     examples/BAPC2012/G.in-                     examples/BAPC2012/G.out-                     examples/BAPC2012/sampleG.in-                     examples/BAPC2012/sampleG.out---cabal-version:       >=1.10-source-repository head-  type:     git-  location: https://github.com/noinia/hgeometry---flag examples-  description: Build demonstration programs-  default:     False-  manual:      True--library-  ghc-options: -Wall -fno-warn-unticked-promoted-constructors -fno-warn-type-defaults--  exposed-modules:-                    -- * Generic Geometry-                    Data.Geometry-                    Data.Geometry.Properties-                    Data.Geometry.Transformation-                    Data.Geometry.Boundary-                    Data.Geometry.Duality--                    -- * Basic Geometry Types-                    Data.Geometry.Vector-                    Data.Geometry.Vector.VectorFixed-                    -- Data.Geometry.Vector.Vinyl-                    Data.Geometry.Interval-                    Data.Geometry.Interval.Util-                    Data.Geometry.Point-                    Data.Geometry.Line-                    Data.Geometry.Line.Internal-                    Data.Geometry.LineSegment-                    Data.Geometry.SubLine-                    Data.Geometry.HalfLine-                    Data.Geometry.PolyLine-                    Data.Geometry.Triangle-                    -- Data.Geometry.Plane-                    Data.Geometry.Slab-                    Data.Geometry.Box-                    Data.Geometry.Box.Internal-                    Data.Geometry.Ball-                    Data.Geometry.Polygon-                    Data.Geometry.Polygon.Convex--                    -- * Geometric Data Structures-                    Data.Geometry.IntervalTree-                    Data.Geometry.SegmentTree-                    Data.Geometry.SegmentTree.Generic--                    Data.Geometry.KDTree-                    Data.Geometry.PlanarSubdivision--                    -- * Algorithms-                    Algorithms.Util--                    -- * Geometric Algorithms-                    Algorithms.Geometry.ConvexHull.GrahamScan-                    Algorithms.Geometry.ConvexHull.DivideAndConqueror--                    Algorithms.Geometry.SmallestEnclosingBall.Types-                    Algorithms.Geometry.SmallestEnclosingBall.RandomizedIncrementalConstruction-                    Algorithms.Geometry.SmallestEnclosingBall.Naive--                    Algorithms.Geometry.DelaunayTriangulation.Types-                    Algorithms.Geometry.DelaunayTriangulation.DivideAndConqueror-                    Algorithms.Geometry.DelaunayTriangulation.Naive--                    Algorithms.Geometry.PolyLineSimplification.DouglasPeucker--                    Algorithms.Geometry.EuclideanMST.EuclideanMST--                    Algorithms.Geometry.WellSeparatedPairDecomposition.WSPD-                    Algorithms.Geometry.WellSeparatedPairDecomposition.Types--                    Algorithms.Geometry.Diameter--                    Algorithms.Geometry.LineSegmentIntersection.Naive-                    Algorithms.Geometry.LineSegmentIntersection.BentleyOttmann-                    Algorithms.Geometry.LineSegmentIntersection.Types--                    -- * Graph Algorithms-                    Algorithms.Graph.DFS-                    Algorithms.Graph.MST--                    -- * Ipe Types-                    Data.Geometry.Ipe-                    Data.Geometry.Ipe.Literal-                    Data.Geometry.Ipe.Attributes-                    Data.Geometry.Ipe.Types-                    Data.Geometry.Ipe.Writer-                    Data.Geometry.Ipe.Reader-                    Data.Geometry.Ipe.PathParser-                    Data.Geometry.Ipe.IpeOut-                    Data.Geometry.Ipe.FromIpe--                    -- * General Data Types-                    Data.UnBounded-                    Data.Range-                    Data.Ext-                    Data.Seq2-                    Data.Seq-                    Data.CircularSeq-                    Data.Sequence.Util-                    Data.BinaryTree-                    Data.BinaryTree.Zipper--                    Data.CircularList.Util-                    Data.BalBST-                    Data.Util--                    -- * Planar Graphs-                    Data.Permutation-                    Data.PlanarGraph-                    Data.PlaneGraph--                    -- * Other-                    System.Random.Shuffle-                    Control.Monad.State.Persistent----  other-modules:-                   Data.Geometry.Ipe.ParserPrimitives-----  -- other-extensions:-  build-depends:--                  Frames           >= 0.1.3.0-                , base             >= 4.8       &&     < 5-                , bifunctors       >= 4.1-                , bytestring       >= 0.10-                , containers       >= 0.5.5-                , contravariant    >= 1.4-                , lens             >= 4.2-                , linear           >= 1.10-                , semigroupoids    >= 5-                , semigroups       >= 0.18-                , singletons       >= 2.0-                , text             >= 1.1.1.0-                , vinyl            >= 0.5       &&     < 0.6-                , deepseq          >= 1.1--               -- , validation       >= 0.4--               , parsec           >= 3-               -- , tranformers      > 0.3--               , vector           >= 0.11-               , fixed-vector     >= 0.6.4.0-               , data-clist       >= 0.0.7.2--               , hexpat           >= 0.20.9-               , mtl-               , random-               , template-haskell---               , time-               , directory-               , optparse-applicative---  hs-source-dirs: src-                  -- examples/demo--  default-language:    Haskell2010--  default-extensions: TypeFamilies-                    , GADTs-                    , KindSignatures-                    , DataKinds-                    , TypeOperators-                    , ConstraintKinds-                    , PolyKinds-                    , RankNTypes--                    , PatternSynonyms-                    , TupleSections-                    , LambdaCase-                    , ViewPatterns--                    , StandaloneDeriving-                    , GeneralizedNewtypeDeriving-                    , DeriveFunctor-                    , DeriveFoldable-                    , DeriveTraversable-                    , DeriveGeneric-                    , AutoDeriveTypeable---                    , FlexibleInstances-                    , FlexibleContexts-                    , MultiParamTypeClasses--executable hgeometry-examples-  if !flag(examples)-    buildable: False-  main-is: Main.hs--  if flag(examples)-    build-depends: base-                 , hgeometry-                 , lens-                 , containers-                 , vinyl-                 , Frames-                 , semigroups-                 , optparse-applicative   >= 0.13.0.0-                 , text-                 , hexpat-                 , bytestring-                 , directory-                 , time-                 , random---  hs-source-dirs: examples--  other-modules: Demo.DrawGPX-                 Demo.WriteEnsemble-                 Demo.MinDisk-                 Demo.Delaunay-                 Demo.ExpectedPairwiseDistance--                 Demo.GPXParser--  default-language: Haskell2010--  default-extensions: TypeFamilies-                    , GADTs-                    , KindSignatures-                    , DataKinds-                    , TypeOperators-                    , ConstraintKinds-                    , PolyKinds-                    , RankNTypes--                    , PatternSynonyms-                    , ViewPatterns--                    , StandaloneDeriving-                    , GeneralizedNewtypeDeriving-                    , DeriveFunctor-                    , DeriveFoldable-                    , DeriveTraversable--                    , DeriveDataTypeable-                    , AutoDeriveTypeable--                    , FlexibleInstances-                    , FlexibleContexts-                    , MultiParamTypeClasses----test-suite doctests-  type:          exitcode-stdio-1.0-  ghc-options:   -threaded-  main-is:       doctests.hs-  build-depends: base, doctest >= 0.8--  default-language:    Haskell2010--test-suite hspec-  type:                 exitcode-stdio-1.0-  default-language:     Haskell2010-  hs-source-dirs:       test-  main-is:              Spec.hs-  ghc-options:   -O2 -fno-warn-unticked-promoted-constructors--  other-modules: Data.RangeSpec-                 Data.EdgeOracleSpec-                 Data.PlanarGraphSpec-                 Data.Geometry.Ipe.ReaderSpec-                 Data.Geometry.PolygonSpec-                 Data.Geometry.PointSpec-                 Data.Geometry.Polygon.Convex.ConvexSpec-                 Data.Geometry.KDTreeSpec-                 Data.Geometry.IntervalSpec-                 Data.Geometry.BoxSpec---                 Algorithms.Geometry.SmallestEnclosingDisk.RISpec-                 Algorithms.Geometry.DelaunayTriangulation.DTSpec-                 Algorithms.Geometry.WellSeparatedPairDecomposition.WSPDSpec-                 Algorithms.Geometry.LineSegmentIntersection.BentleyOttmannSpec--                 QuickCheck.Instances-                 Util---  build-depends:        base-                      , hspec        >= 2.1-                      , QuickCheck   >= 2.5-                      , hgeometry-                      , Frames-                      , lens-                      , data-clist-                      , linear-                      , bytestring-                      , vinyl-                      , semigroups-                      , vector-                      , containers-                      , random--  default-extensions: TypeFamilies-                    , GADTs-                    , KindSignatures-                    , DataKinds-                    , TypeOperators-                    , ConstraintKinds-                    , PolyKinds-                    , RankNTypes--                    , PatternSynonyms-                    , ViewPatterns-                    , LambdaCase-                    , TupleSections---                    , StandaloneDeriving-                    , GeneralizedNewtypeDeriving-                    , DeriveFunctor-                    , DeriveFoldable-                    , DeriveTraversable--                    , AutoDeriveTypeable--                    , FlexibleInstances-                    , FlexibleContexts-                    , MultiParamTypeClasses-                    , OverloadedStrings--test-suite bapc_examples-  type:          exitcode-stdio-1.0-  ghc-options:   -O2 -fno-warn-unticked-promoted-constructors-  main-is:       bapc_examples.hs-  hs-source-dirs: examples-  build-depends: base-               , doctest    >= 0.8-               , array      >= 0.5-               , hgeometry-               , lens-               , data-clist-               , linear-               , semigroups--  other-modules: BAPC2012.Gunslinger-                 BAPC2014.Armybase--  default-language:    Haskell2010--  default-extensions: TypeFamilies-                    , GADTs-                    , DataKinds-                    , TypeOperators-                    , ConstraintKinds-                    , PolyKinds-                    , PatternSynonyms-                    , ViewPatterns--benchmark benchmarks--  hs-source-dirs: benchmark test--  main-is: Benchmarks.hs-  type: exitcode-stdio-1.0--  other-modules:--  build-depends:-                base-              , criterion >= 1.1.4.0 && < 1.2-              , semigroups-              , deepseq-              , deepseq-generics-              , hgeometry-              , Frames-              , lens-              , QuickCheck--  ghc-options: -Wall -O2 -rtsopts -fno-warn-unticked-promoted-constructors--  default-language:    Haskell2010--  default-extensions: TypeFamilies-                    , GADTs-                    , KindSignatures-                    , DataKinds-                    , TypeOperators-                    , ConstraintKinds-                    , PolyKinds-                    , RankNTypes--                    , PatternSynonyms-                    , ViewPatterns-                    , LambdaCase-                    , TupleSections---                    , StandaloneDeriving-                    , GeneralizedNewtypeDeriving-                    , DeriveFunctor-                    , DeriveFoldable-                    , DeriveTraversable--                    , AutoDeriveTypeable--                    , FlexibleInstances-                    , FlexibleContexts-                    , MultiParamTypeClasses-                    , OverloadedStrings+-- Initial hgeometry.cabal generated by cabal init.  For further
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+name:                hgeometry
+version:             0.6.0.0
+x-revision: 1
+synopsis:            Geometric Algorithms, Data structures, and Data types.
+description:
+  HGeometry provides some basic geometry types, and geometric algorithms and
+  data structures for them. The main two focusses are: (1) Strong type safety,
+  and (2) implementations of geometric algorithms and data structures with good
+  asymptotic running time guarantees. Note that HGeometry is still highly experimental, don't be surprised to find bugs.
+
+homepage:            https://fstaals.net/software/hgeometry
+license:             BSD3
+license-file:        LICENSE
+author:              Frank Staals
+maintainer:          frank@fstaals.net
+-- copyright:
+
+tested-with:         GHC >= 7.10.2
+
+category:            Geometry
+build-type:          Simple
+
+extra-source-files:  README.md
+                     resources/basic.isy
+                     test/Data/Geometry/pointInPolygon.ipe
+                     test/Data/Geometry/Polygon/Convex/convexTests.ipe
+                     test/Algorithms/Geometry/SmallestEnclosingDisk/manual.ipe
+                     test/Algorithms/Geometry/LineSegmentIntersection/manual.ipe
+                     examples/BAPC2014/sample.in
+                     examples/BAPC2014/sample.out
+                     examples/BAPC2014/testdata.in
+                     examples/BAPC2014/testdata.out
+                     examples/BAPC2012/G.in
+                     examples/BAPC2012/G.out
+                     examples/BAPC2012/sampleG.in
+                     examples/BAPC2012/sampleG.out
+
+
+cabal-version:       >=1.10
+source-repository head
+  type:     git
+  location: https://github.com/noinia/hgeometry
+
+
+flag examples
+  description: Build demonstration programs
+  default:     False
+  manual:      True
+
+library
+  ghc-options: -Wall -fno-warn-unticked-promoted-constructors -fno-warn-type-defaults
+
+  exposed-modules:
+                    -- * Generic Geometry
+                    Data.Geometry
+                    Data.Geometry.Properties
+                    Data.Geometry.Transformation
+                    Data.Geometry.Boundary
+                    Data.Geometry.Duality
+
+                    -- * Basic Geometry Types
+                    Data.Geometry.Vector
+                    Data.Geometry.Vector.VectorFixed
+                    -- Data.Geometry.Vector.Vinyl
+                    Data.Geometry.Interval
+                    Data.Geometry.Interval.Util
+                    Data.Geometry.Point
+                    Data.Geometry.Line
+                    Data.Geometry.Line.Internal
+                    Data.Geometry.LineSegment
+                    Data.Geometry.SubLine
+                    Data.Geometry.HalfLine
+                    Data.Geometry.PolyLine
+                    Data.Geometry.Triangle
+                    -- Data.Geometry.Plane
+                    Data.Geometry.Slab
+                    Data.Geometry.Box
+                    Data.Geometry.Box.Internal
+                    Data.Geometry.Ball
+                    Data.Geometry.Polygon
+                    Data.Geometry.Polygon.Convex
+
+                    -- * Geometric Data Structures
+                    Data.Geometry.IntervalTree
+                    Data.Geometry.SegmentTree
+                    Data.Geometry.SegmentTree.Generic
+
+                    Data.Geometry.KDTree
+                    Data.Geometry.PlanarSubdivision
+
+                    -- * Algorithms
+                    Algorithms.Util
+
+                    -- * Geometric Algorithms
+                    Algorithms.Geometry.ConvexHull.GrahamScan
+                    Algorithms.Geometry.ConvexHull.DivideAndConqueror
+
+                    Algorithms.Geometry.SmallestEnclosingBall.Types
+                    Algorithms.Geometry.SmallestEnclosingBall.RandomizedIncrementalConstruction
+                    Algorithms.Geometry.SmallestEnclosingBall.Naive
+
+                    Algorithms.Geometry.DelaunayTriangulation.Types
+                    Algorithms.Geometry.DelaunayTriangulation.DivideAndConqueror
+                    Algorithms.Geometry.DelaunayTriangulation.Naive
+
+                    Algorithms.Geometry.PolyLineSimplification.DouglasPeucker
+
+                    Algorithms.Geometry.EuclideanMST.EuclideanMST
+
+                    Algorithms.Geometry.WellSeparatedPairDecomposition.WSPD
+                    Algorithms.Geometry.WellSeparatedPairDecomposition.Types
+
+                    Algorithms.Geometry.Diameter
+
+                    Algorithms.Geometry.LineSegmentIntersection.Naive
+                    Algorithms.Geometry.LineSegmentIntersection.BentleyOttmann
+                    Algorithms.Geometry.LineSegmentIntersection.Types
+
+                    -- * Graph Algorithms
+                    Algorithms.Graph.DFS
+                    Algorithms.Graph.MST
+
+                    -- * Ipe Types
+                    Data.Geometry.Ipe
+                    Data.Geometry.Ipe.Literal
+                    Data.Geometry.Ipe.Attributes
+                    Data.Geometry.Ipe.Types
+                    Data.Geometry.Ipe.Writer
+                    Data.Geometry.Ipe.Reader
+                    Data.Geometry.Ipe.PathParser
+                    Data.Geometry.Ipe.IpeOut
+                    Data.Geometry.Ipe.FromIpe
+
+                    -- * General Data Types
+                    Data.UnBounded
+                    Data.Range
+                    Data.Ext
+                    Data.Seq2
+                    Data.Seq
+                    Data.CircularSeq
+                    Data.Sequence.Util
+                    Data.BinaryTree
+                    Data.BinaryTree.Zipper
+
+                    Data.CircularList.Util
+                    Data.BalBST
+                    Data.Util
+
+                    -- * Planar Graphs
+                    Data.Permutation
+                    Data.PlanarGraph
+                    Data.PlaneGraph
+
+                    -- * Other
+                    System.Random.Shuffle
+                    Control.Monad.State.Persistent
+
+
+
+  other-modules:
+                   Data.Geometry.Ipe.ParserPrimitives
+
+
+
+
+  -- other-extensions:
+  build-depends:
+
+                  Frames           >= 0.1.3.0
+                , base             >= 4.8       &&     < 5
+                , bifunctors       >= 4.1
+                , bytestring       >= 0.10
+                , containers       >= 0.5.5
+                , contravariant    >= 1.4
+                , lens             >= 4.2
+                , linear           >= 1.10
+                , semigroupoids    >= 5         &&     < 5.2.1
+                , semigroups       >= 0.18
+                , singletons       >= 2.0
+                , text             >= 1.1.1.0
+                , vinyl            >= 0.5       &&     < 0.6
+                , deepseq          >= 1.1
+
+               -- , validation       >= 0.4
+
+               , parsec           >= 3
+               -- , tranformers      > 0.3
+
+               , vector           >= 0.11
+               , fixed-vector     >= 0.6.4.0    &&     < 0.10
+               , data-clist       >= 0.0.7.2
+
+               , hexpat           >= 0.20.9
+               , mtl
+               , random
+               , template-haskell
+
+
+               , time
+               , directory
+               , optparse-applicative
+
+
+  hs-source-dirs: src
+                  -- examples/demo
+
+  default-language:    Haskell2010
+
+  default-extensions: TypeFamilies
+                    , GADTs
+                    , KindSignatures
+                    , DataKinds
+                    , TypeOperators
+                    , ConstraintKinds
+                    , PolyKinds
+                    , RankNTypes
+
+                    , PatternSynonyms
+                    , TupleSections
+                    , LambdaCase
+                    , ViewPatterns
+
+                    , StandaloneDeriving
+                    , GeneralizedNewtypeDeriving
+                    , DeriveFunctor
+                    , DeriveFoldable
+                    , DeriveTraversable
+                    , DeriveGeneric
+                    , AutoDeriveTypeable
+
+
+                    , FlexibleInstances
+                    , FlexibleContexts
+                    , MultiParamTypeClasses
+
+executable hgeometry-examples
+  if !flag(examples)
+    buildable: False
+  main-is: Main.hs
+
+  if flag(examples)
+    build-depends: base
+                 , hgeometry
+                 , lens
+                 , containers
+                 , vinyl
+                 , Frames
+                 , semigroups
+                 , optparse-applicative   >= 0.13.0.0
+                 , text
+                 , hexpat
+                 , bytestring
+                 , directory
+                 , time
+                 , random
+
+
+  hs-source-dirs: examples
+
+  other-modules: Demo.DrawGPX
+                 Demo.WriteEnsemble
+                 Demo.MinDisk
+                 Demo.Delaunay
+                 Demo.ExpectedPairwiseDistance
+
+                 Demo.GPXParser
+
+  default-language: Haskell2010
+
+  default-extensions: TypeFamilies
+                    , GADTs
+                    , KindSignatures
+                    , DataKinds
+                    , TypeOperators
+                    , ConstraintKinds
+                    , PolyKinds
+                    , RankNTypes
+
+                    , PatternSynonyms
+                    , ViewPatterns
+
+                    , StandaloneDeriving
+                    , GeneralizedNewtypeDeriving
+                    , DeriveFunctor
+                    , DeriveFoldable
+                    , DeriveTraversable
+
+                    , DeriveDataTypeable
+                    , AutoDeriveTypeable
+
+                    , FlexibleInstances
+                    , FlexibleContexts
+                    , MultiParamTypeClasses
+
+
+
+test-suite doctests
+  type:          exitcode-stdio-1.0
+  ghc-options:   -threaded
+  main-is:       doctests.hs
+  build-depends: base, doctest >= 0.8
+
+  default-language:    Haskell2010
+
+test-suite hspec
+  type:                 exitcode-stdio-1.0
+  default-language:     Haskell2010
+  hs-source-dirs:       test
+  main-is:              Spec.hs
+  ghc-options:   -O2 -fno-warn-unticked-promoted-constructors
+
+  other-modules: Data.RangeSpec
+                 Data.EdgeOracleSpec
+                 Data.PlanarGraphSpec
+                 Data.Geometry.Ipe.ReaderSpec
+                 Data.Geometry.PolygonSpec
+                 Data.Geometry.PointSpec
+                 Data.Geometry.Polygon.Convex.ConvexSpec
+                 Data.Geometry.KDTreeSpec
+                 Data.Geometry.IntervalSpec
+                 Data.Geometry.BoxSpec
+
+
+                 Algorithms.Geometry.SmallestEnclosingDisk.RISpec
+                 Algorithms.Geometry.DelaunayTriangulation.DTSpec
+                 Algorithms.Geometry.WellSeparatedPairDecomposition.WSPDSpec
+                 Algorithms.Geometry.LineSegmentIntersection.BentleyOttmannSpec
+
+                 QuickCheck.Instances
+                 Util
+
+
+  build-depends:        base
+                      , hspec        >= 2.1
+                      , QuickCheck   >= 2.5
+                      , hgeometry
+                      , Frames
+                      , lens
+                      , data-clist
+                      , linear
+                      , bytestring
+                      , vinyl
+                      , semigroups
+                      , vector
+                      , containers
+                      , random
+
+  default-extensions: TypeFamilies
+                    , GADTs
+                    , KindSignatures
+                    , DataKinds
+                    , TypeOperators
+                    , ConstraintKinds
+                    , PolyKinds
+                    , RankNTypes
+
+                    , PatternSynonyms
+                    , ViewPatterns
+                    , LambdaCase
+                    , TupleSections
+
+
+                    , StandaloneDeriving
+                    , GeneralizedNewtypeDeriving
+                    , DeriveFunctor
+                    , DeriveFoldable
+                    , DeriveTraversable
+
+                    , AutoDeriveTypeable
+
+                    , FlexibleInstances
+                    , FlexibleContexts
+                    , MultiParamTypeClasses
+                    , OverloadedStrings
+
+test-suite bapc_examples
+  type:          exitcode-stdio-1.0
+  ghc-options:   -O2 -fno-warn-unticked-promoted-constructors
+  main-is:       bapc_examples.hs
+  hs-source-dirs: examples
+  build-depends: base
+               , doctest    >= 0.8
+               , array      >= 0.5
+               , hgeometry
+               , lens
+               , data-clist
+               , linear
+               , semigroups
+
+  other-modules: BAPC2012.Gunslinger
+                 BAPC2014.Armybase
+
+  default-language:    Haskell2010
+
+  default-extensions: TypeFamilies
+                    , GADTs
+                    , DataKinds
+                    , TypeOperators
+                    , ConstraintKinds
+                    , PolyKinds
+                    , PatternSynonyms
+                    , ViewPatterns
+
+benchmark benchmarks
+
+  hs-source-dirs: benchmark test
+
+  main-is: Benchmarks.hs
+  type: exitcode-stdio-1.0
+
+  other-modules:
+
+  build-depends:
+                base
+              , criterion >= 1.1.4.0 && < 1.2
+              , semigroups
+              , deepseq
+              , deepseq-generics
+              , hgeometry
+              , Frames
+              , lens
+              , QuickCheck
+
+  ghc-options: -Wall -O2 -rtsopts -fno-warn-unticked-promoted-constructors
+
+  default-language:    Haskell2010
+
+  default-extensions: TypeFamilies
+                    , GADTs
+                    , KindSignatures
+                    , DataKinds
+                    , TypeOperators
+                    , ConstraintKinds
+                    , PolyKinds
+                    , RankNTypes
+
+                    , PatternSynonyms
+                    , ViewPatterns
+                    , LambdaCase
+                    , TupleSections
+
+
+                    , StandaloneDeriving
+                    , GeneralizedNewtypeDeriving
+                    , DeriveFunctor
+                    , DeriveFoldable
+                    , DeriveTraversable
+
+                    , AutoDeriveTypeable
+
+                    , FlexibleInstances
+                    , FlexibleContexts
+                    , MultiParamTypeClasses
+                    , OverloadedStrings