name:                operational-alacarte
version:             0.3.1
x-revision: 1
synopsis:            A version of Operational suitable for extensible EDSLs
description:         A version of Operational \[1\] suitable for EDSLs
                     extensible via data types à la carte.
                     .
                     This library provides two important extensions to
                     Operational:
                     .
                     1. The ability for instructions to refer to sub-programs in
                        a generic way. (This is a key to obtaining an extensible
                        library.)
                     .
                     2. Generic interpretation of programs, including
                        sub-programs and other sub-structures (e.g.
                        expressions).
                     .
                     More information is found in the documentation of
                     "Control.Monad.Operational.Higher".
                     .
                     \[1\] <http://hackage.haskell.org/package/operational>
license:             BSD3
license-file:        LICENSE
author:              Emil Axelsson
maintainer:          78emil@gmail.com
copyright:           Copyright (c) 2016 Emil Axelsson
                     Copyright (c) 2015 Emil Axelsson, Heinrich Apfelmus
homepage:            https://github.com/emilaxelsson/operational-alacarte
bug-reports:         https://github.com/emilaxelsson/operational-alacarte/issues
category:            Language
build-type:          Simple
cabal-version:       >=1.10

extra-source-files:
  README.md
  examples/*.hs
  tests/*.hs

source-repository head
  type:     git
  location: git@github.com:emilaxelsson/operational-alacarte.git

library
  exposed-modules:
    Data.ALaCarte
    Control.Monad.Operational.Higher

  default-language: Haskell2010

  default-extensions:
    DataKinds
    DeriveDataTypeable
    DeriveFunctor
    FlexibleContexts
    FlexibleInstances
    GADTs
    MultiParamTypeClasses
    PolyKinds
    Rank2Types
    ScopedTypeVariables
    TypeOperators

    -- DeriveDataTypeable only needed for GHC < 7.10

  build-depends:
    base >=4.6 && <5,
    mtl <2.4

  hs-source-dirs: src

test-suite Examples
  type: exitcode-stdio-1.0

  hs-source-dirs: examples tests

  main-is: Tests.hs

  default-language: Haskell2010

  build-depends:
    base,
    operational-alacarte