Hoogle Search
Within LTS Haskell 24.28 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.*. ) :: (?cutoff :: CutOff) => Order -> Order -> OrderAgda Agda.Termination.Order Multiplication of Orders. (Corresponds to sequential composition.)
(
.--> ) :: Applicative m => m Type -> m Type -> m TypeAgda Agda.TypeChecking.Primitive.Base No documentation available.
(
..--> ) :: Applicative m => m Type -> m Type -> m TypeAgda Agda.TypeChecking.Primitive.Base No documentation available.
(
.= ) :: MonadState o m => Lens' o i -> i -> m ()Agda Agda.Utils.Lens Write a part of the state.
(
.= ) :: (KeyValue e kv, ToJSON v) => Key -> v -> kvBlammo Blammo.Logging No documentation available.
(
.&&. ) :: SetOperations set set' setResult => STM set -> STM set' -> STM setResultTCache Data.TCache.IndexQuery No documentation available.
(
.<. ) :: RelationOps field1 field2 res => field1 -> field2 -> STM resTCache Data.TCache.IndexQuery No documentation available.
(
.<=. ) :: RelationOps field1 field2 res => field1 -> field2 -> STM resTCache Data.TCache.IndexQuery No documentation available.
(
.==. ) :: RelationOps field1 field2 res => field1 -> field2 -> STM resTCache Data.TCache.IndexQuery No documentation available.
(
.>. ) :: RelationOps field1 field2 res => field1 -> field2 -> STM resTCache Data.TCache.IndexQuery No documentation available.