| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Noether.Algebra.Single.Neutral
Documentation
Constructors
| NeutralPrim | |
| NeutralNum | |
| NeutralNamed Symbol NeutralE | |
| NeutralTagged Type NeutralE |
class NeutralK op a s where Source #
Minimal complete definition
Instances
| 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 #
Instances