cabal-version: 3.0 name: typed-range version: 0.1.0.1 synopsis: An efficient and versatile typed range library. description: The range library alows the use of performant and versatile ranges in your code. It supports bounded and unbounded ranges, ranges in a nested manner (like library versions), an efficient algebra of range computation and even a simplified interface for ranges for the common cases. This library is far more efficient than using the default Data.List functions to approximate range behaviour. Performance is the major value offering of this library. If this is your first time using this library it is highly recommended that you start with "Data.Range.Typed"; it contains the basics of this library that meet most use cases. homepage: https://github.com/blackheaven/typed-range license: MIT license-file: LICENSE author: Gautier DI FOLCO maintainer: gautier.difolco@gmail.com category: Data build-type: Simple library default-language: Haskell2010 other-modules: Paths_typed_range autogen-modules: Paths_typed_range exposed-modules: Data.Range.Typed , Data.Range.Typed.Ranges , Data.Range.Typed.Parser , Data.Range.Typed.Algebra other-modules: Data.Range.Typed.Data , Data.Range.Typed.Operators , Data.Range.Typed.RangeInternal , Data.Range.Typed.Spans , Data.Range.Typed.Util , Data.Range.Typed.Algebra.Internal , Data.Range.Typed.Algebra.Range , Data.Range.Typed.Algebra.Predicate build-depends: base >= 4.10 && < 5 , free >= 4.12 && < 6 , optics-core >= 0.3 && < 1 , parsec >= 3 && < 4 default-extensions: DataKinds GADTs TypeApplications ghc-options: -Wall test-suite spec default-language: Haskell2010 type: exitcode-stdio-1.0 main-is: Test/Range.hs other-modules: Test.RangeMerge build-depends: base >= 4.10 && < 5 , Cabal >= 3.0 , QuickCheck >= 2.4.0.1 && < 3 , test-framework-quickcheck2 >= 0.2 && < 0.4 , test-framework >= 0.4 && < 0.9 , free >= 4.12 && < 6 , optics-core >= 0.3 && < 1 , parsec >= 3 && < 4 , random >= 1.0 && < 2 , typed-range ghc-options: -rtsopts -Wall -fno-enable-rewrite-rules default-extensions: DataKinds GADTs TypeApplications