Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ogma-language-lustre Language.Lustre.AbsLustre No documentation available.
Op2NumCmp :: BoolNumOp -> Op2Inogma-language-lustre Language.Lustre.AbsLustre No documentation available.
-
ogma-language-lustre Language.Lustre.AbsLustre No documentation available.
BoolSpecNum :: NumExpr -> BoolSpecogma-language-smv Language.SMV.AbsSMV No documentation available.
mapNumExprIdent :: (String -> String) -> NumExpr -> NumExprogma-language-smv Language.SMV.Substitution No documentation available.
prettyEnum :: Attributes -> Docogma-language-xmlspec Language.XMLSpec.PrintTrees No documentation available.
-
one-liner-instances Numeric.OneLiner If a is a data type with a single constructor whose fields are all instances of Num, then GNum a has a Num instance. If a is a data type with a single constructor whose fields are all instances of Fractional, then GNum a has a Fractional instance. If a is a data type with a single constructor whose fields are all instances of Floating, then GNum a has a Floating instance. Will one day be able to be used with DerivingVia syntax, to derive instances automatically.
-
one-liner-instances Numeric.OneLiner No documentation available.
gSignum :: (ADTRecord a, Constraints a Num) => a -> aone-liner-instances Numeric.OneLiner No documentation available.
-
one-liner-instances Numeric.OneLiner No documentation available.