Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. putBool :: WireTag -> Bool -> Put

   protobuf-simple	Data.ProtoBufInt

   Encode a required bool field.

2. putBoolList :: WireTag -> Seq Bool -> Put

   protobuf-simple	Data.ProtoBufInt

   Encode a repeated bool field.

3. putBoolOpt :: WireTag -> Maybe Bool -> Put

   protobuf-simple	Data.ProtoBufInt

   Encode an optional bool field.

4. putBoolPacked :: WireTag -> Seq Bool -> Put

   protobuf-simple	Data.ProtoBufInt

   Encode a packed repeated bool field.

5. package pseudo-boolean

   Reading/Writing OPB/WBO files used in pseudo boolean competition Reading/Writing OPB/WBO files used in pseudo boolean competition

6. module Data.PseudoBoolean

   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

7. psBool :: PSType

   purescript-bridge	Language.PureScript.Bridge.PSTypes

   No documentation available.

8. binToBool :: Char -> Bool

   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')
   

9. 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')
   

10. 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]
    

Page 166 of many | Previous | Next