Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Some.Stream

Contents

Orphan instances

Documentation

type Stream = Construction Identity Source #

repeat :: a :=> Stream Source #

Orphan instances

Extendable (Tap ((:*:) <:.:> Stream)) Source #
Instance details Methods (=>>) :: Tap ((::) <:.:> Stream) a -> (Tap ((::) <:.:> Stream) a -> b) -> Tap ((::) <:.:> Stream) b Source # (<<=) :: (Tap ((::) <:.:> Stream) a -> b) -> Tap ((::) <:.:> Stream) a -> Tap ((::) <:.:> Stream) b Source # extend :: (Tap ((::) <:.:> Stream) a -> b) -> Tap ((::) <:.:> Stream) a -> Tap ((::) <:.:> Stream) b Source # duplicate :: Tap ((::) <:.:> Stream) a -> (Tap ((::) <:.:> Stream) :. Tap ((::) <:.:> Stream)) := a Source # (=<=) :: (Tap ((::) <:.:> Stream) b -> c) -> (Tap ((::) <:.:> Stream) a -> b) -> Tap ((::) <:.:> Stream) a -> c Source # (=>=) :: (Tap ((::) <:.:> Stream) a -> b) -> (Tap ((::) <:.:> Stream) b -> c) -> Tap ((::) <:.:> Stream) a -> c Source # ($=>>) :: Covariant u => ((u :. Tap ((::) <:.:> Stream)) := a) -> (Tap ((::) <:.:> Stream) a -> b) -> (u :. Tap ((::) <:.:> Stream)) := b Source # (<<=$) :: Covariant u => ((u :. Tap ((::) <:.:> Stream)) := a) -> (Tap ((::) <:.:> Stream) a -> b) -> (u :. Tap ((::) <:.:> Stream)) := b Source #
Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source #
Instance details Associated Types type Morphing ('Rotate 'Right) (Tap ((::) <:.:> Stream)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((::) <:.:> Stream)) ~> Morphing ('Rotate 'Right) (Tap ((:*:) <:.:> Stream)) Source #
Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((:*:) <:.:> Stream)) Source #
Instance details Associated Types type Morphing ('Rotate 'Left) (Tap ((::) <:.:> Stream)) :: Type -> Type Source # Methods morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((::) <:.:> Stream)) ~> Morphing ('Rotate 'Left) (Tap ((:*:) <:.:> Stream)) Source #