Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Substructure f t where Source #
type Substructural (f :: * -> k) (t :: * -> *) a Source #
substructure :: Tagged f (t a) :-. Substructural f t a Source #
Instances
sub :: forall f t a. Substructure f t => t a :-. Substructural f t a Source #