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: 33cc1385806c0bba34d30ab3ced63fed49ed649195dbcaa6e240edf9cbe6cd01 name: morley version: 0.7.0 synopsis: Developer tools for the Michelson Language description: A library to make writing smart contracts in Michelson — the smart contract language of the Tezos blockchain — pleasant and effective. 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: 2018 camlCase, 2019-2020 Tocqueville Group license: AGPL-3.0-or-later license-file: LICENSE build-type: Simple extra-source-files: CHANGES.md CONTRIBUTING.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.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 Michelson.Analyzer Michelson.Doc Michelson.Doc.Test Michelson.ErrorPos Michelson.FailPattern Michelson.Interpret Michelson.Interpret.Pack Michelson.Interpret.Unpack Michelson.Let Michelson.Macro Michelson.OpSize Michelson.Optimizer Michelson.Parser Michelson.Parser.Annotations Michelson.Parser.Error Michelson.Parser.Ext Michelson.Parser.Helpers Michelson.Parser.Instr Michelson.Parser.Let Michelson.Parser.Lexer Michelson.Parser.Macro Michelson.Parser.Type Michelson.Parser.Types Michelson.Parser.Value Michelson.Preprocess Michelson.Printer Michelson.Printer.Util Michelson.Runtime Michelson.Runtime.GState Michelson.Runtime.TxData Michelson.Test Michelson.Test.Dummy Michelson.Test.Gen Michelson.Test.Import Michelson.Test.Integrational Michelson.Test.Unit Michelson.Test.Util Michelson.Text Michelson.TypeCheck Michelson.TypeCheck.Error Michelson.TypeCheck.Ext Michelson.TypeCheck.Helpers Michelson.TypeCheck.Instr Michelson.TypeCheck.TypeCheck Michelson.TypeCheck.Types Michelson.TypeCheck.Value Michelson.Typed Michelson.Typed.Aliases Michelson.Typed.Annotation Michelson.Typed.Arith Michelson.Typed.Convert Michelson.Typed.CValue Michelson.Typed.Doc Michelson.Typed.EntryPoints Michelson.Typed.Extract Michelson.Typed.Haskell Michelson.Typed.Haskell.Doc Michelson.Typed.Haskell.Instr Michelson.Typed.Haskell.Instr.Helpers Michelson.Typed.Haskell.Instr.Product Michelson.Typed.Haskell.Instr.Sum Michelson.Typed.Haskell.LooseSum Michelson.Typed.Haskell.Value Michelson.Typed.Instr Michelson.Typed.Polymorphic Michelson.Typed.Scope Michelson.Typed.Sing Michelson.Typed.T Michelson.Typed.Util Michelson.Typed.Value Michelson.Untyped Michelson.Untyped.Aliases Michelson.Untyped.Annotation Michelson.Untyped.Contract Michelson.Untyped.EntryPoints Michelson.Untyped.Ext Michelson.Untyped.Instr Michelson.Untyped.Type Michelson.Untyped.Value Tezos.Address Tezos.Core Tezos.Crypto Tezos.Crypto.Ed25519 Tezos.Crypto.Hash Tezos.Crypto.P256 Tezos.Crypto.Secp256k1 Tezos.Crypto.Util Util.Alternative Util.ByteString Util.Default Util.Exception Util.Fcf Util.Generic Util.Instances Util.IO Util.Lens Util.Markdown Util.Named Util.Peano Util.Positive Util.Test.Arbitrary Util.Test.Ingredients Util.Text Util.Type Util.Typeable Util.TypeLits Util.TypeTuple Util.TypeTuple.Class Util.TypeTuple.Instances Util.TypeTuple.TH other-modules: Paths_morley 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 , aeson , aeson-options , aeson-pretty , base-noprelude >=4.7 && <5 , base16-bytestring , base58-bytestring , bimap , binary , bytestring , constraints >=0.11 , containers , cryptonite , data-default , first-class-families >=0.5.0.0 , fmt , formatting , ghc-prim , gitrev , hex-text , hspec , interpolate , lens , megaparsec >=7.0.0 , memory , morley-prelude >=0.3.0 , mtl , named , optparse-applicative , parser-combinators >=1.0.0 , pretty-terminal , quickcheck-arbitrary-adt , quickcheck-instances , show-type , singletons , syb , tasty , tasty-ant-xml , tasty-hunit-compat , template-haskell , text , th-lift , th-lift-instances , time , timerep , transformers-compat ==0.6.5 , unordered-containers , vector , vinyl , wl-pprint-text default-language: Haskell2010 executable morley main-is: Main.hs other-modules: Paths_morley autogen-modules: Paths_morley hs-source-dirs: app 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: base-noprelude >=4.7 && <5 , fmt , morley , morley-prelude , named , optparse-applicative , pretty-simple default-language: Haskell2010 test-suite morley-test type: exitcode-stdio-1.0 main-is: Main.hs other-modules: Test.Analyzer Test.CValConversion Test.Doc Test.DocTest Test.EntryPoints Test.Ext Test.Integrational Test.Interpreter Test.Interpreter.Auction Test.Interpreter.CallSelf Test.Interpreter.Compare Test.Interpreter.ComparePairs Test.Interpreter.Conditionals Test.Interpreter.ContractOp Test.Interpreter.EnvironmentSpec Test.Interpreter.StringCaller 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.Macro Test.Michelson.Runtime Test.Michelson.Text Test.Michelson.Typed.Util Test.OpSize Test.Optimizer Test.Parser Test.Preprocess Test.Printer.Michelson Test.Serialization.Aeson Test.Serialization.Michelson Test.Tasty.TypeSpec Test.Tezos.Address Test.Tezos.Core Test.Tezos.Crypto Test.Tezos.Crypto.Hash Test.Typeable Test.Typecheck Test.Untyped.Instr Test.Util.Contracts Test.Util.HUnit Test.Util.Parser Test.Util.QuickCheck Test.Util.TypeSpec Test.ValConversion Tree Paths_morley 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 , aeson , base-noprelude >=4.7 && <5 , bimap , bytestring , constraints , containers , data-default , directory , filepath , first-class-families , fmt , formatting , hex-text , hspec , hspec-expectations , lens , megaparsec >=7.0.0 , morley , morley-prelude , quickcheck-arbitrary-adt , quickcheck-instances , singletons , spoon , syb , tasty , tasty-hspec , tasty-hunit-compat , tasty-quickcheck , text , type-spec , unordered-containers , vinyl default-language: Haskell2010