Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Substructure (Just :: Type -> Maybe Type) Rose Source # | |
type Substructural Just Rose a :: Type Source # 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 # | |
type Substructural Just (Construction Stack) a :: Type Source # substructure :: Tagged Just (Construction Stack a) :-. Substructural Just (Construction Stack) a Source # | |
Focusable (Root :: Type -> Location Type) (Construction Stack) Source # | |