Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

  1. data prefix :@ unit

    units Data.Metrology.Vector

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

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

    units Data.Metrology.Vector

    No documentation available.

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

    units Data.Metrology.Vector

    Raise a unit to a power, known at compile time

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

    units Data.Metrology.Vector

    No documentation available.

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

    vformat Text.Format

    No documentation available.

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

    what4 What4.Utils.Complex

    No documentation available.

  7. 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.

  8. (:#) :: a -> Substitution' a -> Substitution' a

    Agda Agda.Syntax.Internal

    Substitution extension, `cons'. Γ ⊢ u : Aρ Γ ⊢ ρ : Δ ---------------------- Γ ⊢ u :# ρ : Δ, A

  9. (:#) :: a -> Substitution' a -> Substitution' a

    Agda Agda.TypeChecking.Substitute

    Substitution extension, `cons'. Γ ⊢ u : Aρ Γ ⊢ ρ : Δ ---------------------- Γ ⊢ u :# ρ : Δ, A

  10. (:|) :: a -> [a] -> NonEmpty a

    Agda Agda.Utils.List1

    No documentation available.

Page 49 of many | Previous | Next