Hoogle Search
Within LTS Haskell 24.31 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
membership Type.Membership.Internal No documentation available.
(
:| ) :: a -> [a] -> NonEmpty aredis-resp Data.Redis.Command No documentation available.
type p
:-> q = forall x . () => Refined p x -> Refined q xrefined-containers Data.HashSet.Refined A proof that values satisfying p can be cast into values satisfying q. For example, InSet s :-> InSet r proves that <math>.
type p
:-> q = forall x . () => Refined p x -> Refined q xrefined-containers Data.IntSet.Refined A proof that values satisfying p can be cast into values satisfying q. For example, InSet s :-> InSet r proves that <math>.
type p
:-> q = forall x . () => Refined p x -> Refined q xrefined-containers Data.Set.Refined A proof that values satisfying p can be cast into values satisfying q. For example, InSet s :-> InSet r proves that <math>.
-
shake-plus Development.Shake.Plus.Command A type annotation, equivalent to the first argument, but in variable argument contexts, gives a clue as to what return type is expected (not actually enforced).
-
strict-base-types Data.Tuple.Strict No documentation available.
pattern (
:+/- ) :: Floating a => a -> a -> Uncert auncertain Numeric.Uncertain Pattern match on an Uncert with its central value and its standard deviation (see uStd for clarification). Can also be used to construct an Uncert, identically as +/-. Note: Only supported on GHC 7.8 and above. Bidirectional functionality (to allow use as a constructor) only supported on GHC 7.10 and above.
(
:| ) :: a -> [a] -> NonEmpty averset Verset No documentation available.
(
:= ) :: forall v . FormValue v => ByteString -> v -> FormParamwreq-stringless Network.Wreq.StringLess No documentation available.