ten-0.1.0.0: ten.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 420a8fd5dab8b49f35524f82502e9d7f80fabffd59b9a3c7d9cfbf5999c83618

name:           ten
version:        0.1.0.0
synopsis:       Typeclasses like Functor, etc. over arity-1 type constructors.
description:    This provides a mirror of the traditional typeclass hierarchy for types of
                kind @(k -> Type) -> Type@, or functors from the category __Hask{k}__ to
                __Hask__, where __Hask{k}__ denotes the category whose objects are mappings
                from @k@ to @Type@, and whose morphisms are the parametric functions between
                them.  In general, these functors look like variations on the theme of
                "polymorphic records", also frequently described as "higher-kinded data".
                .
                We currently provide the following classes, which correspond directly to
                their equivalents in "base" or "adjunctions": 'Functor10', 'Foldable10',
                'Traversable10', 'Applicative10', and 'Representable10'.  Additionally, a
                class 'Constrained10' provides instances for the argument of each occurrence
                of the type parameter in a value.
category:       Data
homepage:       https://github.com/google/hs-ten#readme
bug-reports:    https://github.com/google/hs-ten/issues
author:         Andrew Pritchard <awpr@google.com>, Reiner Pope <reinerp@google.com>

maintainer:     Andrew Pritchard <awpr@google.com>
copyright:      2018-2021 Google LLC
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/google/hs-ten
  subdir: ten

library
  exposed-modules:
      Data.Functor.Field
      Data.Functor.Update
      Data.Ten
      Data.Ten.Ap
      Data.Ten.Applicative
      Data.Ten.Entails
      Data.Ten.Exists
      Data.Ten.Field
      Data.Ten.Foldable
      Data.Ten.Foldable.WithIndex
      Data.Ten.Functor
      Data.Ten.Functor.WithIndex
      Data.Ten.Internal
      Data.Ten.Representable
      Data.Ten.Sigma
      Data.Ten.Traversable
      Data.Ten.Traversable.WithIndex
      Data.Ten.Update
  other-modules:
      Paths_ten
  hs-source-dirs:
      src
  build-depends:
      adjunctions >=4.0 && <4.5
    , base >=4.12 && <4.16
    , data-default-class >=0.0 && <0.2
    , deepseq >=1.1 && <1.5
    , distributive >=0.1 && <0.7
    , hashable >=1.0 && <1.4
    , portray >=0.1 && <0.2
    , portray-diff >=0.1 && <0.2
    , some >=1.0 && <1.1
    , text >=0.1 && <1.3
    , transformers >=0.0.1 && <0.6
    , wrapped >=0.1 && <0.2
  default-language: Haskell2010

test-suite Traversable10-test
  type: exitcode-stdio-1.0
  main-is: Traversable10Test.hs
  other-modules:
      Paths_ten
  hs-source-dirs:
      test
  build-depends:
      HUnit
    , adjunctions >=4.0 && <4.5
    , base >=4.12 && <4.16
    , data-default-class >=0.0 && <0.2
    , deepseq >=1.1 && <1.5
    , distributive >=0.1 && <0.7
    , hashable >=1.0 && <1.4
    , portray >=0.1 && <0.2
    , portray-diff >=0.1 && <0.2
    , some >=1.0 && <1.1
    , ten
    , test-framework
    , test-framework-hunit
    , text >=0.1 && <1.3
    , transformers >=0.0.1 && <0.6
    , wrapped >=0.1 && <0.2
  default-language: Haskell2010