Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module replaces the monomorphic boolean operators from Prelude
with a set of polymorphic operators.
Synopsis
- class Boolean a where
- newtype ApplicativeBoolean f bool = ApplicativeBoolean (f bool)
Documentation
class Boolean a where Source #
Generalized boolean operators.
Instances
Boolean Bool Source # | |
Boolean bool => Boolean (IO bool) Source # | |
Boolean bool => Boolean (a -> bool) Source # | |
(Applicative f, Boolean bool) => Boolean (ApplicativeBoolean f bool) Source # | |
Defined in Morley.Prelude.Boolean (&&) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool Source # (||) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool Source # |
newtype ApplicativeBoolean f bool Source #
A newtype for deriving a Boolean
instance for any Applicative
type
constructor using DerivingVia
.
ApplicativeBoolean (f bool) |