Data.Container.Base.Monoid.Instances

Definitions

join : SeqMonoid c => Tensor [c, c] =%> Tensor [c]

Totality: total
Visibility: public export

cojoin : SeqComonoid c => Tensor [c] =%> Tensor [c, c]

Totality: total
Visibility: public export

diagonal : IsNaperian c => Tensor [c, c] =%> Tensor [c]

Totality: total
Visibility: public export

codiagonal : TensorMonoid c => Tensor [c] =%> Tensor [c, c]

Totality: total
Visibility: public export

pairBTreeShapes : BinTreeShape -> BinTreeShape -> BinTreeShape

Totality: total
Visibility: public export

pairBTreePos : BinTreePos (pairBTreeShapes sh1 sh2) -> (BinTreePos sh1, BinTreePos sh2)

Totality: total
Visibility: public export

pairBTreeLeafPos : BinTreePosLeaf (pairBTreeShapes sh1 sh2) -> (BinTreePosLeaf sh1, BinTreePosLeaf sh2)

Totality: total
Visibility: public export

dotWith : TensorMonoid cont => Algebra (Ext cont) c => (a -> b -> c) -> Ext cont a -> Ext cont b -> Ext Scalar c

Totality: total
Visibility: public export