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) List 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.Some.Binary | |
Focusable ('Root :: Type -> Location Type) (Construction List) Source # | |
Defined in Pandora.Paradigm.Structure.Some.Rose | |
Focusable ('Head :: Type -> Location Type) (Tap ((Construction Maybe <:.:> Construction Maybe) := (:*:))) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List | |
Focusable ('Head :: Type -> Location Type) (Tap ((List <:.:> List) := (:*:))) Source # | |
Focusable ('Head :: Type -> Location Type) (Construction Maybe) Source # | |
Defined in Pandora.Paradigm.Structure.Some.List |