| Copyright | (c) Justus Sagemüller 2020 |
|---|---|
| License | GPL v3 |
| Maintainer | (@) jsag $ hvl.no |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Math.VectorSpace.MiscUtil.MultiConstraints
Description
Documentation
type family SameScalar (c :: Type -> Constraint) (vs :: [Type]) :: Constraint where ... Source #
Equations
| SameScalar c '[] = () | |
| SameScalar c (v ': vs) = (c v, AllWithScalar (Scalar v) c vs) |