Pandora.Paradigm.Structure.Some.Stream
Contents
type Stream = Construction Exactly Source #
repeat :: a -> Stream a Source #
Associated Types
type Breadcrumbs (Construction Exactly) :: Type -> Type Source #
Methods
fasten :: Construction Exactly e -> Maybe > Zipper (Construction Exactly) e Source #
unfasten :: Zipper (Construction Exactly) e -> Nonempty (Construction Exactly) e Source #
type Topping (Construction Exactly) :: Type -> Type Source #
top :: ((Lens < Topping (Construction Exactly)) < Construction Exactly e) < e Source #
pop :: (State < Construction Exactly e) < Topping (Construction Exactly) e Source #
push :: e -> (State < Construction Exactly e) < e Source #
type Morphing ('Rotate 'Right) (Tape Stream) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Right) <::> Tape Stream) ~> Morphing ('Rotate 'Right) (Tape Stream) Source #
type Morphing ('Rotate 'Left) (Tape Stream) :: Type -> Type Source #
morphing :: (Tagged ('Rotate 'Left) <::> Tape Stream) ~> Morphing ('Rotate 'Left) (Tape Stream) Source #
(<<=) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<==) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<===) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<=====) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<=======) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #
(<<========) :: (Tape Stream a -> b) -> Tape Stream a -> Tape Stream b Source #