Pandora.Paradigm.Structure.Some.Stream

Documentation

type Stream = Construction Identity

repeat :: a :=> Stream

Orphan instances

Zippable (Construction Identity)

Associated Types

type Breadcrumbs (Construction Identity) :: Type -> Type

Morphable ('Rotate ('Right :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Associated Types

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

Methods

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

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Associated Types

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

Methods

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

Extendable ((->) :: Type -> Type -> Type) ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:))

Methods

(<<=) :: (((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) a -> b) -> ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) a -> ((Identity <:.:> ((Stream <:.:> Stream) := (:*:))) := (:*:)) b