Data.UnitsOfMeasure.Read

Very very rough support for reading units of measure in the syntax used by Data.UnitsOfMeasure.Show.

Documentation

readQuantity :: Read a => String -> Either String (Some (QuantityWithUnit a))

Parse a quantity along with its units.

readUnit :: String -> Either String (Some SUnit)

Parse a unit.

readWithUnit :: forall proxy a u. (Read a, KnownUnit u) => proxy u -> String -> Either String (Quantity a (Pack u))

Parse a quantity and check that it has the expected units.

data Some p where

An existential wrapper type: Some p is essentially exists x . p x.

Constructors

Some :: p x -> Some p

data QuantityWithUnit a u where

Represents a quantity whose units have a syntactic representation that is known statically and at runtime.

Constructors

QuantityWithUnit :: Quantity a (Pack u) -> SUnit u -> QuantityWithUnit a u

Orphan instances

(KnownUnit (Unpack u), (~) Unit u (Pack (Unpack u)), Read a) => Read (Quantity a u)

Methods

readsPrec :: Int -> ReadS (Quantity a u)

readList :: ReadS [Quantity a u]

readPrec :: ReadPrec (Quantity a u)

readListPrec :: ReadPrec [Quantity a u]