Analyze.Values

Simple value types and functions.

Documentation

data ValueType

Singleton type for value types.

Constructors

ValueTypeText

ValueTypeInteger

ValueTypeDouble

ValueTypeBool

Instances

Bounded ValueType

Methods

minBound :: ValueType

maxBound :: ValueType

Enum ValueType

Methods

succ :: ValueType -> ValueType

pred :: ValueType -> ValueType

toEnum :: Int -> ValueType

fromEnum :: ValueType -> Int

enumFrom :: ValueType -> [ValueType]

enumFromThen :: ValueType -> ValueType -> [ValueType]

enumFromTo :: ValueType -> ValueType -> [ValueType]

enumFromThenTo :: ValueType -> ValueType -> ValueType -> [ValueType]

Eq ValueType

Methods

(==) :: ValueType -> ValueType -> Bool

(/=) :: ValueType -> ValueType -> Bool

Show ValueType

Methods

showsPrec :: Int -> ValueType -> ShowS

show :: ValueType -> String

showList :: [ValueType] -> ShowS

data Value

Union type for values.

Constructors

ValueText Text

ValueInteger Integer

ValueDouble Double

ValueBool Bool

Instances

Eq Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

valueToType :: Value -> ValueType

Returns the type of the value.

getText :: Value -> Maybe Text

Extracts Text from the Value.

getInteger :: Value -> Maybe Integer

Extracts Integer from the Value.

getDouble :: Value -> Maybe Double

Extracts Double from the Value.

getBool :: Value -> Maybe Bool

Extracts Bool from the Value.

data ValueTypeError k

Exception for when we encounder unexpected values.

Constructors

ValueTypeError k ValueType Value

Instances

Eq k => Eq (ValueTypeError k)

Methods

(==) :: ValueTypeError k -> ValueTypeError k -> Bool

(/=) :: ValueTypeError k -> ValueTypeError k -> Bool

Show k => Show (ValueTypeError k)

Methods

showsPrec :: Int -> ValueTypeError k -> ShowS

show :: ValueTypeError k -> String

showList :: [ValueTypeError k] -> ShowS

(Show k, Typeable * k) => Exception (ValueTypeError k)

Methods

toException :: ValueTypeError k -> SomeException

fromException :: SomeException -> Maybe (ValueTypeError k)

displayException :: ValueTypeError k -> String

textual :: (Data k, MonadThrow m) => k -> Value -> m Text

Use with requireWhere to read Text values.

integral :: (Data k, MonadThrow m) => k -> Value -> m Integer

Use with requireWhere to read Integer values.

floating :: (Data k, MonadThrow m) => k -> Value -> m Double

Use with requireWhere to read Double values.

boolean :: (Data k, MonadThrow m) => k -> Value -> m Bool

Use with requireWhere to read Bool values.