Package frege.control.Monoid

Compiled: Wed Dec 05 00:05:24 PST 2012 from source file: ./frege/control/Monoid.fr

Package Documentation

This module deals with Semigroups and Monoids Contributed by Daniel Gronau

Table of Content

Imports

Classes

class Monoid Semigroup this => this

Known Instances

Sum, [], Ordering, Product, StringJ, Maybe, ST, Last, Max, Min, Dual, Endo, All, Any, (), First

Member Functions

mconcat :: Monoid this => [this] -> this
mempty :: Monoid this => this
mtimes :: Monoid this => Int -> this -> this
class Semigroup this

Known Instances

StringJ, Sum, Ordering, Product, [], Maybe, ST, Last, Max, Dual, Endo, All, (), Any, First, Min

Member Functions

mappend :: Semigroup this => this -> this -> this
sconcat :: Semigroup this => [this] -> this
stimes :: Semigroup this => Int -> this -> this

Instances

instance Eq All

Member Functions

!= :: All -> All -> Bool

inherited from Eq.!=

/= :: All -> All -> Bool

inherited from Eq./=

== :: All -> All -> Bool

Function generated for derived istance.

hashCode :: All -> Int

Function generated for derived istance.

instance Eq Any

Member Functions

!= :: Any -> Any -> Bool

inherited from Eq.!=

/= :: Any -> Any -> Bool

inherited from Eq./=

== :: Any -> Any -> Bool

Function generated for derived istance.

hashCode :: Any -> Int

Function generated for derived istance.

instance Eq Eq a => Dual a

Member Functions

!= :: Eq α => Dual α -> Dual α -> Bool

inherited from Eq.!=

/= :: Eq α => Dual α -> Dual α -> Bool

inherited from Eq./=

== :: Eq α => Dual α -> Dual α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Dual α -> Int

Function generated for derived istance.

instance Eq Eq a => First a

Member Functions

!= :: Eq α => First α -> First α -> Bool

inherited from Eq.!=

/= :: Eq α => First α -> First α -> Bool

inherited from Eq./=

== :: Eq α => First α -> First α -> Bool

Function generated for derived istance.

hashCode :: Eq α => First α -> Int

Function generated for derived istance.

instance Eq Eq a => Last a

Member Functions

!= :: Eq α => Last α -> Last α -> Bool

inherited from Eq.!=

/= :: Eq α => Last α -> Last α -> Bool

inherited from Eq./=

== :: Eq α => Last α -> Last α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Last α -> Int

Function generated for derived istance.

instance Eq Eq a => Max a

Member Functions

!= :: Eq α => Max α -> Max α -> Bool

inherited from Eq.!=

/= :: Eq α => Max α -> Max α -> Bool

inherited from Eq./=

== :: Eq α => Max α -> Max α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Max α -> Int

Function generated for derived istance.

instance Eq Eq a => Min a

Member Functions

!= :: Eq α => Min α -> Min α -> Bool

inherited from Eq.!=

/= :: Eq α => Min α -> Min α -> Bool

inherited from Eq./=

== :: Eq α => Min α -> Min α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Min α -> Int

Function generated for derived istance.

instance Eq Eq a => Product a

Member Functions

!= :: Eq α => Product α -> Product α -> Bool

inherited from Eq.!=

/= :: Eq α => Product α -> Product α -> Bool

inherited from Eq./=

== :: Eq α => Product α -> Product α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Product α -> Int

Function generated for derived istance.

instance Eq Eq a => Sum a

Member Functions

!= :: Eq α => Sum α -> Sum α -> Bool

inherited from Eq.!=

/= :: Eq α => Sum α -> Sum α -> Bool

inherited from Eq./=

== :: Eq α => Sum α -> Sum α -> Bool

Function generated for derived istance.

hashCode :: Eq α => Sum α -> Int

Function generated for derived istance.

instance Monoid ()

Member Functions

mconcat :: [()] -> ()

inherited from Monoid.mconcat

mempty :: ()
mtimes :: Int -> () -> ()

inherited from Monoid.mtimes

instance Monoid All

Member Functions

mconcat :: [All] -> All

inherited from Monoid.mconcat

mempty :: All
mtimes :: Int -> All -> All

inherited from Monoid.mtimes

instance Monoid Any

Member Functions

mconcat :: [Any] -> Any

inherited from Monoid.mconcat

mempty :: Any
mtimes :: Int -> Any -> Any

inherited from Monoid.mtimes

instance Monoid Monoid a => Dual a

Member Functions

mconcat :: Monoid α => [Dual α] -> Dual α

inherited from Monoid.mconcat

mempty :: Monoid α => Dual α
mtimes :: Monoid α => Int -> Dual α -> Dual α

inherited from Monoid.mtimes

instance Monoid Endo a

Member Functions

mconcat :: [Endo α] -> Endo α

inherited from Monoid.mconcat

mempty :: Endo α
mtimes :: Int -> Endo α -> Endo α

inherited from Monoid.mtimes

instance Monoid First a

Member Functions

mconcat :: [First α] -> First α

inherited from Monoid.mconcat

mempty :: First α
mtimes :: Int -> First α -> First α

inherited from Monoid.mtimes

instance Monoid Monoid a => IO a

Member Functions

mconcat :: Monoid α => [IO α] -> IO α

inherited from Monoid.mconcat

mempty :: Monoid α => IO α
mtimes :: Monoid α => Int -> IO α -> IO α

inherited from Monoid.mtimes

instance Monoid Last a

Member Functions

mconcat :: [Last α] -> Last α

inherited from Monoid.mconcat

mempty :: Last α
mtimes :: Int -> Last α -> Last α

inherited from Monoid.mtimes

instance Monoid (Ord a, Bounded a) => Max a

Member Functions

mconcat :: (Ord α, Bounded α) => [Max α] -> Max α

inherited from Monoid.mconcat

mempty :: (Ord α, Bounded α) => Max α
mtimes :: (Ord α, Bounded α) => Int -> Max α -> Max α

inherited from Monoid.mtimes

instance Monoid Semigroup a => Maybe a

Member Functions

mconcat :: Semigroup α => [Maybe α] -> Maybe α

inherited from Monoid.mconcat

mempty :: Semigroup α => Maybe α
mtimes :: Semigroup α => Int -> Maybe α -> Maybe α

inherited from Monoid.mtimes

instance Monoid (Ord a, Bounded a) => Min a

Member Functions

mconcat :: (Ord α, Bounded α) => [Min α] -> Min α

inherited from Monoid.mconcat

mempty :: (Ord α, Bounded α) => Min α
mtimes :: (Ord α, Bounded α) => Int -> Min α -> Min α

inherited from Monoid.mtimes

instance Monoid Ordering

Member Functions

mconcat :: [Ordering] -> Ordering

inherited from Monoid.mconcat

mempty :: Ordering
mtimes :: Int -> Ordering -> Ordering

inherited from Monoid.mtimes

instance Monoid Num a => Product a

Member Functions

mconcat :: Num α => [Product α] -> Product α

inherited from Monoid.mconcat

mempty :: Num α => Product α
mtimes :: Num α => Int -> Product α -> Product α

inherited from Monoid.mtimes

instance Monoid String

Member Functions

mappend :: String -> String -> String
mconcat :: [String] -> String

inherited from Monoid.mconcat

mempty :: String
mtimes :: Int -> String -> String

inherited from Monoid.mtimes

sconcat :: [String] -> String

inherited from Semigroup.sconcat

stimes :: Int -> String -> String

inherited from Semigroup.stimes

instance Monoid Num a => Sum a

Member Functions

mconcat :: Num α => [Sum α] -> Sum α

inherited from Monoid.mconcat

mempty :: Num α => Sum α
mtimes :: Num α => Int -> Sum α -> Sum α

inherited from Monoid.mtimes

instance Monoid [a]

Member Functions

mconcat :: [[α]] -> [α]

inherited from Monoid.mconcat

mempty :: [α]
mtimes :: Int -> [α] -> [α]

inherited from Monoid.mtimes

instance Ord All

Member Functions

< :: All -> All -> Bool

inherited from Ord.<

<= :: All -> All -> Bool

inherited from Ord.<=

<=> :: All -> All -> Ordering

Function generated for derived istance.

> :: All -> All -> Bool

inherited from Ord.>

>= :: All -> All -> Bool

inherited from Ord.>=

compare :: All -> All -> Ordering

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

inherited from Ord.<

<= :: Any -> Any -> Bool

inherited from Ord.<=

<=> :: Any -> Any -> Ordering

Function generated for derived istance.

> :: Any -> Any -> Bool

inherited from Ord.>

>= :: Any -> Any -> Bool

inherited from Ord.>=

compare :: Any -> Any -> Ordering

inherited from Ord.compare

max :: Any -> Any -> Any

inherited from Ord.max

min :: Any -> Any -> Any

inherited from Ord.min

instance Ord Ord a => Dual a

Member Functions

< :: Ord α => Dual α -> Dual α -> Bool

inherited from Ord.<

<= :: Ord α => Dual α -> Dual α -> Bool

inherited from Ord.<=

<=> :: Ord α => Dual α -> Dual α -> Ordering

Function generated for derived istance.

> :: Ord α => Dual α -> Dual α -> Bool

inherited from Ord.>

>= :: Ord α => Dual α -> Dual α -> Bool

inherited from Ord.>=

compare :: Ord α => Dual α -> Dual α -> Ordering

inherited from Ord.compare

max :: Ord α => Dual α -> Dual α -> Dual α

inherited from Ord.max

min :: Ord α => Dual α -> Dual α -> Dual α

inherited from Ord.min

instance Ord Ord a => First a

Member Functions

< :: Ord α => First α -> First α -> Bool

inherited from Ord.<

<= :: Ord α => First α -> First α -> Bool

inherited from Ord.<=

<=> :: Ord α => First α -> First α -> Ordering

Function generated for derived istance.

> :: Ord α => First α -> First α -> Bool

inherited from Ord.>

>= :: Ord α => First α -> First α -> Bool

inherited from Ord.>=

compare :: Ord α => First α -> First α -> Ordering

inherited from Ord.compare

max :: Ord α => First α -> First α -> First α

inherited from Ord.max

min :: Ord α => First α -> First α -> First α

inherited from Ord.min

instance Ord Ord a => Last a

Member Functions

< :: Ord α => Last α -> Last α -> Bool

inherited from Ord.<

<= :: Ord α => Last α -> Last α -> Bool

inherited from Ord.<=

<=> :: Ord α => Last α -> Last α -> Ordering

Function generated for derived istance.

> :: Ord α => Last α -> Last α -> Bool

inherited from Ord.>

>= :: Ord α => Last α -> Last α -> Bool

inherited from Ord.>=

compare :: Ord α => Last α -> Last α -> Ordering

inherited from Ord.compare

max :: Ord α => Last α -> Last α -> Last α

inherited from Ord.max

min :: Ord α => Last α -> Last α -> Last α

inherited from Ord.min

instance Ord Ord a => Max a

Member Functions

< :: Ord α => Max α -> Max α -> Bool

inherited from Ord.<

<= :: Ord α => Max α -> Max α -> Bool

inherited from Ord.<=

<=> :: Ord α => Max α -> Max α -> Ordering

Function generated for derived istance.

> :: Ord α => Max α -> Max α -> Bool

inherited from Ord.>

>= :: Ord α => Max α -> Max α -> Bool

inherited from Ord.>=

compare :: Ord α => Max α -> Max α -> Ordering

inherited from Ord.compare

max :: Ord α => Max α -> Max α -> Max α

inherited from Ord.max

min :: Ord α => Max α -> Max α -> Max α

inherited from Ord.min

instance Ord Ord a => Min a

Member Functions

< :: Ord α => Min α -> Min α -> Bool

inherited from Ord.<

<= :: Ord α => Min α -> Min α -> Bool

inherited from Ord.<=

<=> :: Ord α => Min α -> Min α -> Ordering

Function generated for derived istance.

> :: Ord α => Min α -> Min α -> Bool

inherited from Ord.>

>= :: Ord α => Min α -> Min α -> Bool

inherited from Ord.>=

compare :: Ord α => Min α -> Min α -> Ordering

inherited from Ord.compare

max :: Ord α => Min α -> Min α -> Min α

inherited from Ord.max

min :: Ord α => Min α -> Min α -> Min α

inherited from Ord.min

instance Ord Ord a => Product a

Member Functions

< :: Ord α => Product α -> Product α -> Bool

inherited from Ord.<

<= :: Ord α => Product α -> Product α -> Bool

inherited from Ord.<=

<=> :: Ord α => Product α -> Product α -> Ordering

Function generated for derived istance.

> :: Ord α => Product α -> Product α -> Bool

inherited from Ord.>

>= :: Ord α => Product α -> Product α -> Bool

inherited from Ord.>=

compare :: Ord α => Product α -> Product α -> Ordering

inherited from Ord.compare

max :: Ord α => Product α -> Product α -> Product α

inherited from Ord.max

min :: Ord α => Product α -> Product α -> Product α

inherited from Ord.min

instance Ord Ord a => Sum a

Member Functions

< :: Ord α => Sum α -> Sum α -> Bool

inherited from Ord.<

<= :: Ord α => Sum α -> Sum α -> Bool

inherited from Ord.<=

<=> :: Ord α => Sum α -> Sum α -> Ordering

Function generated for derived istance.

> :: Ord α => Sum α -> Sum α -> Bool

inherited from Ord.>

>= :: Ord α => Sum α -> Sum α -> Bool

inherited from Ord.>=

compare :: Ord α => Sum α -> Sum α -> Ordering

inherited from Ord.compare

max :: Ord α => Sum α -> Sum α -> Sum α

inherited from Ord.max

min :: Ord α => Sum α -> Sum α -> Sum α

inherited from Ord.min

instance Semigroup ()

Member Functions

mappend :: () -> () -> ()
sconcat :: [()] -> ()

inherited from Semigroup.sconcat

stimes :: Int -> () -> ()

inherited from Semigroup.stimes

instance Semigroup All

Member Functions

mappend :: All -> All -> All
sconcat :: [All] -> All

inherited from Semigroup.sconcat

stimes :: Int -> All -> All

inherited from Semigroup.stimes

instance Semigroup Any

Member Functions

mappend :: Any -> Any -> Any
sconcat :: [Any] -> Any

inherited from Semigroup.sconcat

stimes :: Int -> Any -> Any

inherited from Semigroup.stimes

instance Semigroup Semigroup a => Dual a

Member Functions

mappend :: Semigroup α => Dual α -> Dual α -> Dual α
sconcat :: Semigroup α => [Dual α] -> Dual α

inherited from Semigroup.sconcat

stimes :: Semigroup α => Int -> Dual α -> Dual α

inherited from Semigroup.stimes

instance Semigroup Endo a

Member Functions

mappend :: Endo α -> Endo α -> Endo α
sconcat :: [Endo α] -> Endo α

inherited from Semigroup.sconcat

stimes :: Int -> Endo α -> Endo α

inherited from Semigroup.stimes

instance Semigroup First a

Member Functions

mappend :: First α -> First α -> First α
sconcat :: [First α] -> First α

inherited from Semigroup.sconcat

stimes :: Int -> First α -> First α

inherited from Semigroup.stimes

instance Semigroup Semigroup a => IO a

Member Functions

mappend :: Semigroup α => IO α -> IO α -> IO α
sconcat :: Semigroup α => [IO α] -> IO α

inherited from Semigroup.sconcat

stimes :: Semigroup α => Int -> IO α -> IO α

inherited from Semigroup.stimes

instance Semigroup Last a

Member Functions

mappend :: Last α -> Last α -> Last α
sconcat :: [Last α] -> Last α

inherited from Semigroup.sconcat

stimes :: Int -> Last α -> Last α

inherited from Semigroup.stimes

instance Semigroup Ord a => Max a

Member Functions

mappend :: Ord α => Max α -> Max α -> Max α
sconcat :: Ord α => [Max α] -> Max α

inherited from Semigroup.sconcat

stimes :: Ord α => Int -> Max α -> Max α

inherited from Semigroup.stimes

instance Semigroup Semigroup a => Maybe a

Member Functions

mappend :: Semigroup α => Maybe α -> Maybe α -> Maybe α
sconcat :: Semigroup α => [Maybe α] -> Maybe α

inherited from Semigroup.sconcat

stimes :: Semigroup α => Int -> Maybe α -> Maybe α

inherited from Semigroup.stimes

instance Semigroup Ord a => Min a

Member Functions

mappend :: Ord α => Min α -> Min α -> Min α
sconcat :: Ord α => [Min α] -> Min α

inherited from Semigroup.sconcat

stimes :: Ord α => Int -> Min α -> Min α

inherited from Semigroup.stimes

instance Semigroup Ordering

Member Functions

mappend :: Ordering -> Ordering -> Ordering
sconcat :: [Ordering] -> Ordering

inherited from Semigroup.sconcat

stimes :: Int -> Ordering -> Ordering

inherited from Semigroup.stimes

instance Semigroup Num a => Product a

Member Functions

mappend :: Num α => Product α -> Product α -> Product α
sconcat :: Num α => [Product α] -> Product α

inherited from Semigroup.sconcat

stimes :: Num α => Int -> Product α -> Product α

inherited from Semigroup.stimes

instance Semigroup Num a => Sum a

Member Functions

mappend :: Num α => Sum α -> Sum α -> Sum α
sconcat :: Num α => [Sum α] -> Sum α

inherited from Semigroup.sconcat

stimes :: Num α => Int -> Sum α -> Sum α

inherited from Semigroup.stimes

instance Semigroup [a]

Member Functions

mappend :: [α] -> [α] -> [α]
sconcat :: [[α]] -> [α]

inherited from Semigroup.sconcat

stimes :: Int -> [α] -> [α]

inherited from Semigroup.stimes

instance Show All

Member Functions

display :: All -> String

inherited from Show.display

show :: All -> String

Function generated for derived istance.

showList :: [All] -> String -> String

inherited from Show.showList

showsPrec :: Int -> All -> String -> String

inherited from Show.showsPrec

showsub :: All -> String

Function generated for derived istance.

instance Show Any

Member Functions

display :: Any -> String

inherited from Show.display

show :: Any -> String

Function generated for derived istance.

showList :: [Any] -> String -> String

inherited from Show.showList

showsPrec :: Int -> Any -> String -> String

inherited from Show.showsPrec

showsub :: Any -> String

Function generated for derived istance.

instance Show Show a => Dual a

Member Functions

display :: Show α => Dual α -> String

inherited from Show.display

show :: Show α => Dual α -> String

Function generated for derived istance.

showList :: Show α => [Dual α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Dual α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Dual α -> String

Function generated for derived istance.

instance Show Show a => First a

Member Functions

display :: Show α => First α -> String

inherited from Show.display

show :: Show α => First α -> String

Function generated for derived istance.

showList :: Show α => [First α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> First α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => First α -> String

Function generated for derived istance.

instance Show Show a => Last a

Member Functions

display :: Show α => Last α -> String

inherited from Show.display

show :: Show α => Last α -> String

Function generated for derived istance.

showList :: Show α => [Last α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Last α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Last α -> String

Function generated for derived istance.

instance Show Show a => Max a

Member Functions

display :: Show α => Max α -> String

inherited from Show.display

show :: Show α => Max α -> String

Function generated for derived istance.

showList :: Show α => [Max α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Max α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Max α -> String

Function generated for derived istance.

instance Show Show a => Min a

Member Functions

display :: Show α => Min α -> String

inherited from Show.display

show :: Show α => Min α -> String

Function generated for derived istance.

showList :: Show α => [Min α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Min α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Min α -> String

Function generated for derived istance.

instance Show Show a => Product a

Member Functions

display :: Show α => Product α -> String

inherited from Show.display

show :: Show α => Product α -> String

Function generated for derived istance.

showList :: Show α => [Product α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Product α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Product α -> String

Function generated for derived istance.

instance Show Show a => Sum a

Member Functions

display :: Show α => Sum α -> String

inherited from Show.display

show :: Show α => Sum α -> String

Function generated for derived istance.

showList :: Show α => [Sum α] -> String -> String

inherited from Show.showList

showsPrec :: Show α => Int -> Sum α -> String -> String

inherited from Show.showsPrec

showsub :: Show α => Sum α -> String

Function generated for derived istance.

Data Types

data All

Constructors

All {getAll :: Bool}

Member Functions

getAll :: All -> Bool

access field getAll

data Any

Constructors

Any {getAny :: Bool}

Member Functions

getAny :: Any -> Bool

access field getAny

data Dual a

Constructors

Dual {getDual :: a}

Member Functions

getDual :: Dual α -> α

access field getDual

data Endo a

Constructors

Endo {appEndo :: a -> a}

Member Functions

appEndo :: Endo α -> α -> α

access field appEndo

data First a

Constructors

First {getFirst :: Maybe a}

Member Functions

getFirst :: First α -> Maybe α

access field getFirst

data Last a

Constructors

Last {getLast :: Maybe a}

Member Functions

getLast :: Last α -> Maybe α

access field getLast

data Max a

Constructors

Max {getMax :: a}

Member Functions

getMax :: Max α -> α

access field getMax

data Min a

Constructors

Min {getMin :: a}

Member Functions

getMin :: Min α -> α

access field getMin

data Product a

Constructors

Product {getProduct :: a}

Member Functions

getProduct :: Product α -> α

access field getProduct

data Sum a

Constructors

Sum {getSum :: a}

Member Functions

getSum :: Sum α -> α

access field getSum

Functions and Values

<> :: Semigroup α => α -> α -> α
stimesa :: Semigroup this => Int -> this -> this

Functions and Values by Type

String -> String -> String

Monoid_String.mappend

[String] -> String

Monoid_String.mconcat, Monoid_String.sconcat

[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

[()] -> ()

Monoid_().mconcat, Semigroup_().sconcat

[Ordering] -> Ordering

Monoid_Ordering.mconcat, Semigroup_Ordering.sconcat

All -> (Bool->Bool) -> All

All.chg$getAll

All -> All -> All

Ord_All.max, Ord_All.min, Semigroup_All.mappend

All -> All -> Bool

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

All -> All -> Ordering

Ord_All.<=>, Ord_All.compare

All -> Bool -> All

All.upd$getAll

All -> String

Show_All.show, Show_All.display, Show_All.showsub

All -> Bool

All.getAll

All -> Int

Eq_All.hashCode

Any -> (Bool->Bool) -> Any

Any.chg$getAny

Any -> Any -> Any

Ord_Any.max, Ord_Any.min, Semigroup_Any.mappend

Any -> Any -> Bool

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

Any -> Any -> Ordering

Ord_Any.<=>, Ord_Any.compare

Any -> Bool -> Any

Any.upd$getAny

Any -> String

Show_Any.show, Show_Any.display, Show_Any.showsub

Any -> Bool

Any.getAny

Any -> Int

Eq_Any.hashCode

() -> () -> ()

Semigroup_().mappend

Bool -> All

All.All

Bool -> Any

Any.Any

Int -> String -> String

Monoid_String.mtimes, Monoid_String.stimes

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

Int -> () -> ()

Monoid_().mtimes, Semigroup_().stimes

Int -> Ordering -> Ordering

Monoid_Ordering.mtimes, Semigroup_Ordering.stimes

Ordering -> Ordering -> Ordering

Semigroup_Ordering.mappend

String

Monoid_String.mempty

All

Monoid_All.mempty

Any

Monoid_Any.mempty

()

Monoid_().mempty

Ordering

Monoid_Ordering.mempty

(a -> a) -> Endo a

Endo.Endo

Dual α -> α

Dual.getDual

Endo α -> Endo α -> Endo α

Semigroup_Endo.mappend

Endo α -> α -> α

Endo.appEndo

First α -> First α -> First α

Semigroup_First.mappend

First α -> Maybe α

First.getFirst

Last α -> Last α -> Last α

Semigroup_Last.mappend

Last α -> Maybe α

Last.getLast

Max α -> α

Max.getMax

Min α -> α

Min.getMin

Product α -> α

Product.getProduct

Sum α -> α

Sum.getSum

Maybe a -> First a

First.First

Maybe a -> Last a

Last.Last

[Endo α] -> Endo α

Monoid_Endo.mconcat, Semigroup_Endo.sconcat

[First α] -> First α

Monoid_First.mconcat, Semigroup_First.sconcat

[Last α] -> Last α

Monoid_Last.mconcat, Semigroup_Last.sconcat

[[α]] -> [α]

Monoid_[].mconcat, Semigroup_[].sconcat

[α] -> [α] -> [α]

Semigroup_[].mappend

Int -> Endo α -> Endo α

Monoid_Endo.mtimes, Semigroup_Endo.stimes

Int -> First α -> First α

Monoid_First.mtimes, Semigroup_First.stimes

Int -> Last α -> Last α

Monoid_Last.mtimes, Semigroup_Last.stimes

Int -> [α] -> [α]

Monoid_[].mtimes, Semigroup_[].stimes

a -> Dual a

Dual.Dual

a -> Max a

Max.Max

a -> Min a

Min.Min

a -> Product a

Product.Product

a -> Sum a

Sum.Sum

α -> Bool

All.has$getAll, Any.has$getAny, Dual.has$getDual, Endo.has$appEndo, First.has$getFirst, Last.has$getLast, Max.has$getMax, Min.has$getMin, Product.has$getProduct, Sum.has$getSum

Monoid this => [this] -> this

Monoid.mconcat

Monoid this => Int -> this -> this

Monoid.mtimes

Monoid α => [IO α] -> IO α

Monoid_IO.mconcat

Monoid α => [Dual α] -> Dual α

Monoid_Dual.mconcat

Monoid α => Int -> IO α -> IO α

Monoid_IO.mtimes

Monoid α => Int -> Dual α -> Dual α

Monoid_Dual.mtimes

Semigroup this => [this] -> this

Semigroup.sconcat

Semigroup this => Int -> this -> this

stimesa, Semigroup.stimes

Semigroup this => this -> this -> this

Semigroup.mappend

Semigroup α => IO α -> IO α -> IO α

Semigroup_IO.mappend

Semigroup α => Dual α -> Dual α -> Dual α

Semigroup_Dual.mappend

Semigroup α => Maybe α -> Maybe α -> Maybe α

Semigroup_Maybe.mappend

Semigroup α => [IO α] -> IO α

Semigroup_IO.sconcat

Semigroup α => [Dual α] -> Dual α

Semigroup_Dual.sconcat

Semigroup α => [Maybe α] -> Maybe α

Monoid_Maybe.mconcat, Semigroup_Maybe.sconcat

Semigroup α => Int -> IO α -> IO α

Semigroup_IO.stimes

Semigroup α => Int -> Dual α -> Dual α

Semigroup_Dual.stimes

Semigroup α => Int -> Maybe α -> Maybe α

Monoid_Maybe.mtimes, Semigroup_Maybe.stimes

Semigroup α => α -> α -> α

<>

Eq α => Dual α -> Dual α -> Bool

Eq_Dual./=, Eq_Dual.!=, Eq_Dual.==

Eq α => Dual α -> Int

Eq_Dual.hashCode

Eq α => First α -> First α -> Bool

Eq_First./=, Eq_First.!=, Eq_First.==

Eq α => First α -> Int

Eq_First.hashCode

Eq α => Last α -> Last α -> Bool

Eq_Last./=, Eq_Last.!=, Eq_Last.==

Eq α => Last α -> Int

Eq_Last.hashCode

Eq α => Max α -> Max α -> Bool

Eq_Max./=, Eq_Max.!=, Eq_Max.==

Eq α => Max α -> Int

Eq_Max.hashCode

Eq α => Min α -> Min α -> Bool

Eq_Min./=, Eq_Min.!=, Eq_Min.==

Eq α => Min α -> Int

Eq_Min.hashCode

Eq α => Product α -> Product α -> Bool

Eq_Product./=, Eq_Product.!=, Eq_Product.==

Eq α => Product α -> Int

Eq_Product.hashCode

Eq α => Sum α -> Sum α -> Bool

Eq_Sum./=, Eq_Sum.!=, Eq_Sum.==

Eq α => Sum α -> Int

Eq_Sum.hashCode

Num α => Product α -> Product α -> Product α

Semigroup_Product.mappend

Num α => Sum α -> Sum α -> Sum α

Semigroup_Sum.mappend

Num α => [Product α] -> Product α

Monoid_Product.mconcat, Semigroup_Product.sconcat

Num α => [Sum α] -> Sum α

Monoid_Sum.mconcat, Semigroup_Sum.sconcat

Num α => Int -> Product α -> Product α

Monoid_Product.mtimes, Semigroup_Product.stimes

Num α => Int -> Sum α -> Sum α

Monoid_Sum.mtimes, Semigroup_Sum.stimes

Ord α => Dual α -> Dual α -> Dual α

Ord_Dual.max, Ord_Dual.min

Ord α => Dual α -> Dual α -> Bool

Ord_Dual.>, Ord_Dual.<=, Ord_Dual.<, Ord_Dual.>=

Ord α => Dual α -> Dual α -> Ordering

Ord_Dual.<=>, Ord_Dual.compare

Ord α => First α -> First α -> First α

Ord_First.max, Ord_First.min

Ord α => First α -> First α -> Bool

Ord_First.>, Ord_First.<=, Ord_First.<, Ord_First.>=

Ord α => First α -> First α -> Ordering

Ord_First.<=>, Ord_First.compare

Ord α => Last α -> Last α -> Last α

Ord_Last.max, Ord_Last.min

Ord α => Last α -> Last α -> Bool

Ord_Last.>, Ord_Last.<=, Ord_Last.<, Ord_Last.>=

Ord α => Last α -> Last α -> Ordering

Ord_Last.<=>, Ord_Last.compare

Ord α => Max α -> Max α -> Max α

Ord_Max.max, Ord_Max.min, Semigroup_Max.mappend

Ord α => Max α -> Max α -> Bool

Ord_Max.>, Ord_Max.<=, Ord_Max.<, Ord_Max.>=

Ord α => Max α -> Max α -> Ordering

Ord_Max.<=>, Ord_Max.compare

Ord α => Min α -> Min α -> Min α

Ord_Min.max, Ord_Min.min, Semigroup_Min.mappend

Ord α => Min α -> Min α -> Bool

Ord_Min.>, Ord_Min.<=, Ord_Min.<, Ord_Min.>=

Ord α => Min α -> Min α -> Ordering

Ord_Min.<=>, Ord_Min.compare

Ord α => Product α -> Product α -> Product α

Ord_Product.max, Ord_Product.min

Ord α => Product α -> Product α -> Bool

Ord_Product.>, Ord_Product.<=, Ord_Product.<, Ord_Product.>=

Ord α => Product α -> Product α -> Ordering

Ord_Product.<=>, Ord_Product.compare

Ord α => Sum α -> Sum α -> Sum α

Ord_Sum.max, Ord_Sum.min

Ord α => Sum α -> Sum α -> Bool

Ord_Sum.>, Ord_Sum.<=, Ord_Sum.<, Ord_Sum.>=

Ord α => Sum α -> Sum α -> Ordering

Ord_Sum.<=>, Ord_Sum.compare

Ord α => [Max α] -> Max α

Semigroup_Max.sconcat

Ord α => [Min α] -> Min α

Semigroup_Min.sconcat

Ord α => Int -> Max α -> Max α

Semigroup_Max.stimes

Ord α => Int -> Min α -> Min α

Semigroup_Min.stimes

(Ord α, Bounded α) => [Max α] -> Max α

Monoid_Max.mconcat

(Ord α, Bounded α) => [Min α] -> Min α

Monoid_Min.mconcat

(Ord α, Bounded α) => Int -> Max α -> Max α

Monoid_Max.mtimes

(Ord α, Bounded α) => Int -> Min α -> Min α

Monoid_Min.mtimes

Show α => Dual α -> String

Show_Dual.show, Show_Dual.display, Show_Dual.showsub

Show α => First α -> String

Show_First.show, Show_First.display, Show_First.showsub

Show α => Last α -> String

Show_Last.show, Show_Last.display, Show_Last.showsub

Show α => Max α -> String

Show_Max.show, Show_Max.display, Show_Max.showsub

Show α => Min α -> String

Show_Min.show, Show_Min.display, Show_Min.showsub

Show α => Product α -> String

Show_Product.show, Show_Product.display, Show_Product.showsub

Show α => Sum α -> String

Show_Sum.show, Show_Sum.display, Show_Sum.showsub

Show α => [Dual α] -> String -> String

Show_Dual.showList

Show α => [First α] -> String -> String

Show_First.showList

Show α => [Last α] -> String -> String

Show_Last.showList

Show α => [Max α] -> String -> String

Show_Max.showList

Show α => [Min α] -> String -> String

Show_Min.showList

Show α => [Product α] -> String -> String

Show_Product.showList

Show α => [Sum α] -> String -> String

Show_Sum.showList

Show α => Int -> Dual α -> String -> String

Show_Dual.showsPrec

Show α => Int -> First α -> String -> String

Show_First.showsPrec

Show α => Int -> Last α -> String -> String

Show_Last.showsPrec

Show α => Int -> Max α -> String -> String

Show_Max.showsPrec

Show α => Int -> Min α -> String -> String

Show_Min.showsPrec

Show α => Int -> Product α -> String -> String

Show_Product.showsPrec

Show α => Int -> Sum α -> String -> String

Show_Sum.showsPrec

Endo α

Monoid_Endo.mempty

First α

Monoid_First.mempty

Last α

Monoid_Last.mempty

[α]

Monoid_[].mempty

Monoid this => this

Monoid.mempty

Monoid α => IO α

Monoid_IO.mempty

Monoid α => Dual α

Monoid_Dual.mempty

Semigroup α => Maybe α

Monoid_Maybe.mempty

Num α => Product α

Monoid_Product.mempty

Num α => Sum α

Monoid_Sum.mempty

(Ord α, Bounded α) => Max α

Monoid_Max.mempty

(Ord α, Bounded α) => Min α

Monoid_Min.mempty

Dual α -> (α->β) -> Dual β

Dual.chg$getDual

Dual α -> β -> Dual β

Dual.upd$getDual

Endo α -> (-> α α->β->β) -> Endo β

Endo.chg$appEndo

Endo α -> (β->β) -> Endo β

Endo.upd$appEndo

First α -> (Maybe α->Maybe β) -> First β

First.chg$getFirst

First α -> Maybe β -> First β

First.upd$getFirst

Last α -> (Maybe α->Maybe β) -> Last β

Last.chg$getLast

Last α -> Maybe β -> Last β

Last.upd$getLast

Max α -> (α->β) -> Max β

Max.chg$getMax

Max α -> β -> Max β

Max.upd$getMax

Min α -> (α->β) -> Min β

Min.chg$getMin

Min α -> β -> Min β

Min.upd$getMin

Product α -> (α->β) -> Product β

Product.chg$getProduct

Product α -> β -> Product β

Product.upd$getProduct

Sum α -> (α->β) -> Sum β

Sum.chg$getSum

Sum α -> β -> Sum β

Sum.upd$getSum

Valid HTML 4.01 Strict