cabal-version: 1.12

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

name:           lambda-calculator
version:        3.0.0
synopsis:       A lambda calculus interpreter
description:    Please see README.md
category:       LambdaCalculus,Language,Teaching
homepage:       https://github.com/sgillespie/lambda-calculus#readme
bug-reports:    https://github.com/sgillespie/lambda-calculus/issues
author:         Sean D Gillespie
maintainer:     sean@mistersg.net
copyright:      2016 Sean Gillespie
license:        MIT
license-file:   LICENSE
build-type:     Simple

source-repository head
  type: git
  location: https://github.com/sgillespie/lambda-calculus

library
  exposed-modules:
      Language.Lambda.Shared.Errors
      Language.Lambda.Shared.UniqueSupply
      Language.Lambda.Untyped
      Language.Lambda.Untyped.Expression
      Language.Lambda.Untyped.Eval
      Language.Lambda.Untyped.Parser
      Language.Lambda.Untyped.State
      Language.Lambda.SystemF
      Language.Lambda.SystemF.Expression
      Language.Lambda.SystemF.Parser
      Language.Lambda.SystemF.State
      Language.Lambda.SystemF.TypeCheck
  other-modules:
      Language.Lambda
      Paths_lambda_calculator
  hs-source-dirs:
      src
  default-extensions:
      BangPatterns
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DoAndIfThenElse
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      PartialTypeSignatures
      PatternGuards
      PolyKinds
      RankNTypes
      RecordWildCards
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeFamilies
      TypeSynonymInstances
      ViewPatterns
      NoImplicitPrelude
      OverloadedStrings
  ghc-options: -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints
  build-depends:
      base >=4.9 && <5
    , containers
    , mtl
    , parsec
    , prettyprinter
    , rio
  default-language: Haskell2010

executable lambda-calculator
  main-is: Main.hs
  other-modules:
      CliOptions
      Repl
      Repl.Shared
      Repl.SystemF
      Repl.Untyped
      Paths_lambda_calculator
  hs-source-dirs:
      app
  default-extensions:
      BangPatterns
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DoAndIfThenElse
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      PartialTypeSignatures
      PatternGuards
      PolyKinds
      RankNTypes
      RecordWildCards
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeFamilies
      TypeSynonymInstances
      ViewPatterns
      NoImplicitPrelude
      OverloadedStrings
  ghc-options: -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.9 && <5
    , bytestring
    , containers
    , lambda-calculator
    , mtl
    , optparse-applicative
    , prettyprinter
    , repline
    , rio
    , text
  default-language: Haskell2010

test-suite lambda-calculus-lint
  type: exitcode-stdio-1.0
  main-is: HLint.hs
  hs-source-dirs:
      scripts
  default-extensions:
      BangPatterns
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DoAndIfThenElse
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      PartialTypeSignatures
      PatternGuards
      PolyKinds
      RankNTypes
      RecordWildCards
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeFamilies
      TypeSynonymInstances
      ViewPatterns
      ImplicitPrelude
  ghc-options: -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.9 && <5
    , hlint
    , mtl
    , prettyprinter
    , rio
  default-language: Haskell2010

test-suite lambda-calculus-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Language.Lambda.SystemF.ExpressionSpec
      Language.Lambda.SystemF.ParserSpec
      Language.Lambda.SystemF.TypeCheckSpec
      Language.Lambda.SystemFSpec
      Language.Lambda.Untyped.EvalSpec
      Language.Lambda.Untyped.Examples.BoolSpec
      Language.Lambda.Untyped.Examples.NatSpec
      Language.Lambda.Untyped.Examples.PairSpec
      Language.Lambda.Untyped.ExpressionSpec
      Language.Lambda.Untyped.HspecUtils
      Language.Lambda.Untyped.ParserSpec
      Language.Lambda.UntypedSpec
      Paths_lambda_calculator
  hs-source-dirs:
      test
  default-extensions:
      BangPatterns
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DeriveDataTypeable
      DeriveFoldable
      DeriveFunctor
      DeriveGeneric
      DeriveTraversable
      DoAndIfThenElse
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      FunctionalDependencies
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      MultiWayIf
      NamedFieldPuns
      PartialTypeSignatures
      PatternGuards
      PolyKinds
      RankNTypes
      RecordWildCards
      ScopedTypeVariables
      StandaloneDeriving
      TupleSections
      TypeFamilies
      TypeSynonymInstances
      ViewPatterns
  ghc-options: -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      HUnit
    , base >=4.9 && <5
    , containers
    , hspec
    , lambda-calculator
    , mtl
    , prettyprinter
    , rio
  default-language: Haskell2010