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.
(
:/: ) :: LinearForm t -> LinearForm t -> RationalForm texp-pairs Math.ExpPairs No documentation available.
(
:/: ) :: LinearForm t -> LinearForm t -> RationalForm texp-pairs Math.ExpPairs.LinearForm No documentation available.
-
extrapolate Test.Extrapolate function application between expressions
-
falsify Test.Falsify.Generator No documentation available.
class (c1 a, c2 a) => ((c1 :: k -> Constraint)
:&&: (c2 :: k -> Constraint)) (a :: k)fixed-vector-hetero Data.Vector.HFixed.Class Type class for combining two constraint constructors. Those are required for ArityC type class.
data ((f :: k -> Type)
:+: (g :: k -> Type)) (e :: k)free-alacarte Free.AlaCarte No documentation available.
class (Functor sub, Functor sup) => (sub :: Type -> Type)
:<: (sup :: Type -> Type)free-alacarte Free.AlaCarte No documentation available.
-
gdp Data.Refined Given a type a and a proposition p, the type (a ::: p) represents a value of type a, with an attached "ghost proof" of p. Values of the type (a ::: p) have the same run-time representation as values of the normal type a; the proposition p does not carry a run-time space or time cost.
data ((a :: MajorSurgery k)
:>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)generic-data-surgery Generic.Data.Surgery Composition of surgeries (left-to-right).
Note
Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.data ((a :: MajorSurgery k)
:>> (b :: MajorSurgery k)) (c :: k -> Type) (d :: k -> Type)generic-data-surgery Generic.Data.Surgery.Internal Composition of surgeries (left-to-right).
Note
Surgeries work on normalized representations, so Operate, which applies a surgery to a generic representation, inserts normalization steps before and after the surgery. This means that Operate r (s1 :>> s2) is not quite the same as Operate (Operate r s1) s2. Instead, the latter is equivalent to Operate r (s1 :>> Suture :>> s2), where Suture inserts some intermediate normalization steps.