multilinear-0.5.0.0: Comprehensive and efficient (multi)linear algebra implementation.

Copyright(c) Artur M. Brodzki 2018
LicenseBSD3
Maintainerartur@brodzki.org
Stabilityexperimental
PortabilityWindows/POSIX
Safe HaskellNone
LanguageHaskell2010

Multilinear.Index.Finite

Description

Finite-dimensional tensor index.

Synopsis

Documentation

data Index Source #

Index of finite-dimensional tensor with specified size

Constructors

Covariant 
Contravariant 
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

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)))