| License | MIT |
|---|---|
| Safe Haskell | None |
| Language | Haskell98 |
Language.Egison.Types
Description
This module contains functions for dynamic type systems.
Documentation
isBool :: EgisonValue -> Bool Source #
isInteger :: EgisonValue -> Bool Source #
isRational :: EgisonValue -> Bool Source #
isSymbol :: EgisonValue -> Bool Source #
isScalar :: EgisonValue -> Bool Source #
isTensor :: EgisonValue -> Bool Source #
isTensorWithIndex :: EgisonValue -> Bool Source #