imsos-monad-0.2.4.0: imsos-monad.cabal

cabal-version:      3.0
-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.

-- Initial package description 'imsos-monad' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:               imsos-monad

-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.2.4.0

-- A short (one-line) description of the package.
synopsis:
  MonadIMSOS combines State, Error, Reader and Writer.

-- A longer description of the package.
description:
    A Monad providing an abstraction based on the Implicitly Modular Structural Operational Semantics (I-MSOS) approach to specifying programming language semantics

-- URL for the project homepage or repository.
homepage:           https://haskell-omelet.org

-- The license under which the package is released.
license:            GPL-2.0-or-later

-- The file containing the license text.
license-file:       LICENSE

-- The package author(s).
author:             L. Thomas van Binsbergen

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:         ltvanbinsbergen@acm.org

-- A copyright notice.
-- copyright:
category:           Control
build-type:         Simple

-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files:    CHANGELOG.md

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

common warnings
    ghc-options: -Wall

library
    -- Import common warning flags.
    import:           warnings

    -- Modules exported by the library.
    exposed-modules:  Control.Monad.IMSOS
                     ,Control.Monad.IMSOS.Fixed
                     ,Control.Monad.IMSOS.Layered

    -- Modules included in this library but not exported.
    other-modules:   
                     ,Control.Monad.IMSOS.Monad
                     ,Control.Monad.IMSOS.Signatures
                     ,Control.Monad.IMSOS.Rules.Relations
                     ,Control.Monad.IMSOS.Algebras
                     ,Control.Monad.IMSOS.LayeredAlgebras
                     ,Control.Monad.IMSOS.Rules.Step
                     ,Control.Monad.IMSOS.Rules.LayeredStep
                     ,Control.Monad.IMSOS.LayeredTerms

                     ,Data.Comp.SubsumeCommon
                     ,Data.Comp.ProjectionExt
                     ,Control.Monad.IMSOS.LayeredDeriving

--                     ,Control.Monad.IMSOS.Cases.WhileFixed
--                     ,Control.Monad.IMSOS.Cases.WhileLayered

    -- LANGUAGE extensions used by modules in this package.
    -- other-extensions:

    -- Other library packages from which modules are imported.
    build-depends:    base ^>=4.18.3.0
                     ,containers ^>= 0.6
                     ,mtl ^>= 2.3.1
                     ,random ^>= 1.3
                     ,template-haskell ^>= 2.20
                     ,compdata ^>= 0.13

    -- Directories containing source files.
    hs-source-dirs:   src

    -- Base language which the package is written in.
    default-language: Haskell2010