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