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.
(
:<= ) :: forall v . Exp v 'Number -> Exp v 'Number -> Exp v 'Booleantypecheck-plugin-nat-simple Data.Derivation.Expression No documentation available.
(
:== ) :: forall v (t1 :: ExpType) . Exp v t1 -> Exp v t1 -> Exp v 'Booleantypecheck-plugin-nat-simple Data.Derivation.Expression No documentation available.
(
:|: ) :: ValType -> ValType -> ValTypetypst Typst.Types No documentation available.
-
units Data.Metrology Multiply two units to get another unit. For example: type MetersSquared = Meter :* Meter
(
:* ) :: u1 -> u2 -> (:*) u1 u2units Data.Metrology No documentation available.
-
units Data.Metrology Divide two units to get another unit
(
:/ ) :: u1 -> u2 -> (:/) u1 u2units Data.Metrology No documentation available.
-
units Data.Metrology Multiply a conversion ratio by some constant. Used for defining prefixes.
(
:@ ) :: prefix -> unit -> (:@) prefix unitunits Data.Metrology No documentation available.
-
units Data.Metrology Raise a unit to a power, known at compile time