Module Data.wrapper.Boolean

Provide wrappers Any and All for Bool Monoids

Imports

• import Data.Monoid as Monoid
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  data All

  data Any

  getAny ∷ Any → Bool

  getAll ∷ All → Bool

• Instances

  instance Eq All

  instance Eq Any

  instance Monoid All

  instance Monoid Any

  instance Ord All

  instance Ord Any

  instance Semigroup All

  instance Semigroup Any

  instance Show All

  instance Show Any

• Functions and Values by Type

Definitions

data Any

Monoid for Bool with operation oder and identity false

Constructors

Any {unwrap ∷ Bool}

wrap a Bool value

Member Functions

unwrap ∷ Any → Bool

access field unwrap

getAny ∷ Any → Bool

Alias for Any.unwrap

data All

Monoid for Bool with operation und and identity true

Constructors

All {unwrap ∷ Bool}

wrap a Bool value

Member Functions

unwrap ∷ All → Bool

access field unwrap

getAll ∷ All → Bool

Alias for All.unwrap

Instances

instance Eq All

Member Functions

!= ∷ All → All → Bool
infix  7

inherited from Eq.!=

== ∷ All → All → Bool
infix  7

Function generated for derived instance.

hashCode ∷ All → Int

Function generated for derived instance.

instance Eq Any

Member Functions

!= ∷ Any → Any → Bool
infix  7

inherited from Eq.!=

== ∷ Any → Any → Bool
infix  7

Function generated for derived instance.

hashCode ∷ Any → Int

Function generated for derived instance.

instance Monoid All

The Monoid for All uses true as identity.

Member Functions

mconcat ∷ [All] → All

inherited from Monoid.mconcat

mempty ∷ All

All true

mtimes ∷ Int → All → All

inherited from Monoid.mtimes

instance Monoid Any

The Monoid for Any uses false as identity.

Member Functions

mconcat ∷ [Any] → Any

inherited from Monoid.mconcat

mempty ∷ Any

Any false

mtimes ∷ Int → Any → Any

inherited from Monoid.mtimes

instance Ord All

Member Functions

< ∷ All → All → Bool
infix  9

inherited from Ord.<

<= ∷ All → All → Bool
infix  9

inherited from Ord.<=

<=> ∷ All → All → Ordering
infix  8

Function generated for derived instance.

> ∷ All → All → Bool
infix  9

inherited from Ord.>

>= ∷ All → All → Bool
infix  9

inherited from Ord.>=

compare ∷ All → All → Ordering
infix  8

inherited from Ord.compare

max ∷ All → All → All

inherited from Ord.max

min ∷ All → All → All

inherited from Ord.min

instance Ord Any

Member Functions

< ∷ Any → Any → Bool
infix  9

inherited from Ord.<

<= ∷ Any → Any → Bool
infix  9

inherited from Ord.<=

<=> ∷ Any → Any → Ordering
infix  8

Function generated for derived instance.

> ∷ Any → Any → Bool
infix  9

inherited from Ord.>

>= ∷ Any → Any → Bool
infix  9

inherited from Ord.>=

compare ∷ Any → Any → Ordering
infix  8

inherited from Ord.compare

max ∷ Any → Any → Any

inherited from Ord.max

min ∷ Any → Any → Any

inherited from Ord.min

instance Semigroup All

The Semigroup instance for All uses operation und.

Member Functions

mappend ∷ All → All → All
infixr  13

Conjunction

sconcat ∷ [All] → All

inherited from Semigroup.sconcat

stimes ∷ Int → All → All

inherited from Semigroup.stimes

instance Semigroup Any

The Semigroup instance for Any uses operation oder.

Member Functions

mappend ∷ Any → Any → Any
infixr  13

Disjunction

sconcat ∷ [Any] → Any

inherited from Semigroup.sconcat

stimes ∷ Int → Any → Any

inherited from Semigroup.stimes

instance Show All

Member Functions

display ∷ All → String

inherited from Show.display

show ∷ All → String

Function generated for derived instance.

showChars ∷ All → [Char]

inherited from Show.showChars

showList ∷ [All] → String → String

inherited from Show.showList

showsPrec ∷ Int → All → String → String

inherited from Show.showsPrec

showsub ∷ All → String

Function generated for derived instance.

instance Show Any

Member Functions

display ∷ Any → String

inherited from Show.display

show ∷ Any → String

Function generated for derived instance.

showChars ∷ Any → [Char]

inherited from Show.showChars

showList ∷ [Any] → String → String

inherited from Show.showList

showsPrec ∷ Int → Any → String → String

inherited from Show.showsPrec

showsub ∷ Any → String

Function generated for derived instance.

Functions and Values by Type

[All] → String → String

Show_All.showList

[All] → All

Monoid_All.mconcat, Semigroup_All.sconcat

[Any] → String → String

Show_Any.showList

[Any] → Any

Monoid_Any.mconcat, Semigroup_Any.sconcat

All → (Bool→Bool) → All

All.chg$unwrap

All → All → All

Ord_All.min, Ord_All.max, Semigroup_All.mappend

All → All → Bool

Eq_All.!=, Eq_All.==, Ord_All.>=, Ord_All.<, Ord_All.<=, Ord_All.>

All → All → Ordering

Ord_All.compare, Ord_All.<=>

All → Bool → All

All.upd$unwrap

All → String

Show_All.showsub, Show_All.display, Show_All.show

All → [Char]

Show_All.showChars

All → Bool

All.unwrap

All → Int

Eq_All.hashCode

Any → (Bool→Bool) → Any

Any.chg$unwrap

Any → Any → Any

Ord_Any.min, Ord_Any.max, Semigroup_Any.mappend

Any → Any → Bool

Eq_Any.!=, Eq_Any.==, Ord_Any.>=, Ord_Any.<, Ord_Any.<=, Ord_Any.>

Any → Any → Ordering

Ord_Any.compare, Ord_Any.<=>

Any → Bool → Any

Any.upd$unwrap

Any → String

Show_Any.showsub, Show_Any.display, Show_Any.show

Any → [Char]

Show_Any.showChars

Any → Bool

Any.unwrap

Any → Int

Eq_Any.hashCode

Bool → All

All.All

Bool → Any

Any.Any

Int → All → String → String

Show_All.showsPrec

Int → All → All

Monoid_All.mtimes, Semigroup_All.stimes

Int → Any → String → String

Show_Any.showsPrec

Int → Any → Any

Monoid_Any.mtimes, Semigroup_Any.stimes

All

Monoid_All.mempty

Any

Monoid_Any.mempty

𝖆 → Bool

All.has$unwrap, Any.has$unwrap