-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | BaseSpecs used for @Parallel-Arrows-Definition@ and Co.
--   
--   BaseSpecs used for <tt>Parallel-Arrows-Definition</tt> and Co. This
--   package contains tests for basic features and even skeletons. See the
--   tests for the dummy backend (from <tt>Parallel-Arrows-Definition</tt>)
--   in <tt>src/test</tt> or one of the backends (e.g.
--   <tt>Parallel-Arrows-Multicore</tt>) for actual implementations.
@package Parallel-Arrows-BaseSpec
@version 0.1.1.0

module BaseSpec.BasicSpecBase
basicSpec :: (ArrowParallel (->) Int Int (), Future fut Int (), ArrowParallel (->) (fut Int) (fut Int) (), ArrowParallel (->) (Either Int Int) (Either Int Int) ()) => Spec

module BaseSpec.SkeletonCheckBase
pipeSpec :: (ArrowLoopParallel (->) Int Int (), Future fut Int (), ArrowLoopParallel (->) (fut Int) (fut Int) (), Future fut (([Int], [Int]), [Int]) (), ArrowLoopParallel (->) (fut (([Int], [Int]), [Int])) (fut (([Int], [Int]), [Int])) ()) => Spec
ringSpec :: (Future fut Int (), ArrowLoopParallel (->) (Int, fut Int) (Int, fut Int) (), ArrowLoopParallel (->) Int Int ()) => Spec
mapSpec :: (ArrowParallel (->) Int Int (), ArrowParallel (->) [Int] [Int] ()) => Spec
mapReduceSpec :: (ArrowParallel (->) (Int, [Int]) Int ()) => Spec

module BaseSpec.TorusSpecBase
torusSpec :: (Future fut [Matrix] (), ArrowLoopParallel (->) [Matrix] [Matrix] (), ArrowLoopParallel (->) ((Matrix, Matrix), fut [Matrix], fut [Matrix]) (Matrix, fut [Matrix], fut [Matrix]) ()) => Spec
type Matrix = [Vector]

module BaseSpec.CompleteSpecBase
specBase :: (Future fut Int (), Future fut [Matrix] (), Future fut (([Int], [Int]), [Int]) (), ArrowParallel (->) [Int] [Int] (), ArrowParallel (->) (Int, [Int]) Int (), ArrowParallel (->) (Either Int Int) (Either Int Int) (), ArrowLoopParallel (->) Int Int (), ArrowLoopParallel (->) [Matrix] [Matrix] (), ArrowLoopParallel (->) (fut Int) (fut Int) (), ArrowLoopParallel (->) (Int, fut Int) (Int, fut Int) (), ArrowLoopParallel (->) (fut (([Int], [Int]), [Int])) (fut (([Int], [Int]), [Int])) (), ArrowLoopParallel (->) ((Matrix, Matrix), fut [Matrix], fut [Matrix]) (Matrix, fut [Matrix], fut [Matrix]) ()) => Spec