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

Multilinear.Index.Infinite

Description

Infinite-dimensional tensor index.

Synopsis

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

Documentation

data Index Source #

Index of infinite-dimensional tensor

Constructors

Covariant
Fields indexName' :: String
Contravariant
Fields indexName' :: String
Indifferent
Fields indexName' :: String

Instances

Eq Index Source #
Instance details Defined in Multilinear.Index.Infinite Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Show Index Source #	Show instance of Infinite index
Instance details Defined in Multilinear.Index.Infinite Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #
Generic Index Source #
Instance details Defined in Multilinear.Index.Infinite 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.Infinite Methods rnf :: Index -> () #
Index Index Source #	Infinite index is a Multilinear.Index instance
Instance details Defined in Multilinear.Index.Infinite Methods indexName :: Index -> String Source # isCovariant :: Index -> Bool Source # isContravariant :: Index -> Bool Source # isIndifferent :: 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.Infinite type Rep Index = D1 (MetaData "Index" "Multilinear.Index.Infinite" "multilinear-0.2.2.1-HcIjCCqprZ51H8U3LokIhe" False) (C1 (MetaCons "Covariant" PrefixI True) (S1 (MetaSel (Just "indexName'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "Contravariant" PrefixI True) (S1 (MetaSel (Just "indexName'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Indifferent" PrefixI True) (S1 (MetaSel (Just "indexName'") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))