cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.32.0. -- -- see: https://github.com/sol/hpack -- -- hash: 7990f612989602be8cc01109be8cbf14f3b33c3346292f6f58d3c293094c3f8d name: lorentz version: 0.1.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 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.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.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.Import 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 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 -O0 build-depends: HUnit , QuickCheck , base-noprelude >=4.7 && <5 , bimap , bytestring , constraints >=0.11 , containers , data-default , first-class-families >=0.5.0.0 , fmt , formatting , ghc-prim , hspec , interpolate , lens , morley , morley-prelude >=0.3.0 , named , optparse-applicative , pretty-terminal , singletons , tasty , template-haskell , text , 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.EntryPoints Test.Lorentz.Errors Test.Lorentz.Extensible 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 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 -O0 -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 , 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