Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class NeutralK op a s where Source #
NeutralK BinaryBoolean And Bool NeutralPrim Source # | |
NeutralK BinaryBoolean Or Bool NeutralPrim Source # | |
Num a => NeutralK BinaryNumeric Add a NeutralNum Source # | |
Num a => NeutralK BinaryNumeric Mul a NeutralNum Source # | |
(KnownSymbol sym, NeutralK k op a s) => NeutralK k op a (NeutralNamed sym s) Source # | |
(Unbox v, KnownNat n, NeutralK k op v s) => NeutralK k op (UVector n v) (NeutralTagged UVectorLift s) Source # | Neutral elements for addition and multiplication. |
(KnownNat n, NeutralK k op v s) => NeutralK k op (BVector Nat n v) (NeutralTagged BVectorLift s) Source # | Neutral elements for addition and multiplication. |
type family NeutralS (op :: k) (a :: Type) = (r :: NeutralE) Source #