Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Focusable f t where Source #
Instances
Focusable ('Root :: Type -> Location Type) Rose Source # | |
(forall a. Chain a) => Focusable ('Root :: Type -> Location Type) Binary Source # | |
Focusable ('Head :: Type -> Location Type) Stack Source # | |
Focusable ('Left :: Type -> Wye Type) (Product s) Source # | |
Focusable ('Right :: Type -> Wye Type) (Product s) Source # | |
Focusable ('Root :: Type -> Location Type) (Construction Wye) Source # | |
Defined in Pandora.Paradigm.Structure.Binary | |
Focusable ('Root :: Type -> Location Type) (Construction Stack) Source # | |
Defined in Pandora.Paradigm.Structure.Rose | |
Focusable ('Head :: Type -> Location Type) (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Stack |