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.
type family
AllHave (f :: k -> Constraint) (xs :: [k])relude Relude.Extra.Type Builds combined Constraint by applying Constraint constructor to all elements of type-level list.
>>> :kind! AllHave Show '[Int, Text, Double] AllHave Show '[Int, Text, Double] :: Constraint = (Show Int, (Show Text, (Show Double, () :: Constraint)))
which is equivalent to:(Show Int, Show Text, Show Double) :: Constraint
AllowAmbiguousTypes :: Extensionghc-boot-th GHC.LanguageExtensions.Type No documentation available.
-
vinyl Data.Vinyl.Core AllRepsMatch f xs g ys means that xs and ys have the same lengths, and that mapping f over xs and g over ys produces lists whose corresponding elements are Coercible with each other. For example, the following hold: AllRepsMatch Proxy '[1,2,3] Proxy '[4,5,6] AllRepsMatch Sum '[Int,Word] Identity '[Min Int, Max Word]
type family
AllRepsMatch_ (f :: j -> Type) (xs :: [j]) (g :: k -> Type) (ys :: [k])vinyl Data.Vinyl.Core No documentation available.
type family
AllAllSat (cs :: k) (ts :: [k1])vinyl Data.Vinyl.TypeLevel Constraint that all types in a type-level list satisfy each constraint from a list of constraints. AllAllSat cs ts should be equivalent to AllConstrained (AllSatisfied cs) ts if partial application of type families were legal.
type family
AllConstrained (c :: u -> Constraint) (ts :: [u])vinyl Data.Vinyl.TypeLevel Constraint that all types in a type-level list satisfy a constraint.
class
AllSatisfied (cs :: k) (t :: k1)vinyl Data.Vinyl.TypeLevel Constraint that each Constraint in a type-level list is satisfied by a particular type.
-
warp-tls Network.Wai.Handler.WarpTLS No documentation available.
-
warp-tls Network.Wai.Handler.WarpTLS.Internal No documentation available.
data
AllSym0 (a1 :: TyFun a ~> Bool t a ~> Bool)singletons-base Data.Foldable.Singletons No documentation available.