Cabal revisions of lorentz-0.16.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: lorentz-version: 0.16.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-2021 Tocqueville Group, 2021-2023 Oxhead Alpha-license: MIT-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.Annotation- Lorentz.Arith- Lorentz.Base- Lorentz.Bytes- Lorentz.Coercions- Lorentz.Common- Lorentz.Constraints- Lorentz.Constraints.Derivative- Lorentz.Constraints.Scopes- Lorentz.ContractRegistry- Lorentz.CustomArith- Lorentz.CustomArith.Common- Lorentz.CustomArith.Conversions- Lorentz.CustomArith.FixedArith- Lorentz.CustomArith.RationalArith- Lorentz.Default- Lorentz.Doc- Lorentz.Entrypoints- Lorentz.Entrypoints.Core- Lorentz.Entrypoints.Doc- Lorentz.Entrypoints.Helpers- Lorentz.Entrypoints.Impl- Lorentz.Entrypoints.Manual- Lorentz.Errors- Lorentz.Errors.Numeric- Lorentz.Errors.Numeric.Contract- Lorentz.Errors.Numeric.Doc- Lorentz.Expr- Lorentz.Ext- Lorentz.Extensible- Lorentz.Instr- Lorentz.Instr.Framed- Lorentz.Iso- Lorentz.Lambda- Lorentz.Layouts- Lorentz.Layouts.NonDupable- Lorentz.Macro- Lorentz.Pack- Lorentz.Polymorphic- Lorentz.Prelude- Lorentz.Print- Lorentz.Range- Lorentz.Rebound- Lorentz.Referenced- Lorentz.ReferencedByName- Lorentz.Run- Lorentz.Run.Simple- Lorentz.StoreClass- Lorentz.StoreClass.Extra- Lorentz.Tickets- Lorentz.UParam- Lorentz.Util.TH- Lorentz.Value- Lorentz.ViewBase- Lorentz.Wrappable- Lorentz.Zip- other-modules:- Paths_lorentz- autogen-modules:- Paths_lorentz- 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:- aeson-pretty- , base-noprelude >=4.7 && <5- , bimap- , bytestring- , constraints >=0.11- , containers- , cryptonite- , data-default- , first-class-families >=0.5.0.0- , lens- , morley- , morley-prelude >=0.3.0- , mtl- , named- , optparse-applicative- , singletons- , singletons-base- , template-haskell- , text- , type-errors- , unordered-containers- , vinyl- , with-utf8- 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: lorentz +version: 0.16.0 +x-revision: 1 +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 <libraries@serokell.io> +copyright: 2019-2021 Tocqueville Group, 2021-2023 Oxhead Alpha +license: MIT +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.Annotation + Lorentz.Arith + Lorentz.Base + Lorentz.Bytes + Lorentz.Coercions + Lorentz.Common + Lorentz.Constraints + Lorentz.Constraints.Derivative + Lorentz.Constraints.Scopes + Lorentz.ContractRegistry + Lorentz.CustomArith + Lorentz.CustomArith.Common + Lorentz.CustomArith.Conversions + Lorentz.CustomArith.FixedArith + Lorentz.CustomArith.RationalArith + Lorentz.Default + Lorentz.Doc + Lorentz.Entrypoints + Lorentz.Entrypoints.Core + Lorentz.Entrypoints.Doc + Lorentz.Entrypoints.Helpers + Lorentz.Entrypoints.Impl + Lorentz.Entrypoints.Manual + Lorentz.Errors + Lorentz.Errors.Numeric + Lorentz.Errors.Numeric.Contract + Lorentz.Errors.Numeric.Doc + Lorentz.Expr + Lorentz.Ext + Lorentz.Extensible + Lorentz.Instr + Lorentz.Instr.Framed + Lorentz.Iso + Lorentz.Lambda + Lorentz.Layouts + Lorentz.Layouts.NonDupable + Lorentz.Macro + Lorentz.Pack + Lorentz.Polymorphic + Lorentz.Prelude + Lorentz.Print + Lorentz.Range + Lorentz.Rebound + Lorentz.Referenced + Lorentz.ReferencedByName + Lorentz.Run + Lorentz.Run.Simple + Lorentz.StoreClass + Lorentz.StoreClass.Extra + Lorentz.Tickets + Lorentz.UParam + Lorentz.Util.TH + Lorentz.Value + Lorentz.ViewBase + Lorentz.Wrappable + Lorentz.Zip + other-modules: + Paths_lorentz + autogen-modules: + Paths_lorentz + 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: + aeson-pretty + , base-noprelude >=4.7 && <5 + , bimap + , bytestring + , constraints >=0.11 + , containers + , cryptonite + , data-default + , first-class-families >=0.5.0.0 + , lens + , morley + , morley-prelude >=0.3.0 + , mtl + , named + , optparse-applicative + , singletons + , singletons-base + , template-haskell + , text + , type-errors + , unordered-containers + , vinyl + , with-utf8 + default-language: Haskell2010