NumHask.Naperian

multi-dimensional representable numbers

Documentation

class (HasShape f, Representable f) => Naperian f

Instances

KnownNat n => Naperian (Vector n)

SingI [Nat] r => Naperian (Tensor [Nat] r)

(KnownNat m, KnownNat n) => Naperian (Matrix Nat Nat m n)

class HasShape f where

ToDo: integrate ni Naperian instance

Minimal complete definition

shape, ndim

Associated Types

type Shape f

Methods

shape :: f a -> Shape f

ndim :: f a -> Int

Instances

HasShape SomeTensor

Associated Types

type Shape (SomeTensor :: * -> *) :: *

Methods

shape :: SomeTensor a -> Shape SomeTensor

ndim :: SomeTensor a -> Int

HasShape SomeVector

Associated Types

type Shape (SomeVector :: * -> *) :: *

Methods

shape :: SomeVector a -> Shape SomeVector

ndim :: SomeVector a -> Int

HasShape SomeMatrix

Associated Types

type Shape (SomeMatrix :: * -> *) :: *

Methods

shape :: SomeMatrix a -> Shape SomeMatrix

ndim :: SomeMatrix a -> Int

KnownNat n => HasShape (Vector n)

Associated Types

type Shape (Vector n :: * -> *) :: *

Methods

shape :: Vector n a -> Shape (Vector n)

ndim :: Vector n a -> Int

SingI [Nat] r => HasShape (Tensor [Nat] r)

Associated Types

type Shape (Tensor [Nat] r :: * -> *) :: *

Methods

shape :: Tensor [Nat] r a -> Shape (Tensor [Nat] r)

ndim :: Tensor [Nat] r a -> Int

(KnownNat m, KnownNat n) => HasShape (Matrix Nat Nat m n)

Associated Types

type Shape (Matrix Nat Nat m n :: * -> *) :: *

Methods

shape :: Matrix Nat Nat m n a -> Shape (Matrix Nat Nat m n)

ndim :: Matrix Nat Nat m n a -> Int

Orphan instances

(Naperian f, AdditiveMagma a) => AdditiveHomomorphic a (f a)

Methods

plushom :: a -> f a

(Naperian f, MultiplicativeMagma a) => MultiplicativeHomomorphic a (f a)

Methods

timeshom :: a -> f a

(Naperian f, AdditiveGroup a) => AdditiveGroup (f a)

Methods

(-) :: f a -> f a -> f a

(Naperian f, Additive a) => Additive (f a)

Methods

(+) :: f a -> f a -> f a

(Naperian f, AdditiveMonoidal a) => AdditiveMonoidal (f a)

(Naperian f, AdditiveInvertible a) => AdditiveInvertible (f a)

Methods

negate :: f a -> f a

(Naperian f, AdditiveCommutative a) => AdditiveCommutative (f a)

(Naperian f, AdditiveAssociative a) => AdditiveAssociative (f a)

(Naperian f, AdditiveUnital a) => AdditiveUnital (f a)

Methods

zero :: f a

(Naperian f, AdditiveMagma a) => AdditiveMagma (f a)

Methods

plus :: f a -> f a -> f a

(Naperian f, MultiplicativeGroup a) => MultiplicativeGroup (f a)

Methods

(/) :: f a -> f a -> f a

(Naperian f, Multiplicative a) => Multiplicative (f a)

Methods

(*) :: f a -> f a -> f a

(Naperian f, MultiplicativeMonoidal a) => MultiplicativeMonoidal (f a)

(Naperian f, MultiplicativeInvertible a) => MultiplicativeInvertible (f a)

Methods

recip :: f a -> f a

(Naperian f, MultiplicativeCommutative a) => MultiplicativeCommutative (f a)

(Naperian f, MultiplicativeAssociative a) => MultiplicativeAssociative (f a)

(Naperian f, MultiplicativeUnital a) => MultiplicativeUnital (f a)

Methods

one :: f a

(Naperian f, MultiplicativeMagma a) => MultiplicativeMagma (f a)

Methods

times :: f a -> f a -> f a

(Naperian f, MultiplicativeMagma a, Additive a) => Distribution (f a)

(Naperian f, CRing a) => CRing (f a)

(Naperian f, Ring a) => Ring (f a)

(Naperian f, Semiring a) => Semiring (f a)

(Naperian f, BoundedField a, Foldable f) => BoundedField (f a)

Methods

maxBound :: f a

minBound :: f a

nan :: f a

isNaN :: f a -> Bool

(Naperian f, ExpField a) => ExpField (f a)

Methods

exp :: f a -> f a

log :: f a -> f a

logBase :: f a -> f a -> f a

(**) :: f a -> f a -> f a

sqrt :: f a -> f a

(Naperian f, Field a) => Field (f a)

(Foldable f, Naperian f, Epsilon a) => Epsilon (f a)

Methods

nearZero :: f a -> Bool

aboutEqual :: f a -> f a -> Bool

(Naperian f, Signed a) => Signed (f a)

Methods

sign :: f a -> f a

abs :: f a -> f a

(Naperian f, Integral a) => Integral (f a)

Methods

div :: f a -> f a -> f a

mod :: f a -> f a -> f a

divMod :: f a -> f a -> (f a, f a)

(Foldable f, Naperian f, ExpField a) => Metric (f a) a

Methods

distance :: f a -> f a -> a

(Foldable f, Naperian f, ExpField a) => Normed (f a) a

Methods

size :: f a -> a