pandora-0.3.9: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Structure.Some.Stream

Documentation

type Stream = Construction Identity Source #

repeat :: a :=> Stream Source #

Orphan instances

Extendable (Tap ((Stream <:.:> Stream) := (:*:))) Source # 
Instance details

Methods

(=>>) :: Tap ((Stream <:.:> Stream) := (:*:)) a -> (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) b Source #

(<<=) :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> Tap ((Stream <:.:> Stream) := (:*:)) b Source #

extend :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> Tap ((Stream <:.:> Stream) := (:*:)) b Source #

duplicate :: Tap ((Stream <:.:> Stream) := (:*:)) a -> (Tap ((Stream <:.:> Stream) := (:*:)) :. Tap ((Stream <:.:> Stream) := (:*:))) := a Source #

(=<=) :: (Tap ((Stream <:.:> Stream) := (:*:)) b -> c) -> (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> c Source #

(=>=) :: (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> (Tap ((Stream <:.:> Stream) := (:*:)) b -> c) -> Tap ((Stream <:.:> Stream) := (:*:)) a -> c Source #

($=>>) :: Covariant u => ((u :. Tap ((Stream <:.:> Stream) := (:*:))) := a) -> (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> (u :. Tap ((Stream <:.:> Stream) := (:*:))) := b Source #

(<<=$) :: Covariant u => ((u :. Tap ((Stream <:.:> Stream) := (:*:))) := a) -> (Tap ((Stream <:.:> Stream) := (:*:)) a -> b) -> (u :. Tap ((Stream <:.:> Stream) := (:*:))) := b Source #

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # 
Instance details

Associated Types

type Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type Source #

Methods

morphing :: (Tagged ('Rotate 'Right) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Right) (Tap ((Stream <:.:> Stream) := (:*:))) Source #

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tap ((Stream <:.:> Stream) := (:*:))) Source # 
Instance details

Associated Types

type Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) :: Type -> Type Source #

Methods

morphing :: (Tagged ('Rotate 'Left) <:.> Tap ((Stream <:.:> Stream) := (:*:))) ~> Morphing ('Rotate 'Left) (Tap ((Stream <:.:> Stream) := (:*:))) Source #