Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (:*) :: u1 -> u2 -> (:*) u1 u2

   units	Data.Metrology.Vector

   No documentation available.

2. data u1 :/ u2

   units	Data.Metrology.Vector

   Divide two units to get another unit

3. (:/) :: u1 -> u2 -> (:/) u1 u2

   units	Data.Metrology.Vector

   No documentation available.

4. data prefix :@ unit

   units	Data.Metrology.Vector

   Multiply a conversion ratio by some constant. Used for defining prefixes.

5. (:@) :: prefix -> unit -> (:@) prefix unit

   units	Data.Metrology.Vector

   No documentation available.

6. data unit :^ (power :: Z)

   units	Data.Metrology.Vector

   Raise a unit to a power, known at compile time

7. (:^) :: unit -> Sing power -> (:^) unit (power :: Z)

   units	Data.Metrology.Vector

   No documentation available.

8. (:=) :: String -> a -> (:=) a

   vformat	Text.Format

   No documentation available.

9. (:+) :: a -> a -> Complex a

   what4	What4.Utils.Complex

   No documentation available.

10. data (a :: k1) :~~: (b :: k2)

    witness	Data.Type.Witness.General.TestHetEquality

    Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

Page 51 of many | Previous | Next