NumHask.Algebra.Module

Module

class AdditiveModule m a

class AdditiveGroupModule m a

class MultiplicativeModule m a

class MultiplicativeGroupModule m a

Tensoring

class Banach m a

class Hilbert m a

type family (a :: k1) >< (b :: k2) :: *

class TensorProduct a