Cabal revisions of morley-1.20.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.0---- This file has been generated from package.yaml by hpack version 0.34.4.------ see: https://github.com/sol/hpack--name: morley-version: 1.20.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 <hi@serokell.io>-copyright: 2018 camlCase, 2019-2021 Tocqueville Group, 2021-2023 Oxhead Alpha-license: MIT-license-file: LICENSE-build-type: Simple-extra-source-files:- CHANGES.md- README.md-extra-doc-files:- docs/michelsonTypes.md- docs/morleyInterpreter.md- docs/morleyRuntime.md- docs/morleyTypechecker.md--source-repository head- type: git- location: git@gitlab.com:morley-framework/morley.git--library- exposed-modules:- Morley.App.CLI- Morley.App.REPL- Morley.AsRPC- Morley.CLI- Morley.Micheline- Morley.Micheline.Binary- Morley.Micheline.Binary.Internal- Morley.Micheline.Class- Morley.Micheline.Expression- Morley.Micheline.Expression.Internal.MichelinePrimitive- Morley.Micheline.Expression.Internal.TH- Morley.Micheline.Expression.WithMeta- Morley.Micheline.Json- Morley.Michelson.Analyzer- Morley.Michelson.Doc- Morley.Michelson.ErrorPos- Morley.Michelson.FailPattern- Morley.Michelson.Internal.ViewName- Morley.Michelson.Internal.ViewsSet- Morley.Michelson.Interpret- Morley.Michelson.Interpret.Pack- Morley.Michelson.Interpret.Unpack- Morley.Michelson.Interpret.Utils- Morley.Michelson.Macro- Morley.Michelson.Optimizer- Morley.Michelson.Optimizer.Internal.Proofs- Morley.Michelson.Optimizer.Internal.Rules- Morley.Michelson.Optimizer.Internal.Ruleset- Morley.Michelson.Optimizer.Utils- Morley.Michelson.Parser- Morley.Michelson.Parser.Annotations- Morley.Michelson.Parser.Common- Morley.Michelson.Parser.Error- Morley.Michelson.Parser.Helpers- Morley.Michelson.Parser.Instr- Morley.Michelson.Parser.Lexer- Morley.Michelson.Parser.Macro- Morley.Michelson.Parser.Type- Morley.Michelson.Parser.Types- Morley.Michelson.Parser.Value- Morley.Michelson.Preprocess- Morley.Michelson.Printer- Morley.Michelson.Printer.Util- Morley.Michelson.Runtime- Morley.Michelson.Runtime.Dummy- Morley.Michelson.Runtime.GState- Morley.Michelson.Runtime.Import- Morley.Michelson.Runtime.RunCode- Morley.Michelson.Runtime.TxData- Morley.Michelson.Text- Morley.Michelson.TypeCheck- Morley.Michelson.TypeCheck.Error- Morley.Michelson.TypeCheck.Ext- Morley.Michelson.TypeCheck.Helpers- Morley.Michelson.TypeCheck.Instr- Morley.Michelson.TypeCheck.TypeCheck- Morley.Michelson.TypeCheck.TypeCheckedOp- Morley.Michelson.TypeCheck.TypeCheckedSeq- Morley.Michelson.TypeCheck.Types- Morley.Michelson.TypeCheck.Value- Morley.Michelson.Typed- Morley.Michelson.Typed.Aliases- Morley.Michelson.Typed.AnnotatedValue- Morley.Michelson.Typed.Annotation- Morley.Michelson.Typed.Arith- Morley.Michelson.Typed.ClassifiedInstr- Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.HasAnns- Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsAlwaysFailing- Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsMichelson- Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren- Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum- Morley.Michelson.Typed.ClassifiedInstr.Internal.MainImpl- Morley.Michelson.Typed.ClassifiedInstr.Internal.TH- Morley.Michelson.Typed.ClassifiedInstr.Internal.Types- Morley.Michelson.Typed.ClassifiedInstr.Internal.WithClassifiedInstr- Morley.Michelson.Typed.Contract- Morley.Michelson.Typed.Convert- Morley.Michelson.Typed.Doc- Morley.Michelson.Typed.Entrypoints- Morley.Michelson.Typed.Existential- Morley.Michelson.Typed.Extract- Morley.Michelson.Typed.Haskell- Morley.Michelson.Typed.Haskell.Compatibility- Morley.Michelson.Typed.Haskell.Doc- Morley.Michelson.Typed.Haskell.Instr- Morley.Michelson.Typed.Haskell.Instr.Helpers- Morley.Michelson.Typed.Haskell.Instr.Product- Morley.Michelson.Typed.Haskell.Instr.Sum- Morley.Michelson.Typed.Haskell.LooseSum- Morley.Michelson.Typed.Haskell.ValidateDescription- Morley.Michelson.Typed.Haskell.Value- Morley.Michelson.Typed.Instr- Morley.Michelson.Typed.Instr.Constraints- Morley.Michelson.Typed.Instr.Internal.Proofs- Morley.Michelson.Typed.Operation- Morley.Michelson.Typed.Polymorphic- Morley.Michelson.Typed.Scope- Morley.Michelson.Typed.Scope.Internal.CheckScope- Morley.Michelson.Typed.Scope.Internal.Comparable- Morley.Michelson.Typed.Scope.Internal.ForbidT- Morley.Michelson.Typed.Scope.Internal.Presence- Morley.Michelson.Typed.Scope.Internal.Scopes- Morley.Michelson.Typed.Scope.Internal.TH- Morley.Michelson.Typed.Scope.Internal.WellTyped- Morley.Michelson.Typed.Scope.Internal.WithDeMorganScope- Morley.Michelson.Typed.Sing- Morley.Michelson.Typed.T- Morley.Michelson.Typed.TypeLevel- Morley.Michelson.Typed.Util- Morley.Michelson.Typed.Value- Morley.Michelson.Typed.View- Morley.Michelson.Untyped- Morley.Michelson.Untyped.Aliases- Morley.Michelson.Untyped.Annotation- Morley.Michelson.Untyped.Contract- Morley.Michelson.Untyped.Entrypoints- Morley.Michelson.Untyped.Ext- Morley.Michelson.Untyped.HoistInstr- Morley.Michelson.Untyped.Instr- Morley.Michelson.Untyped.Type- Morley.Michelson.Untyped.Value- Morley.Michelson.Untyped.View- Morley.Tezos.Address- Morley.Tezos.Address.Alias- Morley.Tezos.Address.Kinds- Morley.Tezos.Core- Morley.Tezos.Crypto- Morley.Tezos.Crypto.BLS- Morley.Tezos.Crypto.BLS12381- Morley.Tezos.Crypto.Ed25519- Morley.Tezos.Crypto.Hash- Morley.Tezos.Crypto.P256- Morley.Tezos.Crypto.Secp256k1- Morley.Tezos.Crypto.Timelock- Morley.Tezos.Crypto.Util- Morley.Util.Aeson- Morley.Util.Bimap- Morley.Util.Binary- Morley.Util.ByteString- Morley.Util.CLI- Morley.Util.Constrained- Morley.Util.CustomGeneric- Morley.Util.Default- Morley.Util.Exception- Morley.Util.Fcf- Morley.Util.Generic- Morley.Util.Instances- Morley.Util.Interpolate- Morley.Util.Interpolate.Internal- Morley.Util.Label- Morley.Util.Lens- Morley.Util.Main- Morley.Util.Markdown- Morley.Util.MismatchError- Morley.Util.MultiReader- Morley.Util.Named- Morley.Util.Peano- Morley.Util.PeanoNatural- Morley.Util.ShowType- Morley.Util.Sing- Morley.Util.SizedList- Morley.Util.SizedList.Types- Morley.Util.StubbedProof- Morley.Util.Text- Morley.Util.TH- Morley.Util.Type- Morley.Util.Typeable- Morley.Util.TypeLits- Morley.Util.TypeTuple- Morley.Util.TypeTuple.Class- Morley.Util.TypeTuple.Instances- Morley.Util.TypeTuple.TH- other-modules:- Paths_morley- hs-source-dirs:- src- default-extensions:- AllowAmbiguousTypes- ApplicativeDo- BangPatterns- BlockArguments- ConstraintKinds- DataKinds- DefaultSignatures- DeriveAnyClass- DeriveDataTypeable- DeriveFoldable- DeriveFunctor- DeriveGeneric- DeriveTraversable- DerivingStrategies- DerivingVia- EmptyCase- FlexibleContexts- FlexibleInstances- GADTs- GeneralizedNewtypeDeriving- ImportQualifiedPost- InstanceSigs- LambdaCase- MultiParamTypeClasses- MultiWayIf- NamedFieldPuns- NegativeLiterals- NumDecimals- NumericUnderscores- OverloadedLabels- OverloadedStrings- PatternSynonyms- PolyKinds- QuantifiedConstraints- QuasiQuotes- RankNTypes- RecordWildCards- RecursiveDo- ScopedTypeVariables- StandaloneDeriving- StandaloneKindSignatures- StrictData- TemplateHaskell- TupleSections- TypeApplications- TypeFamilies- TypeOperators- UndecidableInstances- UndecidableSuperClasses- 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 -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-missing-kind-signatures -Wno-implicit-lift -Wno-unticked-promoted-constructors- build-depends:- Diff- , MonadRandom- , aeson- , aeson-casing- , aeson-pretty- , base-noprelude >=4.7 && <5- , base58-bytestring- , bimap- , binary- , bytestring- , constraints >=0.11- , constraints-extras- , containers- , crypto-sodium >=0.0.5.0- , cryptonite- , data-default- , dependent-sum-template- , elliptic-curve- , first-class-families >=0.5.0.0- , galois-field- , generic-deriving- , gitrev- , haskeline- , hex-text- , hsblst- , lens- , megaparsec >=7.0.0- , memory- , morley-prelude >=0.3.0- , mtl- , named- , optparse-applicative- , pairing- , parser-combinators >=1.0.0- , prettyprinter- , scientific- , semigroups >=0.19.1- , singletons- , singletons-base- , some- , syb- , template-haskell- , text- , text-manipulate- , th-lift-instances- , th-reify-many- , time- , timerep- , type-errors- , uncaught-exception- , unordered-containers- , vector- , vinyl >=0.13.1- , with-utf8- default-language: Haskell2010--executable morley- main-is: Main.hs- other-modules:- Paths_morley- autogen-modules:- Paths_morley- hs-source-dirs:- app- default-extensions:- AllowAmbiguousTypes- ApplicativeDo- BangPatterns- BlockArguments- ConstraintKinds- DataKinds- DefaultSignatures- DeriveAnyClass- DeriveDataTypeable- DeriveFoldable- DeriveFunctor- DeriveGeneric- DeriveTraversable- DerivingStrategies- DerivingVia- EmptyCase- FlexibleContexts- FlexibleInstances- GADTs- GeneralizedNewtypeDeriving- ImportQualifiedPost- InstanceSigs- LambdaCase- MultiParamTypeClasses- MultiWayIf- NamedFieldPuns- NegativeLiterals- NumDecimals- NumericUnderscores- OverloadedLabels- OverloadedStrings- PatternSynonyms- PolyKinds- QuantifiedConstraints- QuasiQuotes- RankNTypes- RecordWildCards- RecursiveDo- ScopedTypeVariables- StandaloneDeriving- StandaloneKindSignatures- StrictData- TemplateHaskell- TupleSections- TypeApplications- TypeFamilies- TypeOperators- UndecidableInstances- UndecidableSuperClasses- 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 -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-missing-kind-signatures -Wno-implicit-lift -Wno-unticked-promoted-constructors- build-depends:- base-noprelude >=4.7 && <5- , morley- , morley-prelude- , optparse-applicative- default-language: Haskell2010+cabal-version: 2.0 + +-- This file has been generated from package.yaml by hpack version 0.34.4. +-- +-- see: https://github.com/sol/hpack + +name: morley +version: 1.20.0 +x-revision: 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://gitlab.com/morley-framework/morley/-/issues +author: camlCase, Serokell, Tocqueville Group +maintainer: Serokell <libraries@serokell.io> +copyright: 2018 camlCase, 2019-2021 Tocqueville Group, 2021-2023 Oxhead Alpha +license: MIT +license-file: LICENSE +build-type: Simple +extra-source-files: + CHANGES.md + README.md +extra-doc-files: + docs/michelsonTypes.md + docs/morleyInterpreter.md + docs/morleyRuntime.md + docs/morleyTypechecker.md + +source-repository head + type: git + location: git@gitlab.com:morley-framework/morley.git + +library + exposed-modules: + Morley.App.CLI + Morley.App.REPL + Morley.AsRPC + Morley.CLI + Morley.Micheline + Morley.Micheline.Binary + Morley.Micheline.Binary.Internal + Morley.Micheline.Class + Morley.Micheline.Expression + Morley.Micheline.Expression.Internal.MichelinePrimitive + Morley.Micheline.Expression.Internal.TH + Morley.Micheline.Expression.WithMeta + Morley.Micheline.Json + Morley.Michelson.Analyzer + Morley.Michelson.Doc + Morley.Michelson.ErrorPos + Morley.Michelson.FailPattern + Morley.Michelson.Internal.ViewName + Morley.Michelson.Internal.ViewsSet + Morley.Michelson.Interpret + Morley.Michelson.Interpret.Pack + Morley.Michelson.Interpret.Unpack + Morley.Michelson.Interpret.Utils + Morley.Michelson.Macro + Morley.Michelson.Optimizer + Morley.Michelson.Optimizer.Internal.Proofs + Morley.Michelson.Optimizer.Internal.Rules + Morley.Michelson.Optimizer.Internal.Ruleset + Morley.Michelson.Optimizer.Utils + Morley.Michelson.Parser + Morley.Michelson.Parser.Annotations + Morley.Michelson.Parser.Common + Morley.Michelson.Parser.Error + Morley.Michelson.Parser.Helpers + Morley.Michelson.Parser.Instr + Morley.Michelson.Parser.Lexer + Morley.Michelson.Parser.Macro + Morley.Michelson.Parser.Type + Morley.Michelson.Parser.Types + Morley.Michelson.Parser.Value + Morley.Michelson.Preprocess + Morley.Michelson.Printer + Morley.Michelson.Printer.Util + Morley.Michelson.Runtime + Morley.Michelson.Runtime.Dummy + Morley.Michelson.Runtime.GState + Morley.Michelson.Runtime.Import + Morley.Michelson.Runtime.RunCode + Morley.Michelson.Runtime.TxData + Morley.Michelson.Text + Morley.Michelson.TypeCheck + Morley.Michelson.TypeCheck.Error + Morley.Michelson.TypeCheck.Ext + Morley.Michelson.TypeCheck.Helpers + Morley.Michelson.TypeCheck.Instr + Morley.Michelson.TypeCheck.TypeCheck + Morley.Michelson.TypeCheck.TypeCheckedOp + Morley.Michelson.TypeCheck.TypeCheckedSeq + Morley.Michelson.TypeCheck.Types + Morley.Michelson.TypeCheck.Value + Morley.Michelson.Typed + Morley.Michelson.Typed.Aliases + Morley.Michelson.Typed.AnnotatedValue + Morley.Michelson.Typed.Annotation + Morley.Michelson.Typed.Arith + Morley.Michelson.Typed.ClassifiedInstr + Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.HasAnns + Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsAlwaysFailing + Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsMichelson + Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren + Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum + Morley.Michelson.Typed.ClassifiedInstr.Internal.MainImpl + Morley.Michelson.Typed.ClassifiedInstr.Internal.TH + Morley.Michelson.Typed.ClassifiedInstr.Internal.Types + Morley.Michelson.Typed.ClassifiedInstr.Internal.WithClassifiedInstr + Morley.Michelson.Typed.Contract + Morley.Michelson.Typed.Convert + Morley.Michelson.Typed.Doc + Morley.Michelson.Typed.Entrypoints + Morley.Michelson.Typed.Existential + Morley.Michelson.Typed.Extract + Morley.Michelson.Typed.Haskell + Morley.Michelson.Typed.Haskell.Compatibility + Morley.Michelson.Typed.Haskell.Doc + Morley.Michelson.Typed.Haskell.Instr + Morley.Michelson.Typed.Haskell.Instr.Helpers + Morley.Michelson.Typed.Haskell.Instr.Product + Morley.Michelson.Typed.Haskell.Instr.Sum + Morley.Michelson.Typed.Haskell.LooseSum + Morley.Michelson.Typed.Haskell.ValidateDescription + Morley.Michelson.Typed.Haskell.Value + Morley.Michelson.Typed.Instr + Morley.Michelson.Typed.Instr.Constraints + Morley.Michelson.Typed.Instr.Internal.Proofs + Morley.Michelson.Typed.Operation + Morley.Michelson.Typed.Polymorphic + Morley.Michelson.Typed.Scope + Morley.Michelson.Typed.Scope.Internal.CheckScope + Morley.Michelson.Typed.Scope.Internal.Comparable + Morley.Michelson.Typed.Scope.Internal.ForbidT + Morley.Michelson.Typed.Scope.Internal.Presence + Morley.Michelson.Typed.Scope.Internal.Scopes + Morley.Michelson.Typed.Scope.Internal.TH + Morley.Michelson.Typed.Scope.Internal.WellTyped + Morley.Michelson.Typed.Scope.Internal.WithDeMorganScope + Morley.Michelson.Typed.Sing + Morley.Michelson.Typed.T + Morley.Michelson.Typed.TypeLevel + Morley.Michelson.Typed.Util + Morley.Michelson.Typed.Value + Morley.Michelson.Typed.View + Morley.Michelson.Untyped + Morley.Michelson.Untyped.Aliases + Morley.Michelson.Untyped.Annotation + Morley.Michelson.Untyped.Contract + Morley.Michelson.Untyped.Entrypoints + Morley.Michelson.Untyped.Ext + Morley.Michelson.Untyped.HoistInstr + Morley.Michelson.Untyped.Instr + Morley.Michelson.Untyped.Type + Morley.Michelson.Untyped.Value + Morley.Michelson.Untyped.View + Morley.Tezos.Address + Morley.Tezos.Address.Alias + Morley.Tezos.Address.Kinds + Morley.Tezos.Core + Morley.Tezos.Crypto + Morley.Tezos.Crypto.BLS + Morley.Tezos.Crypto.BLS12381 + Morley.Tezos.Crypto.Ed25519 + Morley.Tezos.Crypto.Hash + Morley.Tezos.Crypto.P256 + Morley.Tezos.Crypto.Secp256k1 + Morley.Tezos.Crypto.Timelock + Morley.Tezos.Crypto.Util + Morley.Util.Aeson + Morley.Util.Bimap + Morley.Util.Binary + Morley.Util.ByteString + Morley.Util.CLI + Morley.Util.Constrained + Morley.Util.CustomGeneric + Morley.Util.Default + Morley.Util.Exception + Morley.Util.Fcf + Morley.Util.Generic + Morley.Util.Instances + Morley.Util.Interpolate + Morley.Util.Interpolate.Internal + Morley.Util.Label + Morley.Util.Lens + Morley.Util.Main + Morley.Util.Markdown + Morley.Util.MismatchError + Morley.Util.MultiReader + Morley.Util.Named + Morley.Util.Peano + Morley.Util.PeanoNatural + Morley.Util.ShowType + Morley.Util.Sing + Morley.Util.SizedList + Morley.Util.SizedList.Types + Morley.Util.StubbedProof + Morley.Util.Text + Morley.Util.TH + Morley.Util.Type + Morley.Util.Typeable + Morley.Util.TypeLits + Morley.Util.TypeTuple + Morley.Util.TypeTuple.Class + Morley.Util.TypeTuple.Instances + Morley.Util.TypeTuple.TH + other-modules: + Paths_morley + hs-source-dirs: + src + default-extensions: + AllowAmbiguousTypes + ApplicativeDo + BangPatterns + BlockArguments + ConstraintKinds + DataKinds + DefaultSignatures + DeriveAnyClass + DeriveDataTypeable + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveTraversable + DerivingStrategies + DerivingVia + EmptyCase + FlexibleContexts + FlexibleInstances + GADTs + GeneralizedNewtypeDeriving + ImportQualifiedPost + InstanceSigs + LambdaCase + MultiParamTypeClasses + MultiWayIf + NamedFieldPuns + NegativeLiterals + NumDecimals + NumericUnderscores + OverloadedLabels + OverloadedStrings + PatternSynonyms + PolyKinds + QuantifiedConstraints + QuasiQuotes + RankNTypes + RecordWildCards + RecursiveDo + ScopedTypeVariables + StandaloneDeriving + StandaloneKindSignatures + StrictData + TemplateHaskell + TupleSections + TypeApplications + TypeFamilies + TypeOperators + UndecidableInstances + UndecidableSuperClasses + 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 -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-missing-kind-signatures -Wno-implicit-lift -Wno-unticked-promoted-constructors + build-depends: + Diff + , MonadRandom + , aeson + , aeson-casing + , aeson-pretty + , base-noprelude >=4.7 && <5 + , base58-bytestring + , bimap + , binary + , bytestring + , constraints >=0.11 + , constraints-extras + , containers + , crypto-sodium >=0.0.5.0 + , cryptonite + , data-default + , dependent-sum-template + , elliptic-curve + , first-class-families >=0.5.0.0 + , galois-field + , generic-deriving + , gitrev + , haskeline + , hex-text + , hsblst + , lens + , megaparsec >=7.0.0 + , memory + , morley-prelude >=0.3.0 + , mtl + , named + , optparse-applicative + , pairing + , parser-combinators >=1.0.0 + , prettyprinter + , scientific + , semigroups >=0.19.1 + , singletons + , singletons-base + , some + , syb + , template-haskell + , text + , text-manipulate + , th-lift-instances + , th-reify-many + , time + , timerep + , type-errors + , uncaught-exception + , unordered-containers + , vector + , vinyl >=0.13.1 + , with-utf8 + default-language: Haskell2010 + +executable morley + main-is: Main.hs + other-modules: + Paths_morley + autogen-modules: + Paths_morley + hs-source-dirs: + app + default-extensions: + AllowAmbiguousTypes + ApplicativeDo + BangPatterns + BlockArguments + ConstraintKinds + DataKinds + DefaultSignatures + DeriveAnyClass + DeriveDataTypeable + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveTraversable + DerivingStrategies + DerivingVia + EmptyCase + FlexibleContexts + FlexibleInstances + GADTs + GeneralizedNewtypeDeriving + ImportQualifiedPost + InstanceSigs + LambdaCase + MultiParamTypeClasses + MultiWayIf + NamedFieldPuns + NegativeLiterals + NumDecimals + NumericUnderscores + OverloadedLabels + OverloadedStrings + PatternSynonyms + PolyKinds + QuantifiedConstraints + QuasiQuotes + RankNTypes + RecordWildCards + RecursiveDo + ScopedTypeVariables + StandaloneDeriving + StandaloneKindSignatures + StrictData + TemplateHaskell + TupleSections + TypeApplications + TypeFamilies + TypeOperators + UndecidableInstances + UndecidableSuperClasses + 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 -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -Wno-missing-kind-signatures -Wno-implicit-lift -Wno-unticked-promoted-constructors + build-depends: + base-noprelude >=4.7 && <5 + , morley + , morley-prelude + , optparse-applicative + default-language: Haskell2010