Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Structure.Rose

Contents

Documentation

Orphan instances

Substructure ('Just :: Type -> Maybe Type) Rose Source #
Instance details Associated Types type Substructural 'Just Rose a Source # Methods substructure :: Tagged 'Just (Rose a) :-. Substructural 'Just Rose a Source #
Focusable ('Root :: Type -> Location Type) Rose Source #
Instance details Associated Types type Focusing 'Root Rose a Source # Methods focusing :: Tagged 'Root (Rose a) :-. Focusing 'Root Rose a Source #
Substructure ('Just :: Type -> Maybe Type) (Construction Stack) Source #
Instance details Associated Types type Substructural 'Just (Construction Stack) a Source # Methods substructure :: Tagged 'Just (Construction Stack a) :-. Substructural 'Just (Construction Stack) a Source #
Focusable ('Root :: Type -> Location Type) (Construction Stack) Source #
Instance details Associated Types type Focusing 'Root (Construction Stack) a Source # Methods focusing :: Tagged 'Root (Construction Stack a) :-. Focusing 'Root (Construction Stack) a Source #