thinking-with-types.cabal

cabal-version: 1.12

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

name:           thinking-with-types
version:        0.1.0.0
description:    Please see the README on GitHub at <https://github.com/isovector/design-tools#readme>
homepage:       https://github.com/isovector/thinking-with-types#readme
bug-reports:    https://github.com/isovector/thinking-with-types/issues
author:         Sandy Maguire
maintainer:     sandy@sandymaguire.me
copyright:      2021 Sandy Maguire
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md

source-repository head
  type: git
  location: https://github.com/isovector/thinking-with-types

library
  exposed-modules:
      AdHocSingletons
      Algebra
      Commander
      Constraints
      Database
      Defunc
      DeriveAnyClass
      FCTF
      GADTs
      Generic.HKDNames
      Generic.Monoid
      Generic.Omit
      HKD
      ImpredicativeTypes
      JSONSchema
      Kan
      Kinds
      Misc
      NoImpredicativeTypes
      OpenProduct
      OpenSum
      PosNeg
      Printf
      PrintfTypes
      QuantifiedConstraints
      RankN
      Roles
      Sigma
      Singletons
      SingletonsTH
      ST
      TicTacToe
      TypeApps
      War.Age
      War.Ecstasy
      War.Polysemy
      War.Refinery
  other-modules:
      Paths_thinking_with_types
  hs-source-dirs:
      code
  default-extensions:
      BangPatterns
      BinaryLiterals
      ConstrainedClassMethods
      ConstraintKinds
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveLift
      DeriveTraversable
      DoAndIfThenElse
      EmptyCase
      EmptyDataDecls
      EmptyDataDeriving
      ExistentialQuantification
      ExplicitForAll
      FlexibleContexts
      FlexibleInstances
      ForeignFunctionInterface
      GADTSyntax
      GeneralisedNewtypeDeriving
      HexFloatLiterals
      ImplicitPrelude
      ImportQualifiedPost
      InstanceSigs
      KindSignatures
      MonomorphismRestriction
      MultiParamTypeClasses
      NamedFieldPuns
      NumericUnderscores
      PatternGuards
      PolyKinds
      PostfixOperators
      RankNTypes
      RelaxedPolyRec
      ScopedTypeVariables
      StandaloneDeriving
      StandaloneKindSignatures
      StarIsType
      TraditionalRecordSyntax
      TupleSections
      TypeApplications
      TypeOperators
      TypeSynonymInstances
  ghc-options: -Wall
  build-depends:
      aeson
    , base >=4.7 && <5
    , bytestring
    , constraints
    , containers
    , first-class-families
    , inspection-testing
    , kan-extensions
    , kind-generics
    , kind-generics-th
    , lens
    , mtl
    , singletons
    , singletons-base
    , singletons-th
    , text
    , transformers
    , vector
    , witherable
  default-language: Haskell2010