ghc-language-plugin.cabal

cabal-version: 3.0
name:          ghc-language-plugin
synopsis:      A compiler plugin to provide nondeterminism as a language feature
version:       0.1.0.0
license:       BSD-3-Clause
license-file:  LICENSE
copyright:     (c) 2019-2020, Kai-Oliver Prott
maintainer:    kai.prott@hotmail.de
author:        Kai-Oliver Prott
category:      Language
build-type:    Simple
stability:     experimental

description:
  This compiler plugin for GHC enables the use of nondeterminism with
  call-time-choice as a language feauture.
  It can be activated per-module and provides the user with an
  operator "(?) :: a -> a -> a",
  that nondeterministically chooses between its arguments.

  The user can get all values of a particular nondeterministic computation from
  within normal Haskell code by using the function "eval".

extra-source-files:
  README.md

source-repository head
  type:     git
  location: https://git.ps.informatik.uni-kiel.de/theses/2020/2020-kprott-ma/

common deps
  hs-source-dirs: src
  build-depends:
    base             ^>= 4.16.0.0,
    ghc              ^>= 9.2,
    ghc-prim         -any,
    template-haskell -any,
    bytestring       -any,
    containers       -any,
    transformers     -any,
    mtl              -any,
    extra            -any,
    split            -any,
  ghc-options:      -Wall
  default-language: Haskell2010
  other-extensions:
    TupleSections,
    RecursiveDo,
    EmptyCase,
    LambdaCase,
    OverloadedStrings,
    TypeFamilies,
    RankNTypes,
    ScopedTypeVariables,
    ExistentialQuantification,
    TypeOperators,
    FlexibleContexts,
    FlexibleInstances,
    UndecidableInstances,
    FunctionalDependencies,
    DeriveFunctor,
    DeriveGeneric,
    DeriveDataTypeable,
    GeneralizedNewtypeDeriving,
    DeriveAnyClass,
    EmptyDataDeriving,
    StandaloneDeriving,
    DefaultSignatures,
    MultiParamTypeClasses,
    TemplateHaskell
  other-modules:
    Data.Syb
    Plugin.Dump
    Plugin.Trans.Config
    Plugin.Trans.Coerce
    Plugin.Trans.Expr
    Plugin.Trans.Import
    Plugin.Trans.Constr
    Plugin.Trans.Class
    Plugin.Trans.CreateSyntax
    Plugin.Trans.ClsInst
    Plugin.Trans.TyCon
    Plugin.Trans.Record
    Plugin.Trans.DictInstFun
    Plugin.Trans.Type
    Plugin.Trans.Util
    Plugin.Trans.Var
    Plugin.Trans.Pat
    Plugin.Trans.LExprEQ
    Plugin.Trans.FunWiredIn
    Plugin.Trans.TysWiredIn
    Plugin.Trans.Preprocess
    Plugin.Trans.Derive
    Plugin.Trans.PatternMatching
    Plugin.Trans.ConstraintSolver
    Plugin.Trans.Rule

library
  import: deps
  exposed-modules:
    Plugin.LanguagePlugin
    Plugin.Effect.Classes
    Plugin.Effect.Transformers
    Plugin.Effect.Annotation