Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. module Agda.Utils.Boolean

   Boolean algebras and types isomorphic to Bool. There are already solutions for Boolean algebras in the Haskell ecosystem, but they do not offer easy instantiations for types isomorphic to Bool. In particular, if type a is isomorphic to Bool, so it satisfies `IsBool a`, we would like to instantiate 'Boolean a' by just giving true and false. To facilitate this within the limits of the Haskell class system, we define the class Boolean mutually with class IsBool, so that operations not, (&&), and (||) can get default implementations. Usage: import Prelude hiding ( not, (&&), (||) ) import Agda.Utils.Boolean

2. class Boolean a

   Agda	Agda.Utils.Boolean

   Boolean algebras.

3. package Boolean

   Generalized booleans and numbers Some classes for generalized boolean operations. Starting with 0.1.0, this package uses type families. Up to version 0.0.2, it used MPTCs with functional dependencies. My thanks to Andy Gill for suggesting & helping with the change. Thanks also to Alex Horsman for Data.Boolean.Overload and to Jan Bracker for Data.Boolean.Numbers. Copyright 2009-2013 Conal Elliott; BSD3 license.

4. module Data.Boolean

   Some classes for generalized boolean operations. In this design, for if-then-else, equality and inequality tests, the boolean type depends on the value type. I also tried using a unary type constructor class. The class doesn't work for regular booleans, so generality is lost. Also, we'd probably have to wire class constraints in like: (==*) :: Eq a => f Bool -> f a -> f a -> f a, which disallows situations needing additional constraints, e.g., Show. Starting with 0.1.0, this package uses type families. Up to version 0.0.2, it used MPTCs with functional dependencies. My thanks to Andy Gill for suggesting & helping with the change.

5. class Boolean b

   Boolean	Data.Boolean

   Generalized boolean class

6. type family BooleanOf a

   Boolean	Data.Boolean

   BooleanOf computed the boolean analog of a specific type.

7. BoolCurve :: [TsPoint Bool] -> Ts

   Hastructure	Lib

   No documentation available.

8. BoolCurve :: [TsPoint Bool] -> Ts

   Hastructure	Types

   No documentation available.

9. data BoolMatch

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

10. data BoolQuery

    bloodhound	Database.Bloodhound.Common.Types

    No documentation available.

Page 30 of many | Previous | Next