Name: reflex
Version: 0.5.0
Synopsis: Higher-order Functional Reactive Programming
Description: Reflex is a high-performance, deterministic, higher-order Functional Reactive Programming system
License: BSD3
License-file: LICENSE
Author: Ryan Trinkle
Maintainer: ryan.trinkle@gmail.com
Stability: Experimental
Category: FRP
Build-type: Simple
Cabal-version: >=1.9.2
homepage: https://github.com/reflex-frp/reflex
bug-reports: https://github.com/reflex-frp/reflex/issues

flag specialize-to-spidertimeline-global
  description: Specialize all Reflex functions to the SpiderTimeline Global implementation.  This may improve performance, but will disable all other implementations.
  default: False
  manual: True

flag use-reflex-optimizer
  description: Use the GHC plugin Reflex.Optimizer on some of the modules in the package.  This is still experimental.
  default: False
  manual: True

flag use-template-haskell
  description: Use template haskell to generate lenses
  default: True
  manual: True

flag expose-all-unfoldings
  description: Build the library with -fexpose-all-unfoldings which can help client code specialize better
  default: False
  manual: True

flag debug-trace-events
  description: Add instrumentation that outputs the stack trace of the definition of an event whenever it is subscribed to. Warning: It is very slow!
  default: False
  manual: True

flag experimental-dependent-sum-instances
  description: Use experimental incoherent instances for certain forked dependent-sum typeclasses
  default: False
  manual: True

flag fast-weak
  description: Use the primitive implementation of FastWeak in GHCJS; note that this requires GHCJS to be built with FastWeak and FastWeakBag present in the RTS, which is not the default
  default: False
  manual: True

library
  hs-source-dirs: src
  build-depends:
    MemoTrie == 0.6.*,
    base >= 4.7 && < 4.11,
    bifunctors >= 5.2 && < 5.5,
    comonad,
    containers == 0.5.*,
    data-default >= 0.5 && < 0.8,
    dependent-map >= 0.2.4 && < 0.3,
    exception-transformers == 0.4.*,
    lens >= 4.7 && < 5,
    monad-control >= 1.0.1 && < 1.1,
    mtl >= 2.1 && < 2.3,
    prim-uniq >= 0.1.0.1 && < 0.2,
    primitive >= 0.5 && < 0.7,
    random == 1.1.*,
    ref-tf == 0.4.*,
    reflection == 2.1.*,
    semigroupoids >= 4.0 && < 6,
    semigroups >= 0.16 && < 0.19,
    stm == 2.4.*,
    syb >= 0.5 && < 0.8,
    these >= 0.4 && < 0.8,
    time >= 1.4 && < 1.9,
    transformers >= 0.2,
    transformers-compat >= 0.3,
    unbounded-delays >= 0.1.0.0 && < 0.2

  exposed-modules:
    Data.AppendMap,
    Data.Map.Misc,
    Data.Functor.Misc,
    Data.WeakBag,
    Data.FastWeakBag,
    Data.FastMutableIntMap,
    Reflex,
    Reflex.Class,
    Reflex.Collection,
    Reflex.EventWriter,
    Reflex.Dynamic,
    Reflex.Dynamic.Uniq,
    Reflex.DynamicWriter,
    Reflex.FastWeak,
    Reflex.FunctorMaybe,
    Reflex.Host.Class,
    Reflex.Patch,
    Reflex.Patch.Class,
    Reflex.Patch.DMap,
    Reflex.Patch.DMapWithMove,
    Reflex.Patch.Map,
    Reflex.Patch.MapWithMove,
    Reflex.TriggerEvent.Base,
    Reflex.TriggerEvent.Class,
    Reflex.PerformEvent.Base,
    Reflex.PerformEvent.Class,
    Reflex.PostBuild.Base,
    Reflex.PostBuild.Class,
    Reflex.Profiled,
    Reflex.Query.Base,
    Reflex.Query.Class,
    Reflex.Requester.Base,
    Reflex.Requester.Class,
    Reflex.Spider,
    Reflex.Spider.Internal,
    Reflex.Time,
    Reflex.Widget.Basic

  ghc-options: -Wall -fwarn-tabs -funbox-strict-fields -O2 -fspecialise-aggressively -ddump-simpl -ddump-to-file -dsuppress-coercions -dsuppress-idinfo
  ghc-prof-options: -fprof-auto

  if flag(specialize-to-spidertimeline-global)
    cpp-options: -DSPECIALIZE_TO_SPIDERTIMELINE_GLOBAL
  else
    exposed-modules: Reflex.Pure

  if flag(debug-trace-events)
    cpp-options: -DDEBUG_TRACE_EVENTS
    build-depends: bytestring

  if flag(use-reflex-optimizer)
    cpp-options: -DUSE_REFLEX_OPTIMIZER
    build-depends: ghc
    exposed-modules: Reflex.Optimizer

  if flag(use-template-haskell)
    cpp-options: -DUSE_TEMPLATE_HASKELL
    build-depends:
      dependent-sum >= 0.3 && < 0.5,
      haskell-src-exts >= 1.16 && < 1.20,
      haskell-src-meta >= 0.6 && < 0.9,
      template-haskell >= 2.9 && < 2.13
    exposed-modules:
      Reflex.Dynamic.TH
    other-extensions: TemplateHaskell
  else
    build-depends:
      dependent-sum == 0.4.*

  if flag(expose-all-unfoldings)
    ghc-options: -fexpose-all-unfoldings

  if flag(experimental-dependent-sum-instances)
    ghc-options: -DEXPERIMENTAL_DEPENDENT_SUM_INSTANCES

  if flag(fast-weak) && impl(ghcjs)
    ghc-options: -DGHCJS_FAST_WEAK

  if impl(ghcjs)
    build-depends: ghcjs-base

test-suite semantics
  type: exitcode-stdio-1.0
  main-is: semantics.hs
  hs-source-dirs: test
  ghc-options: -O2 -Wall -rtsopts
  build-depends:
    base,
    bifunctors,
    containers,
    deepseq >= 1.3 && < 1.5,
    dependent-map,
    dependent-sum,
    mtl,
    ref-tf,
    reflex,
    split,
    transformers >= 0.3
  if flag(specialize-to-spidertimeline-global)
    buildable: False

test-suite CrossImpl
  type: exitcode-stdio-1.0
  main-is: Reflex/Test/CrossImpl.hs
  hs-source-dirs: test
  ghc-options: -O2 -Wall -rtsopts -main-is Reflex.Test.CrossImpl.test
  build-depends:
    base,
    containers,
    dependent-map,
    mtl,
    ref-tf,
    reflex
  if flag(specialize-to-spidertimeline-global)
    buildable: False

test-suite hlint
  type: exitcode-stdio-1.0
  main-is: hlint.hs
  hs-source-dirs: test
  build-depends: base
               , directory
               , filepath
               , filemanip
               , hlint
  if impl(ghcjs)
    buildable: False
  buildable: False

test-suite EventWriterT
  type: exitcode-stdio-1.0
  main-is: EventWriterT.hs
  hs-source-dirs: test
  build-depends: base
               , dependent-sum
               , lens
               , these
               , transformers
               , reflex
               , ref-tf

test-suite RequesterT
  type: exitcode-stdio-1.0
  main-is: RequesterT.hs
  hs-source-dirs: test
  build-depends: base
               , dependent-sum
               , dependent-map
               , lens
               , these
               , transformers
               , reflex
               , ref-tf
  buildable: False

test-suite QueryT
  type: exitcode-stdio-1.0
  main-is: QueryT.hs
  hs-source-dirs: test
  build-depends: base
               , containers
               , dependent-sum
               , dependent-map
               , lens
               , these
               , transformers
               , semigroups
               , reflex
               , ref-tf

test-suite GC-Semantics
  type: exitcode-stdio-1.0
  main-is: GC.hs
  hs-source-dirs: test
  if flag(specialize-to-spidertimeline-global)
    buildable: False
  build-depends: base
               , dependent-sum
               , dependent-map
               , these
               , transformers
               , reflex
               , ref-tf
  if impl(ghc < 8)
    build-depends: semigroups

test-suite rootCleanup
  type: exitcode-stdio-1.0
  main-is: rootCleanup.hs
  hs-source-dirs: test
  build-depends: base
               , reflex

benchmark spider-bench
  type: exitcode-stdio-1.0
  hs-source-dirs: bench
  main-is: Main.hs
  ghc-options: -Wall -O2 -rtsopts
  build-depends:
    base,
    criterion == 1.1.*,
    deepseq >= 1.3 && < 1.5,
    dependent-map,
    dependent-sum,
    mtl,
    primitive,
    reflex,
    stm,
    transformers >= 0.3

benchmark saulzar-bench
  type: exitcode-stdio-1.0
  hs-source-dirs: bench test
  c-sources: bench-cbits/checkCapability.c
  main-is: RunAll.hs
  ghc-options: -Wall -O2 -rtsopts -threaded
  ghc-prof-options: -fprof-auto
  build-depends:
    base,
    containers == 0.5.*,
    criterion == 1.1.*,
    deepseq >= 1.3 && < 1.5,
    dependent-map,
    dependent-sum,
    loch-th,
    mtl,
    primitive,
    process,
    ref-tf,
    reflex,
    split,
    stm,
    time,
    transformers >= 0.3

source-repository head
  type: git
  location: https://github.com/reflex-frp/reflex