Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- type Basis b f = (Free f, Rep f ~ b, Eq b)
- type Basis2 b c f g = (Basis b f, Basis c g)
- type Basis3 b c d f g h = (Basis b f, Basis c g, Basis d h)
- data E1 = E11
- e1 :: a -> E1 -> a
- fillE1 :: Basis E1 f => a -> f a
- data E2
- e2 :: a -> a -> E2 -> a
- fillE2 :: Basis E2 f => a -> a -> f a
- data E3
- e3 :: a -> a -> a -> E3 -> a
- fillE3 :: Basis E3 f => a -> a -> a -> f a
- data E4
- e4 :: a -> a -> a -> a -> E4 -> a
- fillE4 :: Basis E4 f => a -> a -> a -> a -> f a
Documentation
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 # | |