Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.: ) :: SymVal a => SBV a -> SList a -> SList asbv Data.SBV.List Prepend an element, the traditional cons.
(
.: ) :: SChar -> SString -> SStringsbv Data.SBV.String Prepend an element, the traditional cons.
(
=: ) :: ChainStep a (ChainsTo a) => a -> ChainsTo a -> ChainsTo asbv Data.SBV.Tools.KnuckleDragger Chain steps in a calculational proof.
(
@: ) :: TagName -> [AttributePredicate] -> Selectorscalpel-core Text.HTML.Scalpel.Core The @: operator creates a Selector by combining a TagName with a list of AttributePredicates.
(
.: ) :: forall a (m :: Type -> Type) . a -> StreamK m a -> StreamK m astreamly-core Streamly.Internal.Data.StreamK Operator equivalent of cons.
> toList $ 1 .: 2 .: 3 .: nil [1,2,3]
(
<$: ) :: (CFunctor f, Dom f a, Dom f b) => a -> f b -> f asubcategories Control.Subcategory.Functor No documentation available.
(
<$:> ) :: (CFunctor f, Dom f a, Dom f b) => (a -> b) -> f a -> f bsubcategories Control.Subcategory.Functor No documentation available.
(
.: ) :: FromJSON a => Object -> Key -> Parser aAgda Agda.Interaction.JSON Retrieve the value associated with the given key of an Object. The result is empty if the key is not present or the value cannot be converted to the desired type. This accessor is appropriate if the key and value must be present in an object for it to be valid. If the key and value are optional, use .:? instead.
(
.:! ) :: FromJSON a => Object -> Key -> Parser (Maybe a)Agda Agda.Interaction.JSON Retrieve the value associated with the given key of an Object. The result is Nothing if the key is not present or empty if the value cannot be converted to the desired type. This differs from .:? by attempting to parse Null the same as any other JSON value, instead of interpreting it as Nothing.
(
.:!= ) :: FromJSON a => Object -> Key -> Parser aAgda Agda.Interaction.JSON Retrieve the value associated with the given key of an Object. If the key is not present and the omittedField is Just x for some x, the result will be that x. This differs from .:?= by attempting to parse Null the same as any other JSON value, instead of using omittedField when it's Just.