Data.Bool.Truthy

Documentation

class Boolean b where

Methods

false :: b

true :: b

(&&*) :: b -> b -> b

(||*) :: b -> b -> b

notB :: b -> b

Instances

Boolean Bool

Defined in Data.Bool.Truthy

Methods

false :: Bool

true :: Bool

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

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

notB :: Bool -> Bool

Boolean b => Boolean (a -> b)

Defined in Data.Bool.Truthy

Methods

false :: a -> b

true :: a -> b

(&&*) :: (a -> b) -> (a -> b) -> a -> b

(||*) :: (a -> b) -> (a -> b) -> a -> b

notB :: (a -> b) -> a -> b

class Boolean (BooleanRep b) => Truthy b where

Associated Types

type BooleanRep b

Methods

truthy :: b -> BooleanRep b

Instances

Truthy Bool

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep Bool

Methods

truthy :: Bool -> BooleanRep Bool

Truthy b => Truthy (Contrary b)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (Contrary b)

Methods

truthy :: Contrary b -> BooleanRep (Contrary b)

(Ord n, Num n) => Truthy (PositiveTrue n)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (PositiveTrue n)

Methods

truthy :: PositiveTrue n -> BooleanRep (PositiveTrue n)

(Eq n, Num n) => Truthy (ZeroFalse n)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (ZeroFalse n)

Methods

truthy :: ZeroFalse n -> BooleanRep (ZeroFalse n)

Truthy b => Truthy (a -> b)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (a -> b)

Methods

truthy :: (a -> b) -> BooleanRep (a -> b)

(Functor f, Foldable f, Truthy x) => Truthy (AnyTruthy f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AnyTruthy f x)

Methods

truthy :: AnyTruthy f x -> BooleanRep (AnyTruthy f x)

(Foldable f, Boolean x) => Truthy (AnyTrue f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AnyTrue f x)

Methods

truthy :: AnyTrue f x -> BooleanRep (AnyTrue f x)

(Functor f, Foldable f, Truthy x) => Truthy (AllTruthy f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AllTruthy f x)

Methods

truthy :: AllTruthy f x -> BooleanRep (AllTruthy f x)

(Foldable f, Boolean x) => Truthy (AllTrue f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AllTrue f x)

Methods

truthy :: AllTrue f x -> BooleanRep (AllTrue f x)

Foldable f => Truthy (EmptyFalse f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (EmptyFalse f x)

Methods

truthy :: EmptyFalse f x -> BooleanRep (EmptyFalse f x)

newtype ZeroFalse n

Constructors

ZeroFalse

Fields

• unZeroFalse :: n

Instances

Functor ZeroFalse

Defined in Data.Bool.Truthy

Methods

fmap :: (a -> b) -> ZeroFalse a -> ZeroFalse b

(<$) :: a -> ZeroFalse b -> ZeroFalse a

Foldable ZeroFalse

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => ZeroFalse m -> m

foldMap :: Monoid m => (a -> m) -> ZeroFalse a -> m

foldMap' :: Monoid m => (a -> m) -> ZeroFalse a -> m

foldr :: (a -> b -> b) -> b -> ZeroFalse a -> b

foldr' :: (a -> b -> b) -> b -> ZeroFalse a -> b

foldl :: (b -> a -> b) -> b -> ZeroFalse a -> b

foldl' :: (b -> a -> b) -> b -> ZeroFalse a -> b

foldr1 :: (a -> a -> a) -> ZeroFalse a -> a

foldl1 :: (a -> a -> a) -> ZeroFalse a -> a

toList :: ZeroFalse a -> [a]

null :: ZeroFalse a -> Bool

length :: ZeroFalse a -> Int

elem :: Eq a => a -> ZeroFalse a -> Bool

maximum :: Ord a => ZeroFalse a -> a

minimum :: Ord a => ZeroFalse a -> a

sum :: Num a => ZeroFalse a -> a

product :: Num a => ZeroFalse a -> a

Traversable ZeroFalse

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f => (a -> f b) -> ZeroFalse a -> f (ZeroFalse b)

sequenceA :: Applicative f => ZeroFalse (f a) -> f (ZeroFalse a)

mapM :: Monad m => (a -> m b) -> ZeroFalse a -> m (ZeroFalse b)

sequence :: Monad m => ZeroFalse (m a) -> m (ZeroFalse a)

Eq n => Eq (ZeroFalse n)

Defined in Data.Bool.Truthy

Methods

(==) :: ZeroFalse n -> ZeroFalse n -> Bool

(/=) :: ZeroFalse n -> ZeroFalse n -> Bool

Num n => Num (ZeroFalse n)

Defined in Data.Bool.Truthy

Methods

(+) :: ZeroFalse n -> ZeroFalse n -> ZeroFalse n

(-) :: ZeroFalse n -> ZeroFalse n -> ZeroFalse n

(*) :: ZeroFalse n -> ZeroFalse n -> ZeroFalse n

negate :: ZeroFalse n -> ZeroFalse n

abs :: ZeroFalse n -> ZeroFalse n

signum :: ZeroFalse n -> ZeroFalse n

fromInteger :: Integer -> ZeroFalse n

Ord n => Ord (ZeroFalse n)

Defined in Data.Bool.Truthy

Methods

compare :: ZeroFalse n -> ZeroFalse n -> Ordering

(<) :: ZeroFalse n -> ZeroFalse n -> Bool

(<=) :: ZeroFalse n -> ZeroFalse n -> Bool

(>) :: ZeroFalse n -> ZeroFalse n -> Bool

(>=) :: ZeroFalse n -> ZeroFalse n -> Bool

max :: ZeroFalse n -> ZeroFalse n -> ZeroFalse n

min :: ZeroFalse n -> ZeroFalse n -> ZeroFalse n

Show n => Show (ZeroFalse n)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> ZeroFalse n -> ShowS

show :: ZeroFalse n -> String

showList :: [ZeroFalse n] -> ShowS

(Eq n, Num n) => Truthy (ZeroFalse n)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (ZeroFalse n)

Methods

truthy :: ZeroFalse n -> BooleanRep (ZeroFalse n)

type BooleanRep (ZeroFalse n)

Defined in Data.Bool.Truthy

type BooleanRep (ZeroFalse n) = Bool

newtype PositiveTrue n

Constructors

PositiveTrue

Fields

• unPositiveTrue :: n

Instances

Functor PositiveTrue

Defined in Data.Bool.Truthy

Methods

fmap :: (a -> b) -> PositiveTrue a -> PositiveTrue b

(<$) :: a -> PositiveTrue b -> PositiveTrue a

Foldable PositiveTrue

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => PositiveTrue m -> m

foldMap :: Monoid m => (a -> m) -> PositiveTrue a -> m

foldMap' :: Monoid m => (a -> m) -> PositiveTrue a -> m

foldr :: (a -> b -> b) -> b -> PositiveTrue a -> b

foldr' :: (a -> b -> b) -> b -> PositiveTrue a -> b

foldl :: (b -> a -> b) -> b -> PositiveTrue a -> b

foldl' :: (b -> a -> b) -> b -> PositiveTrue a -> b

foldr1 :: (a -> a -> a) -> PositiveTrue a -> a

foldl1 :: (a -> a -> a) -> PositiveTrue a -> a

toList :: PositiveTrue a -> [a]

null :: PositiveTrue a -> Bool

length :: PositiveTrue a -> Int

elem :: Eq a => a -> PositiveTrue a -> Bool

maximum :: Ord a => PositiveTrue a -> a

minimum :: Ord a => PositiveTrue a -> a

sum :: Num a => PositiveTrue a -> a

product :: Num a => PositiveTrue a -> a

Traversable PositiveTrue

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f => (a -> f b) -> PositiveTrue a -> f (PositiveTrue b)

sequenceA :: Applicative f => PositiveTrue (f a) -> f (PositiveTrue a)

mapM :: Monad m => (a -> m b) -> PositiveTrue a -> m (PositiveTrue b)

sequence :: Monad m => PositiveTrue (m a) -> m (PositiveTrue a)

Eq n => Eq (PositiveTrue n)

Defined in Data.Bool.Truthy

Methods

(==) :: PositiveTrue n -> PositiveTrue n -> Bool

(/=) :: PositiveTrue n -> PositiveTrue n -> Bool

Num n => Num (PositiveTrue n)

Defined in Data.Bool.Truthy

Methods

(+) :: PositiveTrue n -> PositiveTrue n -> PositiveTrue n

(-) :: PositiveTrue n -> PositiveTrue n -> PositiveTrue n

(*) :: PositiveTrue n -> PositiveTrue n -> PositiveTrue n

negate :: PositiveTrue n -> PositiveTrue n

abs :: PositiveTrue n -> PositiveTrue n

signum :: PositiveTrue n -> PositiveTrue n

fromInteger :: Integer -> PositiveTrue n

Ord n => Ord (PositiveTrue n)

Defined in Data.Bool.Truthy

Methods

compare :: PositiveTrue n -> PositiveTrue n -> Ordering

(<) :: PositiveTrue n -> PositiveTrue n -> Bool

(<=) :: PositiveTrue n -> PositiveTrue n -> Bool

(>) :: PositiveTrue n -> PositiveTrue n -> Bool

(>=) :: PositiveTrue n -> PositiveTrue n -> Bool

max :: PositiveTrue n -> PositiveTrue n -> PositiveTrue n

min :: PositiveTrue n -> PositiveTrue n -> PositiveTrue n

Show n => Show (PositiveTrue n)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> PositiveTrue n -> ShowS

show :: PositiveTrue n -> String

showList :: [PositiveTrue n] -> ShowS

(Ord n, Num n) => Truthy (PositiveTrue n)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (PositiveTrue n)

Methods

truthy :: PositiveTrue n -> BooleanRep (PositiveTrue n)

type BooleanRep (PositiveTrue n)

Defined in Data.Bool.Truthy

type BooleanRep (PositiveTrue n) = Bool

newtype EmptyFalse f x

Constructors

EmptyFalse

Fields

• unEmptyFalse :: f x

Instances

Functor f => Functor (EmptyFalse f)

Defined in Data.Bool.Truthy

Methods

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

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

Foldable f => Foldable (EmptyFalse f)

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => EmptyFalse f m -> m

foldMap :: Monoid m => (a -> m) -> EmptyFalse f a -> m

foldMap' :: Monoid m => (a -> m) -> EmptyFalse f a -> m

foldr :: (a -> b -> b) -> b -> EmptyFalse f a -> b

foldr' :: (a -> b -> b) -> b -> EmptyFalse f a -> b

foldl :: (b -> a -> b) -> b -> EmptyFalse f a -> b

foldl' :: (b -> a -> b) -> b -> EmptyFalse f a -> b

foldr1 :: (a -> a -> a) -> EmptyFalse f a -> a

foldl1 :: (a -> a -> a) -> EmptyFalse f a -> a

toList :: EmptyFalse f a -> [a]

null :: EmptyFalse f a -> Bool

length :: EmptyFalse f a -> Int

elem :: Eq a => a -> EmptyFalse f a -> Bool

maximum :: Ord a => EmptyFalse f a -> a

minimum :: Ord a => EmptyFalse f a -> a

sum :: Num a => EmptyFalse f a -> a

product :: Num a => EmptyFalse f a -> a

Traversable f => Traversable (EmptyFalse f)

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f0 => (a -> f0 b) -> EmptyFalse f a -> f0 (EmptyFalse f b)

sequenceA :: Applicative f0 => EmptyFalse f (f0 a) -> f0 (EmptyFalse f a)

mapM :: Monad m => (a -> m b) -> EmptyFalse f a -> m (EmptyFalse f b)

sequence :: Monad m => EmptyFalse f (m a) -> m (EmptyFalse f a)

Eq (f x) => Eq (EmptyFalse f x)

Defined in Data.Bool.Truthy

Methods

(==) :: EmptyFalse f x -> EmptyFalse f x -> Bool

(/=) :: EmptyFalse f x -> EmptyFalse f x -> Bool

Ord (f x) => Ord (EmptyFalse f x)

Defined in Data.Bool.Truthy

Methods

compare :: EmptyFalse f x -> EmptyFalse f x -> Ordering

(<) :: EmptyFalse f x -> EmptyFalse f x -> Bool

(<=) :: EmptyFalse f x -> EmptyFalse f x -> Bool

(>) :: EmptyFalse f x -> EmptyFalse f x -> Bool

(>=) :: EmptyFalse f x -> EmptyFalse f x -> Bool

max :: EmptyFalse f x -> EmptyFalse f x -> EmptyFalse f x

min :: EmptyFalse f x -> EmptyFalse f x -> EmptyFalse f x

Show (f x) => Show (EmptyFalse f x)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> EmptyFalse f x -> ShowS

show :: EmptyFalse f x -> String

showList :: [EmptyFalse f x] -> ShowS

Foldable f => Truthy (EmptyFalse f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (EmptyFalse f x)

Methods

truthy :: EmptyFalse f x -> BooleanRep (EmptyFalse f x)

type BooleanRep (EmptyFalse f x)

Defined in Data.Bool.Truthy

type BooleanRep (EmptyFalse f x) = Bool

newtype AllTrue f x

Constructors

AllTrue

Fields

• unAllTrue :: f x

Instances

Functor f => Functor (AllTrue f)

Defined in Data.Bool.Truthy

Methods

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

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

Foldable f => Foldable (AllTrue f)

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => AllTrue f m -> m

foldMap :: Monoid m => (a -> m) -> AllTrue f a -> m

foldMap' :: Monoid m => (a -> m) -> AllTrue f a -> m

foldr :: (a -> b -> b) -> b -> AllTrue f a -> b

foldr' :: (a -> b -> b) -> b -> AllTrue f a -> b

foldl :: (b -> a -> b) -> b -> AllTrue f a -> b

foldl' :: (b -> a -> b) -> b -> AllTrue f a -> b

foldr1 :: (a -> a -> a) -> AllTrue f a -> a

foldl1 :: (a -> a -> a) -> AllTrue f a -> a

toList :: AllTrue f a -> [a]

null :: AllTrue f a -> Bool

length :: AllTrue f a -> Int

elem :: Eq a => a -> AllTrue f a -> Bool

maximum :: Ord a => AllTrue f a -> a

minimum :: Ord a => AllTrue f a -> a

sum :: Num a => AllTrue f a -> a

product :: Num a => AllTrue f a -> a

Traversable f => Traversable (AllTrue f)

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f0 => (a -> f0 b) -> AllTrue f a -> f0 (AllTrue f b)

sequenceA :: Applicative f0 => AllTrue f (f0 a) -> f0 (AllTrue f a)

mapM :: Monad m => (a -> m b) -> AllTrue f a -> m (AllTrue f b)

sequence :: Monad m => AllTrue f (m a) -> m (AllTrue f a)

Eq (f x) => Eq (AllTrue f x)

Defined in Data.Bool.Truthy

Methods

(==) :: AllTrue f x -> AllTrue f x -> Bool

(/=) :: AllTrue f x -> AllTrue f x -> Bool

Ord (f x) => Ord (AllTrue f x)

Defined in Data.Bool.Truthy

Methods

compare :: AllTrue f x -> AllTrue f x -> Ordering

(<) :: AllTrue f x -> AllTrue f x -> Bool

(<=) :: AllTrue f x -> AllTrue f x -> Bool

(>) :: AllTrue f x -> AllTrue f x -> Bool

(>=) :: AllTrue f x -> AllTrue f x -> Bool

max :: AllTrue f x -> AllTrue f x -> AllTrue f x

min :: AllTrue f x -> AllTrue f x -> AllTrue f x

Show (f x) => Show (AllTrue f x)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> AllTrue f x -> ShowS

show :: AllTrue f x -> String

showList :: [AllTrue f x] -> ShowS

(Foldable f, Boolean x) => Truthy (AllTrue f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AllTrue f x)

Methods

truthy :: AllTrue f x -> BooleanRep (AllTrue f x)

type BooleanRep (AllTrue f x)

Defined in Data.Bool.Truthy

type BooleanRep (AllTrue f x) = x

newtype AllTruthy f x

Constructors

AllTruthy

Fields

• unAllTruthy :: f x

Instances

Functor f => Functor (AllTruthy f)

Defined in Data.Bool.Truthy

Methods

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

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

Foldable f => Foldable (AllTruthy f)

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => AllTruthy f m -> m

foldMap :: Monoid m => (a -> m) -> AllTruthy f a -> m

foldMap' :: Monoid m => (a -> m) -> AllTruthy f a -> m

foldr :: (a -> b -> b) -> b -> AllTruthy f a -> b

foldr' :: (a -> b -> b) -> b -> AllTruthy f a -> b

foldl :: (b -> a -> b) -> b -> AllTruthy f a -> b

foldl' :: (b -> a -> b) -> b -> AllTruthy f a -> b

foldr1 :: (a -> a -> a) -> AllTruthy f a -> a

foldl1 :: (a -> a -> a) -> AllTruthy f a -> a

toList :: AllTruthy f a -> [a]

null :: AllTruthy f a -> Bool

length :: AllTruthy f a -> Int

elem :: Eq a => a -> AllTruthy f a -> Bool

maximum :: Ord a => AllTruthy f a -> a

minimum :: Ord a => AllTruthy f a -> a

sum :: Num a => AllTruthy f a -> a

product :: Num a => AllTruthy f a -> a

Traversable f => Traversable (AllTruthy f)

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f0 => (a -> f0 b) -> AllTruthy f a -> f0 (AllTruthy f b)

sequenceA :: Applicative f0 => AllTruthy f (f0 a) -> f0 (AllTruthy f a)

mapM :: Monad m => (a -> m b) -> AllTruthy f a -> m (AllTruthy f b)

sequence :: Monad m => AllTruthy f (m a) -> m (AllTruthy f a)

Eq (f x) => Eq (AllTruthy f x)

Defined in Data.Bool.Truthy

Methods

(==) :: AllTruthy f x -> AllTruthy f x -> Bool

(/=) :: AllTruthy f x -> AllTruthy f x -> Bool

Ord (f x) => Ord (AllTruthy f x)

Defined in Data.Bool.Truthy

Methods

compare :: AllTruthy f x -> AllTruthy f x -> Ordering

(<) :: AllTruthy f x -> AllTruthy f x -> Bool

(<=) :: AllTruthy f x -> AllTruthy f x -> Bool

(>) :: AllTruthy f x -> AllTruthy f x -> Bool

(>=) :: AllTruthy f x -> AllTruthy f x -> Bool

max :: AllTruthy f x -> AllTruthy f x -> AllTruthy f x

min :: AllTruthy f x -> AllTruthy f x -> AllTruthy f x

Show (f x) => Show (AllTruthy f x)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> AllTruthy f x -> ShowS

show :: AllTruthy f x -> String

showList :: [AllTruthy f x] -> ShowS

(Functor f, Foldable f, Truthy x) => Truthy (AllTruthy f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AllTruthy f x)

Methods

truthy :: AllTruthy f x -> BooleanRep (AllTruthy f x)

type BooleanRep (AllTruthy f x)

Defined in Data.Bool.Truthy

type BooleanRep (AllTruthy f x) = BooleanRep x

newtype AnyTrue f x

Constructors

AnyTrue

Fields

• unAnyTrue :: f x

Instances

Functor f => Functor (AnyTrue f)

Defined in Data.Bool.Truthy

Methods

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

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

Foldable f => Foldable (AnyTrue f)

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => AnyTrue f m -> m

foldMap :: Monoid m => (a -> m) -> AnyTrue f a -> m

foldMap' :: Monoid m => (a -> m) -> AnyTrue f a -> m

foldr :: (a -> b -> b) -> b -> AnyTrue f a -> b

foldr' :: (a -> b -> b) -> b -> AnyTrue f a -> b

foldl :: (b -> a -> b) -> b -> AnyTrue f a -> b

foldl' :: (b -> a -> b) -> b -> AnyTrue f a -> b

foldr1 :: (a -> a -> a) -> AnyTrue f a -> a

foldl1 :: (a -> a -> a) -> AnyTrue f a -> a

toList :: AnyTrue f a -> [a]

null :: AnyTrue f a -> Bool

length :: AnyTrue f a -> Int

elem :: Eq a => a -> AnyTrue f a -> Bool

maximum :: Ord a => AnyTrue f a -> a

minimum :: Ord a => AnyTrue f a -> a

sum :: Num a => AnyTrue f a -> a

product :: Num a => AnyTrue f a -> a

Traversable f => Traversable (AnyTrue f)

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f0 => (a -> f0 b) -> AnyTrue f a -> f0 (AnyTrue f b)

sequenceA :: Applicative f0 => AnyTrue f (f0 a) -> f0 (AnyTrue f a)

mapM :: Monad m => (a -> m b) -> AnyTrue f a -> m (AnyTrue f b)

sequence :: Monad m => AnyTrue f (m a) -> m (AnyTrue f a)

Eq (f x) => Eq (AnyTrue f x)

Defined in Data.Bool.Truthy

Methods

(==) :: AnyTrue f x -> AnyTrue f x -> Bool

(/=) :: AnyTrue f x -> AnyTrue f x -> Bool

Ord (f x) => Ord (AnyTrue f x)

Defined in Data.Bool.Truthy

Methods

compare :: AnyTrue f x -> AnyTrue f x -> Ordering

(<) :: AnyTrue f x -> AnyTrue f x -> Bool

(<=) :: AnyTrue f x -> AnyTrue f x -> Bool

(>) :: AnyTrue f x -> AnyTrue f x -> Bool

(>=) :: AnyTrue f x -> AnyTrue f x -> Bool

max :: AnyTrue f x -> AnyTrue f x -> AnyTrue f x

min :: AnyTrue f x -> AnyTrue f x -> AnyTrue f x

Show (f x) => Show (AnyTrue f x)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> AnyTrue f x -> ShowS

show :: AnyTrue f x -> String

showList :: [AnyTrue f x] -> ShowS

(Foldable f, Boolean x) => Truthy (AnyTrue f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AnyTrue f x)

Methods

truthy :: AnyTrue f x -> BooleanRep (AnyTrue f x)

type BooleanRep (AnyTrue f x)

Defined in Data.Bool.Truthy

type BooleanRep (AnyTrue f x) = x

newtype AnyTruthy f x

Constructors

AnyTruthy

Fields

• unAnyTruthy :: f x

Instances

Functor f => Functor (AnyTruthy f)

Defined in Data.Bool.Truthy

Methods

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

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

Foldable f => Foldable (AnyTruthy f)

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => AnyTruthy f m -> m

foldMap :: Monoid m => (a -> m) -> AnyTruthy f a -> m

foldMap' :: Monoid m => (a -> m) -> AnyTruthy f a -> m

foldr :: (a -> b -> b) -> b -> AnyTruthy f a -> b

foldr' :: (a -> b -> b) -> b -> AnyTruthy f a -> b

foldl :: (b -> a -> b) -> b -> AnyTruthy f a -> b

foldl' :: (b -> a -> b) -> b -> AnyTruthy f a -> b

foldr1 :: (a -> a -> a) -> AnyTruthy f a -> a

foldl1 :: (a -> a -> a) -> AnyTruthy f a -> a

toList :: AnyTruthy f a -> [a]

null :: AnyTruthy f a -> Bool

length :: AnyTruthy f a -> Int

elem :: Eq a => a -> AnyTruthy f a -> Bool

maximum :: Ord a => AnyTruthy f a -> a

minimum :: Ord a => AnyTruthy f a -> a

sum :: Num a => AnyTruthy f a -> a

product :: Num a => AnyTruthy f a -> a

Traversable f => Traversable (AnyTruthy f)

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f0 => (a -> f0 b) -> AnyTruthy f a -> f0 (AnyTruthy f b)

sequenceA :: Applicative f0 => AnyTruthy f (f0 a) -> f0 (AnyTruthy f a)

mapM :: Monad m => (a -> m b) -> AnyTruthy f a -> m (AnyTruthy f b)

sequence :: Monad m => AnyTruthy f (m a) -> m (AnyTruthy f a)

Eq (f x) => Eq (AnyTruthy f x)

Defined in Data.Bool.Truthy

Methods

(==) :: AnyTruthy f x -> AnyTruthy f x -> Bool

(/=) :: AnyTruthy f x -> AnyTruthy f x -> Bool

Ord (f x) => Ord (AnyTruthy f x)

Defined in Data.Bool.Truthy

Methods

compare :: AnyTruthy f x -> AnyTruthy f x -> Ordering

(<) :: AnyTruthy f x -> AnyTruthy f x -> Bool

(<=) :: AnyTruthy f x -> AnyTruthy f x -> Bool

(>) :: AnyTruthy f x -> AnyTruthy f x -> Bool

(>=) :: AnyTruthy f x -> AnyTruthy f x -> Bool

max :: AnyTruthy f x -> AnyTruthy f x -> AnyTruthy f x

min :: AnyTruthy f x -> AnyTruthy f x -> AnyTruthy f x

Show (f x) => Show (AnyTruthy f x)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> AnyTruthy f x -> ShowS

show :: AnyTruthy f x -> String

showList :: [AnyTruthy f x] -> ShowS

(Functor f, Foldable f, Truthy x) => Truthy (AnyTruthy f x)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (AnyTruthy f x)

Methods

truthy :: AnyTruthy f x -> BooleanRep (AnyTruthy f x)

type BooleanRep (AnyTruthy f x)

Defined in Data.Bool.Truthy

type BooleanRep (AnyTruthy f x) = BooleanRep x

newtype Contrary b

Constructors

Contrary

Fields

• unContrary :: b

Instances

Functor Contrary

Defined in Data.Bool.Truthy

Methods

fmap :: (a -> b) -> Contrary a -> Contrary b

(<$) :: a -> Contrary b -> Contrary a

Foldable Contrary

Defined in Data.Bool.Truthy

Methods

fold :: Monoid m => Contrary m -> m

foldMap :: Monoid m => (a -> m) -> Contrary a -> m

foldMap' :: Monoid m => (a -> m) -> Contrary a -> m

foldr :: (a -> b -> b) -> b -> Contrary a -> b

foldr' :: (a -> b -> b) -> b -> Contrary a -> b

foldl :: (b -> a -> b) -> b -> Contrary a -> b

foldl' :: (b -> a -> b) -> b -> Contrary a -> b

foldr1 :: (a -> a -> a) -> Contrary a -> a

foldl1 :: (a -> a -> a) -> Contrary a -> a

toList :: Contrary a -> [a]

null :: Contrary a -> Bool

length :: Contrary a -> Int

elem :: Eq a => a -> Contrary a -> Bool

maximum :: Ord a => Contrary a -> a

minimum :: Ord a => Contrary a -> a

sum :: Num a => Contrary a -> a

product :: Num a => Contrary a -> a

Traversable Contrary

Defined in Data.Bool.Truthy

Methods

traverse :: Applicative f => (a -> f b) -> Contrary a -> f (Contrary b)

sequenceA :: Applicative f => Contrary (f a) -> f (Contrary a)

mapM :: Monad m => (a -> m b) -> Contrary a -> m (Contrary b)

sequence :: Monad m => Contrary (m a) -> m (Contrary a)

Eq b => Eq (Contrary b)

Defined in Data.Bool.Truthy

Methods

(==) :: Contrary b -> Contrary b -> Bool

(/=) :: Contrary b -> Contrary b -> Bool

Ord b => Ord (Contrary b)

Defined in Data.Bool.Truthy

Methods

compare :: Contrary b -> Contrary b -> Ordering

(<) :: Contrary b -> Contrary b -> Bool

(<=) :: Contrary b -> Contrary b -> Bool

(>) :: Contrary b -> Contrary b -> Bool

(>=) :: Contrary b -> Contrary b -> Bool

max :: Contrary b -> Contrary b -> Contrary b

min :: Contrary b -> Contrary b -> Contrary b

Show b => Show (Contrary b)

Defined in Data.Bool.Truthy

Methods

showsPrec :: Int -> Contrary b -> ShowS

show :: Contrary b -> String

showList :: [Contrary b] -> ShowS

Truthy b => Truthy (Contrary b)

Defined in Data.Bool.Truthy

Associated Types

type BooleanRep (Contrary b)

Methods

truthy :: Contrary b -> BooleanRep (Contrary b)

type BooleanRep (Contrary b)

Defined in Data.Bool.Truthy

type BooleanRep (Contrary b) = BooleanRep b

class Boolean b => BooleanIf b where

Methods

bIf :: b -> a -> a -> a

Instances

BooleanIf Bool

Defined in Data.Bool.Truthy

Methods

bIf :: Bool -> a -> a -> a

boolean :: BooleanIf b => a -> a -> b -> a