Language.Egison.Types

This module contains functions for dynamic type systems.

Documentation

isBool :: EgisonValue -> Bool

isInteger :: EgisonValue -> Bool

isRational :: EgisonValue -> Bool

isSymbol :: EgisonValue -> Bool

isScalar :: EgisonValue -> Bool

isTensor :: EgisonValue -> Bool

isTensorWithIndex :: EgisonValue -> Bool

isBool' :: PrimitiveFunc

isInteger' :: PrimitiveFunc

isRational' :: PrimitiveFunc

isScalar' :: PrimitiveFunc

isFloat' :: PrimitiveFunc

isComplex' :: PrimitiveFunc

isTensor' :: PrimitiveFunc

isTensorWithIndex' :: PrimitiveFunc

isChar' :: PrimitiveFunc

isString' :: PrimitiveFunc

isCollection' :: PrimitiveFunc

isArray' :: PrimitiveFunc

isHash' :: PrimitiveFunc