Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Nullable Rose Source # | |
Focusable ('Root :: Type -> Location Type) Rose Source # | |
Focusable ('Root :: Type -> Location Type) (Construction Stack) Source # | |
Substructure ('Just :: a1 -> Maybe a1) Rose a2 Source # | |
type Substructural 'Just Rose a2 Source # substructure :: Tagged 'Just (Rose a2) :-. Substructural 'Just Rose a2 Source # | |
Substructure ('Just :: a1 -> Maybe a1) (Construction Stack) a2 Source # | |
type Substructural 'Just (Construction Stack) a2 Source # substructure :: Tagged 'Just (Construction Stack a2) :-. Substructural 'Just (Construction Stack) a2 Source # |