Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
_EnumBoundedText :: (Show a, Enum a, Bounded a) => TomlBiMap a Texttomland Toml.Codec.BiMap.Conversion Helper BiMap for _EnumBounded and Text.
-
Type level numbers using existing Nat functionality Type level numbers using existing Nat functionality. Uses kind-polymorphic typeclasses and type families to facilitate more general code compatible with existing code using type-level Naturals.
-
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.