Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
unicode Data.Char.Frame No documentation available.
Parts :: Vertical a -> Horizontal a -> Parts aunicode Data.Char.Frame No documentation available.
type family
Pred (z :: Z) :: Zunits Data.Metrology Subtract one from an integer
-
This module exports functions allowing users to create their own unit quasiquoters to make for compact unit expressions. A typical use case is this:
$(makeQuasiQuoter "unit" [''Kilo, ''Milli] [''Meter, ''Second])
and then, in a separate module (due to GHC's staging constraints)x = 3 % [unit| m/s^2 ]
The unit expressions can refer to the prefixes and units specified in the call to makeQuasiQuoter. The spellings of the prefixes and units are taken from their Show instances. The syntax for these expressions is like F#'s. There are four arithmetic operators (*, /, ^, and juxtaposition). Exponentiation binds the tightest, and it allows an integer to its right (possibly with minus signs and parentheses). Next tightest is juxtaposition, which indicates multiplication. Because juxtaposition binds tighter than division, the expressions m/s^2 and m/s s are equivalent. Multiplication and division bind the loosest and are left-associative, meaning that m/s*s is equivalent to (m/s)*s, probably not what you meant. Parentheses in unit expressions are allowed, of course. Within a unit string (that is, a unit with an optional prefix), there may be ambiguity. If a unit string can be interpreted as a unit without a prefix, that parsing is preferred. Thus, min would be minutes, not milli-inches (assuming appropriate prefixes and units available.) There still may be ambiguity between unit strings, even interpreting the string as a prefix and a base unit. If a unit string is amiguous in this way, it is rejected. For example, if we have prefixes da and d and units m and am, then dam is ambiguous like this. Pow :: UnitExp pre u -> Integer -> UnitExp pre uunits Data.Metrology.Parser No documentation available.
-
This module exports all the gubbins needed for type-checking your dimensioned quantities. See Metrology for some functions restricted to using a default LCSU, which is suitable for many applications. See also Vector for polymorphic functions suitable for use with the numerical classes from the vector-space package.
type family
Pred (z :: Z) :: Zunits Data.Metrology.Poly Subtract one from an integer
-
units Data.Metrology.Vector A Point n is an affine space built over n. Two Points cannot be added, but they can be subtracted to yield a difference of type n.
-
units Data.Metrology.Vector No documentation available.
type family
Pred (z :: Z) :: Zunits Data.Metrology.Vector Subtract one from an integer