Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.DecomposedConstraint
Documentation
data DecomposedConstraint a Source #
Constructors
EqualityConstraint a a | |
InstanceConstraint Class [a] |
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.DecomposedConstraint
data DecomposedConstraint a Source #
Constructors
EqualityConstraint a a | |
InstanceConstraint Class [a] |