cabal-version: 1.12
name: free-alacarte
version: 1.0.0.7
maintainer:     Josep Bigorra <jjbigorra@gmail.com>
build-type:     Simple
license:        LGPL-3
license-file: COPYING
synopsis: Free monads based on intuitions from the Data types à la Carte.             
description: Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell.
homepage: https://github.com/jjba23/free-alacarte
                                         
library
  exposed-modules:
    Free.AlaCarte
  hs-source-dirs:
    src
  default-extensions:
      BangPatterns
      BinaryLiterals
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DoAndIfThenElse
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      OverloadedStrings
      PartialTypeSignatures
      PatternGuards
      PolyKinds
      RankNTypes
      RecordWildCards
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeFamilies
      TypeSynonymInstances
      ViewPatterns
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints
  build-depends:
    base < 5
  default-language: GHC2021

test-suite free-alacarte-spec
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Paths_free_alacarte
      Free.AlaCarte.Test
  hs-source-dirs:
      test
  ghc-options: -Wall -threaded -rtsopts "-with-rtsopts=-T -N"
  default-extensions:
      DataKinds
      DefaultSignatures
      DuplicateRecordFields
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiWayIf
      NamedFieldPuns
      NoImplicitPrelude
      OverloadedStrings
      PartialTypeSignatures
      RecordWildCards
      TypeFamilies
      ViewPatterns

  build-depends:
    free-alacarte
    , base
    , hspec
    , QuickCheck
    , tasty
    , tasty-hspec
    , relude
    , text
    , containers
    , time
  default-language: GHC2021