Copyright	(c) Artur M. Brodzki 2018
License	BSD3
Maintainer	artur@brodzki.org
Stability	experimental
Portability	Windows/POSIX
Safe Haskell	None
Language	Haskell2010

Multilinear.Index.Finite

Description

Finite-dimensional tensor index.

Synopsis

data Index
- = Covariant {
  - indexSize :: Int
  - indexName' :: String
  }
- | Contravariant {
  - indexSize :: Int
  - indexName' :: String
  }

Documentation

data Index Source #

Index of finite-dimensional tensor with specified size

Constructors

Covariant
Fields indexSize :: Int indexName' :: String
Contravariant
Fields indexSize :: Int indexName' :: String

Instances

Eq Index Source #
Instance details Defined in Multilinear.Index.Finite Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Ord Index Source #	Indices can be compared by its name and size \| Used to allow to put tensors to typical ordered containers \|
Instance details Defined in Multilinear.Index.Finite Methods compare :: Index -> Index -> Ordering # (<) :: Index -> Index -> Bool # (<=) :: Index -> Index -> Bool # (>) :: Index -> Index -> Bool # (>=) :: Index -> Index -> Bool # max :: Index -> Index -> Index # min :: Index -> Index -> Index #
Show Index Source #	Show instance of Finite index
Instance details Defined in Multilinear.Index.Finite Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #
Generic Index Source #
Instance details Defined in Multilinear.Index.Finite Associated Types type Rep Index :: Type -> Type # Methods from :: Index -> Rep Index x # to :: Rep Index x -> Index #
NFData Index Source #
Instance details Defined in Multilinear.Index.Finite Methods rnf :: Index -> () #
Index Index Source #	Finite index is a Multilinear.Index instance
Instance details Defined in Multilinear.Index.Finite Methods indexName :: Index -> String Source # isCovariant :: Index -> Bool Source # isContravariant :: Index -> Bool Source # equivI :: Index -> Index -> Bool Source # (!=!) :: Index -> Index -> Bool Source # toTIndex :: Index -> TIndex Source #
type Rep Index Source #
Instance details Defined in Multilinear.Index.Finite type Rep Index = D1 (MetaData "Index" "Multilinear.Index.Finite" "multilinear-0.5.0.0-JAkyVGJu3RMGLoRm7N5fIc" False) (C1 (MetaCons "Covariant" PrefixI True) (S1 (MetaSel (Just "indexSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Just "indexName'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Contravariant" PrefixI True) (S1 (MetaSel (Just "indexSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Just "indexName'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))