Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Pandora.Paradigm.Structure.Ability.Substructure
Documentation
type Substructured segment source target = (Substructure segment source, Substance segment source ~ target) Source #
class Substructure segment (structure :: * -> *) where Source #
Minimal complete definition
Methods
substructure :: (Tagged segment <:.> structure) @>>> Substance segment structure Source #
sub :: Covariant (->) (->) structure => structure @>>> Substance segment structure Source #
Instances
tagstruct :: Covariant (->) (->) structure => (Tagged segment <:.> structure) @>>> structure Source #