Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    units Data.Metrology.Vector

    Raise a unit to a power, known at compile time

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

    units Data.Metrology.Vector

    No documentation available.

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

    vformat Text.Format

    No documentation available.

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

    what4 What4.Utils.Complex

    No documentation available.

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

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

    Agda Agda.Syntax.Internal

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

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

    Agda Agda.TypeChecking.Substitute

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

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

    Agda Agda.Utils.List1

    No documentation available.

  9. (:#) :: Text -> [SeriesElem] -> Message

    Blammo Blammo.Logging

    No documentation available.

  10. newtype ((t2 :: Type -> Type -> Type -> Type) :.: (t1 :: Type -> Type -> Type -> Type)) (m :: Type -> Type) a

    capability Capability.Accessors

    Compose two accessors. This is not necessary in deriving via clauses, but in places where a transformer is expected as a type argument. E.g. wrapError.

Page 49 of many | Previous | Next