Idris2Doc : Data.Container.Base.Monoid.Instances

Data.Container.Base.Monoid.Instances

(source)
Definitions
tensorPreservesTensorMonoid : All TensorMonoid shape => TensorMonoid (Tensor shape)
  Tensor preserves TensorMonoid/Applicative

  Totality: total
  Visibility: public export
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