pandora-0.3.6: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Structure.Ability.Zipper

Documentation

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