| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Units.Base
Synopsis
- module Data.Units.Base.System
- module Data.Units.Base.Convert
- module Data.Units.Base.Arithmetic
- module Data.Units.Base.Prefix
- module Data.Units.Base.TH
- coerce :: Coercible a b => a -> b
- module Data.Type.Int
- module Data.Type.Int.Proxy
- data ErrorMessage
- = Text Symbol
- | ShowType t
- | ErrorMessage :<>: ErrorMessage
- | ErrorMessage :$$: ErrorMessage
Core modules
module Data.Units.Base.System
module Data.Units.Base.Convert
module Data.Units.Base.Arithmetic
module Data.Units.Base.Prefix
module Data.Units.Base.TH
Re-exported for Template Haskell to work out of the box
Type level integers
module Data.Type.Int
module Data.Type.Int.Proxy
Re-exported from GHC.TypeError
data ErrorMessage #
Constructors
| Text Symbol | |
| ShowType t | |
| ErrorMessage :<>: ErrorMessage | |
| ErrorMessage :$$: ErrorMessage |