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)) (Tape Stream)

Associated Types

type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Right) <::> Tape Stream) ~> Morphing ('Rotate 'Right) (Tape Stream)

Morphable ('Rotate ('Left :: a -> Wye a) :: Morph (a -> Wye a)) (Tape Stream)

Associated Types

type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type

Methods

morphing :: (Tagged ('Rotate 'Left) <::> Tape Stream) ~> Morphing ('Rotate 'Left) (Tape Stream)

Extendable ((->) :: Type -> Type -> Type) (Tape Stream)

Methods

(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b