Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
Euclidean bases
Instances
Eq E1 Source # | |
Ord E1 Source # | |
Show E1 Source # | |
Semiring r => Bialgebra r E1 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Counital r E1 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Coalgebra r E1 Source # | |
Semiring r => Unital r E1 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Algebra r E1 Source # | |
Instances
Eq E2 Source # | |
Ord E2 Source # | |
Show E2 Source # | |
Semiring r => Bialgebra r E2 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Counital r E2 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Coalgebra r E2 Source # | |
Semiring r => Unital r E2 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Algebra r E2 Source # | |
Instances
Eq E3 Source # | |
Ord E3 Source # | |
Show E3 Source # | |
Semiring r => Bialgebra r E3 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Counital r E3 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Coalgebra r E3 Source # | |
Semiring r => Unital r E3 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Algebra r E3 Source # | |
Instances
Eq E4 Source # | |
Ord E4 Source # | |
Show E4 Source # | |
Semiring r => Bialgebra r E4 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Counital r E4 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Coalgebra r E4 Source # | |
Semiring r => Unital r E4 Source # | |
Defined in Data.Semimodule.Basis | |
Semiring r => Algebra r E4 Source # | |