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.
putBoolOpt :: WireTag -> Maybe Bool -> Putprotobuf-simple Data.ProtoBufInt Encode an optional bool field.
putBoolPacked :: WireTag -> Seq Bool -> Putprotobuf-simple Data.ProtoBufInt Encode a packed repeated bool field.
-
Reading/Writing OPB/WBO files used in pseudo boolean competition Reading/Writing OPB/WBO files used in pseudo boolean competition
-
A library for parsing/generating OPB/WBO files used in pseudo boolean competition. References:
- Input/Output Format and Solver Requirements for the Competitions of Pseudo-Boolean Solvers http://www.cril.univ-artois.fr/PB11/format.pdf
-
purescript-bridge Language.PureScript.Bridge.PSTypes No documentation available.
-
real-dice RealDice.Convert.BinaryString Converts a binary character to a Bool
Examples
>>> binToBool '0' False >>> binToBool '1' True >>> binToBool '2' *** Exception: Invalid binary character: '2' (valid binary characters are '0' and '1')
binToBools :: String -> [Bool]real-dice RealDice.Convert.BinaryString Converts a binary string to a list of Bools
Examples
>>> binToBools "1011" [True,False,True,True] >>> binToBools "1012" *** Exception: Invalid binary character: '2' (valid binary characters are '0' and '1')
stringToBools :: String -> [Bool]real-dice RealDice.Convert.BinaryString Converts a string containing '0's and '1's to a list of Bools, ignoring any characters that are not '0' or '1'
Examples
>>> stringToBools "1011" [True,False,True,True] >>> stringToBools "1012" [True,False,True] >>> stringToBools "Hello, Haskell!" [] >>> stringToBools "On the 10th of March, 1901, Hacksell Kerry placed 21st\n\ \ in the 100m dash, with a time of 12.3 seconds, wearing the number 101" [True,False,True,False,True,True,True,False,False,True,True,False,True]
-
real-dice RealDice.Generate.BalancedTables Full-length balanced list of Bools randomized with the RealDice raw data
-
real-dice RealDice.Generate.BalancedTables Prime-length balanced list of Bools randomized with the RealDice raw data