Cascade.Product

Documentation

data ProductM m ts where

Constructors

None :: ProductM m []

(:*) :: a -> m (ProductM m ts) -> ProductM m (a : ts) infixr 5

Instances

(Show a, Show (ProductM Identity as)) => Show (ProductM Identity ((:) * a as))

Show (ProductM Identity ([] *))

type Product = ProductM Identity

(*:) :: a -> Product ts -> Product (a : ts) infixr 5

type family RInitProducts ts ts' :: [*]

Equations

RInitProducts (a : as) ts' = Product (a : ts') : RInitProducts as (a : ts')

RInitProducts [] ts' = []

pushes :: Comonad w => (w y -> x) -> w (Product (y : zs)) -> Product (x : (y : zs))

recordW :: Comonad w => CascadeW w (t : ts) -> CascadeW w (RInitProducts (t : ts) ts')

record :: Cascade (t : ts) -> Cascade (RInitProducts (t : ts) ts')