Noether.Algebra.Vector.Generic

Documentation

gBinaryOpK :: forall v a s op z. (MagmaK op a s, Vector v a, Coercible v z) => Proxy op -> z a -> z a -> z a

gCancelK :: forall v a s op z. (CancellativeK op a s, Vector v a, Coercible v z) => Proxy op -> z a -> z a

gActK :: forall v a b s lr op z. (ActsK lr op a b s, Vector v b, Coercible v z) => Proxy op -> a -> z b -> z b

gNeutralK :: forall n v a s op b. (NeutralK op a s, KnownNat n, Vector v a, Coercible v (b n)) => Proxy op -> b n a