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.

  1. _Bool :: AsValue t => Traversal' t Bool

    microlens-aeson Lens.Micro.Aeson

    >>> "{\"a\": \"xyz\", \"b\": true}" ^? key "b" . _Bool
    Just True
    
    >>> "{\"a\": \"xyz\", \"b\": true}" ^? key "a" . _Bool
    Nothing
    

  2. type HasBools t = ConvertibleExactly Bool t

    mixed-types-num Numeric.MixedTypes.Bool

    No documentation available.

  3. type IsBool t = (HasBools t, CanNegSameType t, CanAndOrSameType t)

    mixed-types-num Numeric.MixedTypes.Bool

    A type constraint synonym that stipulates that the type behaves very much like Bool, except it does not necessarily satisfy the law of excluded middle, which means that the type can contain a "do-not-know" value or an error. Examples: Bool, Kleenean, CollectErrors Bool

  4. specCanNegBool :: (CanTestCertainly t, CanTestCertainly (NegType t), CanTestCertainly (NegType (NegType t)), Serial IO t, Show t, Show (NegType (NegType t)), CanNeg t, CanNeg (NegType t)) => T t -> Spec

    mixed-types-num Numeric.MixedTypes.Bool

    HSpec properties that each Boolean implementation of CanNeg should satisfy.

  5. specIsBool :: (IsBool t, CanTestCertainly t, Show t, Serial IO t) => T t -> Spec

    mixed-types-num Numeric.MixedTypes.Bool

    HSpec properties that each implementation of IsBool should satisfy.

  6. tBool :: T Bool

    mixed-types-num Numeric.MixedTypes.Literals

    No documentation available.

  7. tMaybeBool :: T (Maybe Bool)

    mixed-types-num Numeric.MixedTypes.Literals

    No documentation available.

  8. tMaybeMaybeBool :: T (Maybe (Maybe Bool))

    mixed-types-num Numeric.MixedTypes.Literals

    No documentation available.

  9. module Numeric.OrdGenericBool

    Order ops with generic return type. Originally developed for semi-decidable comparisons that return Kleenean instead of Bool. Use in combination with: import Prelude hiding ((==),(/=),(),(<=),(),(>=),abs,max,min,not,(&&),(||)) import qualified Prelude as P The usual comparison operators are still available using the P prefix.

  10. mkBoolean :: forall (m :: Type -> Type) . Bool -> ResolverValue m

    morpheus-graphql-app Data.Morpheus.App.Internal.Resolving

    No documentation available.

Page 123 of many | Previous | Next