Hoogle Search
Within LTS Haskell 24.26 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
boolValue :: CExpr -> Maybe Boollanguage-c Language.C.Analysis.ConstEval No documentation available.
-
language-c Language.C.Analysis.TypeUtils The type of comparisons/guards. This is always just int.
boolSpec2Copilot :: BoolSpec -> Stringogma-core Language.Trans.Lustre2Copilot Return the Copilot representation of a Lustre BoolSpec. This function returns the temporal property only. The string does not contain any top-level names, any imports, or auxiliary definitions that may be required.
boolSpecNames :: BoolSpec -> [String]ogma-core Language.Trans.Lustre2Copilot Return all identifiers used in a BoolSpec that are not reserved keywords.
boolSpec2Copilot :: BoolSpec -> Stringogma-core Language.Trans.SMV2Copilot Return the Copilot representation of an SMV BoolSpec. This function returns the temporal property only. The string does not contain any top-level names, any imports, or auxiliary definitions that may be required.
boolSpecNames :: BoolSpec -> [String]ogma-core Language.Trans.SMV2Copilot Return all identifiers used in a BoolSpec that are not reserved keywords.
boolValue :: (Functor f, HasField s "boolValue" a) => LensLike' f s aproto-lens-protobuf-types Proto.Google.Protobuf.Struct_Fields No documentation available.
booleanValue :: (Functor f, HasField s "booleanValue" a) => LensLike' f s ariak-protobuf Data.Riak.Proto No documentation available.
-
yi-mode-javascript Yi.Syntax.JavaScript Parses any boolean.
-
base Foreign.C.Types Haskell type representing the C bool type. (The concrete types of Foreign.C.Types#platform are platform-specific.)