pipes-category-0.3.0.0: Allows instances for Category, Arrow and ArrowChoice for Pipes.
Pipes.Shaft
Description
Allows instances for Category, Arrow and ArrowChoice for Pipe using newtype wrapper Shaft.
Pipe
Shaft
newtype Shaft r m b c Source #
Constructors
Fields
Instances
Methods
id :: cat a a #
(.) :: cat b c -> cat a b -> cat a c #
arr :: (b -> c) -> Shaft r m b c #
first :: Shaft r m b c -> Shaft r m (b, d) (c, d) #
second :: Shaft r m b c -> Shaft r m (d, b) (d, c) #
(***) :: Shaft r m b c -> Shaft r m b' c' -> Shaft r m (b, b') (c, c') #
(&&&) :: Shaft r m b c -> Shaft r m b c' -> Shaft r m b (c, c') #
left :: Shaft r m b c -> Shaft r m (Either b d) (Either c d) #
right :: Shaft r m b c -> Shaft r m (Either d b) (Either d c) #
(+++) :: Shaft r m b c -> Shaft r m b' c' -> Shaft r m (Either b b') (Either c c') #
(|||) :: Shaft r m b d -> Shaft r m c d -> Shaft r m (Either b c) d #
Associated Types
type Unwrapped (Shaft r0 m0 b0 c0) :: * #
_Wrapped' :: Iso' (Shaft r0 m0 b0 c0) (Unwrapped (Shaft r0 m0 b0 c0)) #