Data.Object.Dynamic.Presets

This module provides two presets for the Object: DIT for daily use, and Precise for arbitrary precision calculations.

Documentation

data DIT

Object DIT uses Double for real numbers, Int for integers and Text for strings.

>>> typechecks :: (UnderlyingReal (Object DIT) ~ Double) => Bool
True
>>> typechecks :: (UnderlyingInteger (Object DIT) ~ Int) => Bool
True
>>> typechecks :: (UnderlyingString (Object DIT) ~ Data.Text.Text) => Bool
True

Instances

UseString DIT

UseInteger DIT

UseReal DIT

data Precise

Object Precise uses Double for real numbers, Int for integers and Text for strings.

>>> typechecks :: (UnderlyingReal (Object Precise) ~ Rational) => Bool
True
>>> typechecks :: (UnderlyingInteger (Object Precise) ~ Integer) => Bool
True
>>> typechecks :: (UnderlyingString (Object Precise) ~ Data.Text.Text) => Bool
True

Instances

UseString Precise

UseInteger Precise

UseReal Precise