Safe Haskell | None |
---|
- data Phase
- type StepType a b c = a (Phase, b) (Phase, c, ProcessA a b c)
- data ProcessA a b c = ProcessA {}
- fit :: (Arrow a, Arrow a') => (forall p q. a p q -> a' p q) -> ProcessA a b c -> ProcessA a' b c
- dimapStep :: Arrow a => (b -> c) -> (d -> e) -> StepType a c d -> StepType a b e
- parStep :: (Monoid t4, Arrow t, Arrow a) => t (t2, t1) (t4, t5, a b c) -> t (t2, t3) (t4, t6, a b' c') -> t (t2, (t1, t3)) (t4, (t5, t6), a (b, b') (c, c'))
- arrStep :: ArrowApply a => (b -> c) -> StepType a b c
- compositeStep :: ArrowApply a => StepType a b d -> StepType a d c -> StepType a b c
- compositeStep' :: ArrowApply a => Phase -> StepType a b d -> StepType a d c -> StepType a b c
Documentation
fit :: (Arrow a, Arrow a') => (forall p q. a p q -> a' p q) -> ProcessA a b c -> ProcessA a' b cSource
parStep :: (Monoid t4, Arrow t, Arrow a) => t (t2, t1) (t4, t5, a b c) -> t (t2, t3) (t4, t6, a b' c') -> t (t2, (t1, t3)) (t4, (t5, t6), a (b, b') (c, c'))Source
compositeStep :: ArrowApply a => StepType a b d -> StepType a d c -> StepType a b cSource