name: operational-alacarte
version: 0.2
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: emax@chalmers.se
copyright: Copyright (c) 2015 Emil Axelsson, Heinrich Apfelmus
Copyright (c) 2016 Emil Axelsson
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
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
FlexibleInstances
GADTs
MultiParamTypeClasses
PolyKinds
Rank2Types
ScopedTypeVariables
TypeOperators
-- DeriveDataTypeable only needed for GHC < 7.10
build-depends:
base >=4 && <5,
mtl
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