Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
type Substructured segment source available target = (Substructure segment source, Substance segment source ~ target, Available segment source ~ available) Source #
class Substructure segment (structure :: * -> *) where Source #
substructure :: ((Tagged segment <:.> structure) #=@ Substance segment structure) := Available segment structure Source #
sub :: (Covariant structure, Covariant_ structure (->) (->)) => (structure #=@ Substance segment structure) := Available segment structure Source #