Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
cond Data.Algebra.Boolean No documentation available.
data
AnyMatch (f :: Type -> Type) (a :: ParamPred k v) (b :: f k) (c :: TyFun v Type)decidable Data.Type.Predicate.Param AnyMatch f takes a parmaeterized predicate on k (testing for a v) and turns it into a parameterized predicate on f k (testing for a v). It "lifts" the domain into f. An AnyMatch f p as is a predicate taking an argument a and testing if p a :: Predicate k is satisfied for any item in as :: f k. A ParamPred k v tests if a k can create some v. The resulting ParamPred (f k) v tests if any k in f k can create some v.
AnyclassStrategy :: DerivStrategyderive-topdown Data.Derive.TopDown -XDeriveAnyClass
AnyDimension :: DynamicDimensiondimensional Numeric.Units.Dimensional.Dimensions The value may be interpreted as having any dimension.
AnyDimension :: DynamicDimensiondimensional Numeric.Units.Dimensional.Dimensions.TermLevel The value may be interpreted as having any dimension.
AnyDimension :: DynamicDimensiondimensional Numeric.Units.Dimensional.Dynamic The value may be interpreted as having any dimension.
-
dimensional Numeric.Units.Dimensional.Dynamic -
dimensional Numeric.Units.Dimensional.Dynamic -
generic-functor Generic.Functor.Internal.Implicit No documentation available.
-
generic-functor Generic.Functor.Internal.Implicit No documentation available.