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 ((:*:) <:.:> Stream)
type Zipper Stack Source #
Instance details Defined in Pandora.Paradigm.Structure.Stack type Zipper Stack = Tap ((:*:) <:.:> Stack)
type Zipper (Construction Wye) Source #
Instance details Defined in Pandora.Paradigm.Structure.Binary type Zipper (Construction Wye) = T_U Covariant Covariant (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 ((:*:) <:.:> Construction Maybe)