Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
This module provides a unified interface for natural numbers, signed integers, and rationals at the type level, in a way fully compatible with existing code using type-level naturals. Natural numbers are expressed as always, e.g. 5. Negative integers are written as Neg 3. Ratios are written as 3 :% 2. There are some naming conflicts between this module and GHC.TypeLits, notably the comparison and arithmetic operators. This module reexports Nat, KnownNat, natVal and natVal' so you may import just this module and not GHC.TypeLits. If you wish to use other functionality from GHC.TypeLits, this package also provides the module Data.TypeLits that includes (almost) full functionality from GHC.TypeLits, but with the conflicts resolving in this packages favour.
type
Wavenumber = Length :^ MOneunits-defs Data.Dimensions.SI No documentation available.
type
Wavenumber = MkQu_D Wavenumberunits-defs Data.Metrology.SI.MonoTypes No documentation available.
type
Wavenumber = MkQu_DLN Wavenumberunits-defs Data.Metrology.SI.PolyTypes No documentation available.
FrameNumber :: Word16 -> FrameReferencewebdriver-precore WebDriverPreCore No documentation available.
-
yesod-paginator Yesod.Paginator No documentation available.
-
yesod-paginator Yesod.Paginator.Pages No documentation available.
pageNumber :: Page a -> PageNumberyesod-paginator Yesod.Paginator.Pages No documentation available.
SequenceNumber :: Int -> MessageHCodecs Codec.Midi No documentation available.
sampleNumber :: IArray UArray a => SampleData a -> IntHCodecs Data.Audio No documentation available.