cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.31.1. -- -- see: https://github.com/sol/hpack -- -- hash: 8457691bdf7fc43270f283f6722fc1c2dbc40a1cbc9cf90d3f2724657b6f62bf name: morley version: 0.3.0.1 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://issues.serokell.io/issues/TM author: camlCase, Serokell, Tocqueville Group maintainer: Serokell copyright: 2018 camlCase, 2019 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.Constraints Lorentz.Discover Lorentz.Errors Lorentz.Ext Lorentz.Instr Lorentz.Macro Lorentz.Polymorphic Lorentz.Prelude Lorentz.Rebinded Lorentz.Referenced Lorentz.Store Lorentz.Test Lorentz.Test.Integrational Lorentz.Value Michelson.EqParam Michelson.ErrorPos Michelson.Interpret Michelson.Interpret.Pack Michelson.Interpret.Unpack Michelson.Let Michelson.Macro 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.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.Extract Michelson.Typed.Haskell Michelson.Typed.Haskell.Instr Michelson.Typed.Haskell.Instr.Helpers Michelson.Typed.Haskell.Instr.Product Michelson.Typed.Haskell.Instr.Sum Michelson.Typed.Haskell.Value Michelson.Typed.Instr Michelson.Typed.Polymorphic Michelson.Typed.Print Michelson.Typed.Scope Michelson.Typed.Sing Michelson.Typed.T Michelson.Typed.Value Michelson.Untyped Michelson.Untyped.Aliases Michelson.Untyped.Annotation Michelson.Untyped.Contract Michelson.Untyped.Ext Michelson.Untyped.Instr Michelson.Untyped.Type Michelson.Untyped.Value Tezos.Address Tezos.Core Tezos.Crypto Util.Alternative Util.Default Util.Generic Util.Instances Util.IO Util.Lens Util.Named Util.Peano Util.Test.Arbitrary Util.Test.Ingredients Util.Type Util.TypeTuple Util.TypeTuple.Class Util.TypeTuple.Instances Util.TypeTuple.TH other-modules: Paths_morley hs-source-dirs: src default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving 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: QuickCheck , aeson , aeson-options , aeson-pretty , base-noprelude >=4.7 && <5 , base16-bytestring , base58-bytestring , binary , bytestring , constraints , containers , cryptonite , data-default , filepath , fmt , formatting , ghc-prim , hex-text , hspec , lens , megaparsec >=7.0.0 , memory , morley-prelude , mtl , named , parser-combinators >=1.0.0 , quickcheck-arbitrary-adt , quickcheck-instances , singletons , syb , tasty , tasty-ant-xml , template-haskell , text , time , timerep , transformers-compat ==0.6.5 , vector , vinyl , wl-pprint-text default-language: Haskell2010 executable contract-discover main-is: Main.hs other-modules: Paths_morley hs-source-dirs: contract-discover default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving 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: base-noprelude >=4.7 && <5 , data-default , directory , filepath , fmt , megaparsec , morley , morley-prelude , 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 ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving 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: 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.CValConversion Test.Ext Test.Interpreter Test.Interpreter.A1.Feather Test.Interpreter.CallSelf Test.Interpreter.Compare Test.Interpreter.Conditionals Test.Interpreter.ContractOp Test.Interpreter.EnvironmentSpec Test.Interpreter.StringCaller Test.Lorentz.Discovery Test.Lorentz.Macro Test.Macro Test.Michelson.Runtime Test.Michelson.Text Test.Parser Test.Printer.Michelson Test.Serialization.Aeson Test.Serialization.Michelson Test.Tasty.HUnit Test.Tezos.Address Test.Tezos.Crypto Test.Typecheck Test.Untyped.Instr Test.Util.Contracts Test.Util.Parser Test.Util.QuickCheck Test.ValConversion Tree Paths_morley hs-source-dirs: test default-extensions: ApplicativeDo AllowAmbiguousTypes BangPatterns ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable EmptyCase FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving LambdaCase MonadFailDesugaring MultiParamTypeClasses MultiWayIf NamedFieldPuns NegativeLiterals NumDecimals OverloadedLabels OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes RecordWildCards RecursiveDo ScopedTypeVariables StandaloneDeriving 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 , aeson , base-noprelude >=4.7 && <5 , bytestring , containers , data-default , directory , filepath , fmt , formatting , generic-arbitrary , hex-text , hspec , hspec-expectations , lens , megaparsec >=7.0.0 , morley , morley-prelude , mtl , qm-interpolated-string , quickcheck-arbitrary-adt , quickcheck-instances , singletons , syb , tasty , tasty-hspec , tasty-quickcheck , text default-language: Haskell2010