Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type family (a :: Z)
#+ (b :: Z) :: Zunits Data.Metrology.Vector Add two integers
-
units Data.Metrology.Vector Add two compatible quantities
-
units Data.Metrology.Vector Add a point to a vector.
type family (a :: Z)
#+ (b :: Z) :: Zunits Data.Metrology.Z Add two integers
-
what4 What4.Utils.Complex No documentation available.
(
<++> ) :: (Text, Text) -> UnpickleError -> UnpickleErrorxml-picklers Data.XML.Pickle No documentation available.
(
<?+> ) :: (Text, Text) -> PU t a -> PU t axml-picklers Data.XML.Pickle Add a back trace level to the error report.
(
<+> ) :: Monoid m => m -> m -> mxmonad XMonad.ManageHook Infix mappend. Compose two ManageHook from right to left.
-
Agda Agda.Compiler.JS.Pretty No documentation available.
-
Agda Agda.Compiler.JS.Pretty Separate by blank line.