Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Focusable Rose Source # | |
Focusable (Construction Stack) Source # | |
type Focus (Construction Stack) a :: Type Source # top :: Construction Stack a :-. Focus (Construction Stack) a Source # | |
Substructure (Just :: Type -> Maybe Type) Rose Source # | |
Substructure (Just :: Type -> Maybe Type) (Construction Stack) Source # | |
type Substructural Just (Construction Stack) a :: Type Source # sub :: Construction Stack a :-. Tagged Just (Substructural Just (Construction Stack) a) Source # |