Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Structure.Rose
Contents
Documentation
Orphan instances
Nullable Rose Source # | |
Substructure ('Just :: Type -> Maybe Type) Rose Source # | |
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 # | |
Substructure ('Just :: Type -> Maybe Type) (Construction Stack) Source # | |
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 # | |