Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Zippable (structure :: * -> *) Source #
type Breadcrumbs structure :: * -> * Source #
Instances
type Zipper (structure :: * -> *) = Tagged (Zippable structure) <:.> (Exactly <:*:> Breadcrumbs structure) Source #
type Breadcrumbed structure t = (Zippable structure, Breadcrumbs structure ~ t) Source #
type family Fastenable structure rs where ... Source #
Fastenable structure (r ::: rs) = ((Morphable < Rotate r) < structure, Fastenable structure rs) | |
Fastenable structure r = (Morphable < Rotate r) < structure |