cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack name: dynamic-pipeline version: 0.2.0.0 synopsis: Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP). description: @dynamic-pipeline@ is a __/Type Safe/__ Dynamic and Parallel Streaming Library, which is an implementation of __Dynamic Pipeline Paradigm (DPP)__ proposed in this paper [DPP](https://biblioteca.sistedes.es/articulo/the-dynamic-pipeline-paradigm/). . The aim of this tool is to provide all the __Type level__ constructs to guide the user in building a /DPP/ flow to solve any algorithm that fits on this computational model. . The idea behind the implementation is similar to other __Type level__ programming libraries like [@servant@](https://hackage.haskell.org/package/servant) . Some of the feature of this library includes: . * /Small Number of Dependencies/: Dependencies have been kept to minimum in order to reduce compilation time. . * /Type Level Encoding/: As it was explained before, there is an intensive use of Type Level techniques in the Library in order to guide the user in defining the Flow Model and fill the gaps with the combinators provided and the Compiler indications. On the other hand some /Type Custom Errors/ have been encoded in the Library in order to provide meaningful messages about the Data Flow Grammar Defined in /DPP/. . * /Stream Parallelization/: __DPP__ model follows a /Parallelization Pipeline/ approach with the use of intermediate Channels. All the burden have been hidden for the user in order to reduce complexity and focus on the algorithm problem implementations. . * /Safe Scoped Execution/: Use of Existential to define the Scope execution of /DPP/ reducing even more the complexity to the user. . Import "DynamicPipeline" for using the library. . * /Examples/: in the package . category: Data,Data Flow,Pipes,Streaming,Parallel,Type-safe homepage: https://github.com/jproyo/dynamic-pipeline#readme bug-reports: https://github.com/jproyo/dynamic-pipeline/issues author: Juan Pablo Royo Sales maintainer: juanpablo.royo@gmail.com copyright: Copyright (C) 2021 Juan Pablo Royo Sales license: BSD3 license-file: LICENSE build-type: Simple extra-source-files: README.md source-repository head type: git location: https://github.com/jproyo/dynamic-pipeline library exposed-modules: DynamicPipeline other-modules: DynamicPipeline.Channel DynamicPipeline.Flow DynamicPipeline.Stage hs-source-dirs: src default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies DerivingVia EmptyCase FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf NoImplicitPrelude OverloadedStrings PackageImports PartialTypeSignatures PolyKinds Rank2Types RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeOperators TypeFamilies ghc-options: -Wall -fno-warn-partial-type-signatures -fconstraint-solver-iterations=0 -fspecialise-aggressively -fexpose-all-unfoldings -flate-specialise -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-unused-top-binds -Wno-unused-foralls -fno-warn-deprecations -fno-warn-orphans build-depends: HList >=0.5.0.0 , async >=2.1.0 && <=2.2.3 , base >=4.7 && <5 , bytestring >=0.10.9.0 && <=0.11.1.0 , lens >=4.19 && <=5.0.1 , relude >=0.7.0.0 && <=1.0.0.1 , unagi-chan >=0.4.1.0 default-language: Haskell2010 executable examples main-is: Main.hs other-modules: Graph.ConnComp Graph.ConnectedComp Misc.RepeatedDP hs-source-dirs: examples default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies DerivingVia EmptyCase FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf NoImplicitPrelude OverloadedStrings PackageImports PartialTypeSignatures PolyKinds Rank2Types RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeOperators TypeFamilies ghc-options: -Wall -fno-warn-partial-type-signatures -fconstraint-solver-iterations=0 -fspecialise-aggressively -fexpose-all-unfoldings -flate-specialise -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-unused-top-binds -Wno-unused-foralls -fno-warn-deprecations -fno-warn-orphans -threaded -O3 -rtsopts -with-rtsopts=-N build-depends: HList , async , base >=4.7 && <5 , bytestring >=0.10.9.0 && <=0.11.1.0 , dynamic-pipeline , lens >=4.19 && <=5.0.1 , optparse-applicative , relude >=0.7.0.0 && <=1.0.0.1 , trifecta , unagi-chan >=0.4.1.0 default-language: Haskell2010 test-suite conn-comp-tests type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Paths_dynamic_pipeline hs-source-dirs: test default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveAnyClass DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies DerivingVia EmptyCase FlexibleContexts FlexibleInstances FunctionalDependencies GADTs GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf NoImplicitPrelude OverloadedStrings PackageImports PartialTypeSignatures PolyKinds Rank2Types RankNTypes RecordWildCards ScopedTypeVariables StandaloneDeriving TemplateHaskell TupleSections TypeApplications TypeOperators TypeFamilies ghc-options: -Wall -fno-warn-partial-type-signatures -fconstraint-solver-iterations=0 -fspecialise-aggressively -fexpose-all-unfoldings -flate-specialise -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints -Wno-unused-top-binds -Wno-unused-foralls -fno-warn-deprecations -fno-warn-orphans -threaded -rtsopts -with-rtsopts=-N -Wno-unused-local-binds -Wno-unused-matches build-tool-depends: hspec-discover:hspec-discover build-depends: HList >=0.5.0.0 , QuickCheck , async >=2.1.0 && <=2.2.3 , base >=4.7 && <5 , bytestring >=0.10.9.0 && <=0.11.1.0 , dynamic-pipeline , hspec ==2.* , lens >=4.19 && <=5.0.1 , relude >=1.0.0.0 , unagi-chan >=0.4.1.0 default-language: Haskell2010