Morley.Prelude.Boolean

This module replaces the monomorphic boolean operators from Prelude with a set of polymorphic operators.

Documentation

class Boolean a where

Generalized boolean operators.

Methods

(&&) :: a -> a -> a infixr 3

(||) :: a -> a -> a infixr 2

Instances

Boolean Bool

Defined in Morley.Prelude.Boolean

Methods

(&&) :: Bool -> Bool -> Bool

(||) :: Bool -> Bool -> Bool

Boolean bool => Boolean (IO bool)

Defined in Morley.Prelude.Boolean

Methods

(&&) :: IO bool -> IO bool -> IO bool

(||) :: IO bool -> IO bool -> IO bool

Boolean bool => Boolean (a -> bool)

Defined in Morley.Prelude.Boolean

Methods

(&&) :: (a -> bool) -> (a -> bool) -> a -> bool

(||) :: (a -> bool) -> (a -> bool) -> a -> bool

(Applicative f, Boolean bool) => Boolean (ApplicativeBoolean f bool)

Defined in Morley.Prelude.Boolean

Methods

(&&) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool

(||) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool

newtype ApplicativeBoolean f bool

A newtype for deriving a Boolean instance for any Applicative type constructor using DerivingVia.

Constructors

ApplicativeBoolean (f bool)

Instances

Functor f => Functor (ApplicativeBoolean f)

Defined in Morley.Prelude.Boolean

Methods

fmap :: (a -> b) -> ApplicativeBoolean f a -> ApplicativeBoolean f b

(<$) :: a -> ApplicativeBoolean f b -> ApplicativeBoolean f a

Applicative f => Applicative (ApplicativeBoolean f)

Defined in Morley.Prelude.Boolean

Methods

pure :: a -> ApplicativeBoolean f a

(<*>) :: ApplicativeBoolean f (a -> b) -> ApplicativeBoolean f a -> ApplicativeBoolean f b

liftA2 :: (a -> b -> c) -> ApplicativeBoolean f a -> ApplicativeBoolean f b -> ApplicativeBoolean f c

(*>) :: ApplicativeBoolean f a -> ApplicativeBoolean f b -> ApplicativeBoolean f b

(<*) :: ApplicativeBoolean f a -> ApplicativeBoolean f b -> ApplicativeBoolean f a

(Applicative f, Boolean bool) => Boolean (ApplicativeBoolean f bool)

Defined in Morley.Prelude.Boolean

Methods

(&&) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool

(||) :: ApplicativeBoolean f bool -> ApplicativeBoolean f bool -> ApplicativeBoolean f bool