modules:prelude:basictypeclasses

Table of Contents

Basic type classes
- Eq
- Ord
- Enum
- Bounded
- Num
- Real
- Integral
- Fractional
- RealFrac
- Semigroup
- Monoid
- Functor
- Applicative
- Monad
- MonadFail
- Foldable
- Traversable
- Show
- Read

Basic type classes

Eq

source: class Eq a
main functions
- (==) :: a -> a -> Bool infix 4, true if equal otherwise false
- (/=) :: a -> a -> Bool infix 4, false if equal otherwise true
Minimal complete definition: either == or /=.

Ord

source: class Eq a => Ord a
main functions
- compare :: a -> a -> Ordering
  - LT if first parameter is less then second parameter,
  - EQ if first parameter is equal second parameter, and
  - GT if first parameter is greater then second parameter
- (<) :: a -> a -> Bool infix 4, true if first parameter is less than second parameter otherwise false
- (<=) :: a -> a -> Bool infix 4, true if first parameter is equal or less than second parameter otherwise false
- (>) :: a -> a -> Bool infix 4, true if first parameter is greater than second parameter otherwise false
- (>=) :: a -> a -> Bool infix 4, true if first parameter is equal or greater than second parameter otherwise false
- max :: a -> a -> a the greater or equal value of both parameters
- min :: a -> a -> a the smaller or equal value of both parameters
Minimal complete definition: either compare or <=. Using compare can be more efficient for complex types.

Enum

class Enum a
main functions
- succ :: a -> a
- pred :: a -> a
- toEnum :: Int -> a
- fromEnum :: a -> Int
- enumFrom :: a -> [a]
- enumFromThen :: a -> a -> [a]
- enumFromTo :: a -> a -> [a]
- enumFromThenTo :: a -> a -> a -> [a]

Bounded

source: class Bounded a

Num

source: class Num a

Real

source: class (Num a, Ord a) => Real a

Integral

source: class (Real a, Enum a) => Integral a

Fractional

source: class Num a => Fractional a

RealFrac

source: class (Real a, Fractional a) => RealFrac a

Semigroup

source: class Semigroup a

Monoid

source: class Semigroup a => Monoid a

Functor

source: class Functor f

Applicative

source: class Functor f => Applicative f

Monad

source: class Applicative m => Monad m

MonadFail

source: class Monad m => MonadFail m

Foldable

source: class Foldable t

Traversable

source: class (Functor t, Foldable t) => Traversable t

Show

source: class Show a

Read

source: class Read a

modules/prelude/basictypeclasses.txt · Last modified: 2025/10/08 00:49 by 127.0.0.1