Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Substructure (Left :: Type -> Wye Type) (Product s) Source # | |
type Substructural Left (Product s) a :: Type Source # substructure :: Tagged Left (Product s a) :-. Substructural Left (Product s) a Source # | |
Substructure (Right :: Type -> Wye Type) (Product s) Source # | |
type Substructural Right (Product s) a :: Type Source # substructure :: Tagged Right (Product s a) :-. Substructural Right (Product s) a Source # |