name:                   ixmonad
version:                0.50
x-revision: 1
synopsis:               Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)
description:            Provides the 'parametric effect monad' structure to Haskell with a number of analogous of familiar monads (Reader, Writer, State, Maybe, Ticks) and a wrapper over normal monads (Control.Effect.Monad). This provides a way to embed effect systems into Haskell. For more information see <http://dorchard.co.uk/ixmonad>.

license:                BSD3
license-file:           LICENSE
category:               Control, Monads
copyright:              2013-14 University of Cambridge
author:                 Dominic Orchard
maintainer:             Dominic Orchard
stability:              experimental
build-type:             Simple
cabal-version:          >= 1.6
tested-with:            GHC >= 7.6

extra-source-files:     examples/*.hs


source-repository head
  type: git
  location: https://github.com/dorchard/ixmonad

library
  hs-source-dirs:       src

  exposed-modules:      Control.Coeffect
                        Control.Coeffect.Coreader
                        Control.Effect
                        Control.Effect.Cond
                        Control.Effect.Counter
                        Control.Effect.Maybe
                        Control.Effect.Monad
                        Control.Effect.Reader
                        Control.Effect.ReaderNat
                        Control.Effect.ReadOnceReader
                        Control.Effect.State
                        Control.Effect.Update
                        Control.Effect.Vector
                        Control.Effect.WriteOnceWriter
                        Control.Effect.Writer
                        Control.Effect.Helpers.List
                        Control.Effect.Helpers.Mapping
                        Control.Effect.Helpers.Set
                        

  other-extensions:     AllowAmbiguousTypes, ConstraintKinds, DataKinds, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, IncoherentInstances, InstanceSigs, KindSignatures, MultiParamTypeClasses, NoMonomorphismRestriction, OverlappingInstances, PolyKinds, RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators, TypeSynonymInstances, UndecidableInstances
  build-depends:        base < 4.9,
                        ghc-prim