pandora-0.3.1: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Structure.Ability.Zipper

Documentation

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

Instances
type Zipper Stack Source # 
Instance details

Defined in Pandora.Paradigm.Structure.Stack

type Zipper Stack = Tap (Delta <:.> Stack)