lorentz-0.2.0: lorentz.cabal

cabal-version: 2.2

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

name:           lorentz
version:        0.2.0
synopsis:       EDSL for the Michelson Language
description:    Lorentz is a powerful meta-programming tool which allows one to write Michelson contracts directly in Haskell. It has the same instructions as Michelson, but operates on Haskell values and allows one to use Haskell features.
category:       Language
homepage:       https://gitlab.com/morley-framework/morley
bug-reports:    https://gitlab.com/morley-framework/morley/issues
author:         camlCase, Serokell, Tocqueville Group
maintainer:     Serokell <hi@serokell.io>
copyright:      2019-2020 Tocqueville Group
license:        AGPL-3.0-or-later
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    CHANGES.md
    README.md

source-repository head
  type: git
  location: git@gitlab.com:morley-framework/morley.git

library
  exposed-modules:
      Lorentz
      Lorentz.Address
      Lorentz.ADT
      Lorentz.Arith
      Lorentz.Base
      Lorentz.Coercions
      Lorentz.Common
      Lorentz.Constraints
      Lorentz.Constraints.Derivative
      Lorentz.Constraints.Scopes
      Lorentz.ContractRegistry
      Lorentz.Doc
      Lorentz.Empty
      Lorentz.EntryPoints
      Lorentz.EntryPoints.Core
      Lorentz.EntryPoints.Doc
      Lorentz.EntryPoints.Helpers
      Lorentz.EntryPoints.Impl
      Lorentz.EntryPoints.Manual
      Lorentz.Errors
      Lorentz.Errors.Common
      Lorentz.Errors.Numeric
      Lorentz.Errors.Numeric.Contract
      Lorentz.Errors.Numeric.Doc
      Lorentz.Ext
      Lorentz.Extensible
      Lorentz.Instr
      Lorentz.Macro
      Lorentz.Pack
      Lorentz.Polymorphic
      Lorentz.Prelude
      Lorentz.Print
      Lorentz.Rebinded
      Lorentz.Referenced
      Lorentz.Run
      Lorentz.Store
      Lorentz.StoreClass
      Lorentz.Test
      Lorentz.Test.Consumer
      Lorentz.Test.Doc
      Lorentz.Test.Integrational
      Lorentz.Test.Unit
      Lorentz.TestScenario
      Lorentz.TypeAnns
      Lorentz.UParam
      Lorentz.UStore
      Lorentz.UStore.Common
      Lorentz.UStore.Haskell
      Lorentz.UStore.Instances
      Lorentz.UStore.Instr
      Lorentz.UStore.Lift
      Lorentz.UStore.Migration
      Lorentz.UStore.Migration.Base
      Lorentz.UStore.Migration.Batching
      Lorentz.UStore.Migration.Blocks
      Lorentz.UStore.Migration.Diff
      Lorentz.UStore.Types
      Lorentz.Value
      Lorentz.Zip
  other-modules:
      Paths_lorentz
  autogen-modules:
      Paths_lorentz
  hs-source-dirs:
      src
  default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns BlockArguments ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingStrategies EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators UndecidableInstances ViewPatterns
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude
  build-depends:
      HUnit
    , QuickCheck
    , aeson-pretty
    , base-noprelude >=4.7 && <5
    , bimap
    , bytestring
    , constraints >=0.11
    , containers
    , data-default
    , first-class-families >=0.5.0.0
    , fmt
    , formatting
    , ghc-prim
    , interpolate
    , lens
    , morley
    , morley-prelude >=0.3.0
    , mtl
    , named
    , optparse-applicative
    , pretty-terminal
    , singletons
    , template-haskell
    , text
    , tezos-bake-monitor-lib
    , unordered-containers
    , vinyl
  default-language: Haskell2010

test-suite lorentz-test
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Test.Doc
      Test.DocTest
      Test.Lorentz.Base
      Test.Lorentz.Conditionals
      Test.Lorentz.DeadCode
      Test.Lorentz.Doc.Positions
      Test.Lorentz.EntryPoints
      Test.Lorentz.EntryPoints.Doc
      Test.Lorentz.Errors
      Test.Lorentz.Errors.Numeric
      Test.Lorentz.Extensible
      Test.Lorentz.Interpreter
      Test.Lorentz.Macro
      Test.Lorentz.Pack
      Test.Lorentz.Print
      Test.Lorentz.UParam
      Test.Lorentz.UStore.Behaviour
      Test.Lorentz.UStore.Migration.Batched
      Test.Lorentz.UStore.Migration.Batched.V1
      Test.Lorentz.UStore.Migration.Batched.V2
      Test.Lorentz.UStore.Migration.FillInParts
      Test.Lorentz.UStore.Migration.Simple
      Test.Lorentz.UStore.Migration.Simple.V1
      Test.Lorentz.UStore.Migration.Simple.V2
      Test.Lorentz.UStore.SafeLift
      Test.Lorentz.UStore.SafeLift.Helpers
      Test.Tasty.TypeSpec
      Test.Util.TypeSpec
      Tree
      Paths_lorentz
  hs-source-dirs:
      test
  default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns BlockArguments ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingStrategies EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeApplications TypeFamilies TypeOperators UndecidableInstances ViewPatterns DerivingStrategies
  ghc-options: -Weverything -Wno-missing-exported-signatures -Wno-missing-import-lists -Wno-missed-specialisations -Wno-all-missed-specialisations -Wno-unsafe -Wno-safe -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-implicit-prelude -threaded -with-rtsopts=-N
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      HUnit
    , QuickCheck
    , base-noprelude >=4.7 && <5
    , bimap
    , bytestring
    , constraints
    , containers
    , data-default
    , filepath
    , first-class-families
    , fmt
    , formatting
    , lorentz
    , morley
    , morley-prelude
    , singletons
    , spoon
    , tasty
    , tasty-hunit-compat
    , tasty-quickcheck
    , text
    , type-spec
    , unordered-containers
    , vinyl
  default-language: Haskell2010