Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Ability.Zipper

Documentation

type family Zipper (s :: * -> *) = (r :: * -> *) | r -> s Source #

Instances details

type Zipper Stream Source #
Instance details Defined in Pandora.Paradigm.Structure.Stream type Zipper Stream = Tap (Delta <:.> Stream)
type Zipper Stack Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack type Zipper Stack = Tap (Delta <:.> Stack)
type Zipper (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Zipper (Construction Wye) = Construction Wye <:*:> ((Biforked <:.> Construction Biforked) <:.> T_ Covariant (Maybe <:.> Construction Wye))
type Zipper (Construction Maybe) Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack type Zipper (Construction Maybe) = Tap (Delta <:.> Construction Maybe)