| License | MIT |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Language.Egison.Type.Tensor
Contents
Description
This module provides tensor-specific type normalization for the Egison type system.
Synopsis
- normalizeTensorType :: Type -> Type
Type normalization
normalizeTensorType :: Type -> Type Source #
Normalize tensor types For example, Tensor a -> Tensor a Tensor (Tensor a) -> Tensor a Tensor (Tensor (Tensor a)) -> Tensor a [Tensor (Tensor a)] -> [Tensor a]